| Publication | Date of Publication | Type |
|---|
| Reversing Steps in Petri Nets | 2024-01-29 | Paper |
| Evaluation of temporal datasets via interval temporal logic model checking | 2023-02-03 | Paper |
| Investigating Reversibility of Steps in Petri Nets | 2022-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965855 | 2021-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965824 | 2021-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4963897 | 2021-02-24 | Paper |
| Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts | 2020-04-21 | Paper |
| An efficient characterization of Petri net solvable binary words | 2019-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4596797 | 2017-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4594347 | 2017-11-23 | Paper |
| Trace Simulation Semantics is not Finitely Based over BCCSP | 2017-08-25 | Paper |
| Branching Bisimulation Games | 2016-10-19 | Paper |
| On the unification of process semantics: equational semantics | 2016-05-10 | Paper |
| Axiomatizing weak simulation semantics over BCCSP | 2014-06-10 | Paper |
| Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences | 2014-05-13 | Paper |
| Simulations up-to and canonical preorders (extended abstract) | 2014-01-10 | Paper |
| Constrained simulations, nested simulation semantics and counting bisimulations | 2014-01-10 | Paper |
| On the expressiveness of mobile synchronizing Petri nets | 2013-12-06 | Paper |
| Tagged systems: a framework for the specification of history-dependent properties | 2013-09-27 | Paper |
| Distances between Processes: A Pure Algebraic Approach | 2013-09-13 | Paper |
| Unifying the linear time-branching time spectrum of process semantics | 2013-07-09 | Paper |
| Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet | 2013-03-28 | Paper |
| Relating modal refinements, covariant-contravariant simulations and partial bisimulations | 2012-06-29 | Paper |
| The equational theory of weak complete simulation semantics over BCCSP | 2012-06-15 | Paper |
| Non-strongly stable orders also define interesting simulation relations | 2012-06-01 | Paper |
| Accelerations for the coverability set of Petri nets with names | 2012-03-22 | Paper |
| Axiomatizing weak ready simulation semantics over BCCSP | 2012-01-06 | Paper |
| Decidability and complexity of Petri nets with unordered data | 2011-07-29 | Paper |
| Decidability problems in Petri nets with names and replication | 2011-03-28 | Paper |
| Forward analysis for Petri nets with name creation | 2010-06-22 | Paper |
| On the expressiveness of refinement settings | 2010-01-28 | Paper |
| Ready to preorder: an algebraic and general proof | 2009-09-29 | Paper |
| Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication | 2009-06-30 | Paper |
| (Bi)simulations up-to characterise process semantics | 2009-04-14 | Paper |
| Name Creation vs. Replication in Petri Net Systems | 2009-03-11 | Paper |
| New Bisimulation Semantics for Distributed Systems | 2009-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601864 | 2009-02-12 | Paper |
| Replicated Ubiquitous Nets | 2009-02-12 | Paper |
| On the Unification of Process Semantics: Observational Semantics | 2009-02-03 | Paper |
| Replicated Ambient Petri Nets | 2008-09-30 | Paper |
| Reflection and Preservation of Properties in Coalgebraic (bi)Simulations | 2008-09-17 | Paper |
| Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets | 2008-09-04 | Paper |
| Testing semantics for urgent timed process algebras | 2007-08-22 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Formal Approaches to Software Testing | 2005-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536607 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766563 | 2002-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535184 | 2002-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736355 | 2001-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501573 | 2001-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942026 | 2000-03-19 | Paper |
| An invitation to friendly testing | 1999-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729315 | 1989-01-01 | Paper |
