EDBT 2026 Demo / reviewers in the wild / expert
Holger Giese
dblp:13/1348
· DBLP profile ↗
19ranked-venue papers in the field
1as first author
8since 2021 · last 2024
0000-0002-4723-730XORCID · verified
Domains — venue-derived; a paper can count in several
Other / Interdisciplinary · 19 (1 first)
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Localized RETE for Incremental Graph Queries
Matthias Barkowski, Holger Giese |
ICGT | 2 |
| 2024 | Deriving Delay-Robust Timed Graph Transformation System Models
Mustafa Ghani, Sven Schneider 0001, Maria Maximova, Holger Giese |
ICGT | 4 |
| 2022 | Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness
Matthias Barkowski, Holger Giese |
ICGT | 2 |
| 2022 | Probabilistic Metric Temporal Graph Logic
Sven Schneider 0001, Maria Maximova, Holger Giese |
ICGT | 3 |
| 2022 | Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction
Sven Schneider 0001, Maria Maximova, Holger Giese |
ICGT | 3 |
| 2021 | On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems
Christian Zöllner 0002, Matthias Barkowski, Maria Maximova, Holger Giese |
ICGT | 4 |
| 2021 | Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching
Matthias Barkowski, Holger Giese |
ICGT | 2 |
| 2021 | Interval Probabilistic Timed Graph Transformation Systems
Maria Maximova, Sven Schneider 0001, Holger Giese |
ICGT | 3 |
| 2020 | Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
Sven Schneider 0001, Johannes Dyck, Holger Giese |
ICGT | 3 |
| 2020 | Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
Sven Schneider 0001, Lucas Sakizloglou, Maria Maximova, Holger Giese |
ICGT | 4 |
| 2020 | A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies
Christian Zöllner 0002, Matthias Barkowski, Maria Maximova, Melanie Schneider, Holger Giese |
ICGT | 5 |
| 2019 | Hybrid Search Plan Generation for Generalized Graph Pattern Matching
Matthias Barkowski, Holger Giese |
ICGT | 2 |
| 2017 | k-Inductive Invariant Checking for Graph Transformation Systems
Johannes Dyck, Holger Giese |
ICGT | 2 |
| 2017 | Probabilistic Timed Graph Transformation Systems
Maria Maximova, Holger Giese, Christian Krause 0001 |
ICGT | 2 |
| 2016 | On the Operationalization of Graph Queries with Generalized Discrimination Networks
Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers |
ICGT | 3 |
| 2015 | Inductive Invariant Checking with Partial Negative Application Conditions
Johannes Dyck, Holger Giese |
ICGT | 2 |
| 2012 | Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking
Holger Giese, Leen Lambers |
ICGT | 1 |
| 2012 | Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements
Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese |
ICGT | 4 |
| 2012 | Probabilistic Graph Transformation Systems
Christian Krause 0001, Holger Giese |
ICGT | 2 |