Stephan Mennicke

41 papers A* 2A 2B 7C 2Misc 2Journal 13Unranked 12

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