| Publication | Date of Publication | Type |
|---|
| Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms | 2024-12-03 | Paper |
| A lattice-theoretical view of strategy iteration | 2024-09-25 | Paper |
| A monoidal view on fixpoint checks | 2024-01-12 | Paper |
| Fixpoint Theory -- Upside Down | 2023-08-26 | Paper |
| Un)Decidability for History Preserving True Concurrent Logics. | 2023-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875664 | 2023-02-03 | Paper |
| Intensional Kleene and Rice theorems for abstract program semantics | 2022-12-08 | Paper |
| Minimisation of event structures | 2022-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089290 | 2022-07-18 | Paper |
| Characterising spectra of equivalences for event structures, logically | 2022-06-08 | Paper |
| Behavioural logics for configuration structures | 2022-04-07 | Paper |
| Model Checking a Logic for True Concurrency | 2022-02-24 | Paper |
| Concurrent semantics for fusions: weak prime domains and connected event structures | 2021-11-25 | Paper |
| Fixpoint theory -- upside down | 2021-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144682 | 2021-01-19 | Paper |
| Petri nets are dioids: a new algebraic foundation for non-deterministic net theory | 2019-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553276 | 2018-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4683862 | 2018-09-26 | Paper |
| Petri Nets for Modelling and Analysing Trophic Networks | 2018-07-18 | Paper |
| Automata for true concurrency properties | 2018-07-17 | Paper |
| Multilevel transitive and intransitive non-interference, causally | 2017-11-16 | Paper |
| Towards Trace Metrics via Functor Lifting | 2017-07-11 | Paper |
| Local Model Checking in a Logic for True Concurrency | 2017-05-19 | Paper |
| Behavioral Metrics via Functor Lifting | 2017-04-25 | Paper |
| Reduction of event structures under history preserving bisimulation | 2016-11-07 | Paper |
| Concurrency cannot be observed, asynchronously | 2016-07-27 | Paper |
| Processes and unfoldings: concurrent computations in adhesive categories | 2016-07-26 | Paper |
| A causal view on non-interference | 2016-05-02 | Paper |
| Hereditary History-Preserving Bisimilarity: Logics and Automata | 2016-02-26 | Paper |
| Asynchronous Traces and Open Petri Nets | 2016-01-08 | Paper |
| A Logic for True Concurrency | 2015-08-14 | Paper |
| Non-interference by Unfolding | 2014-07-08 | Paper |
| Towards a Notion of Transaction in Graph Rewriting | 2014-03-21 | Paper |
| Towards a sharing strategy for the graph rewriting calculus | 2014-01-24 | Paper |
| Modelling calculi with name mobility using graphs with equivalences | 2013-12-20 | Paper |
| A rewriting calculus for cyclic higher-order term graphs | 2013-09-25 | Paper |
| Comparing Metabolic Pathways through Reactions and Potential Fluxes | 2013-09-17 | Paper |
| Verifying a behavioural logic for graph transformation systems | 2013-09-11 | Paper |
| Concurrency for Graph Grammars in a Petri net shell | 2013-05-24 | Paper |
| Efficient unfolding of contextual Petri nets | 2012-08-13 | Paper |
| Sharing in the Graph Rewriting Calculus | 2012-06-08 | Paper |
| Unfolding Grammars in Adhesive Categories | 2012-06-01 | Paper |
| Efficient Contextual Unfolding | 2011-09-02 | Paper |
| Adhesivity Is Not Enough: Local Church-Rosser Revisited | 2011-08-17 | Paper |
| Bisimulation by Unification* | 2011-05-06 | Paper |
| A lattice-theoretical perspective on adhesive categories | 2011-03-14 | Paper |
| Petri nets for modelling metabolic pathways: a survey | 2010-11-30 | Paper |
| Unfolding-based diagnosis of systems with an evolving topology | 2010-10-07 | Paper |
| On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars | 2010-10-04 | Paper |
| A Logic for True Concurrency | 2010-08-31 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Encoding Asynchronous Interactions Using Open Petri Nets | 2009-10-22 | Paper |
| Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets | 2009-04-29 | Paper |
| Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets | 2009-03-10 | Paper |
| McMillan’s Complete Prefix for Contextual Nets | 2009-02-03 | Paper |
| Petri Nets Are Dioids | 2009-01-27 | Paper |
| Composition and Decomposition of DPO Transformations with Borrowed Context | 2008-11-27 | Paper |
| Graph Transactions as Processes | 2008-11-27 | Paper |
| Unfolding-Based Diagnosis of Systems with an Evolving Topology | 2008-11-25 | Paper |
| Open Petri Nets: Non-deterministic Processes and Compositionality | 2008-11-20 | Paper |
| Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts | 2008-11-20 | Paper |
| Workshop on Petri Nets and Graph Transformations | 2008-11-20 | Paper |
| A framework for the verification of infinite-state graph transformation systems | 2008-08-14 | Paper |
| Unfolding Graph Transformation Systems: Theory and Applications to Verification | 2008-06-19 | Paper |
| A semantic framework for open processes | 2007-12-14 | Paper |
| Deducing Interactions in Partially Unspecified Biological Systems | 2007-11-29 | Paper |
| A rewriting calculus for cyclic higher-order term graphs | 2007-09-26 | Paper |
| A Temporal Graph Logic for Verification of Graph Transformation Systems | 2007-09-10 | Paper |
| Concurrent Rewriting for Graphs with Equivalences | 2007-09-04 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Unfolding semantics of graph transformation | 2007-05-14 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Global Computing | 2005-08-19 | Paper |
| Global Computing | 2005-08-19 | Paper |
| Compositional semantics for open Petri nets based on deterministic processes | 2005-03-14 | Paper |
| Domain and event structure semantics for Petri nets with read and inhibitor arcs | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813402 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738296 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738295 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438762 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707757 | 2003-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791852 | 2003-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791846 | 2003-02-03 | Paper |
| A category of compositional domain-models for separable Stone spaces. | 2003-01-21 | Paper |
| Contextual Petri nets, asymmetric event structures, and processes | 2003-01-14 | Paper |
| Basic theory of \(F\)-bounded quantification. | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536619 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722031 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260701 | 2000-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502811 | 2000-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839067 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222746 | 1998-12-09 | Paper |
| A characterization of distance between 1-bounded compact ultrametric spaces through a universal space | 1998-08-13 | Paper |
| A fixed-point theorem in a category of compact metric spaces | 1997-02-28 | Paper |
