Stephan Mennicke

From International Center for Computational Logic

Dr. Stephan Mennicke

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Knowledge-Based Systems

I'm a postdoctoral researcher at the Knowledge-based Systems group led by Prof. Dr. Markus Krötzsch. I'm interested in graph databases, their query languages, and formal methods.

I got my master's degree from TU Braunschweig. In March 2020, I successfully defended my PhD thesis on Non-Standard Semantics of Graph Query Languages. I've worked on Theory of Programming Languages (under Prof. Ursula Goltz and Prof. Uwe Nestmann). Additionally, I contributed some formal methods for software product lines (SPLs).

Newest Publications

View full publication list

Stephan Mennicke
Non-Standard Semantics for Graph Query Languages
Phd thesis, TU Braunschweig, 2020/03/11
Details Download

Till Affeldt, Stephan Mennicke, Wolf-Tilo Balke
Preference-driven Control over Incompleteness of Knowledge Graph Query Answers
Proceedings of the 12th ACM Conference on Web Science, WebSci 2020, Southampton, UK, July 7 - 10, 2020, to appear
Details Download

Jan-Christoph Kalo, Stephan Mennicke, Philipp Ehler, Wolf-Tilo Balke
Detecting Synonymous Properties by Shared Data-driven Definitions
The Semantic Web - 17th International Conference, ESWC 2020, Virtual, June 2-4, 2020, Proceedings., to appear
Details Download

Stephan Mennicke
Modal Schema Graphs for Graph Databases
Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings, LNCS, 498-512, November 2019. Springer
Details

Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
Fast Dual Simulation Processing of Graph Database Queries
35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019, ICDE, 244-255, April 2019. IEEE
Details

Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke
Using Queries as Schema-Templates for Graph Databases
Datenbank-Spektrum, 18(2):89-98, May 2018
Details

Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
Fast Dual Simulation Processing of Graph Database Queries (Supplement)
Technical Report, arXiv.org, volume CoRR abs/1810.09355, October 2018
Details

View full publication list