Skip to content

Thomas Schwentick

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

80

Venues

18

Active years

1994–2023

Best venue rank

A*

Where they publish

Papers

80 indexed papers, newest first.

YearVenueTitleAuthors
2023ICDTWork-Efficient Query Evaluation with PRAMs.Jens Keppeler, Thomas Schwentick, Christopher Spinrath
2023MFCSDynamic Constant Time Parallel Graph Algorithms with Sub-Linear Work.Jonas Schmidt, Thomas Schwentick
2023MFCSOn the Work of Dynamic Constant-Time Parallel Algorithms for Regular Tree Languages and Context-Free Languages.Jonas Schmidt, Thomas Schwentick, Jennifer Todtenhoefer
2022ICDTRewriting with Acyclic Queries: Mind Your Head.Gaetano Geck, Jens Keppeler, Thomas Schwentick, Christopher Spinrath
2021FOSSACSWork-sensitive Dynamic Complexity of Formal Languages.Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
2021PODS2021 ACM PODS Alberto O. Mendelzon Test-of-Time Award.Angela Bonifati, Rasmus Pagh, Thomas Schwentick
2020CSLDynamic Complexity Meets Parameterised Algorithms.Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
2020ICDTDistribution Constraints: The Chase for Distributed Data.Gaetano Geck, Frank Neven, Thomas Schwentick
2019FCTWinning Strategies for Streaming Rewriting Games.Christian Coester, Thomas Schwentick, Martin Schuster
2019ICDTParallel-Correctness and Parallel-Boundedness for Datalog Programs.Frank Neven, Thomas Schwentick, Christopher Spinrath, Brecht Vandevoort
2018CSLThe Ackermann Award 2018.Dexter Kozen, Thomas Schwentick
2017ICALPA Strategy for Dynamic Programs: Start over and Muddle Through.Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2017ICDTDynamic Complexity under Definable Changes.Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2016ICDTParallel-Correctness and Containment for Conjunctive Queries with Union and Negation.Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2015CSLStatic Analysis for Logic-based Dynamic Programs.Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2015ICALPReachability is in DynFO.Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume
2015ICDTGames for Active XML Revisited.Martin Schuster, Thomas Schwentick
2015PODSParallel-Correctness and Transferability for Conjunctive Queries.Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2015PODSBonXai: Combining the simplicity of DTD with the expressiveness of XML Schema.Wim Martens, Frank Neven, Matthias Niewerth, Thomas Schwentick
2014ICDTReasoning about XML Constraints based on XML-to-relational mappings.Matthias Niewerth, Thomas Schwentick
2014ICDTDynamic Conjunctive Queries.Thomas Zeume, Thomas Schwentick
2013ICDTOn optimum left-to-right strategies for active context-free games.Henrik Bjrklund, Martin Schuster, Thomas Schwentick, Joscha Kulbatzki
2013LATADynamic Communicating Automata and Branching High-Level MSCs.Benedikt Bollig, Aiswarya Cyriac, Loc Hlout, Ahmet Kara, Thomas Schwentick
2013LATAXML Schema Management: A Challenge for Automata Theory.Thomas Schwentick
2013MFCSValidity of Tree Pattern Queries with Respect to Schema Information.Henrik Bjrklund, Wim Martens, Thomas Schwentick
2013MFCSOn the Quantifier-Free Dynamic Complexity of Reachability.Thomas Zeume, Thomas Schwentick
2013WoLLICPerspectives of Dynamic Complexity.Thomas Schwentick
2012KRRewriting Ontological Queries into Small Nonrecursive Datalog Programs.Georg Gottlob, Thomas Schwentick
2012LATAFeasible Automata for Two-Variable Logic with Successor on Data Words.Ahmet Kara, Thomas Schwentick, Tony Tan
2011ICDTTwo-variable logic and key constraints on data words.Matthias Niewerth, Thomas Schwentick
2011STACSFrontmatter, Table of Contents, Preface, Conference Organization.Thomas Schwentick, Christoph Drr
2010CSLTwo-Variable Logic with Two Order Relations - (Extended Abstract).Thomas Schwentick, Thomas Zeume
2010PODSSchema design for XML repositories: complexity and tractability.Wim Martens, Matthias Niewerth, Thomas Schwentick
2010STACSForeword -- 27th International Symposium on Theoretical Aspects of Computer Science.Jean-Yves Marion, Thomas Schwentick
2010STACSTable of Contents - 27th International Symposium on Theoretical Aspects of Computer Science.Jean-Yves Marion, Thomas Schwentick
2009MFCSOn the Hybrid Extension of CTL and CTLAhmet Kara, Volker Weber, Martin Lange, Thomas Schwentick
2009STACSThe Dynamic Complexity of Formal Languages.Wouter Gelade, Marcel Marquardt, Thomas Schwentick
2008MFCSOptimizing Conjunctive Queries over Trees Using Schema Information.Henrik Bjrklund, Wim Martens, Thomas Schwentick
2008STACSA Little Bit Infinite? On Adding Data to Finitely Labelled Structures (Abstract).Thomas Schwentick
2007FCTOn Notions of Regularity for Data Languages.Henrik Bjrklund, Thomas Schwentick
2007PODSGeneralized hypertree decompositions: np-hardness and tractable variants.Georg Gottlob, Zoltn Mikls, Thomas Schwentick
2007PODSThe complexity of reasoning about pattern-based XML schemas.Gjergji Kasneci, Thomas Schwentick
2007STACSBounded-Variable Fragments of Hybrid Logics.Thomas Schwentick, Volker Weber
2006ICALPExpressive Power of Pebble Automata.Mikolaj Bojanczyk, Mathias Samuelides, Thomas Schwentick, Luc Segoufin
2006LICSTwo-Variable Logic on Words with Data.Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David
2006PODSTwo-variable logic on data trees and XML reasoning.Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin
2006VLDBInference of Concise DTDs from XML Data.Geert Jan Bex, Frank Neven, Thomas Schwentick, Karl Tuyls
2005CADEOn the Complexity of Equational Horn Clauses.Kumar Neeraj Verma, Helmut Seidl, Thomas Schwentick
2005ICDTWhich XML Schemas Admit 1-Pass Preorder Typing?Wim Martens, Frank Neven, Thomas Schwentick
2005WWWExpressiveness of XSDs: from practice to theory, there and back again.Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick
2005STACSDynamic Complexity Theory Revisited.Volker Weber, Thomas Schwentick
2004ICALPCounting in Trees for Free.Helmut Seidl, Thomas Schwentick, Anca Muscholl, Peter Habermehl
2004MFCSComplexity of Decision Problems for Simple Regular Expressions.Wim Martens, Frank Neven, Thomas Schwentick
2004PODSTrees, Automata and XML.Thomas Schwentick
2004STACSActive Context-Free Games.Anca Muscholl, Thomas Schwentick, Luc Segoufin
2003ICDTXPath Containment in the Presence of Disjunction, DTDs, and Variables.Frank Neven, Thomas Schwentick
2003PODSNumerical document queries.Helmut Seidl, Thomas Schwentick, Anca Muscholl
2001DLTSecond-Order Logic over Strings: Regular and Non-regular Fragments.Thomas Eiter, Georg Gottlob, Thomas Schwentick
2001DLTPartially-Ordered Two-Way Automata: A New Characterization of DA.Thomas Schwentick, Denis Thrien, Heribert Vollmer
2001LICSA Model-Theoretic Approach to Regular String Relations.Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin
2001MFCSTowards Regular Languages over Infinite Alphabets.Frank Neven, Thomas Schwentick, Victor Vianu
2001PODSString Operations in Query Languages.Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin
2001STOCWhen is the evaluation of conjunctive queries tractable?Martin Grohe, Thomas Schwentick, Luc Segoufin
2000FOCSExistential Second-Order Logic over Graphs: Charting the Tractability Frontier.Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick
2000ICALPThe Many Faces of a Translation.Pierre McKenzie, Thomas Schwentick, Denis Thrien, Heribert Vollmer
2000ICALPOn the Power of Tree-Walking Automata.Frank Neven, Thomas Schwentick
2000MFCSOn Diving in Trees.Thomas Schwentick
2000PODSExpressive and Efficient Pattern Languages for Tree-Structured Data.Frank Neven, Thomas Schwentick
1999PODSQuery Automata.Frank Neven, Thomas Schwentick
1999STACSThe Descriptive Complexity Approach to LOGCFL.Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer
1999STACSA Logical Characterisation of Linear Time on Nondeterministic Turing Machines.Clemens Lautemann, Nicole Schweikardt, Thomas Schwentick
1998CSLDescriptive Complexity, Lower Bounds and Linear Time.Thomas Schwentick
1998MFCSLocality of Order-Invariant First-Order Formulas.Martin Grohe, Thomas Schwentick
1998STACSLocal Normal Forms for First-Order Logic with Applications to Games and Automata.Thomas Schwentick, Klaus Barthelmann
1997CSLPadding and the Expressive Power of Existential Second-Order Logics.Thomas Schwentick
1997STACSAlgebraic and Logical Characterizations of Deterministic Linear Time Classes.Thomas Schwentick
1996STACSOn Bijections vs. Unary Functions.Thomas Schwentick
1995ICALPGraph Connectivity, Monadic NP and Built-in Relations of Moderate Degree.Thomas Schwentick
1994CSLLogics For Context-Free Languages.Clemens Lautemann, Thomas Schwentick, Denis Thrien
1994FOCSGraph Connectivity and Monadic NPThomas Schwentick