2019

  1. Pablo Barceló and Marco Calautti (eds.).
    22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal

    127. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019.
    URL BibTeX

    @proceedings{DBLP:conf/icdt/2019,
    	editor = "Pablo Barcel{\'{o}} and Marco Calautti",
    	title = "22nd International Conference on Database Theory, {ICDT} 2019, March 26-28, 2019, Lisbon, Portugal",
    	series = "LIPIcs",
    	volume = 127,
    	publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    	year = 2019,
    	url = "http://www.dagstuhl.de/dagpub/978-3-95977-101-6",
    	isbn = "978-3-95977-101-6",
    	timestamp = "Tue, 02 Apr 2019 17:11:24 +0200",
    	biburl = "https://dblp.org/rec/bib/conf/icdt/2019",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    
  2. Frank Neven, Thomas Schwentick, Christopher Spinrath and Brecht Vandevoort.
    Parallel-Correctness and Parallel-Boundedness for Datalog Programs.
    In 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal. 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",
    	title = "Parallel-Correctness and Parallel-Boundedness for Datalog Programs",
    	booktitle = "22nd International Conference on Database Theory, {ICDT} 2019, March 26-28, 2019, Lisbon, Portugal",
    	pages = "14:1--14:19",
    	year = 2019,
    	crossref = "DBLP:conf/icdt/2019",
    	url = "https://doi.org/10.4230/LIPIcs.ICDT.2019.14",
    	doi = "10.4230/LIPIcs.ICDT.2019.14",
    	timestamp = "Tue, 02 Apr 2019 17:11:24 +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"
    }