| Publication | Date of Publication | Type |
|---|
| On Interval Semantics of Inhibitor and Activator Nets | 2024-01-29 | Paper |
| On some generalization of rough sets | 2023-12-12 | Paper |
| Interval traces with mutex relation | 2023-11-16 | Paper |
| Yet Another Kind of Rough Sets Induced by Coverings | 2022-06-15 | Paper |
| Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view | 2022-02-21 | Paper |
| Algebraic Structure of Step Traces and Interval Traces | 2021-05-20 | Paper |
| Relational structures for concurrent behaviours | 2021-03-09 | Paper |
| Operational Semantics, Interval Orders and Sequences of Antichains | 2020-01-24 | Paper |
| Modeling operational semantics with interval orders represented by sequences of antichains | 2019-12-18 | Paper |
| Classifying invariant structures of step traces | 2019-06-25 | Paper |
| A Precise Characterisation of Step Traces and Their Concurrent Histories | 2019-02-08 | Paper |
| On optimal approximations of arbitrary relations by partial orders | 2018-10-22 | Paper |
| On approximation of relations by generalized closures and generalized kernels | 2018-10-22 | Paper |
| Approximations of arbitrary relations by partial orders | 2018-06-22 | Paper |
| Interval semantics for Petri nets with inhibitor arcs | 2018-05-17 | Paper |
| Alphabets of Acyclic Invariant Structures | 2018-01-19 | Paper |
| Invariant Structures and Dependence Relations | 2018-01-19 | Paper |
| Modeling concurrency with interval traces | 2017-03-16 | Paper |
| Characterising Concurrent Histories | 2016-04-28 | Paper |
| Order Structures for Subclasses of Generalised Traces | 2016-04-08 | Paper |
| Optimal approximations with rough sets and similarities in measure spaces | 2016-03-09 | Paper |
| Step traces | 2016-02-19 | Paper |
| On Interval Process Semantics of Petri Nets with Inhibitor Arcs | 2015-08-27 | Paper |
| Property-Driven Rough Sets Approximations of Relations | 2015-04-02 | Paper |
| On a pairwise comparison-based consistent non-numerical ranking | 2013-06-04 | Paper |
| Modeling Interval Order Structures with Partially Commutative Monoids | 2012-09-25 | Paper |
| Modelling concurrency with comtraces and generalized comtraces | 2011-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3018961 | 2011-07-27 | Paper |
| Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations* | 2011-05-06 | Paper |
| Approximations of Arbitrary Binary Relations by Partial Orders: Classical and Rough Set Models | 2011-02-11 | Paper |
| Closure Operators for Order Structures | 2009-10-20 | Paper |
| Pairwise Comparisons Based Non-Numerical Ranking | 2009-10-12 | Paper |
| A Categorical Approach to Mereology and Its Application to Modelling Software Components | 2009-02-10 | Paper |
| Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders | 2008-11-25 | Paper |
| On a Parthood Specification Method for Component Software | 2008-11-13 | Paper |
| Relational structures model of concurrency | 2008-07-30 | Paper |
| Modelling Concurrency with Quotient Monoids | 2008-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504342 | 2008-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431916 | 2008-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425582 | 2007-02-26 | Paper |
| Mathematical Foundations of Computer Science 2005 | 2006-10-20 | Paper |
| Semantics of inhibitor nets | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5475455 | 2006-06-19 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4458493 | 2004-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4709338 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708586 | 2003-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484233 | 2003-06-12 | Paper |
| On a formal semantics of tabular expressions | 2001-01-01 | Paper |
| A weak order solution to a group ranking and consistency-driven pairwise comparisons | 2000-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268450 | 1999-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362887 | 1998-04-03 | Paper |
| Fundamentals of modelling concurrency using discrete relational structures | 1997-11-17 | Paper |
| A weak order approach to group ranking | 1996-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858946 | 1996-03-05 | Paper |
| Structure of concurrency | 1993-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037102 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037381 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4023058 | 1993-01-23 | Paper |
| Transformations of sequential specifications into concurrent specifications by synchronization guards | 1990-01-01 | Paper |
| A formal semantics for concurrent systems with a priority relation | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774931 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780449 | 1987-01-01 | Paper |
| Concurrent and maximally concurrent evolution of nonsequential systems | 1986-01-01 | Paper |
| Transforming sequential systems into concurrent systems | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680255 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3691069 | 1985-01-01 | Paper |
| Nets, sequential components and concurrency relations | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3325015 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659153 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3691068 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919088 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3668836 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880288 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3890103 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3896496 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3854597 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3860812 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3877024 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4187296 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4160381 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4136541 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4142655 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105237 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105762 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4107898 | 1976-01-01 | Paper |
