2021

  1. Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier and Thomas Zeume.
    Work-sensitive Dynamic Complexity of Formal Languages.
    In Stefan Kiefer and Christine Tasson (eds.). Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings 12650. 2021, 490–509.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/fossacs/SchmidtSTVZ21,
    	author = "Jonas Schmidt and Thomas Schwentick and Till Tantau and Nils Vortmeier and Thomas Zeume",
    	editor = "Stefan Kiefer and Christine Tasson",
    	title = "Work-sensitive Dynamic Complexity of Formal Languages",
    	booktitle = "Foundations of Software Science and Computation Structures - 24th International Conference, {FOSSACS} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 12650,
    	pages = "490--509",
    	publisher = "Springer",
    	year = 2021,
    	url = "https://doi.org/10.1007/978-3-030-71995-1\_25",
    	doi = "10.1007/978-3-030-71995-1\_25",
    	timestamp = "Fri, 14 May 2021 08:34:12 +0200",
    	biburl = "https://dblp.org/rec/conf/fossacs/SchmidtSTVZ21.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

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

2009

2006

2005