Stephan Mennicke

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dr. Stephan Mennicke

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Wissensbasierte Systeme

Ich bin Postdoktorand in der Gruppe Wissensbasierte Systeme von Prof. Dr. Markus Krötzsch. Ich interessiere mich für Graphdatenbanken, deren Anfragesprachen sowie formale Methoden.

Meinen Masterabschluss habe ich von der TU Braunschweig. Im März 2020 habe ich meine Dissertation über Nichtstandardsemantiken von Graphanfragesprachen erfolgreich verteidigt. Ich habe sowohl über Theorie der Programmiersprachen (unter Prof. Ursula Goltz und Prof. Uwe Nestmann) als auch über Semantiken von Graph-Pattern-Anfragen (unter Prof. Wolf-Tilo Balke) geforscht. Außerdem habe ich in der Vergangenheit an verschiedenen formalen Methoden für Software-Produktlinien (SPLs) gearbeitet.

Neueste Publikationen

Komplette Publikationsliste anzeigen

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

Komplette Publikationsliste anzeigen