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., 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., 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. - 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., 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)
Mathiak, B., A. Kupfer, R. Münch, C. Täubner, and S. Eckstein,
"Improving Literature Preselection by Searching for Images",
Knowledge Discovery in Life Science Literature: Springer LNBI 3886, pp. 18-28, April, 2006.
Abstract
Mathiak, B., A. Kupfer, S. Eckstein, D. A. Zighed, S. Tsumoto, Z. W. Ras, and H. Hacid,
"Using Layout Data for the Analysis of Scientific Literature",
Mining Complex Data, vol. 165: Springer, pp. 3-22, 2009.