Thomas Schwentick

ORCID

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 58

Top Venues

University of Mainz, Germany (PHD)

Education History

University of Mainz, Germany

PHD

Publications

Jens Keppeler, Thomas Schwentick, Christopher Spinrath
Work-Efficient Query Evaluation with PRAMs. CoRR (2023)
Jonas Schmidt, Thomas Schwentick
Dynamic Constant Time Parallel Graph Algorithms with Sub-Linear Work. MFCS (2023)
Jonas Schmidt, Thomas Schwentick, Jennifer Todtenhoefer
On the Work of Dynamic Constant-Time Parallel Algorithms for Regular Tree Languages and Context-Free Languages. MFCS (2023)
Jonas Schmidt, Thomas Schwentick, Jennifer Todtenhoefer
On the work of dynamic constant-time parallel algorithms for regular tree languages and context-free languages. CoRR (2023)
Jonas Schmidt, Thomas Schwentick
Dynamic constant time parallel graph algorithms with sub-linear work. CoRR (2023)
Gaetano Geck, Jens Keppeler, Thomas Schwentick, Christopher Spinrath
Rewriting with Acyclic Queries: Mind Your Head. Log. Methods Comput. Sci. 19 (4) (2023)
Jens Keppeler, Thomas Schwentick, Christopher Spinrath
Work-Efficient Query Evaluation with PRAMs. ICDT (2023)
Gaetano Geck, Jens Keppeler, Thomas Schwentick, Christopher Spinrath
Rewriting with Acyclic Queries: Mind Your Head. ICDT (2022)
Moses Ganardi, Louis Jachiet, Markus Lohrey, Thomas Schwentick
Low-Latency Sliding Window Algorithms for Formal Languages. FSTTCS (2022)
Moses Ganardi, Louis Jachiet, Markus Lohrey, Thomas Schwentick
Low-Latency Sliding Window Algorithms for Formal Languages. CoRR (2022)
Gaetano Geck, Jens Keppeler, Thomas Schwentick, Christopher Spinrath
Rewriting with Acyclic Queries: Mind your Head. CoRR (2022)
Thomas Schwentick
Ackermann Award 2021. Bull. EATCS 134 (2021)
Angela Bonifati, Rasmus Pagh, Thomas Schwentick
2021 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS (2021)
Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
Work-sensitive Dynamic Complexity of Formal Languages. CoRR (2021)
Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
Work-sensitive Dynamic Complexity of Formal Languages. FoSSaCS (2021)
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Sketches of Dynamic Complexity. SIGMOD Rec. 49 (2) (2020)
Gaetano Geck, Frank Neven, Thomas Schwentick
Distribution Constraints: The Chase for Distributed Data. CoRR (2020)
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
Dynamic Complexity Meets Parameterised Algorithms. CSL (2020)
Gaetano Geck, Frank Neven, Thomas Schwentick
Distribution Constraints: The Chase for Distributed Data. ICDT (2020)
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
Dynamic Complexity Meets Parameterised Algorithms. CoRR (2019)
Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume
A Strategy for Dynamic Programs: Start over and Muddle through. Log. Methods Comput. Sci. 15 (2) (2019)
Christian Coester, Thomas Schwentick, Martin Schuster
Winning Strategies for Streaming Rewriting Games. FCT (2019)
Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation. ACM Trans. Comput. Log. 20 (3) (2019)
Frank Neven, Thomas Schwentick, Christopher Spinrath, Brecht Vandevoort
Parallel-Correctness and Parallel-Boundedness for Datalog Programs. ICDT (2019)
Matthias Niewerth, Thomas Schwentick
Reasoning About XML Constraints Based on XML-to-Relational Mappings. Theory Comput. Syst. 62 (8) (2018)
Dexter Kozen, Thomas Schwentick
The Ackermann Award 2018. CSL (2018)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7 (1) (2018)
Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume
Reachability Is in DynFO. J. ACM 65 (5) (2018)
Henrik Björklund, Wim Martens, Thomas Schwentick
Conjunctive query containment over trees using schema information. Acta Informatica 55 (1) (2018)
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Dynamic Complexity under Definable Changes. ACM Trans. Database Syst. 43 (3) (2018)
Christian Coester, Thomas Schwentick, Martin Schuster
Streaming Rewriting Games: Winning Strategies and Complexity. CoRR (2018)
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Dynamic Complexity under Definable Changes. CoRR (2017)
Thomas Zeume, Thomas Schwentick
Dynamic Conjunctive Queries. CoRR (2017)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR (2017)
Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume
A Strategy for Dynamic Programs: Start over and Muddle Through. ICALP (2017)
Thomas Zeume, Thomas Schwentick
Dynamic conjunctive queries. J. Comput. Syst. Sci. 88 (2017)
Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume
A Strategy for Dynamic Programs: Start over and Muddle through. CoRR (2017)
Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick
BonXai: Combining the Simplicity of DTD with the Expressiveness of XML Schema. ACM Trans. Database Syst. 42 (3) (2017)
Martin Schuster, Thomas Schwentick
Games for Active XML Revisited. Theory Comput. Syst. 61 (1) (2017)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems. Commun. ACM 60 (3) (2017)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Transferability for Conjunctive Queries. J. ACM 64 (5) (2017)
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Dynamic Complexity under Definable Changes. ICDT (2017)
Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, Thomas Schwentick
Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361). Dagstuhl Reports 7 (9) (2017)
Thomas Schwentick, Thomas Zeume
Dynamic complexity: recent updates. ACM SIGLOG News 3 (2) (2016)
Marcelo Arenas, Richard Hull, Wim Martens, Tova Milo, Thomas Schwentick
Foundations of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Reports 6 (4) (2016)
Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation. ICDT (2016)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Data partitioning for single-round multi-join evaluation in massively parallel systems. SIGMOD Rec. 45 (1) (2016)
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 45 (4) (2016)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Transferability for Conjunctive Queries. PODS (2015)
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Static Analysis for Logic-Based Dynamic Programs. CoRR (2015)
Mikolaj Bojanczyk, Meena Mahajan, Thomas Schwentick, Heribert Vollmer
Circuits, Logic and Games (Dagstuhl Seminar 15401). Dagstuhl Reports 5 (9) (2015)
Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation. CoRR (2015)
Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume
Reachability is in DynFO. CoRR (2015)
Martin Schuster, Thomas Schwentick
Games for Active XML Revisited. ICDT (2015)
Thomas Zeume, Thomas Schwentick
On the quantifier-free dynamic complexity of Reachability. Inf. Comput. 240 (2015)
Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick
BonXai: Combining the simplicity of DTD with the expressiveness of XML Schema. PODS (2015)
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
Static Analysis for Logic-based Dynamic Programs. CSL (2015)
Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume
Reachability is in DynFO. ICALP (2) (2015)
Thomas Zeume, Thomas Schwentick
Dynamic Conjunctive Queries. ICDT (2014)
Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev
The price of query rewriting in ontology-based data access. Artif. Intell. 213 (2014)
Matthias Niewerth, Thomas Schwentick
Reasoning about XML Constraints based on XML-to-relational mappings. ICDT (2014)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Transferability for Conjunctive Queries. CoRR (2014)
Martin Schuster, Thomas Schwentick
Games for Active XML Revisited. CoRR (2014)
Thomas Zeume, Thomas Schwentick
On the quantifier-free dynamic complexity of Reachability. CoRR (2013)
Thomas Schwentick
XML Schema Management: A Challenge for Automata Theory. LATA (2013)
Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara, Thomas Schwentick
Dynamic Communicating Automata and Branching High-Level MSCs. LATA (2013)
Thomas Schwentick
Perspectives of Dynamic Complexity. WoLLIC (2013)
Thomas Zeume, Thomas Schwentick
On the Quantifier-Free Dynamic Complexity of Reachability. MFCS (2013)
Amaldev Manuel, Thomas Schwentick, Thomas Zeume
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor. CoRR (2013)
Henrik Björklund, Wim Martens, Thomas Schwentick
Validity of Tree Pattern Queries with Respect to Schema Information. MFCS (2013)
Christoph Dürr, Thomas Schwentick
Preface of Special Issue on Theoretical Aspects of Computer Science. Theory Comput. Syst. 53 (2) (2013)
Henrik Björklund, Martin Schuster, Thomas Schwentick, Joscha Kulbatzki
On optimum left-to-right strategies for active context-free games. ICDT (2013)
Thomas Schwentick
The Dynamic Complexity of the Reachability Problem on Graphs. RP (2013)
Thomas Schwentick, Thomas Zeume
Two-Variable Logic with Two Order Relations Log. Methods Comput. Sci. 8 (1) (2012)
Jean-Yves Marion, Thomas Schwentick
Theoretical Aspects of Computer Science. Theory Comput. Syst. 51 (2) (2012)
Wouter Gelade, Marcel Marquardt, Thomas Schwentick
The dynamic complexity of formal languages. ACM Trans. Comput. Log. 13 (3) (2012)
Henrik Björklund, Martin Schuster, Thomas Schwentick, Joscha Kulbatzki
On optimum left-to-right strategies for active context-free games CoRR (2012)
Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick
Developing and Analyzing XSDs through BonXai. Proc. VLDB Endow. 5 (12) (2012)
Thomas Schwentick
Foundations of XML Based on Logic and Automata: A Snapshot. FoIKS (2012)
Georg Gottlob, Thomas Schwentick
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. KR (2012)
Ahmet Kara, Thomas Schwentick, Tony Tan
Feasible Automata for Two-Variable Logic with Successor on Data Words. LATA (2012)
Ahmet Kara, Thomas Schwentick, Tony Tan
Feasible Automata for Two-Variable Logic with Successor on Data Words CoRR (2011)
Nicole Schweikardt, Thomas Schwentick
A note on the expressive power of linear orders Log. Methods Comput. Sci. 7 (4) (2011)
Serge Abiteboul, Alin Deutsch, Thomas Schwentick, Luc Segoufin
Foundations of distributed data management (Dagstuhl Seminar 11421). Dagstuhl Reports 1 (10) (2011)
Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
Two-variable logic on data words. ACM Trans. Comput. Log. 12 (4) (2011)
Thomas Schwentick, Christoph Dürr
Frontmatter, Table of Contents, Preface, Conference Organization. STACS (2011)
Matthias Niewerth, Thomas Schwentick
Two-variable logic and key constraints on data words. ICDT (2011)
Georg Gottlob, Thomas Schwentick
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. Description Logics (2011)
Georg Gottlob, Thomas Schwentick
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs CoRR (2011)
Ahmet Kara, Thomas Schwentick
Expressiveness of Hybrid Temporal Logic on Data Words. Electron. Notes Theor. Comput. Sci. 278 (2011)
Henrik Björklund, Wim Martens, Thomas Schwentick
Conjunctive query containment over trees. J. Comput. Syst. Sci. 77 (3) (2011)
Ahmet Kara, Thomas Schwentick, Thomas Zeume
Temporal Logics on Words with Multiple Data Values. FSTTCS (2010)
Thomas Eiter, Georg Gottlob, Thomas Schwentick
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey. Fields of Logic and Computation (2010)
Benjamin Rossman, Thomas Schwentick, Denis Thérien, Heribert Vollmer
10061 Executive Summary - Circuits, Logic, and Games. Circuits, Logic, and Games (2010)
Ahmet Kara, Thomas Schwentick, Thomas Zeume
Temporal Logics on Words with Multiple Data Values CoRR (2010)
Henrik Björklund, Wim Martens, Nicole Schweikardt, Thomas Schwentick
Logik und Automaten: ein echtes Dreamteam. Inform. Spektrum 33 (5) (2010)
Henrik Björklund, Thomas Schwentick
On notions of regularity for data languages. Theor. Comput. Sci. 411 (4-5) (2010)
Geert Jan Bex, Frank Neven, Thomas Schwentick, Stijn Vansummeren
Inference of concise regular expressions and DTDs. ACM Trans. Database Syst. 35 (2) (2010)
Thomas Schwentick, Thomas Zeume
Two-Variable Logic with Two Order Relations - (Extended Abstract). CSL (2010)
Jean-Yves Marion, Thomas Schwentick
Table of Contents - 27th International Symposium on Theoretical Aspects of Computer Science. STACS (2010)

Thomas Schwentick.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Schwentick