| Publication | Date of Publication | Type |
|---|
| A case in point: verification and testing of a EULYNX interface | 2024-09-25 | Paper |
| Denotational, causal, and operational determinism in event structures | 2023-02-23 | Paper |
| How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order | 2022-11-09 | Paper |
| Defining Object-Oriented Execution Semantics Using Graph Transformations | 2021-05-25 | Paper |
| Rewriting abstract structures: materialization explained categorically | 2020-01-28 | Paper |
| A tutorial on graph transformation | 2018-04-04 | Paper |
| Graph attribution through sub-graphs | 2018-04-04 | Paper |
| Fault trees on a diet: automated reduction by graph rewriting | 2017-09-08 | Paper |
| Fault Trees on a Diet | 2017-08-31 | Paper |
| Graph Transformation Semantics for a QVT Language | 2014-03-21 | Paper |
| Abstract graph transformation | 2013-10-07 | Paper |
| Generalised Compositionality in Graph Transformation | 2012-10-02 | Paper |
| Pattern-Based Graph Abstraction | 2012-10-02 | Paper |
| The Edge of Graph Transformation — Graphs for Behavioural Specification | 2010-11-26 | Paper |
| Compositionality in Graph Transformation | 2010-09-07 | Paper |
| Formal Approaches to Software Testing | 2009-06-04 | Paper |
| Weakest Preconditions for High-Level Programs | 2008-11-27 | Paper |
| Nested Quantification in Graph Transformation Rules | 2008-11-27 | Paper |
| Dynamic Partial Order Reduction Using Probe Sets | 2008-11-25 | Paper |
| A Modal-Logic Based Graph Abstraction | 2008-11-20 | Paper |
| Graph-Based Tools: The Contest | 2008-11-20 | Paper |
| Explicit State Model Checking for Graph Grammars | 2008-06-19 | Paper |
| Programming Languages and Systems | 2007-09-28 | Paper |
| Safety and Liveness in Concurrent Pointer Programs | 2007-09-11 | Paper |
| Model Checking Quantified Computation Tree Logic | 2007-09-04 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Fair testing | 2007-02-20 | Paper |
| Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436360 | 2003-12-04 | Paper |
| Bisimilarity of open terms. | 2003-01-14 | Paper |
| Vertical implementation | 2003-01-14 | Paper |
| Process algebra with action dependencies | 2002-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536609 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762660 | 2001-02-22 | Paper |
| Action refinement. | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490738 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699323 | 2000-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222918 | 1998-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222924 | 1998-12-21 | Paper |
| Algebra and theory of order-deterministic pomsets | 1996-12-11 | Paper |
| Comparing syntactic and semantic action refinement | 1996-07-03 | Paper |
| Finite Petri nets as models for recursive causal behaviour | 1994-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142565 | 1993-12-20 | Paper |
