引用次数
引用: 274
H-指数: 8
I10-指数 : 6
出版物: 37
A Petri Net Semantics for the Join-Calculus
Stephan Mennicke
3
2012
Reconstructing Graph Pattern Matches Using SPARQL.
Stephan Mennicke , Jan-Christoph Kalo , Wolf-Tilo Balke , Denis Nagel
LWDA 152
2
2017
The Petri Net API A Collection of Petri Net-related Functions.
Stephan Mennicke , Niels Lohmann , Christian Sura
AWPN 148 -153
8
2010
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers
Till Affeldt , Stephan Mennicke , Wolf-Tilo Balke
web science 212 -220
2020
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing
Lars Luthmann , Stephan Mennicke , Malte Lochau
formal aspects of component software 54 -72
5
2016
Incremental model checking of delta-oriented software product lines
Malte Lochau , Stephan Mennicke , Hauke Baller , Lars Ribbeck
The Journal of Logic and Algebraic Programming 85 ( 1) 245 -267
18
2016
Keep it fair: Equivalence and composition
Stephan Mennicke , Tobias Prehn
The Journal of Logic and Algebraic Programming 104 1 -15
1
2019
Querying graph databases: What do graph patterns mean?
Stephan Mennicke , Jan-Christoph Kalo , Wolf-Tilo Balke
international conference on conceptual modeling 134 -148
6
2017
Fast Dual Simulation Processing of Graph Database Queries
Wolf-Tilo Balke , Stephan Mennicke , Jan-Christoph Kalo , Denis Nagel
2019 IEEE 35th International Conference on Data Engineering (ICDE) 244 -255
9
2019
On the Step Branching Time Closure of Free-Choice Petri Nets
Stephan Mennicke , Jens-Wolfhard Schicke-Uffmann , Ursula Goltz
formal techniques for (networked and) distributed systems 232 -248
2014
Unifying modal interface theories and compositional input/output conformance testing
Lars Luthmann , Stephan Mennicke , Malte Lochau
Science of Computer Programming 172 27 -47
4
2019
Using Queries as Schema-Templates for Graph Databases
Stephan Mennicke , Jan-Christoph Kalo , Wolf-Tilo Balke
Datenbank-spektrum 18 ( 2) 89 -98
2
2018
DeltaCCS: A Core Calculus for Behavioral Change
Malte Lochau , Stephan Mennicke , Hauke Baller , Lars Ribbeck
leveraging applications of formal methods 320 -335
20
2014
Stronger Validity Criteria for Encoding Synchrony.
Rob van Glabbeek , Ursula Goltz , Christopher Lippert , Stephan Mennicke
The Art of Modelling Computational Systems 182 -205
2
2019
Is there a mismatch between real-world feature models and product-line research?
Alexander Knüppel , Thomas Thüm , Stephan Mennicke , Jens Meinicke
foundations of software engineering 291 -302
20
2017
Context-Compatible Information Fusion for Scientific Knowledge Graphs
Hermann Kroll , Jan-Christoph Kalo , Denis Nagel , Stephan Mennicke
international conference theory and practice digital libraries 33 -47
1
2020
Automated verification of feature model configuration processes based on workflow Petri nets
Stephan Mennicke , Malte Lochau , Julia Schroeter , Tim Winkelmann
software product lines 62 -71
2
2014
Computing Dual Simulation for Graph Database Queries Technical Report
Stephan Mennicke , Jan-Christoph Kalo , Denis Nagel , Hermann Kroll
Smpte Journal
An existential rule framework for computing why-provenance on-demand for datalog
Ali Elhalawati , Markus Krötzsch , Stephan Mennicke
Springer International Publishing 146 -163
7
2022
Answering queries with negation over existential rules
Stefan Ellmauthaler , Markus Krötzsch , Stephan Mennicke
Proceedings of the AAAI Conference on Artificial Intelligence 36 ( 5) 5626 -5633
4
2022