1. 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. Springer, 2015.
    URL, DOI BibTeX

    @proceedings{DBLP:conf/icalp/2015-2,
    	editor = "Magn{\'{u}}s M. Halld{\'{o}}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann",
    	title = "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,
    	publisher = "Springer",
    	year = 2015,
    	url = "https://doi.org/10.1007/978-3-662-47666-6",
    	doi = "10.1007/978-3-662-47666-6",
    	isbn = "978-3-662-47665-9",
    	timestamp = "Wed, 14 Nov 2018 11:00:14 +0100",
    	biburl = "https://dblp.org/rec/bib/conf/icalp/2015-2",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick and Thomas Zeume.
    Reachability is in DynFO.
    In Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. 2015, 159–170.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icalp/DattaKMSZ15,
    	author = "Samir Datta and Raghav Kulkarni and Anish Mukherjee and Thomas Schwentick and Thomas Zeume",
    	title = "Reachability is in DynFO",
    	booktitle = "Automata, Languages, and Programming - 42nd International Colloquium, {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}",
    	pages = "159--170",
    	year = 2015,
    	crossref = "DBLP:conf/icalp/2015-2",
    	url = "https://doi.org/10.1007/978-3-662-47666-6\_13",
    	doi = "10.1007/978-3-662-47666-6\_13",
    	timestamp = "Wed, 14 Nov 2018 11:00:14 +0100",
    	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, 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",
    	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

  1. Henrik Björklund, Martin Schuster, Thomas Schwentick and Joscha Kulbatzki.
    On optimum left-to-right strategies for active context-free games.
    In Joint 2013 EDBT/ICDT Conferences, ICDT '13 Proceedings, Genoa, Italy, March 18-22, 2013. 2013, 105–116.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/BjorklundSSK13,
    	author = {Henrik Bj{\"{o}}rklund and Martin Schuster and Thomas Schwentick and Joscha Kulbatzki},
    	title = "On optimum left-to-right strategies for active context-free games",
    	booktitle = "Joint 2013 {EDBT/ICDT} Conferences, {ICDT} '13 Proceedings, Genoa, Italy, March 18-22, 2013",
    	year = 2013,
    	pages = "105--116",
    	crossref = "DBLP:conf/icdt/2013",
    	url = "http://doi.acm.org/10.1145/2448496.2448510",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BjoerklundSSKOptimum13.pdf",
    	doi = "10.1145/2448496.2448510",
    	timestamp = "Tue, 18 Nov 2014 21:26:06 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/BjorklundSSK13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick.
    The Dynamic Complexity of the Reachability Problem on Graphs.
    In Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings. 2013, 45.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/rp/Schwentick13,
    	author = "Thomas Schwentick",
    	title = "The Dynamic Complexity of the Reachability Problem on Graphs",
    	booktitle = "Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings",
    	year = 2013,
    	pages = 45,
    	crossref = "DBLP:conf/rp/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-41036-9_5",
    	doi = "10.1007/978-3-642-41036-9_5",
    	timestamp = "Tue, 18 Nov 2014 21:26:36 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/rp/Schwentick13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Benedikt Bollig, Aiswarya Cyriac, Lo{\"ı}c Hélouët, Ahmet Kara and Thomas Schwentick.
    Dynamic Communicating Automata and Branching High-Level MSCs.
    In Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings. 2013, 177–189.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/lata/BolligCHKS13,
    	author = {Benedikt Bollig and Aiswarya Cyriac and Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and Ahmet Kara and Thomas Schwentick},
    	title = "Dynamic Communicating Automata and Branching High-Level MSCs",
    	booktitle = "Language and Automata Theory and Applications - 7th International Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings",
    	pages = "177--189",
    	year = 2013,
    	crossref = "DBLP:conf/lata/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-37064-9_17",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BolligCHKDynamic13.pdf",
    	doi = "10.1007/978-3-642-37064-9_17",
    	timestamp = "Tue, 11 Nov 2014 16:50:37 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/lata/BolligCHKS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Henrik Björklund, Wim Martens and Thomas Schwentick.
    Validity of Tree Pattern Queries with Respect to Schema Information.
    In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. 2013, 171–182.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/BjorklundMS13,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	title = "Validity of Tree Pattern Queries with Respect to Schema Information",
    	booktitle = "Mathematical Foundations of Computer Science 2013 - 38th International Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings",
    	year = 2013,
    	pages = "171--182",
    	crossref = "DBLP:conf/mfcs/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-40313-2_17",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/BjoerklundMSValidity13.pdf",
    	doi = "10.1007/978-3-642-40313-2_17",
    	timestamp = "Tue, 18 Nov 2014 21:26:24 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/BjorklundMS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    On the Quantifier-Free Dynamic Complexity of Reachability.
    In Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. 2013, 837–848.
    URL PDF, DOI BibTeX

    @inproceedings{DBLP:conf/mfcs/ZeumeS13,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "On the Quantifier-Free Dynamic Complexity of Reachability",
    	booktitle = "Mathematical Foundations of Computer Science 2013 - 38th International Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings",
    	year = 2013,
    	pages = "837--848",
    	crossref = "DBLP:conf/mfcs/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-40313-2_73",
    	pdf = "http://129.217.56.104/media/bibtex/logidac/pdf/ZeumeSQuantifier13.pdf",
    	doi = "10.1007/978-3-642-40313-2_73",
    	timestamp = "Tue, 18 Nov 2014 21:26:31 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/mfcs/ZeumeS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick.
    Perspectives of Dynamic Complexity.
    In Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. 2013, 33.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/wollic/Schwentick13,
    	author = "Thomas Schwentick",
    	title = "Perspectives of Dynamic Complexity",
    	booktitle = "Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings",
    	year = 2013,
    	pages = 33,
    	crossref = "DBLP:conf/wollic/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-39992-3_6",
    	doi = "10.1007/978-3-642-39992-3_6",
    	timestamp = "Tue, 18 Nov 2014 21:26:51 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/wollic/Schwentick13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Schwentick.
    Perspectives of Dynamic Complexity.
    In Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. 2013, 33.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/wollic/Schwentick13,
    	author = "Thomas Schwentick",
    	title = "Perspectives of Dynamic Complexity",
    	booktitle = "Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings",
    	year = 2013,
    	pages = 33,
    	crossref = "DBLP:conf/wollic/2013",
    	url = "http://dx.doi.org/10.1007/978-3-642-39992-3_6",
    	doi = "10.1007/978-3-642-39992-3_6",
    	timestamp = "Wed, 19 Nov 2014 21:46:37 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/wollic/Schwentick13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    On the quantifier-free dynamic complexity of Reachability.
    CoRR abs/1306.3056, 2013.
    URL BibTeX

    @article{DBLP:journals/corr/ZeumeS13,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "On the quantifier-free dynamic complexity of Reachability",
    	journal = "CoRR",
    	year = 2013,
    	volume = "abs/1306.3056",
    	url = "http://arxiv.org/abs/1306.3056",
    	timestamp = "Tue, 18 Nov 2014 21:27:03 +0100",
    	biburl = "http://dblp.uni-trier.de/rec/bib/journals/corr/ZeumeS13",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }