Stephan Mennicke

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 31

Top Topics

Top Venues

J. Log. Algebraic Methods Program.

Publications

Piotr Gorczyca, Dörthe Arndt, Martin Diller, Pascal Kettmann, Stephan Mennicke, Hannes Strass
A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes. CoRR (2024)
Tobias Schüler, Stephan Mennicke, Malte Lochau
Abstract Domains for Database Manipulating Processes. RuleML+RR (2023)
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Existential Rules (short paper). AMW (2023)
Tobias Schüler, Stephan Mennicke, Malte Lochau
Abstract Domains for Database Manipulating Processes. CoRR (2023)
Dörthe Arndt, Stephan Mennicke
Notation3 as an Existential Rule Language. RuleML+RR (2023)
Dörthe Arndt, Stephan Mennicke
Notation3 as an Existential Rule Language. CoRR (2023)
Ali Elhalawati, Markus Krötzsch, Stephan Mennicke
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog. RuleML+RR (2022)
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Rule-Based Ontologies. ISWC (2022)
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules. AAAI (2022)
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Rule-Based Ontologies. CoRR (2022)
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules. CoRR (2021)
Hermann Kroll, Jan-Christoph Kalo, Denis Nagel, Stephan Mennicke, Wolf-Tilo Balke
Context-Compatible Information Fusion for Scientific Knowledge Graphs. TPDL (2020)
Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers. WebSci (2020)
Jan-Christoph Kalo, Stephan Mennicke, Philipp Ehler, Wolf-Tilo Balke
Detecting Synonymous Properties by Shared Data-Driven Definitions. ESWC (2020)
Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke
Modeling Interdependent Preferences over Incomplete Knowledge Graph Query Answers. LWDA (2020)
Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
Fast Dual Simulation Processing of Graph Database Queries. ICDE (2019)
Stephan Mennicke, Tobias Prehn
Keep it fair: Equivalence and composition. J. Log. Algebraic Methods Program. 104 (2019)
Lars Luthmann, Stephan Mennicke, Malte Lochau
Unifying modal interface theories and compositional input/output conformance testing. Sci. Comput. Program. 172 (2019)
Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke
Stronger Validity Criteria for Encoding Synchrony. The Art of Modelling Computational Systems (2019)
Stephan Mennicke
Modal Schema Graphs for Graph Databases. ER (2019)
Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
Fast Dual Simulation Processing of Graph Database Queries (Supplement). CoRR (2018)
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer
Is There a Mismatch between Real-World Feature Models and Product-Line Research? Software Engineering (2018)
Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke
Using Queries as Schema-Templates for Graph Databases. Datenbank-Spektrum 18 (2) (2018)
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer
Is there a mismatch between real-world feature models and product-line research? ESEC/SIGSOFT FSE (2017)
Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke
Querying Graph Databases: What Do Graph Patterns Mean? ER (2017)
Stephan Mennicke, Denis Nagel, Jan-Christoph Kalo, Niklas Aumann, Wolf-Tilo Balke
Reconstructing Graph Pattern Matches Using SPARQL. LWDA (2017)
Tobias Prehn, Stephan Mennicke
Keep it Fair: Equivalences. ICE@DisCoTec (2017)
Lars Luthmann, Stephan Mennicke, Malte Lochau
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report. CoRR (2016)
Lars Luthmann, Stephan Mennicke, Malte Lochau
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. FACS (2016)
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck
Incremental model checking of delta-oriented software product lines. J. Log. Algebraic Methods Program. 85 (1) (2016)
Lars Luthmann, Stephan Mennicke, Malte Lochau
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. FMSPLE (2015)
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck
DeltaCCS: A Core Calculus for Behavioral Change. ISoLA (1) (2014)
Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz
On the Step Branching Time Closure of Free-Choice Petri Nets. FORTE (2014)
Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann
Automated verification of feature model configuration processes based on workflow Petri nets. SPLC (2014)
Stephan Mennicke
An Operational Petri Net Semantics for the Join-Calculus EXPRESS/SOS (2012)
Niels Lohmann, Stephan Mennicke, Christian Sura
The Petri Net API A Collection of Petri Net-related Functions. AWPN (2010)