| Publication | Date of Publication | Type |
|---|
| Reasoning formally about database queries and updates | 2024-03-14 | Paper |
| A rule-based procedure for graph query solving | 2024-01-12 | Paper |
A strict constrained superposition calculus for graphs
Lecture Notes in Computer Science | 2023-11-24 | Paper |
Combining Parallel Graph Rewriting and Quotient Graphs
1517.68154 | 2022-12-22 | Paper |
| scientific article; zbMATH DE number 7456050 (Why is no real title available?) | 2022-01-12 | Paper |
scientific article; zbMATH DE number 7456050 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-12 | Paper |
| Parallel coherent graph transformations | 2021-10-27 | Paper |
Parallel rewriting of attributed graphs
Theoretical Computer Science | 2020-12-15 | Paper |
The pullback-pushout approach to algebraic graph transformation
Graph Transformation | 2019-11-22 | Paper |
Algebraic graph rewriting with controlled embedding
Theoretical Computer Science | 2019-11-22 | Paper |
The PBPO graph transformation approach
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
Parallel Graph Rewriting with Overlapping Rules
EPiC Series in Computing | 2019-01-10 | Paper |
| Verifying graph transformation systems with description logics | 2018-08-24 | Paper |
| Proving correctness of logically decorated graph rewriting systems | 2017-10-17 | Paper |
Ensuring correctness of model transformations while remaining decidable
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
A needed narrowing strategy
Journal of the ACM | 2015-12-17 | Paper |
AGREE -- algebraic graph rewriting with controlled embedding
Graph Transformation | 2015-09-22 | Paper |
AGREE -- algebraic graph rewriting with controlled embedding
Graph Transformation | 2015-09-22 | Paper |
A Hoare-like calculus using the \(\mathrm{SROIQ}^{\sigma }\) logic on transformations of graphs
Lecture Notes in Computer Science | 2014-09-15 | Paper |
On term-graph rewrite strategies
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Modeling pointer redirection as cyclic term-graph rewriting
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
Timed term rewrite systems
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Defining actions in concurrent declarative programming
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Graph transformation with focus on incident edges
Lecture Notes in Computer Science | 2012-10-02 | Paper |
A dynamic logic for termgraph rewriting
Lecture Notes in Computer Science | 2010-10-04 | Paper |
A term-graph clausal logic: completeness and incompleteness results ★
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
A Heterogeneous Pushout Approach to Term-Graph Transformation
Rewriting Techniques and Applications | 2009-06-30 | Paper |
Narrowing Data-Structures with Pointers
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Inductively Sequential Term-Graph Rewrite Systems
Lecture Notes in Computer Science | 2008-11-20 | Paper |
A Needed Rewriting Strategy for Data-Structures with Pointers
Rewriting Techniques and Applications | 2008-08-28 | Paper |
Adjunction for Garbage Collection with Application to Graph Rewriting
Lecture Notes in Computer Science | 2008-01-02 | Paper |
Non Strict Confluent Rewrite Systems for Data-Structures with Pointers
Lecture Notes in Computer Science | 2008-01-02 | Paper |
| scientific article; zbMATH DE number 1696803 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1420819 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1418367 (Why is no real title available?) | 2000-03-19 | Paper |
On completeness of narrowing strategies
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4053009 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3942988 (Why is no real title available?) | 1986-01-01 | Paper |
