The Petri Net API A Collection of Petri Net-related Functions. - Niels Lohmann; Stephan Mennicke; Christian Sura (AWPN, 2010)

An Operational Petri Net Semantics for the Join-Calculus - Stephan Mennicke (EXPRESS/SOS, 2012)

On the Step Branching Time Closure of Free-Choice Petri Nets. - Stephan Mennicke; Jens-Wolfhard Schicke-Uffmann; Ursula Goltz (FORTE, 2014)

DeltaCCS: A Core Calculus for Behavioral Change. - Malte Lochau; Stephan Mennicke; Hauke Baller; Lars Ribbeck (ISoLA (1), 2014)

Automated verification of feature model configuration processes based on workflow Petri nets. - Stephan Mennicke; Malte Lochau; Julia Schroeter; Tim Winkelmann (SPLC, 2014)

Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. - Lars Luthmann; Stephan Mennicke; Malte Lochau (FMSPLE, 2015)

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. - Lars Luthmann; Stephan Mennicke; Malte Lochau (FACS, 2016)

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report. - Lars Luthmann; Stephan Mennicke; Malte Lochau (CoRR, 2016)

Incremental model checking of delta-oriented software product lines. - Malte Lochau; Stephan Mennicke; Hauke Baller; Lars Ribbeck (J. Log. Algebraic Methods Program., 2016)

Querying Graph Databases: What Do Graph Patterns Mean? - Stephan Mennicke; Jan-Christoph Kalo; Wolf-Tilo Balke (ER, 2017)

Reconstructing Graph Pattern Matches Using SPARQL. - Stephan Mennicke; Denis Nagel; Jan-Christoph Kalo; Niklas Aumann; Wolf-Tilo Balke (LWDA, 2017)

Keep it Fair: Equivalences. - Tobias Prehn; Stephan Mennicke (ICE@DisCoTec, 2017)

Is There a Mismatch between Real-World Feature Models and Product-Line Research? - Alexander Knüppel; Thomas Thüm; Stephan Mennicke; Jens Meinicke; Ina Schaefer (Software Engineering, 2018)

Fast Dual Simulation Processing of Graph Database Queries (Supplement). - Stephan Mennicke; Jan-Christoph Kalo; Denis Nagel; Hermann Kroll; Wolf-Tilo Balke (CoRR, 2018)

Using Queries as Schema-Templates for Graph Databases. - Stephan Mennicke; Jan-Christoph Kalo; Wolf-Tilo Balke (Datenbank-Spektrum, 2018)

Stronger Validity Criteria for Encoding Synchrony. - Rob van Glabbeek; Ursula Goltz; Christopher Lippert 001; Stephan Mennicke (The Art of Modelling Computational Systems, 2019)

Modal Schema Graphs for Graph Databases. - Stephan Mennicke (ER, 2019)

Fast Dual Simulation Processing of Graph Database Queries. - Stephan Mennicke; Jan-Christoph Kalo; Denis Nagel; Hermann Kroll; Wolf-Tilo Balke (ICDE, 2019)

Keep it fair: Equivalence and composition. - Stephan Mennicke; Tobias Prehn (J. Log. Algebraic Methods Program., 2019)

Unifying modal interface theories and compositional input/output conformance testing. - Lars Luthmann; Stephan Mennicke; Malte Lochau (Sci. Comput. Program., 2019)

Context-Compatible Information Fusion for Scientific Knowledge Graphs. - Hermann Kroll; Jan-Christoph Kalo; Denis Nagel; Stephan Mennicke; Wolf-Tilo Balke (TPDL, 2020)

Detecting Synonymous Properties by Shared Data-Driven Definitions. - Jan-Christoph Kalo; Stephan Mennicke; Philipp Ehler; Wolf-Tilo Balke (ESWC, 2020)

Modeling Interdependent Preferences over Incomplete Knowledge Graph Query Answers. - Till Affeldt; Stephan Mennicke; Wolf-Tilo Balke (LWDA, 2020)

Preference-driven Control over Incompleteness of Knowledge Graph Query Answers. - Till Affeldt; Stephan Mennicke; Wolf-Tilo Balke (WebSci, 2020)

Non-Standard Semantics for Graph Query Languages. - Stephan Mennicke (Dr. Hut, 2020)

Answering Queries with Negation over Existential Rules. - Stefan Ellmauthaler; Markus Krötzsch; Stephan Mennicke (AAAI, 2022)

An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog. - Ali Elhalawati; Markus Krötzsch; Stephan Mennicke (RuleML+RR, 2022)

Efficient Dependency Analysis for Rule-Based Ontologies. - Larry González; Alex Ivliev; Markus Krötzsch; Stephan Mennicke (ISWC, 2022)

Efficient Dependency Analysis for Existential Rules (short paper). - Larry González; Alex Ivliev; Markus Krötzsch; Stephan Mennicke (AMW, 2023)

Notation3 as an Existential Rule Language. - Dörthe Arndt; Stephan Mennicke (RuleML+RR, 2023)

Abstract Domains for Database Manipulating Processes. - Tobias Schüler; Stephan Mennicke; Malte Lochau (RuleML+RR, 2023)

A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes. - Piotr Gorczyca; Dörthe Arndt; Martin Diller; Pascal Kettmann; Stephan Mennicke; Hannes Strass (CoRR, 2024)

Existential Notation3 Logic. - Dörthe Arndt; Stephan Mennicke (Theory Pract. Log. Program., 2025)