Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStephan Mennicke
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
2020 – today
- 2023
[c25]Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke:
Efficient Dependency Analysis for Existential Rules (short paper). AMW 2023- [c24]Dörthe Arndt, Stephan Mennicke:
Notation3 as an Existential Rule Language. RuleML+RR 2023: 70-85 - [c23]Tobias Schüler
, Stephan Mennicke, Malte Lochau:
Abstract Domains for Database Manipulating Processes. RuleML+RR 2023: 222-237 - [i6]Tobias Schüler, Stephan Mennicke, Malte Lochau:
Abstract Domains for Database Manipulating Processes. CoRR abs/2308.03466 (2023) - [i5]Dörthe Arndt, Stephan Mennicke:
Notation3 as an Existential Rule Language. CoRR abs/2308.07332 (2023) - 2022
- [c22]Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke:
Answering Queries with Negation over Existential Rules. AAAI 2022: 5626-5633 - [c21]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]Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke:
Efficient Dependency Analysis for Rule-Based Ontologies. ISWC 2022: 267-283 - [i4]Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke:
Efficient Dependency Analysis for Rule-Based Ontologies. CoRR abs/2207.09669 (2022) - 2021
- [i3]Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke:
Answering Queries with Negation over Existential Rules. CoRR abs/2112.07376 (2021) - 2020
- [b1]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 - [c19]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]Jan-Christoph Kalo, Stephan Mennicke, Philipp Ehler, Wolf-Tilo Balke:
Detecting Synonymous Properties by Shared Data-Driven Definitions. ESWC 2020: 360-375 - [c17]Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke:
Modeling Interdependent Preferences over Incomplete Knowledge Graph Query Answers. LWDA 2020: 279-290 - [c16]Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke:
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers. WebSci 2020: 212-220
2010 – 2019
- 2019
- [j4]Stephan Mennicke, Tobias Prehn:
Keep it fair: Equivalence and composition. J. Log. Algebraic Methods Program. 104: 1-15 (2019) - [j3]Lars Luthmann, Stephan Mennicke, Malte Lochau:
Unifying modal interface theories and compositional input/output conformance testing. Sci. Comput. Program. 172: 27-47 (2019) - [c15]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]Stephan Mennicke:
Modal Schema Graphs for Graph Databases. ER 2019: 498-512 - [c13]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
- [j2]Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke:
Using Queries as Schema-Templates for Graph Databases. Datenbank-Spektrum 18(2): 89-98 (2018) - [c12]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 - [i2]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) - 2017
- [c11]Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke:
Querying Graph Databases: What Do Graph Patterns Mean? ER 2017: 134-148 - [c10]Stephan Mennicke, Denis Nagel, Jan-Christoph Kalo, Niklas Aumann, Wolf-Tilo Balke:
Reconstructing Graph Pattern Matches Using SPARQL. LWDA 2017: 152 - [c9]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]Tobias Prehn, Stephan Mennicke:
Keep it Fair: Equivalences. ICE@DisCoTec 2017: 5-16 - 2016
- [j1]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) - [c7]Lars Luthmann, Stephan Mennicke, Malte Lochau:
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. FACS 2016: 54-72 - [i1]Lars Luthmann, Stephan Mennicke, Malte Lochau:
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report. CoRR abs/1606.09035 (2016) - 2015
- [c6]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]Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz:
On the Step Branching Time Closure of Free-Choice Petri Nets. FORTE 2014: 232-248 - [c4]Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck:
DeltaCCS: A Core Calculus for Behavioral Change. ISoLA (1) 2014: 320-335 - [c3]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]Stephan Mennicke:
An Operational Petri Net Semantics for the Join-Calculus. EXPRESS/SOS 2012: 131-147 - 2010
- [c1]Niels Lohmann, Stephan Mennicke, Christian Sura:
The Petri Net API A Collection of Petri Net-related Functions. AWPN 2010: 148-153
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-06 23:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
