default search action

combined dblp search
author search
venue search
publication search

ask others

Stephan Mennicke

> Home > Persons

Person information

affiliation: TU Dresden, Faculty of Computer Science, Germany
affiliation (PhD 2020): TU Braunschweig, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2020
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Mennicke20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Mennicke20
Stephan Mennicke:
Non-Standard Semantics for Graph Query Languages. Braunschweig University of Technology, Germany, Dr. Hut 2020, ISBN 978-3-8439-4500-4, pp. 1-204

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/MennickeP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MennickeP19
Stephan Mennicke, Tobias Prehn:
Keep it fair: Equivalence and composition. J. Log. Algebraic Methods Program. 104: 1-15 (2019)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LuthmannML19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LuthmannML19
Lars Luthmann, Stephan Mennicke, Malte Lochau:
Unifying modal interface theories and compositional input/output conformance testing. Sci. Comput. Program. 172: 27-47 (2019)
2018
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/dbsk/MennickeKB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dbsk/MennickeKB18
Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke:
Using Queries as Schema-Templates for Graph Databases. Datenbank-Spektrum 18(2): 89-98 (2018)
2016
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LochauMBR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LochauMBR16
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck:
Incremental model checking of delta-oriented software product lines. J. Log. Algebraic Methods Program. 85(1): 245-267 (2016)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c25]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/amw/GonzalezIKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amw/GonzalezIKM23
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke:
Efficient Dependency Analysis for Existential Rules (short paper). AMW 2023
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/rulemlrr/ArndtM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rulemlrr/ArndtM23
Dörthe Arndt, Stephan Mennicke:
Notation3 as an Existential Rule Language. RuleML+RR 2023: 70-85
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/rulemlrr/SchulerML23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rulemlrr/SchulerML23
Tobias Schüler, Stephan Mennicke, Malte Lochau:
Abstract Domains for Database Manipulating Processes. RuleML+RR 2023: 222-237
2022
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/EllmauthalerKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EllmauthalerKM22
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke:
Answering Queries with Negation over Existential Rules. AAAI 2022: 5626-5633
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/ElhalawatiKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/ElhalawatiKM22
Ali Elhalawati, Markus Krötzsch, Stephan Mennicke:
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog. RuleML+RR 2022: 146-163
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/GonzalezIKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/GonzalezIKM22
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke:
Efficient Dependency Analysis for Rule-Based Ontologies. ISWC 2022: 267-283
2020
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ercimdl/KrollKNMB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ercimdl/KrollKNMB20
Hermann Kroll, Jan-Christoph Kalo, Denis Nagel, Stephan Mennicke, Wolf-Tilo Balke:
Context-Compatible Information Fusion for Scientific Knowledge Graphs. TPDL 2020: 33-47
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/esws/KaloMEB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esws/KaloMEB20
Jan-Christoph Kalo, Stephan Mennicke, Philipp Ehler, Wolf-Tilo Balke:
Detecting Synonymous Properties by Shared Data-Driven Definitions. ESWC 2020: 360-375
[c17]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lwa/AffeldtMB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lwa/AffeldtMB20
Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke:
Modeling Interdependent Preferences over Incomplete Knowledge Graph Query Answers. LWDA 2020: 279-290
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/websci/AffeldtMB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/websci/AffeldtMB20
Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke:
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers. WebSci 2020: 212-220
2019
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GlabbeekGLM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GlabbeekGLM19
Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke:
Stronger Validity Criteria for Encoding Synchrony. The Art of Modelling Computational Systems 2019: 182-205
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/er/Mennicke19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/Mennicke19
Stephan Mennicke:
Modal Schema Graphs for Graph Databases. ER 2019: 498-512
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/MennickeKNKB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/MennickeKNKB19
Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke:
Fast Dual Simulation Processing of Graph Database Queries. ICDE 2019: 244-255
2018
[c12]
- view
  - electronic edition @ gi.de
  - no references & citations available
- export record
  dblp key:
  - conf/se/KnuppelTMMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/KnuppelTMMS18
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: 53-54
2017
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/er/MennickeKB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/MennickeKB17
Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke:
Querying Graph Databases: What Do Graph Patterns Mean? ER 2017: 134-148
[c10]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lwa/MennickeNKAB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lwa/MennickeNKAB17
Stephan Mennicke, Denis Nagel, Jan-Christoph Kalo, Niklas Aumann, Wolf-Tilo Balke:
Reconstructing Graph Pattern Matches Using SPARQL. LWDA 2017: 152
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KnuppelTMMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KnuppelTMMS17
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: 291-302
[c8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1711-11208
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-11208
Tobias Prehn, Stephan Mennicke:
Keep it Fair: Equivalences. ICE@DisCoTec 2017: 5-16
2016
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LuthmannML16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LuthmannML16
Lars Luthmann, Stephan Mennicke, Malte Lochau:
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. FACS 2016: 54-72
2015
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LuthmannML15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LuthmannML15
Lars Luthmann, Stephan Mennicke, Malte Lochau:
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. FMSPLE 2015: 1-13
2014
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/MennickeSG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/MennickeSG14
Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz:
On the Step Branching Time Closure of Free-Choice Petri Nets. FORTE 2014: 232-248
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LochauMBR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LochauMBR14
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck:
DeltaCCS: A Core Calculus for Behavioral Change. ISoLA (1) 2014: 320-335
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/MennickeLSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/MennickeLSW14
Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann:
Automated verification of feature model configuration processes based on workflow Petri nets. SPLC 2014: 62-71
2012
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2753
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2753
Stephan Mennicke:
An Operational Petri Net Semantics for the Join-Calculus. EXPRESS/SOS 2012: 131-147
2010
[c1]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/awpn/LohmannMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/awpn/LohmannMS10
Niels Lohmann, Stephan Mennicke, Christian Sura:
The Petri Net API A Collection of Petri Net-related Functions. AWPN 2010: 148-153

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-09875
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-09875
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 abs/2405.09875 (2024)
2023
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-03466
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-03466
Tobias Schüler, Stephan Mennicke, Malte Lochau:
Abstract Domains for Database Manipulating Processes. CoRR abs/2308.03466 (2023)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-07332
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-07332
Dörthe Arndt, Stephan Mennicke:
Notation3 as an Existential Rule Language. CoRR abs/2308.07332 (2023)
2022
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-09669
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-09669
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke:
Efficient Dependency Analysis for Rule-Based Ontologies. CoRR abs/2207.09669 (2022)
2021
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-07376
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-07376
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke:
Answering Queries with Negation over Existential Rules. CoRR abs/2112.07376 (2021)
2018
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-09355
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-09355
Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke:
Fast Dual Simulation Processing of Graph Database Queries (Supplement). CoRR abs/1810.09355 (2018)
2016
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LuthmannML16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LuthmannML16
Lars Luthmann, Stephan Mennicke, Malte Lochau:
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report. CoRR abs/1606.09035 (2016)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.