Homepage

Maximilian Dylla

Max-Planck-Institut für Informatik
Department 5: Databases & Information Systems
Campus E1 4, Room 408
66123 Saarbrücken
Germany

Email: Get my email address via email or
Email

Phone: +49 681 9325 508
Fax: +49 681 9325 599

Research Interests

In my PhD I develop techniques for managing uncertain data based on principles known from probabilistic databases and statistical relational learning. I apply my methods to factual knowledge which was extracted from free text. So far, the foci included:

Managing Uncertain Temporal Knowledge
Top-k Queries with Uncertain Data and Rules
Speeding up Sampling with Deterministic Dependencies

Teaching

Probabilistic Models for Information Extraction (graduate level seminar), Universität des Saarlandes, Summer '11

Publications

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

Timm Meiser, Maximilian Dylla, Martin Theobald
Interactive Reasoning in Uncertain RDF Knowledge Bases (PDF,Bibtex)
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)
Conference on Business, Technology, and Web, Kaiserslautern, Germany, 2011

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

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

Talks

Resolving Temporal Conflicts in Inconsistent RDF Knowledge Bases, BTW, Kaiserslautern, March 2011
A Verification System for Distributed Objects with Asynchronous Method Calls, ICFEM, Rio de Janeiro, December 2009
KreYol - Adapting KeY for the Creol Modeling Language, 8th KeY Symposium, Speyer, May 2009

Open Source Projects

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.

Short C.V.

August 2010 - present:
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
September 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 - August 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)
October 2004 - August 2007:
Bachelor in Computer Science at the Karlsruhe Institute of Technology, Karlsruhe, Germany