2019

  1. Pablo Barceló and Marco Calautti (eds.).
    22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal

    127. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019.
    URL BibTeX

    @proceedings{DBLP:conf/icdt/2019,
    	editor = "Pablo Barcel{\'{o}} and Marco Calautti",
    	title = "22nd International Conference on Database Theory, {ICDT} 2019, March 26-28, 2019, Lisbon, Portugal",
    	series = "LIPIcs",
    	volume = 127,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	year = 2019,
    	url = "http://www.dagstuhl.de/dagpub/978-3-95977-101-6",
    	isbn = "978-3-95977-101-6",
    	timestamp = "Tue, 02 Apr 2019 17:11:24 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/icdt/2019",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Frank Neven, Thomas Schwentick, Christopher Spinrath and Brecht Vandevoort.
    Parallel-Correctness and Parallel-Boundedness for Datalog Programs.
    In 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal. 2019, 14:1–14:19.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/NevenSSV19,
    	author = "Frank Neven and Thomas Schwentick and Christopher Spinrath and Brecht Vandevoort",
    	title = "Parallel-Correctness and Parallel-Boundedness for Datalog Programs",
    	booktitle = "22nd International Conference on Database Theory, {ICDT} 2019, March 26-28, 2019, Lisbon, Portugal",
    	pages = "14:1--14:19",
    	year = 2019,
    	crossref = "DBLP:conf/icdt/2019",
    	url = "https://doi.org/10.4230/LIPIcs.ICDT.2019.14",
    	doi = "10.4230/LIPIcs.ICDT.2019.14",
    	timestamp = "Tue, 02 Apr 2019 17:11:24 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/icdt/NevenSSV19",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2018

  1. Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick and Thomas Zeume.
    Reachability Is in DynFO.
    J. ACM 65(5):33:1–33:24, 2018.
    URL, DOI BibTeX

    @article{DattaKMSZ18,
    	acmid = 3212685,
    	address = "New York, NY, USA",
    	articleno = 33,
    	author = "Datta, Samir and Kulkarni, Raghav and Mukherjee, Anish and Schwentick, Thomas and Zeume, Thomas",
    	date-modified = "2018-10-17 12:43:06 +0000",
    	doi = "10.1145/3212685",
    	issn = "0004-5411",
    	issue_date = "September 2018",
    	journal = "J. ACM",
    	keywords = "DynFO, Dynamic descriptive complexity, reachability",
    	month = "",
    	number = 5,
    	numpages = 24,
    	pages = "33:1--33:24",
    	publisher = "ACM",
    	title = "Reachability Is in DynFO",
    	url = "http://doi.acm.org/10.1145/3212685",
    	volume = 65,
    	year = 2018,
    	bdsk-url-1 = "http://doi.acm.org/10.1145/3212685",
    	bdsk-url-2 = "http://dx.doi.org/10.1145/3212685"
    }
    

  1. Henrik Björklund, Wim Martens and Thomas Schwentick.
    Conjunctive query containment over trees using schema information.
    Acta Inf. 55(1):17–56, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/acta/BjorklundMS18,
    	author = {Henrik Bj{\"{o}}rklund and Wim Martens and Thomas Schwentick},
    	title = "Conjunctive query containment over trees using schema information",
    	journal = "Acta Inf.",
    	volume = 55,
    	number = 1,
    	pages = "17--56",
    	year = 2018,
    	url = "https://doi.org/10.1007/s00236-016-0282-1",
    	doi = "10.1007/s00236-016-0282-1",
    	timestamp = "Wed, 07 Feb 2018 13:19:42 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/acta/BjorklundMS18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Matthias Niewerth and Thomas Schwentick.
    Reasoning About XML Constraints Based on XML-to-Relational Mappings.
    Theory Comput. Syst. 62(8):1826–1879, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/mst/NiewerthS18,
    	author = "Matthias Niewerth and Thomas Schwentick",
    	title = "Reasoning About {XML} Constraints Based on XML-to-Relational Mappings",
    	journal = "Theory Comput. Syst.",
    	volume = 62,
    	number = 8,
    	pages = "1826--1879",
    	year = 2018,
    	url = "https://doi.org/10.1007/s00224-018-9846-5",
    	doi = "10.1007/s00224-018-9846-5",
    	timestamp = "Tue, 11 Sep 2018 14:56:31 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/mst/NiewerthS18",
    	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 (Dagstuhl Perspectives Workshop 16151).
    Dagstuhl Manifestos 7(1):1–29, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/dagstuhl-manifestos/AbiteboulABBCD018,
    	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 (Dagstuhl Perspectives Workshop 16151)",
    	journal = "Dagstuhl Manifestos",
    	volume = 7,
    	number = 1,
    	pages = "1--29",
    	year = 2018,
    	url = "https://doi.org/10.4230/DagMan.7.1.1",
    	doi = "10.4230/DagMan.7.1.1",
    	timestamp = "Tue, 10 Apr 2018 11:31:23 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/dagstuhl-manifestos/AbiteboulABBCD018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Dan R Ghica and Achim Jung (eds.).
    27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK

    119. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018.
    URL BibTeX

    @proceedings{DBLP:conf/csl/2018,
    	editor = "Dan R. Ghica and Achim Jung",
    	title = "27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, September 4-7, 2018, Birmingham, {UK}",
    	series = "LIPIcs",
    	volume = 119,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	year = 2018,
    	url = "http://www.dagstuhl.de/dagpub/978-3-95977-088-0",
    	isbn = "978-3-95977-088-0",
    	timestamp = "Wed, 29 Aug 2018 13:11:08 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/csl/2018",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Dexter Kozen and Thomas Schwentick.
    The Ackermann Award 2018.
    In 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK. 2018, 1:1–1:5.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/KozenS18,
    	author = "Dexter Kozen and Thomas Schwentick",
    	title = "The Ackermann Award 2018",
    	booktitle = "27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, September 4-7, 2018, Birmingham, {UK}",
    	pages = "1:1--1:5",
    	year = 2018,
    	crossref = "DBLP:conf/csl/2018",
    	url = "https://doi.org/10.4230/LIPIcs.CSL.2018.1",
    	doi = "10.4230/LIPIcs.CSL.2018.1",
    	timestamp = "Wed, 29 Aug 2018 22:59:00 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/csl/KozenS18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2017

  1. Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    Dynamic Complexity under Definable Changes.
    In Michael Benedikt and Giorgio Orsi (eds.). 20th International Conference on Database Theory, ICDT 2017, March 21-24, 2017, Venice, Italy 68. 2017, 19:1–19:18.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/SchwentickVZ17,
    	author = "Thomas Schwentick and Nils Vortmeier and Thomas Zeume",
    	title = "Dynamic Complexity under Definable Changes",
    	booktitle = "20th International Conference on Database Theory, {ICDT} 2017, March 21-24, 2017, Venice, Italy",
    	pages = "19:1--19:18",
    	year = 2017,
    	url = "https://doi.org/10.4230/LIPIcs.ICDT.2017.19",
    	doi = "10.4230/LIPIcs.ICDT.2017.19",
    	timestamp = "Tue, 23 May 2017 01:12:16 +0200",
    	biburl = "http://dblp.org/rec/bib/conf/icdt/SchwentickVZ17",
    	bibsource = "dblp computer science bibliography, http://dblp.org",
    	editor = "Michael Benedikt and Giorgio Orsi",
    	series = "LIPIcs",
    	volume = 68,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	isbn = "978-3-95977-024-8"
    }
    

  1. Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    A Strategy for Dynamic Programs: Start over and Muddle Through.
    In Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn and Anca Muscholl (eds.). 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland 80. 2017, 98:1–98:14.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icalp/Datta0SVZ17,
    	author = "Samir Datta and Anish Mukherjee and Thomas Schwentick and Nils Vortmeier and Thomas Zeume",
    	title = "A Strategy for Dynamic Programs: Start over and Muddle Through",
    	booktitle = "44th International Colloquium on Automata, Languages, and Programming, {ICALP} 2017, July 10-14, 2017, Warsaw, Poland",
    	pages = "98:1--98:14",
    	year = 2017,
    	editor = "Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl",
    	series = "LIPIcs",
    	volume = 80,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	isbn = "978-3-95977-041-5",
    	url = "https://doi.org/10.4230/LIPIcs.ICALP.2017.98",
    	doi = "10.4230/LIPIcs.ICALP.2017.98",
    	timestamp = "Tue, 18 Jul 2017 10:55:27 +0200",
    	biburl = "http://dblp.org/rec/bib/conf/icalp/Datta0SVZ17",
    	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.
    ACM Trans. Database Syst. 42(3):15:1–15:42, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/tods/MartensNNS17,
    	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",
    	journal = "{ACM} Trans. Database Syst.",
    	volume = 42,
    	number = 3,
    	pages = "15:1--15:42",
    	year = 2017,
    	url = "https://doi.org/10.1145/3105960",
    	doi = "10.1145/3105960",
    	timestamp = "Tue, 06 Nov 2018 12:51:47 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/tods/MartensNNS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Thomas Zeume and Thomas Schwentick.
    Dynamic conjunctive queries.
    J. Comput. Syst. Sci. 88:3–26, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/jcss/ZeumeS17,
    	author = "Thomas Zeume and Thomas Schwentick",
    	title = "Dynamic conjunctive queries",
    	journal = "J. Comput. Syst. Sci.",
    	volume = 88,
    	pages = "3--26",
    	year = 2017,
    	url = "https://doi.org/10.1016/j.jcss.2017.03.014",
    	doi = "10.1016/j.jcss.2017.03.014",
    	timestamp = "Fri, 14 Jul 2017 16:39:06 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/jcss/ZeumeS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Martin Schuster and Thomas Schwentick.
    Games for Active XML Revisited.
    Theory Comput. Syst. 61(1):84–155, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/mst/SchusterS17,
    	author = "Martin Schuster and Thomas Schwentick",
    	title = "Games for Active {XML} Revisited",
    	journal = "Theory Comput. Syst.",
    	volume = 61,
    	number = 1,
    	pages = "84--155",
    	year = 2017,
    	url = "https://doi.org/10.1007/s00224-016-9682-4",
    	doi = "10.1007/s00224-016-9682-4",
    	timestamp = "Thu, 01 Jun 2017 18:57:38 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/mst/SchusterS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Tom J Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
    Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems.
    Commun. ACM 60(3):93–100, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/cacm/AmelootGKNS17,
    	author = "Tom J. Ameloot and Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
    	title = "Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems",
    	journal = "Commun. {ACM}",
    	volume = 60,
    	number = 3,
    	pages = "93--100",
    	year = 2017,
    	url = "https://doi.org/10.1145/3041063",
    	doi = "10.1145/3041063",
    	timestamp = "Tue, 06 Nov 2018 12:51:41 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/cacm/AmelootGKNS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2016

  1. Tom J Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
    Data partitioning for single-round multi-join evaluation in massively parallel systems.
    SIGMOD Record 45(1):33–40, 2016.
    URL, DOI BibTeX

    @article{DBLP:journals/sigmod/AmelootGKNS16,
    	author = "Tom J. Ameloot and Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
    	title = "Data partitioning for single-round multi-join evaluation in massively parallel systems",
    	journal = "{SIGMOD} Record",
    	volume = 45,
    	number = 1,
    	pages = "33--40",
    	year = 2016,
    	url = "https://doi.org/10.1145/2949741.2949750",
    	doi = "10.1145/2949741.2949750",
    	timestamp = "Tue, 06 Nov 2018 12:51:23 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/sigmod/AmelootGKNS16",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

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