Mennicke, S., M. Lochau, J. Schroeter, and T. Winkelmann,
"Automated Verification of Feature Model Configuration Processes Based on Workflow Petri Nets",
18th International Software Product Line Conference (SPLC 2014), Florence, Italy, ACM, 09/2014.
Abstract
Mennicke, S., J. - C. Kalo, D. Nagel, H. Kroll, and W. - T. Balke,
"Fast Dual Simulation Processing of Graph Database Queries",
IEEE 35th International Conference on Data Engineering (ICDE), Macau, China, IEEE, 04/2019.
Abstract
Download: ICDE2019-MKNKB-Camera-Ready.pdf (399.3 KB)
Mennicke, S., J. - W. Schicke-Uffmann, and U. Goltz,
"On the Step Branching Time Closure of Free-Choice Petri Nets",
Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2014), Berlin, Germany, Springer Berlin Heidelberg, 02/2014.
Abstract
Mennicke, S., D. Nagel, J. - C. Kalo, N. Aumann, and W. - T. Balke,
"Reconstructing Graph Pattern Matches Using SPARQL",
15th Lernen Wissen Daten Analysen (LWDA) Conference, Rostock, Germany, 09/2017.
Abstract
Download: LWDA_2017_paper_43_0.pdf (310.62 KB)
Mennicke, S., J. - C. Kalo, D. Nagel, H. Kroll, and W. - T. Balke,
"Fast Dual Simulation Processing of Graph Database Queries (Supplement)",
CoRR, Technical Report, vol. 1810.09355: arxiv.org, 10/2018.
Download: 1810.09355.pdf (321.93 KB)