1. Thomas Schwentick and Thomas Zeume.
    Dynamic complexity: recent updates.
    SIGLOG News 3(2):30–52, 2016.
    URL BibTeX

    @article{DBLP:journals/siglog/SchwentickZ16,
    	author = "Thomas Schwentick and Thomas Zeume",
    	title = "Dynamic complexity: recent updates",
    	journal = "{SIGLOG} News",
    	volume = 3,
    	number = 2,
    	pages = "30--52",
    	year = 2016,
    	url = "https://dl.acm.org/citation.cfm?id=2948899",
    	timestamp = "Wed, 05 Dec 2018 15:20:23 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/siglog/SchwentickZ16",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu and Ke Yi.
    Research Directions for Principles of Data Management (Abridged).
    SIGMOD Record 45(4):5–17, 2016.
    URL, DOI BibTeX

    @article{DBLP:journals/sigmod/AbiteboulABBCDH16,
    	author = {Serge Abiteboul and Marcelo Arenas and Pablo Barcel{\'{o}} and Meghyn Bienvenu and Diego Calvanese and Claire David and Richard Hull and Eyke H{\"{u}}llermeier and Benny Kimelfeld and Leonid Libkin and Wim Martens and Tova Milo and Filip Murlak and Frank Neven and Magdalena Ortiz and Thomas Schwentick and Julia Stoyanovich and Jianwen Su and Dan Suciu and Victor Vianu and Ke Yi},
    	title = "Research Directions for Principles of Data Management (Abridged)",
    	journal = "{SIGMOD} Record",
    	volume = 45,
    	number = 4,
    	pages = "5--17",
    	year = 2016,
    	url = "https://doi.org/10.1145/3092931.3092933",
    	doi = "10.1145/3092931.3092933",
    	timestamp = "Tue, 06 Nov 2018 12:51:22 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/sigmod/AbiteboulABBCDH16",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
    Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
    In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016. 2016, 9:1–9:17.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/GeckKNS16,
    	author = "Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
    	bibsource = "dblp computer science bibliography, http://dblp.org",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/GeckKNS16",
    	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.9",
    	pages = "9:1--9:17",
    	timestamp = "Wed, 23 Mar 2016 10:12:09 +0100",
    	title = "Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation",
    	url = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.9",
    	year = 2016,
    	bdsk-url-1 = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.9"
    }
    

2015

  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 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"
    }