Publication divided according to research topics:
●
Concurrency:
advanced semantics (relational structures, interval orders, etc.)
●
Approximate reasoning, rough sets, rankings and pairwise comparisons
●
Fundamentals of Software Engineering:
tabular expressions, trace assertions
●
Mereology:
pragmatics and applications
●
Miscellaneous:
Algorithms, Applications, Formal Verification, Theoretical Physics, Formal
Languages, Data Bases, Modelling