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