Stephan Mennicke

According to our database, Stephan Mennicke authored at least 34 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Existential Notation3 Logic.

Dörthe Arndt, Stephan Mennicke

Theory Pract. Log. Program., 2025

Verifying Datalog Reasoning with Lean.

Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

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

2023

Abstract Domains for Database Manipulating Processes.

Tobias Schüler, Stephan Mennicke, Malte Lochau

Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023

Notation3 as an Existential Rule Language.

Dörthe Arndt, Stephan Mennicke

Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023

Efficient Dependency Analysis for Existential Rules (short paper).

Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke

Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

2022

Efficient Dependency Analysis for Rule-Based Ontologies.

Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke

Proceedings of the Semantic Web - ISWC 2022, 2022

An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog.

Ali Elhalawati, Markus Krötzsch, Stephan Mennicke

Proceedings of the Rules and Reasoning, 2022

Answering Queries with Negation over Existential Rules.

Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2020

Non-Standard Semantics for Graph Query Languages.

Stephan Mennicke

PhD thesis, 2020

Preference-driven Control over Incompleteness of Knowledge Graph Query Answers.

Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke

Proceedings of the WebSci '20: 12th ACM Conference on Web Science, 2020

Modeling Interdependent Preferences over Incomplete Knowledge Graph Query Answers.

Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke

Proceedings of the Conference "Lernen, 2020

Detecting Synonymous Properties by Shared Data-Driven Definitions.

Jan-Christoph Kalo, Stephan Mennicke, Philipp Ehler, Wolf-Tilo Balke

Proceedings of the Semantic Web - 17th International Conference, 2020

Context-Compatible Information Fusion for Scientific Knowledge Graphs.

Hermann Kroll, Jan-Christoph Kalo, Denis Nagel, Stephan Mennicke, Wolf-Tilo Balke

Proceedings of the Digital Libraries for Open Knowledge, 2020

2019

Unifying modal interface theories and compositional input/output conformance testing.

Lars Luthmann, Stephan Mennicke, Malte Lochau

Sci. Comput. Program., 2019

Keep it fair: Equivalence and composition.

Stephan Mennicke, Tobias Prehn

J. Log. Algebraic Methods Program., 2019

Fast Dual Simulation Processing of Graph Database Queries.

Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke

Proceedings of the 35th IEEE International Conference on Data Engineering, 2019

Modal Schema Graphs for Graph Databases.

Stephan Mennicke

Proceedings of the Conceptual Modeling - 38th International Conference, 2019

Stronger Validity Criteria for Encoding Synchrony.

Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Using Queries as Schema-Templates for Graph Databases.

Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke

Datenbank-Spektrum, 2018

Fast Dual Simulation Processing of Graph Database Queries (Supplement).

Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke

CoRR, 2018

2017

Keep it Fair: Equivalences.

Tobias Prehn, Stephan Mennicke

Proceedings of the Proceedings 10th Interaction and Concurrency Experience, 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

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Reconstructing Graph Pattern Matches Using SPARQL.

Stephan Mennicke, Denis Nagel, Jan-Christoph Kalo, Niklas Aumann, Wolf-Tilo Balke

Proceedings of the Lernen, 2017

Querying Graph Databases: What Do Graph Patterns Mean?

Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

2016

Incremental model checking of delta-oriented software product lines.

Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck

J. Log. Algebraic Methods Program., 2016

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.

Lars Luthmann, Stephan Mennicke, Malte Lochau

CoRR, 2016

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.

Lars Luthmann, Stephan Mennicke, Malte Lochau

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.

Lars Luthmann, Stephan Mennicke, Malte Lochau

Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

2014

Automated verification of feature model configuration processes based on workflow Petri nets.

Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann

Proceedings of the 18th International Software Product Line Conference, 2014

DeltaCCS: A Core Calculus for Behavioral Change.

Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

On the Step Branching Time Closure of Free-Choice Petri Nets.

Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2012

An Operational Petri Net Semantics for the Join-Calculus

Stephan Mennicke

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012

2010

The Petri Net API A Collection of Petri Net-related Functions.

Niels Lohmann, Stephan Mennicke, Christian Sura

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010