1. Pablo Muñoz, Nils Vortmeier and Thomas Zeume.
    Dynamic Graph Queries.
    In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016. 2016, 14:1–14:18.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/MunozVZ16,
    	author = "Pablo Mu{\~{n}}oz and Nils Vortmeier and Thomas Zeume",
    	bibsource = "dblp computer science bibliography, http://dblp.org",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/MunozVZ16",
    	booktitle = "19th International Conference on Database Theory, {ICDT} 2016, Bordeaux, France, March 15-18, 2016",
    	crossref = "DBLP:conf/icdt/2016",
    	doi = "10.4230/LIPIcs.ICDT.2016.14",
    	pages = "14:1--14:18",
    	timestamp = "Wed, 23 Mar 2016 10:12:09 +0100",
    	title = "Dynamic Graph Queries",
    	url = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.14",
    	year = 2016,
    	bdsk-url-1 = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.14"
    }
    

2015

  1. Christoph Beierle, Marc Finthammer and Gabriele Kern-Isberner.
    Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases.
    Entropy 17(2):852–865, 2015.
    URL, DOI BibTeX

    @article{Beierle2015a,
    	title = "Relational Probabilistic Conditionals and Their Instantiations under Maximum Entropy Semantics for First-Order Knowledge Bases",
    	author = "Christoph Beierle and Marc Finthammer and Gabriele Kern{-}Isberner",
    	journal = "Entropy",
    	year = 2015,
    	number = 2,
    	pages = "852--865",
    	volume = 17,
    	doi = "10.3390/e17020852",
    	url = "http://dx.doi.org/10.3390/e17020852"
    }
    

  1. Daan Apeldoorn.
    Learning Rules for Cooperative Solving of Spatio-Temporal Problems.
    In C Beierle, G Kern-Isberner, M Ragni and F Stolzenburg (eds.). Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with the 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015 1444. 2015, 5–15.
    URL BibTeX

    @inproceedings{Apeldoorn2015a,
    	author = "Apeldoorn, Daan",
    	title = "Learning Rules for Cooperative Solving of Spatio-Temporal Problems",
    	booktitle = "Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI \& Kognition (KIK-2015) co-located with the 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015",
    	pages = "5--15",
    	year = 2015,
    	editor = "Beierle, C. and Kern-Isberner, G. and Ragni, M. and Stolzenburg, F.",
    	volume = 1444,
    	series = "CEUR Workshop Proceedings",
    	address = "Aachen",
    	publisher = "CEUR-WS.org",
    	url = "http://ceur-ws.org/Vol-1444/paper1.pdf"
    }
    

  1. Daan Apeldoorn.
    A Spatio-Temporal Multiagent Simulation Framework for Reusing Agents in Different Kinds of Scenarios.
    In Jörg P Müller, Wolf Ketter, Gal Kaminka, Gerd Wagner and Nils Bulling (eds.). Multiagent System Technologies 9433. 2015, 79–97.
    URL BibTeX

    @inproceedings{Apeldoorn2015b,
    	author = "Apeldoorn, Daan",
    	title = "A Spatio-Temporal Multiagent Simulation Framework for Reusing Agents in Different Kinds of Scenarios",
    	booktitle = "Multiagent System Technologies",
    	pages = "79--97",
    	year = 2015,
    	editor = {M\"uller, J\"org P. and Ketter, Wolf and Kaminka, Gal and Wagner, Gerd and Bulling, Nils},
    	volume = 9433,
    	series = "LNAI",
    	address = "Switzerland",
    	publisher = "Springer International Publishing",
    	url = "http://link.springer.com/content/pdf/10.1007%2F978-3-319-27343-3_5.pdf"
    }
    

  1. Héctor Allende-Cid, Héctor Allende, Raúl Monge and Claudio Moraga.
    Discrete Neighborhood Representations and Modified Stacked Generalization Methods for Distributed Regression.
    J. UCS 21(6):842–855, 2015.
    URL BibTeX

    @article{DBLP:journals/jucs/Allende-CidAMM15,
    	author = "H{\'{e}}ctor Allende{-}Cid and H{\'{e}}ctor Allende and Ra{\'{u}}l Monge and Claudio Moraga",
    	title = "Discrete Neighborhood Representations and Modified Stacked Generalization Methods for Distributed Regression",
    	journal = "J. {UCS}",
    	volume = 21,
    	number = 6,
    	pages = "842--855",
    	year = 2015,
    	url = "http://www.jucs.org/jucs_21_6/discrete_neighborhood_representations_and",
    	timestamp = "Fri, 14 Aug 2015 10:26:39 +0200",
    	biburl = "http://dblp2.uni-trier.de/rec/bib/journals/jucs/Allende-CidAMM15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Christopher Czyba, Christopher Spinrath and Wolfgang Thomas.
    Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change.
    In Igor Potapov (ed.). Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.. 2015, 203–214.
    DOI BibTeX

    @inproceedings{DLT2015,
    	author = "Czyba, Christopher and Spinrath, Christopher and Thomas, Wolfgang",
    	title = "Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change",
    	booktitle = "Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.",
    	year = 2015,
    	editor = "Potapov, Igor",
    	pages = "203--214",
    	publisher = "Springer International Publishing",
    	doi = "10.1007/978-3-319-21500-6_16",
    	file = "DLT2015.pdf:mine/DLT2015.pdf:PDF",
    	isbn = "978-3-319-21500-6"
    }
    

  1. Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    Static Analysis for Logic-based Dynamic Programs.
    In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. 2015, 308–324.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/SchwentickVZ15,
    	author = "Thomas Schwentick and Nils Vortmeier and Thomas Zeume",
    	title = "Static Analysis for Logic-based Dynamic Programs",
    	booktitle = "24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015, September 7-10, 2015, Berlin, Germany",
    	pages = "308--324",
    	year = 2015,
    	url = "http://dx.doi.org/10.4230/LIPIcs.CSL.2015.308",
    	doi = "10.4230/LIPIcs.CSL.2015.308",
    	timestamp = "Mon, 14 Sep 2015 16:03:03 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/csl/SchwentickVZ15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick and Thomas Zeume.
    Reachability is in DynFO.
    In Magnús M Halldórsson, Kazuo Iwama, Naoki Kobayashi and Bettina Speckmann (eds.). Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II 9135. 2015, 159–170.
    URL arXiv, DOI BibTeX

    @inproceedings{DBLP:conf/icalp/DattaKMSZ15,
    	author = "Samir Datta and Raghav Kulkarni and Anish Mukherjee and Thomas Schwentick and Thomas Zeume",
    	editor = "Magn{\'{u}}s M. Halld{\'{o}}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann",
    	title = "Reachability is in DynFO",
    	booktitle = "Automata, Languages, and Programming - 42nd International Colloquium, {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}",
    	series = "Lecture Notes in Computer Science",
    	volume = 9135,
    	pages = "159--170",
    	publisher = "Springer",
    	year = 2015,
    	url = "https://doi.org/10.1007/978-3-662-47666-6\_13",
    	doi = "10.1007/978-3-662-47666-6\_13",
    	arxiv = "https://arxiv.org/abs/1502.07467",
    	timestamp = "Tue, 14 May 2019 10:00:44 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/icalp/DattaKMSZ15",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Martin Schuster and Thomas Schwentick.
    Games for Active XML Revisited.
    In 18th International Conference on Database Theory, ICDT 2015, March 23-27, 2015, Brussels, Belgium. 2015, 60–75.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/SchusterS15,
    	author = "Martin Schuster and Thomas Schwentick",
    	title = "Games for Active {XML} Revisited",
    	booktitle = "18th International Conference on Database Theory, {ICDT} 2015, March 23-27, 2015, Brussels, Belgium",
    	pages = "60--75",
    	year = 2015,
    	crossref = "DBLP:conf/icdt/2015",
    	url = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2015.60",
    	doi = "10.4230/LIPIcs.ICDT.2015.60",
    	timestamp = "Mon, 23 Mar 2015 09:54:36 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/SchusterS15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    On the quantifier-free dynamic complexity of Reachability.
    Inf. Comput. 240:108–129, 2015.
    URL arXiv, DOI BibTeX

    @article{DBLP:journals/iandc/ZeumeS15,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "On the quantifier-free dynamic complexity of Reachability",
    	journal = "Inf. Comput.",
    	volume = 240,
    	pages = "108--129",
    	year = 2015,
    	url = "http://dx.doi.org/10.1016/j.ic.2014.09.011",
    	doi = "10.1016/j.ic.2014.09.011",
    	arxiv = "https://arxiv.org/abs/1306.3056",
    	timestamp = "Mon, 09 Feb 2015 13:17:52 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/iandc/ZeumeS15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Tom J Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
    Parallel-Correctness and Transferability for Conjunctive Queries.
    In Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015. 2015, 47–58.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/pods/AmelootGKNS15,
    	author = "Tom J. Ameloot and Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
    	title = "Parallel-Correctness and Transferability for Conjunctive Queries",
    	booktitle = "Proceedings of the 34th {ACM} Symposium on Principles of Database Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015",
    	pages = "47--58",
    	year = 2015,
    	crossref = "DBLP:conf/pods/2015",
    	url = "http://doi.acm.org/10.1145/2745754.2745759",
    	doi = "10.1145/2745754.2745759",
    	timestamp = "Sun, 24 May 2015 12:17:12 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pods/AmelootGKNS15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Wim Martens, Frank Neven, Matthias Niewerth and Thomas Schwentick.
    BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema.
    In Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015. 2015, 145–156.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/pods/MartensNNS15,
    	author = "Wim Martens and Frank Neven and Matthias Niewerth and Thomas Schwentick",
    	title = "BonXai: Combining the simplicity of {DTD} with the expressiveness of {XML} Schema",
    	booktitle = "Proceedings of the 34th {ACM} Symposium on Principles of Database Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015",
    	pages = "145--156",
    	year = 2015,
    	crossref = "DBLP:conf/pods/2015",
    	url = "http://doi.acm.org/10.1145/2745754.2745774",
    	doi = "10.1145/2745754.2745774",
    	timestamp = "Sun, 24 May 2015 12:17:12 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pods/MartensNNS15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2014

  1. Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V Podolskii, Thomas Schwentick and Michael Zakharyaschev.
    The price of query rewriting in ontology-based data access.
    Artif. Intell. 213:42–59, 2014.
    URL, DOI BibTeX

    @article{DBLP:journals/ai/GottlobKKPSZ14,
    	author = "Georg Gottlob and Stanislav Kikot and Roman Kontchakov and Vladimir V. Podolskii and Thomas Schwentick and Michael Zakharyaschev",
    	title = "The price of query rewriting in ontology-based data access",
    	journal = "Artif. Intell.",
    	year = 2014,
    	volume = 213,
    	pages = "42--59",
    	url = "http://dx.doi.org/10.1016/j.artint.2014.04.004",
    	doi = "10.1016/j.artint.2014.04.004",
    	timestamp = "Tue, 18 Nov 2014 21:19:07 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/ai/GottlobKKPSZ14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume.
    The Dynamic Descriptive Complexity of k-Clique.
    In Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I. 2014, 547–558.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/Zeume14,
    	author = "Thomas Zeume",
    	title = "The Dynamic Descriptive Complexity of k-Clique",
    	booktitle = "Mathematical Foundations of Computer Science 2014 - 39th International Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part {I}",
    	pages = "547--558",
    	year = 2014,
    	url = "http://dx.doi.org/10.1007/978-3-662-44522-8_46",
    	doi = "10.1007/978-3-662-44522-8_46",
    	timestamp = "Wed, 10 Sep 2014 14:53:34 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/Zeume14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Christoph Beierle, Rita Hermsen and Gabriele Kern-Isberner.
    Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation.
    In Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, FLAIRS 2014, Pensacola Beach, Florida, May 21-23, 2014.. 2014.
    URL BibTeX

    @inproceedings{Beierle2014,
    	title = "Observations on the Minimality of Ranking Functions for Qualitative Conditional Knowledge Bases and Their Computation",
    	author = "Christoph Beierle and Rita Hermsen and Gabriele Kern{-}Isberner",
    	booktitle = "Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, {FLAIRS} 2014, Pensacola Beach, Florida, May 21-23, 2014.",
    	year = 2014,
    	url = "http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS14/paper/view/7831"
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    Dynamic Conjunctive Queries.
    In Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.. 2014, 38–49.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/ZeumeS14,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "Dynamic Conjunctive Queries",
    	booktitle = "Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.",
    	year = 2014,
    	pages = "38--49",
    	crossref = "DBLP:conf/icdt/2014",
    	url = "http://dx.doi.org/10.5441/002/icdt.2014.08",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/ZeumeSDynamic14.pdf",
    	doi = "10.5441/002/icdt.2014.08",
    	timestamp = "Tue, 18 Nov 2014 21:20:16 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/ZeumeS14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Matthias Niewerth and Thomas Schwentick.
    Reasoning about XML Constraints based on XML-to-relational mappings.
    In Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.. 2014, 72–83.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/NiewerthS14,
    	author = "Matthias Niewerth and Thomas Schwentick",
    	title = "Reasoning about {XML} Constraints based on XML-to-relational mappings",
    	booktitle = "Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.",
    	year = 2014,
    	pages = "72--83",
    	crossref = "DBLP:conf/icdt/2014",
    	url = "http://dx.doi.org/10.5441/002/icdt.2014.11",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/NiewerthSReasoning14.pdf",
    	doi = "10.5441/002/icdt.2014.11",
    	timestamp = "Tue, 18 Nov 2014 21:25:47 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/NiewerthS14",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2013