2020

2019

  1. Frank Neven, Thomas Schwentick, Christopher Spinrath and Brecht Vandevoort.
    Parallel-Correctness and Parallel-Boundedness for Datalog Programs.
    In Pablo Barceló and Marco Calautti (eds.). 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal 127. 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",
	editor = "Pablo Barcel{\'{o}} and Marco Calautti",
	title = "Parallel-Correctness and Parallel-Boundedness for Datalog Programs",
	booktitle = "22nd International Conference on Database Theory, {ICDT} 2019, March 26-28, 2019, Lisbon, Portugal",
	series = "LIPIcs",
	volume = 127,
	pages = "14:1--14:19",
	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
	year = 2019,
	url = "https://doi.org/10.4230/LIPIcs.ICDT.2019.14",
	doi = "10.4230/LIPIcs.ICDT.2019.14",
	timestamp = "Tue, 14 May 2019 15:18:30 +0200",
	biburl = "https://dblp.org/rec/bib/conf/icdt/NevenSSV19",
	bibsource = "dblp computer science bibliography, https://dblp.org"
}

2018

  1. Christof Löding and Christopher Spinrath.
    Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words.
    In Ralf Klasing and Marc Zeitoun (eds.). Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings. 2017, 341–354.
    DOI BibTeX

    @inproceedings{FCT2017,
	author = {L{\"o}ding, Christof and Spinrath, Christopher},
	title = "Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words",
	booktitle = "Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11--13, 2017, Proceedings",
	year = 2017,
	editor = "Klasing, Ralf and Zeitoun, Marc",
	pages = "341--354",
	publisher = "Springer Berlin Heidelberg",
	doi = "10.1007/978-3-662-55751-8_27",
	file = "FCT2017.pdf:mine/FCT2017.pdf:PDF",
	isbn = "978-3-662-55751-8",
	owner = "spinrath"
}

  1. Christopher Czyba, Christopher Spinrath and Wolfgang Thomas.
    Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change.
    In Igor Potapov (ed.). Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.. 2015, 203–214.
    DOI BibTeX

    @inproceedings{DLT2015,
	author = "Czyba, Christopher and Spinrath, Christopher and Thomas, Wolfgang",
	title = "Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change",
	booktitle = "Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.",
	year = 2015,
	editor = "Potapov, Igor",
	pages = "203--214",
	publisher = "Springer International Publishing",
	doi = "10.1007/978-3-319-21500-6_16",
	file = "DLT2015.pdf:mine/DLT2015.pdf:PDF",
	isbn = "978-3-319-21500-6"
}

2009

2006

2005