| Publication | Date of Publication | Type |
|---|
| Unfolding Symbolic Attributed Graph Grammars | 2022-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021222 | 2022-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021224 | 2022-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020535 | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009443 | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150077 | 2021-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150149 | 2021-02-09 | Paper |
| Unfolding graph grammars with negative application conditions | 2020-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967206 | 2019-07-03 | Paper |
| Combining termination proofs in model transformation systems | 2016-07-26 | Paper |
| Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems | 2015-09-22 | Paper |
| Rule-based transformation of graph rewriting rules: towards higher-order graph grammars | 2015-07-24 | Paper |
| Transformation and Refinement of Rigid Structures | 2014-09-26 | Paper |
| Canonical Derivations with Negative Application Conditions | 2014-09-26 | Paper |
| Transformation Systems with Incremental Negative Application Conditions | 2013-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847796 | 2013-09-11 | Paper |
| How to Specify a Graph Transformation Approach | 2013-05-24 | Paper |
| Towards a Formal Framework for Inter-Enterprise Application Integration | 2013-05-24 | Paper |
| Behavioral Constraints for Visual Models1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS. | 2013-05-10 | Paper |
| Parallelism and Concurrency of Stochastic Graph Transformations | 2012-10-02 | Paper |
| DPO Transformation with Open Maps | 2012-10-02 | Paper |
| Open Petri Nets as Semantic Model for Workflow Integration | 2011-04-08 | Paper |
| Combining Termination Criteria by Isolating Deletion | 2010-10-04 | Paper |
| Graph Transformation for Domain-Specific Discrete Event Time Simulation | 2010-10-04 | 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 |
| Molecular Analysis of Metabolic Pathway with Graph Transformation | 2008-11-27 | Paper |
| Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract | 2008-11-27 | Paper |
| Tutorial Introduction to Graph Transformation | 2008-11-20 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416073 | 2007-01-19 | Paper |
| Structural and behavioural compatibility of graphical service specifications | 2007-01-09 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Objects, Agents, and Features | 2005-12-27 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
| Compositional semantics for open Petri nets based on deterministic processes | 2005-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4814091 | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738296 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438774 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438777 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438799 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438804 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4435868 | 2003-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417830 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411047 | 2003-07-07 | Paper |
| Relating functional requirements and software architecture: separation and consistency of concerns | 2003-05-11 | Paper |
| Concurrency and loose semantics of open graph transformation systems | 2003-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791852 | 2003-02-03 | Paper |
| Formal agent-oriented modeling with UML and graph transformation | 2002-10-16 | Paper |
| Compositional SOS and beyond: A coalgebraic view of open systems | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766549 | 2002-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764113 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754139 | 2001-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2728878 | 2001-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2735957 | 2001-09-04 | Paper |
| A coalgebraic presentation of structured transition systems | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502807 | 2001-04-19 | Paper |
| Double-pullback transitions and coalgebraic loose semantics for graph transformation systems | 2001-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499230 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934317 | 2000-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502817 | 2000-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941928 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699298 | 2000-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256315 | 1999-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222948 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222787 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222796 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839056 | 1998-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5284549 | 1997-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4890712 | 1996-08-25 | Paper |
