Stephan Mennicke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ITP | Verifying Datalog Reasoning with Lean. | Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krtzsch |
| 2022 | AAAI | Answering Queries with Negation over Existential Rules. | Stefan Ellmauthaler, Markus Krtzsch, Stephan Mennicke |
| 2019 | ER | Modal Schema Graphs for Graph Databases. | Stephan Mennicke |
| 2019 | ICDE | Fast Dual Simulation Processing of Graph Database Queries. | Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke |
| 2017 | ER | Querying Graph Databases: What Do Graph Patterns Mean? | Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke |
| 2014 | FORTE | On the Step Branching Time Closure of Free-Choice Petri Nets. | Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz |
| 2014 | ISoLA | DeltaCCS: A Core Calculus for Behavioral Change. | Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck |
| 2014 | SPLC | Automated verification of feature model configuration processes based on workflow Petri nets. | Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann |