| Publication | Date of Publication | Type |
|---|
| Graded monads and behavioural equivalence games | 2024-12-06 | Paper |
| 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 |
| Hennessy-Milner theorems via Galois connections | 2024-09-25 | Paper |
| Up-to techniques for behavioural metrics via fibrations | 2024-03-05 | Paper |
| A monoidal view on fixpoint checks | 2024-01-12 | Paper |
| Stochastic decision Petri nets | 2023-11-16 | Paper |
| Fixpoint Theory -- Upside Down | 2023-08-26 | Paper |
| Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic | 2022-12-07 | Paper |
| A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java | 2022-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089290 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028460 | 2022-02-09 | Paper |
| Fixpoint theory -- upside down | 2021-10-18 | Paper |
| Up-To Techniques for Behavioural Metrics via Fibrations | 2021-08-04 | Paper |
| (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras | 2021-08-04 | Paper |
| Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks | 2021-08-04 | Paper |
| Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas | 2021-02-22 | Paper |
| A van Benthem Theorem for Fuzzy Modal Logic | 2021-01-20 | Paper |
| Up-To Techniques for Weighted Systems | 2020-08-05 | Paper |
| On the Decidability Status of Reachability and Coverability in Graph Transformation Systems | 2020-05-27 | Paper |
| Rewriting abstract structures: materialization explained categorically | 2020-01-28 | Paper |
| CoReS: a tool for computing core graphs via SAT/SMT solvers | 2019-11-28 | Paper |
| Specifying graph languages with type graphs | 2019-11-22 | Paper |
| Specifying graph languages with type graphs | 2019-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621159 | 2019-02-08 | Paper |
| A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata | 2018-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4683862 | 2018-09-26 | Paper |
| Recognizable languages of arrows and cospans | 2018-09-05 | Paper |
| CoReS: a tool for computing core graphs via SAT/SMT solvers | 2018-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4637688 | 2018-04-25 | Paper |
| A tutorial on graph transformation | 2018-04-04 | Paper |
| Towards Trace Metrics via Functor Lifting | 2017-07-11 | Paper |
| Behavioral Metrics via Functor Lifting | 2017-04-25 | Paper |
| Well-structured graph transformation systems | 2016-12-22 | Paper |
| Processes and unfoldings: concurrent computations in adhesive categories | 2016-07-26 | Paper |
| Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings | 2015-09-22 | Paper |
| Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions | 2015-09-11 | Paper |
| A General Framework for Well-Structured Graph Transformation Systems | 2014-09-15 | Paper |
| Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata | 2014-09-15 | Paper |
| Termination Analysis for Graph Transformation Systems | 2014-09-15 | Paper |
| Termination of Cycle Rewriting | 2014-07-24 | Paper |
| Coalgebraic trace semantics for continuous probabilistic transition systems | 2014-01-08 | Paper |
| Verifying a behavioural logic for graph transformation systems | 2013-09-11 | Paper |
| Well-Structured Graph Transformation Systems with Negative Application Conditions | 2012-10-02 | Paper |
| Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking | 2012-10-02 | Paper |
| Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory | 2012-09-25 | Paper |
| Conditional reactive systems | 2012-08-31 | Paper |
| Efficient unfolding of contextual Petri nets | 2012-08-13 | Paper |
| A Coalgebraic Perspective on Minimization and Determinization | 2012-06-22 | Paper |
| Deriving Bisimulation Congruences for Conditional Reactive Systems | 2012-06-22 | Paper |
| Unfolding Grammars in Adhesive Categories | 2012-06-01 | Paper |
| A lattice-theoretical perspective on adhesive categories | 2011-03-14 | Paper |
| A Logic on Subobjects and Recognizability | 2010-10-27 | Paper |
| Unfolding-based diagnosis of systems with an evolving topology | 2010-10-07 | Paper |
| Verification of Graph Transformation Systems with Context-Free Specifications | 2010-10-04 | Paper |
| On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars | 2010-10-04 | Paper |
| Incremental construction of coverability graphs | 2010-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396003 | 2009-09-15 | 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 |
| Deriving Bisimulation Congruences with Borrowed Contexts | 2009-03-10 | Paper |
| Synthesising CCS bisimulation using graph rewriting | 2009-03-02 | Paper |
| McMillan’s Complete Prefix for Contextual Nets | 2009-02-03 | Paper |
| Sesqui-Pushout Rewriting | 2008-11-27 | Paper |
| Process Bisimulation Via a Graphical Encoding | 2008-11-27 | Paper |
| Composition and Decomposition of DPO Transformations with Borrowed Context | 2008-11-27 | Paper |
| Unfolding-Based Diagnosis of Systems with an Evolving Topology | 2008-11-25 | Paper |
| Towards the Verification of Attributed Graph Transformation Systems | 2008-11-20 | Paper |
| Open Petri Nets: Non-deterministic Processes and Compositionality | 2008-11-20 | Paper |
| On the Recognizability of Arrow and Graph Languages | 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 |
| Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems | 2008-07-15 | Paper |
| Unfolding Graph Transformation Systems: Theory and Applications to Verification | 2008-06-19 | Paper |
| Deriving Bisimulation Congruences in the Presence of Negative Application Conditions | 2008-04-11 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| A Temporal Graph Logic for Verification of Graph Transformation Systems | 2007-09-10 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts | 2007-02-07 | Paper |
| Developments in Language Theory | 2006-06-23 | Paper |
| A general framework for types in graph rewriting | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714438 | 2006-01-02 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Analysing input/output-capabilities of mobile processes with a generic type system | 2005-04-18 | Paper |
| On deterministic finite automata and syntactic monoid size | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813402 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472460 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452075 | 2004-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438762 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412117 | 2003-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791846 | 2003-02-03 | Paper |
| Hypergraph construction and its application to the static analysis of concurrent systems | 2002-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754160 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270069 | 1999-11-10 | Paper |
