| Publication | Date of Publication | Type |
|---|
| A small-step operational semantics for GP 2 | 2024-12-06 | Paper |
Formalising the double-pushout approach to graph transformation
Logical Methods in Computer Science | 2024-11-12 | Paper |
On termination of graph rewriting
Graph-Theoretic Concepts in Computer Science | 2024-02-28 | Paper |
Time and space measures for a complete graph computation model
(available as arXiv preprint) | 2024-02-20 | Paper |
| Time and space measures for a complete graph computation model | 2024-02-20 | Paper |
Towards mechanised proofs in double-pushout graph transformation
(available as arXiv preprint) | 2024-02-20 | Paper |
| Towards mechanised proofs in double-pushout graph transformation | 2024-02-20 | Paper |
| Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem | 2024-01-12 | Paper |
Evolving graphs with semantic neutral drift
Natural Computing | 2023-09-08 | Paper |
Collapsed tree rewriting: Completeness, confluence, and modularity
Conditional Term Rewriting Systems | 2023-03-09 | Paper |
Implementing term rewriting by graph reduction: Termination of combined systems
Conditional and Typed Rewriting Systems | 2023-03-09 | Paper |
| scientific article; zbMATH DE number 7649899 (Why is no real title available?) | 2023-02-03 | Paper |
Monadic second-order incorrectness logic for GP 2
Journal of Logical and Algebraic Methods in Programming | 2022-11-16 | Paper |
Confluence up to garbage
Graph Transformation | 2022-09-01 | Paper |
Critical pairs in term graph rewriting
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
| Verifying graph programs with monadic second-order logic | 2022-03-21 | Paper |
| scientific article; zbMATH DE number 7456057 (Why is no real title available?) | 2022-01-12 | Paper |
scientific article; zbMATH DE number 7456057 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-12 | Paper |
| scientific article; zbMATH DE number 7456056 (Why is no real title available?) | 2022-01-12 | Paper |
scientific article; zbMATH DE number 7456056 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-12 | Paper |
| Reasoning about graph programs | 2021-12-07 | Paper |
Reasoning about graph programs
(available as arXiv preprint) | 2021-12-07 | Paper |
Confluence up to garbage in graph transformation
Theoretical Computer Science | 2021-08-27 | Paper |
Towards critical pair analysis for the graph programming language GP 2
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
Graph unification and matching
Lecture Notes in Computer Science | 2019-01-10 | Paper |
| Probabilistic graph programs for randomised and evolutionary algorithms | 2018-08-24 | Paper |
| Modular termination of graph transformation | 2018-04-04 | Paper |
From imperative to rule-based graph programs
Journal of Logical and Algebraic Methods in Programming | 2017-03-20 | Paper |
Verifying monadic second-order properties of graph programs
Graph Transformation | 2014-09-26 | Paper |
Verifying monadic second-order properties of graph programs
Graph Transformation | 2014-09-26 | Paper |
The York Abstract Machine
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
| Extending C for checking shape safety | 2013-10-07 | Paper |
Solving equations by graph transformation
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Essentials of term graph rewriting
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
\(\mathcal M, \mathcal N\)-adhesive transformation systems
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Hoare-style verification of graph programs
Fundamenta Informaticae | 2012-07-11 | Paper |
A Hoare calculus for graph programs
Lecture Notes in Computer Science | 2010-10-04 | Paper |
The Graph Programming Language GP
Algebraic Informatics | 2009-11-05 | Paper |
Graph Transformation in Constant Time
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
| scientific article; zbMATH DE number 2043523 (Why is no real title available?) | 2004-02-16 | Paper |
| scientific article; zbMATH DE number 2016072 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 2016092 (Why is no real title available?) | 2003-12-10 | Paper |
Bisimilarity in term graph rewriting.
Information and Computation | 2003-01-14 | Paper |
Hierarchical graph transformation
Journal of Computer and System Sciences | 2002-08-04 | Paper |
Double-pushout graph transformation revisited
MSCS. Mathematical Structures in Computer Science | 2002-06-15 | Paper |
| scientific article; zbMATH DE number 1701353 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1418369 (Why is no real title available?) | 2001-03-12 | Paper |
| scientific article; zbMATH DE number 1512612 (Why is no real title available?) | 2000-10-03 | Paper |
| scientific article; zbMATH DE number 1504830 (Why is no real title available?) | 2000-09-12 | Paper |
Graph transformation for specification and programming
Science of Computer Programming | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1361503 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1231589 (Why is no real title available?) | 1998-12-21 | Paper |
| scientific article; zbMATH DE number 1183250 (Why is no real title available?) | 1998-12-14 | Paper |
| scientific article; zbMATH DE number 1231490 (Why is no real title available?) | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 969074 (Why is no real title available?) | 1997-06-24 | Paper |
| scientific article; zbMATH DE number 177461 (Why is no real title available?) | 1993-05-18 | Paper |
Implementing term rewriting by jungle evaluation
RAIRO - Theoretical Informatics and Applications | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4160147 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4080885 (Why is no real title available?) | 1988-01-01 | Paper |
