2020

  1. Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume and Ioannis Kokkinis.
    Dynamic Complexity Meets Parameterised Algorithms.
    In Maribel Fernández and Anca Muscholl (eds.). 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain 152. 2020, 36:1–36:17.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/SchmidtSVZK20,
    	author = "Jonas Schmidt and Thomas Schwentick and Nils Vortmeier and Thomas Zeume and Ioannis Kokkinis",
    	editor = "Maribel Fern{\'{a}}ndez and Anca Muscholl",
    	title = "Dynamic Complexity Meets Parameterised Algorithms",
    	booktitle = "28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020, January 13-16, 2020, Barcelona, Spain",
    	series = "LIPIcs",
    	volume = 152,
    	pages = "36:1--36:17",
    	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    	year = 2020,
    	url = "https://doi.org/10.4230/LIPIcs.CSL.2020.36",
    	doi = "10.4230/LIPIcs.CSL.2020.36",
    	timestamp = "Mon, 15 Jun 2020 17:01:53 +0200",
    	biburl = "https://dblp.org/rec/conf/csl/SchmidtSVZK20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2019

  1. Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    A Strategy for Dynamic Programs: Start over and Muddle through.
    Logical Methods in Computer Science 15(2), 2019.
    URL BibTeX

    @article{DBLP:journals/lmcs/DattaMSVZ19,
    	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",
    	journal = "Logical Methods in Computer Science",
    	volume = 15,
    	number = 2,
    	year = 2019,
    	url = "https://lmcs.episciences.org/5442",
    	timestamp = "Thu, 09 May 2019 12:01:35 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/lmcs/DattaMSVZ19",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken and Thomas Zeume.
    Teaching Logic with Iltis: an Interactive, Web-Based System.
    In Bruce Scharlau, Roger McDermott, Arnold Pears and Mihaela Sabin (eds.). Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019. 2019, 307.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/iticse/GeckLHMSSSTVZ19,
    	author = "Gaetano Geck and Artur Ljulin and Jonas Haldimann and Johannes May and Jonas Schmidt and Marko Schmellenkamp and Daniel Sonnabend and Felix Tschirbs and Fabian Vehlken and Thomas Zeume",
    	editor = "Bruce Scharlau and Roger McDermott and Arnold Pears and Mihaela Sabin",
    	title = "Teaching Logic with Iltis: an Interactive, Web-Based System",
    	booktitle = "Proceedings of the 2019 {ACM} Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019",
    	pages = 307,
    	publisher = "{ACM}",
    	year = 2019,
    	url = "https://doi.org/10.1145/3304221.3325571",
    	doi = "10.1145/3304221.3325571",
    	timestamp = "Fri, 27 Dec 2019 21:22:52 +0100",
    	biburl = "https://dblp.org/rec/conf/iticse/GeckLHMSSSTVZ19.bib",
    	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{DBLP:journals/jacm/DattaKMSZ18,
    	author = "Samir Datta and Raghav Kulkarni and Anish Mukherjee and Thomas Schwentick and Thomas Zeume",
    	title = "Reachability Is in DynFO",
    	journal = "J. {ACM}",
    	volume = 65,
    	number = 5,
    	pages = "33:1--33:24",
    	year = 2018,
    	url = "https://doi.org/10.1145/3212685",
    	doi = "10.1145/3212685",
    	timestamp = "Wed, 21 Nov 2018 12:44:29 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/jacm/DattaKMSZ18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Samir Datta, Anish Mukherjee, Nils Vortmeier and Thomas Zeume.
    Reachability and Distances under Multiple Changes.
    In Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx and Donald Sannella (eds.). 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic 107. 2018, 120:1–120:14.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icalp/Datta0VZ18,
    	author = "Samir Datta and Anish Mukherjee and Nils Vortmeier and Thomas Zeume",
    	title = "Reachability and Distances under Multiple Changes",
    	booktitle = "45th International Colloquium on Automata, Languages, and Programming, {ICALP} 2018, July 9-13, 2018, Prague, Czech Republic",
    	pages = "120:1--120:14",
    	year = 2018,
    	url = "https://doi.org/10.4230/LIPIcs.ICALP.2018.120",
    	doi = "10.4230/LIPIcs.ICALP.2018.120",
    	timestamp = "Sat, 28 Jul 2018 14:39:07 +0200",
    	editor = "Ioannis Chatzigiannakis and Christos Kaklamanis and D{\'{a}}niel Marx and Donald Sannella",
    	series = "LIPIcs",
    	volume = 107,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	isbn = "978-3-95977-076-7"
    }
    

  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. Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken and Thomas Zeume.
    Introduction to Iltis: an interactive, web-based system for teaching logic.
    In Irene Polycarpou, Janet C Read, Panayiotis Andreou and Michal Armoni (eds.). Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus, July 02-04, 2018. 2018, 141–146.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/iticse/GeckLPSVZ18,
    	author = "Gaetano Geck and Artur Ljulin and Sebastian Peter and Jonas Schmidt and Fabian Vehlken and Thomas Zeume",
    	editor = "Irene Polycarpou and Janet C. Read and Panayiotis Andreou and Michal Armoni",
    	title = "Introduction to Iltis: an interactive, web-based system for teaching logic",
    	booktitle = "Proceedings of the 23rd Annual {ACM} Conference on Innovation and Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus, July 02-04, 2018",
    	pages = "141--146",
    	publisher = "{ACM}",
    	year = 2018,
    	url = "https://doi.org/10.1145/3197091.3197095",
    	doi = "10.1145/3197091.3197095",
    	timestamp = "Wed, 21 Nov 2018 12:44:02 +0100",
    	biburl = "https://dblp.org/rec/conf/iticse/GeckLPSVZ18.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    Dynamic Complexity under Definable Changes.
    ACM Trans. Database Syst. 43(3):12:1–12:38, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/tods/SchwentickVZ18,
    	author = "Thomas Schwentick and Nils Vortmeier and Thomas Zeume",
    	title = "Dynamic Complexity under Definable Changes",
    	journal = "{ACM} Trans. Database Syst.",
    	volume = 43,
    	number = 3,
    	pages = "12:1--12:38",
    	year = 2018,
    	url = "https://doi.org/10.1145/3241040",
    	doi = "10.1145/3241040",
    	timestamp = "Thu, 09 May 2019 13:10:55 +0200",
    	biburl = "https://dblp.org/rec/bib/journals/tods/SchwentickVZ18",
    	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. Thomas Zeume and Thomas Schwentick.
    Dynamic conjunctive queries.
    J. Comput. Syst. Sci. 88:3–26, 2017.
    URL arXiv, 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",
    	arxiv = "https://arxiv.org/abs/1704.01286",
    	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"
    }
    

2016

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