| Publication | Date of Publication | Type |
|---|
| Taking complete finite prefixes to high level, symbolically | 2024-10-22 | Paper |
| Concurrency in Boolean networks | 2024-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6191021 | 2024-02-08 | Paper |
| Taking complete finite prefixes to high level, symbolically | 2023-11-16 | Paper |
| Drawing the line: basin boundaries in safe Petri nets | 2022-12-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5090956 | 2022-07-21 | Paper |
| Unfolding of parametric Boolean networks | 2022-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964715 | 2021-03-03 | Paper |
| Combining refinement of parametric models with goal-oriented reduction of dynamics | 2020-01-23 | Paper |
| Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph | 2019-12-04 | Paper |
| Sequential reprogramming of Boolean networks made practical | 2019-10-10 | Paper |
| Temporal Reprogramming of Boolean Networks | 2019-07-25 | Paper |
| Parameter space abstraction and unfolding semantics of discrete regulatory networks | 2019-06-18 | Paper |
| The Complexity of Diagnosability and Opacity Verification for Petri Nets | 2018-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583879 | 2018-09-03 | Paper |
| The complexity of diagnosability and opacity verification for Petri nets | 2018-08-20 | Paper |
| Boolean networks: beyond generalized asynchronicity | 2018-08-10 | Paper |
| Decoupling passenger flows for improved load prediction | 2018-01-11 | Paper |
| Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets | 2017-08-25 | Paper |
| Markov nets: probabilistic models for distributed and concurrent systems | 2017-06-20 | Paper |
| Diagnosis of asynchronous discrete-event systems: a net unfolding approach | 2017-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2963940 | 2017-02-21 | Paper |
| Belief, knowledge, lies and other utterances in an algebra for space and extrusion | 2016-11-30 | Paper |
| Optimal constructions for active diagnosis | 2016-09-16 | Paper |
| Unfolding-Based Process Discovery | 2016-01-08 | Paper |
| A Canonical Contraction for Safe Petri Nets | 2015-11-12 | Paper |
| Non-atomic Transition Firing in Contextual Nets | 2015-08-27 | Paper |
| Closed Sets in Occurrence Nets with Conflicts | 2015-06-26 | Paper |
| Languages, Decidability, and Complexity | 2015-01-29 | Paper |
| Diagnosis with Petri Net Unfoldings | 2015-01-29 | Paper |
| Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue | 2015-01-13 | Paper |
| Active Diagnosis for Probabilistic Systems | 2014-04-16 | Paper |
| Computing the reveals relation in occurrence nets | 2014-01-10 | Paper |
| What topology tells us about diagnosability in partial order semantics | 2013-07-09 | Paper |
| Building Occurrence Nets from Reveals Relations | 2013-06-27 | Paper |
| A concurrency-preserving translation from time Petri nets to networks of timed automata | 2012-09-27 | Paper |
| Conformance Relations for Labeled Event Structures | 2012-07-20 | Paper |
| Unfolding-based diagnosis of systems with an evolving topology | 2010-10-07 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net | 2009-12-01 | Paper |
| Monotonicity in Service Orchestrations | 2009-06-30 | Paper |
| Unfolding-Based Diagnosis of Systems with an Evolving Topology | 2008-11-25 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Distributed monitoring of concurrent and asynchronous systems | 2005-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3159192 | 2005-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813200 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4458137 | 2004-03-17 | Paper |
| Blocking a transition in a free choice net and what it tells about its throughput. | 2003-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782042 | 2002-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2775863 | 2002-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4507817 | 2000-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234767 | 1999-03-16 | Paper |
