EDBT 2026 Demo / reviewers in the wild / expert
Maria Maximova
dblp:43/9992
· DBLP profile ↗
8ranked-venue papers in the field
2as first author
5since 2021 · last 2024
0000-0001-9275-806XORCID · verified
Domains — venue-derived; a paper can count in several
Other / Interdisciplinary · 8 (2 first)
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Deriving Delay-Robust Timed Graph Transformation System Models
Mustafa Ghani, Sven Schneider 0001, Maria Maximova, Holger Giese |
ICGT | 3 |
| 2022 | Probabilistic Metric Temporal Graph Logic
Sven Schneider 0001, Maria Maximova, Holger Giese |
ICGT | 2 |
| 2022 | Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction
Sven Schneider 0001, Maria Maximova, Holger Giese |
ICGT | 2 |
| 2021 | On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems
Christian Zöllner 0002, Matthias Barkowski, Maria Maximova, Holger Giese |
ICGT | 3 |
| 2021 | Interval Probabilistic Timed Graph Transformation Systems
Maria Maximova, Sven Schneider 0001, Holger Giese |
ICGT | 1 |
| 2020 | Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
Sven Schneider 0001, Lucas Sakizloglou, Maria Maximova, Holger Giese |
ICGT | 3 |
| 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 | 3 |
| 2017 | Probabilistic Timed Graph Transformation Systems
Maria Maximova, Holger Giese, Christian Krause 0001 |
ICGT | 1 |