| Publication | Date of Publication | Type |
|---|
| A Truly Concurrent Semantics for Reversible CCS | 2023-09-25 | Paper |
| Synthesis of nets with inhibitor arcs | 2023-05-17 | Paper |
| On the specification of elementary reactive behaviour | 2023-04-28 | Paper |
| On the nature of events | 2022-08-18 | Paper |
| A Petri net view of covalent bonds | 2022-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028437 | 2022-02-09 | Paper |
| Towards a Truly Concurrent Semantics for Reversible CCS | 2021-11-03 | Paper |
| Memory associated with membranes systems | 2021-09-14 | Paper |
| Reversible occurrence nets and causal reversible prime event structures | 2021-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5114821 | 2020-06-26 | Paper |
| Spreading nets: a uniform approach to unfoldings | 2020-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216081 | 2020-02-14 | Paper |
| Non sequential semantics for contextual P/T nets | 2019-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621133 | 2019-02-08 | Paper |
| Reversing steps in membrane systems computations | 2018-05-16 | Paper |
| Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly | 2017-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5507057 | 2016-12-16 | Paper |
| Contracts as games on event structures | 2016-04-20 | Paper |
| Lending Petri Nets and Contracts | 2015-09-30 | Paper |
| Circular Causality in Event Structures | 2015-06-26 | Paper |
| Catalytic and communicating Petri nets are Turing complete | 2014-11-28 | Paper |
| Flow Unfolding of Multi-clock Nets | 2014-07-08 | Paper |
| Specifying and verifying reactive systems in a multi-language environment | 2013-07-24 | Paper |
| Catalytic Petri Nets Are Turing Complete | 2012-06-08 | Paper |
| Modeling dependencies and simultaneity in membrane system computations | 2012-05-30 | Paper |
| How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings | 2011-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3005249 | 2011-06-07 | Paper |
| Simultaneity in Event Structures | 2010-06-17 | Paper |
| Process discovery and Petri nets | 2010-01-12 | Paper |
| A complete fuzzy logical system to deal with trust management systems | 2009-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413367 | 2007-01-04 | Paper |
| Mathematical Foundations of Computer Science 2005 | 2006-10-20 | Paper |
| Domain and event structure semantics for Petri nets with read and inhibitor arcs | 2004-10-01 | Paper |
| A Tableau Calculus for Hajek's Logic BL | 2004-05-18 | Paper |
| Investigations on Fragments of First Order Branching Temporal Logic | 2003-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536619 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4526681 | 2001-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494116 | 2000-08-10 | Paper |
| A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain | 2000-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4948012 | 2000-04-26 | Paper |
| On the nature of events: another perspective in concurrency | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5748895 | 1991-01-01 | Paper |
