| Publication | Date of Publication | Type |
|---|
| A logic-based incremental approach to graph repair | 2023-11-24 | Paper |
| Clausal rewriting | 2023-03-09 | Paper |
| Unification of drags and confluence of drag rewriting | 2023-02-03 | Paper |
| Compositionality results for different types of parameterization and parameter passing in specification languages | 2022-11-02 | Paper |
| Incremental Concurrent Model Synchronization using Triple Graph Grammars | 2022-10-13 | Paper |
| Unfolding Symbolic Attributed Graph Grammars | 2022-09-01 | Paper |
| Initial Conflicts for Transformation Rules with Nested Application Conditions | 2022-09-01 | Paper |
| Algebraic methods in the compositional analysis of logic programs | 2022-08-18 | Paper |
| Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality | 2021-08-27 | Paper |
| A navigational logic for reasoning about graph properties | 2021-02-26 | Paper |
| Symbolic Model Generation for Graph Properties | 2020-02-13 | Paper |
| Institutions for navigational logics for graphical structures | 2018-07-26 | Paper |
| Initial conflicts and dependencies: critical pairs revisited | 2018-04-04 | Paper |
| Towards a navigational logic for graphical structures | 2018-04-04 | Paper |
| Amalgamation of domain specific languages with behaviour | 2016-11-30 | Paper |
| -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation | 2016-07-26 | Paper |
| Formal analysis of model transformations based on triple graph grammars | 2016-07-26 | Paper |
| Satisfiability of Constraint Specifications on XML Documents | 2015-09-14 | Paper |
| Abstract Constraint Data Types | 2015-06-22 | Paper |
| Tableau-Based Reasoning for Graph Properties | 2014-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2871853 | 2014-01-10 | Paper |
| Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions | 2013-12-06 | Paper |
| Behaviour Protection in Modular Rule-Based System Specifications | 2013-09-13 | Paper |
| Invariant-free clausal temporal resolution | 2013-07-05 | Paper |
| A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques | 2013-05-10 | Paper |
| Checking Bisimilarity for Attributed Graph Transformation | 2013-03-18 | Paper |
| Borrowed Contexts for Attributed Graphs | 2012-10-02 | Paper |
| Semantics of structured normal logic programs | 2012-08-14 | Paper |
| ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence | 2012-07-11 | Paper |
| Lazy Graph Transformation | 2012-07-11 | Paper |
| Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation | 2012-06-01 | Paper |
| Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs | 2012-05-14 | Paper |
| Symbolic graphs for attributed graph constraints | 2011-03-14 | Paper |
| Controlling Reuse in Pattern-Based Model-to-Model Transformations | 2010-11-26 | Paper |
| Delaying Constraint Solving in Symbolic Graph Transformation | 2010-10-04 | Paper |
| Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars | 2010-10-04 | Paper |
| Local Confluence for Rules with Nested Application Conditions | 2010-10-04 | Paper |
| Reasoning with graph constraints | 2010-05-28 | Paper |
| A Generic Approach to Connector Architectures Part I: The General Framework | 2010-05-25 | Paper |
| A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP | 2010-05-25 | Paper |
| Dual systems of tableaux and sequents for PLTL | 2009-11-04 | Paper |
| On the Specification and Verification of Model Transformations | 2009-10-22 | Paper |
| A Cut-Free and Invariant-Free Sequent Calculus for PLTL | 2009-03-05 | Paper |
| A Transformational Semantics of Static Embedded Implications of Normal Logic Programs | 2009-01-15 | Paper |
| Conflict Detection for Graph Transformation with Negative Application Conditions | 2008-11-27 | Paper |
| Categorical Foundations of Distributed Graph Transformation | 2008-11-27 | Paper |
| Embedding and Confluence of Graph Transformations with Negative Application Conditions | 2008-11-20 | Paper |
| Attributed Graph Constraints | 2008-11-20 | Paper |
| A functorial framework for constraint normal logic programming | 2008-07-30 | Paper |
| A Logic of Graph Constraints | 2008-05-02 | Paper |
| A Functorial Framework for Constraint Normal Logic Programming | 2007-09-07 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738311 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736517 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471722 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436351 | 2003-12-04 | Paper |
| Concurrency and loose semantics of open graph transformation systems | 2003-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722030 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502807 | 2001-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493910 | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790389 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790390 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790391 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940886 | 2000-04-06 | Paper |
| An algebraic framework for the definition of compositional semantics of normal logic programs | 1999-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702596 | 1999-11-24 | Paper |
| Abstract and behaviour module specifications | 1999-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4399250 | 1998-07-28 | Paper |
| Institutions for logic programming | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4378146 | 1998-06-11 | Paper |
| Compositionality and compatibility of parameterization and parameter passing in specification languages | 1996-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4299864 | 1995-04-18 | Paper |
| Contextual rewriting as a sound and complete proof method for conditional LOG-specifications | 1994-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4713364 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729318 | 1988-01-01 | Paper |
| A characterization of passing compatibility for parameterized specifications | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3034806 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757375 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707390 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343435 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3345754 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3686016 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3920623 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4143288 | 1976-01-01 | Paper |
