Publications

PhD Thesis

Christopher Spinrath. Query Evaluation Revised: Parallel, Distributed, via Rewritings. 2024.

Videos

Spinrath, Christopher and Geck, Gaetano and Keppeler, Jens and Schwentick, Thomas. Rewriting with Acyclic Queries: Mind your Head. 2022.

Conference Papers and Journal Articles

Christopher Spinrath and Angela Bonifati and Rachid Echahed. Repairing Property Graphs under PG-Constraints. 2026.
Preprint article.
Jens Keppeler and Thomas Schwentick and Christopher Spinrath. Work-Efficient Query Evaluation with PRAMs. 2025.
Preprint article.
Jens Keppeler and Thomas Schwentick and Christopher Spinrath. Work-Efficient Query Evaluation with PRAMs. 2023.
26th International Conference on Database Theory, ICDT 2023, Editors: Floris Geerts and Brecht Vandevoort.
Gaetano Geck and Jens Keppeler and Thomas Schwentick and Christopher Spinrath. Rewriting with Acyclic Queries: Mind Your Head. 2023.
Logical Methods in Computer Science. Volume 19.4.
Gaetano Geck and Jens Keppeler and Thomas Schwentick and Christopher Spinrath. Rewriting with Acyclic Queries: Mind Your Head. 2022.
25th International Conference on Database Theory, ICDT 2022, Editors: Dan Olteanu and Nils Vortmeier.
Frank Neven and Thomas Schwentick and Christopher Spinrath and Brecht Vandevoort. Parallel-Correctness and Parallel-Boundedness for Datalog Programs. 2019.
22nd International Conference on Database Theory, ICDT 2019, Editors: Pablo Barceló and Marco Calautti.
Christof Löding and Christopher Spinrath. Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words. 2019.
Discrete Mathematics and Theoretical Computer Science. Volume 21.3.
Christopher Czyba and Wolfgang Thomas and Christopher Spinrath. Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change. 2018.
International Journal of Foundations of Computer Science. Volume 29.2.
Christof Löding and Christopher Spinrath. Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words. 2017.
Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Editors: Ralf Klasing and Marc Zeitoun.
Christopher Czyba and Christopher Spinrath and Wolfgang Thomas. Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change. 2015.
Developments in Language Theory - 19th International Conference, DLT 2015, Editors: Igor Potapov.