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