Homepage

Maximilian Dylla

Email: Get my email address via email or
Email

I finished my PhD which was about:

Maximilian Dylla
Efficient Querying and Learning in Probabilistic and Temporal Databases (PDF, Bibtex)
PhD thesis, Universität des Saarlandes, Germany, 2014
Grade: summa cum laude

Maximilian Dylla, Iris Miliaraki, Martin Theobald
Probabilistic Databases and Their Application to Information Extraction
10th International Reasoning Web Summer School 2014, Athens, Greece, September 8 - September 13, 2014
LNCS proceedings to appear

Maximilian Dylla, Martin Theobald
Learning Tuple Probabilities in Probabilistic Databases (PDF, Bibtex)
Research Report MPI-I-2014-5-001, Max-Planck-Institut für Informatik, January 2014

Maximilian Dylla, Iris Miliaraki, Martin Theobald
A Temporal-Probabilistic Database Model for Information Extraction (PDF, Bibtex)
Proceedings of the VLDB Endowment, Volume 6, Issue 14, 2013
To be presented at International Conference on Very Large Database Systems, Hangzhou, China, 2014

Martin Theobald, Luc De Raedt, Maximilian Dylla, Angelika Kimming, Iris Miliaraki
10 Years of Probabilistic Querying - What Next? (Bibtex, Springer)
East-European Conference on Advances in Databases and Information Systems, Genoa, Italy, 2013
Invited paper

Maximilian Dylla, Iris Miliaraki, Martin Theobald
Top-k Query Processing in Probabilistic Databases with Non-Materialized Views (PDF, Bibtex, Slides)
International Conference on Data Engineering, Brisbane, Australia, 2013
Acceptance Rate 19%

Yafang Wang, Maximilian Dylla, Zhaochun Ren, Marc Spaniol, Gerhard Weikum
PRAVDA-live: Interactive Knowledge Harvesting (PDF, Bibtex, Demo)
Conference on Information and Knowledge Management, Maui, USA, 2012
Demo Paper

Maximilian Dylla, Iris Miliaraki, Martin Theobald
Top-k Query Processing in Probabilistic Databases with Non-Materialized Views (PDF, Bibtex)
Research Report MPI-I-2012-5-002, Max-Planck-Institut für Informatik, June 2012

Yafang Wang, Maximilian Dylla, Marc Spaniol, Gerhard Weikum
Coupling Label Propagation and Constraints for Temporal Fact Extraction (PDF, Bibtex)
Association for Computational Linguistics, Jeju, Korea, 2012
Short Paper, Acceptance Rate 21%

Wolfgang Ahrendt, Maximilian Dylla
A System for Compositional Verification of Asynchronous Objects (Preprint, Bibtex, ScienceDirect)
Special Issue of the Journal "Science of Computer Programming", 2012
Extended Best Papers of ICFEM'09, Journal Version of Master's Thesis

Timm Meiser, Maximilian Dylla, Martin Theobald
Interactive Reasoning in Uncertain RDF Knowledge Bases (PDF, Bibtex, Demo)
Conference on Information and Knowledge Management, Glasgow, UK, 2011
Demo Paper

Maximilian Dylla, Mauro Sozio, Martin Theobald
Resolving Temporal Conflicts in Inconsistent RDF Knowledge Bases (PDF, Bibtex, LNI, Slides)
Conference on Business, Technology, and Web, Kaiserslautern, Germany, 2011

Wolfgang Ahrendt, Maximilian Dylla
A Verification System for Distributed Objects with Asynchronous Method Calls (PDF, Bibtex, Springer, Slides)
International Conference on Formal Engineering Methods, Rio de Janeiro, Brazil, 2009
Conference Version of Master's Thesis

TPDBlearn
TPDBlearn is a Temporal Probabilistic DataBase system which supports learning of tuple probabilities.
KreYol
An Interactive Deductive Verification Tool for the Creol Modeling Language. The software is part of the KeY Project and is available via the project's website on demand.
jCreol
A LL(1) Parser for the Creol Modeling Language. It is hosted by the KeY Project.

August 2010 - March 2014
Ph. D. student in Computer Science at the Universität des Saarlandes, Saarbrücken, Germany and the Max-Planck-Institut für Informatik, Saarbrücken, Germany
July 2012 - September 2012
Intern at Google, Zürich, Switzerland
October 2009 - July 2010:
Studies in Computer Science within the Saarbrücken Graduate School of Computer Science at the Universität des Saarlandes, Saarbrücken, Germany
September 2007 - June 2009:
Master in Complex Adaptive Systems at the Chalmers University of Technology, Gothenburg, Sweden
Title of Master's Thesis: A Verification System for the Distributed Object-Oriented Language Creol (supervisor: Wolfgang Ahrendt) (PDF, Bibtex, Slides)
October 2004 - August 2007:
Bachelor in Computer Science at the Karlsruhe Institute of Technology, Karlsruhe, Germany