| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Schwentick, Thomas Zeume |
Two-Variable Logic with Two Order Relations  |
Logical Methods in Computer Science  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Yves Marion, Thomas Schwentick |
Theoretical Aspects of Computer Science. |
Theory Comput. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara, Thomas Schwentick, Tony Tan |
Feasible Automata for Two-Variable Logic with Successor on Data Words. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick |
Foundations of XML Based on Logic and Automata: A Snapshot. |
FoIKS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara, Thomas Schwentick |
Expressiveness of Hybrid Temporal Logic on Data Words. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara, Thomas Schwentick, Tony Tan |
Feasible Automata for Two-Variable Logic with Successor on Data Words |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nicole Schweikardt, Thomas Schwentick |
A note on the expressive power of linear orders |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Thomas Schwentick |
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Henrik Björklund, Wim Martens, Thomas Schwentick |
Conjunctive query containment over trees. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul, Alin Deutsch, Thomas Schwentick, Luc Segoufin |
Foundations of distributed data management (Dagstuhl Seminar 11421). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Two-variable logic on data words. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Thomas Schwentick |
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Schwentick, Christoph Dürr |
Frontmatter, Table of Contents, Preface, Conference Organization. |
STACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick, Christoph Dürr (eds.) |
28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany |
STACS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Matthias Niewerth, Thomas Schwentick |
Two-variable logic and key constraints on data words. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Lenzerini, Thomas Schwentick (eds.) |
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2011, June 12-16, 2011, Athens, Greece |
PODS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Henrik Björklund, Thomas Schwentick |
On notions of regularity for data languages. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Jan Bex, Frank Neven, Thomas Schwentick, Stijn Vansummeren |
Inference of concise regular expressions and DTDs. |
ACM Trans. Database Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Björklund, Wim Martens, Nicole Schweikardt, Thomas Schwentick |
Logik und Automaten: ein echtes Dreamteam. |
Informatik Spektrum |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Mundhenk, Thomas Schneider 0002, Thomas Schwentick, Volker Weber |
Complexity of hybrid logics over transitive frames. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara, Thomas Schwentick, Thomas Zeume |
Temporal Logics on Words with Multiple Data Values |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jean-Yves Marion, Thomas Schwentick |
Foreword -- 27th International Symposium on Theoretical Aspects of Computer Science. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Yves Marion, Thomas Schwentick (eds.) |
27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France |
STACS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jean-Yves Marion, Thomas Schwentick |
Table of Contents - 27th International Symposium on Theoretical Aspects of Computer Science. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick, Thomas Zeume |
Two-Variable Logic with Two Order Relations - (Extended Abstract). |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Matthias Niewerth, Thomas Schwentick |
Schema design for XML repositories: complexity and tractability. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
language primality, complexity, xml, xml schemas |
| 1 | Ahmet Kara, Thomas Schwentick, Thomas Zeume |
Temporal Logics on Words with Multiple Data Values. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Two-variable logic on data trees and XML reasoning. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
XML, consistency, Integrity constraints, DTDs, implications |
| 1 | Georg Gottlob, Zoltán Miklós, Thomas Schwentick |
Generalized hypertree decompositions: NP-hardness and tractable variants. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
TreeProjection Problem, hypertree decomposition, NP-complete, hypergraph, Conjunctive query, tractable, acyclic |
| 1 | Thomas Schwentick, Henrik Björklund |
Volker Weber. |
Journal of Logic, Language and Information |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara, Martin Lange, Thomas Schwentick, Volker Weber |
On the Hybrid Extension of CTL and CTL+ |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Thomas Schwentick, Dan Suciu |
Foreword. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Complexity of Decision Problems for XML Schemas and Chain Regular Expressions. |
SIAM J. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara, Volker Weber, Martin Lange, Thomas Schwentick |
On the Hybrid Extension of CTL and CTL+. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Gelade, Marcel Marquardt, Thomas Schwentick |
The Dynamic Complexity of Formal Languages. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Gianluigi Greco, Zoltán Miklós, Francesco Scarcello, Thomas Schwentick |
Tree Projections: Game Characterization and Computational Aspects. |
Graph Theory, Computational Intelligence and Thought |
2009 |
DBLP DOI BibTeX RDF |
tree projections, computational complexity, hypergraphs |
| 1 | Thomas Schwentick, Dan Suciu |
Introduction to ICDT 2007 special section. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Mundhenk, Thomas Schneider 0002, Thomas Schwentick, Volker Weber |
Complexity of Hybrid Logics over Transitive Frames |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wouter Gelade, Marcel Marquardt, Thomas Schwentick |
Dynamic Complexity of Formal Languages |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Henrik Björklund, Wim Martens, Thomas Schwentick |
Optimizing Conjunctive Queries over Trees Using Schema Information. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick |
A Little Bit Infinite? On Adding Data to Finitely Labelled Structures (Abstract). |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Deterministic top-down tree automata: past, present, and future. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Helmut Seidl, Thomas Schwentick, Anca Muscholl |
Counting in trees. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Simple off the shelf abstractions for XML schema. |
SIGMOD Record |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Weber, Thomas Schwentick |
Dynamic Complexity Theory Revisited. |
Theory Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick |
Automata for XML - A survey. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick, Volker Weber |
Bounded-Variable Fragments of Hybrid Logics. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick, Denis Thérien, Heribert Vollmer (eds.) |
Circuits, Logic, and Games, 08.11. - 10.11.2006 |
Circuits, Logic, and Games |
2007 |
DBLP BibTeX RDF |
|
| 1 | Henrik Björklund, Thomas Schwentick |
On Notions of Regularity for Data Languages. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick, Dan Suciu (eds.) |
Database Theory - ICDT 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings |
ICDT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Henrik Björklund, Wim Martens, Thomas Schwentick |
Conjunctive Query Containment over Trees. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gjergji Kasneci, Thomas Schwentick |
The complexity of reasoning about pattern-based XML schemas. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
XML schemas, integrity constraints |
| 1 | Georg Gottlob, Zoltán Miklós, Thomas Schwentick |
Generalized hypertree decompositions: np-hardness and tractable variants. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
hypertree decomposition, tree projection problem, NP-complete, hypergraph, conjunctive query, tractable, acyclic |
| 1 | Wim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex |
Expressiveness and complexity of XML Schema. |
ACM Trans. Database Syst. |
2006 |
DBLP DOI BibTeX RDF |
XML, validation, XML Schema |
| 1 | Frank Neven, Thomas Schwentick |
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick |
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Active Context-Free Games. |
Theory Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre McKenzie, Thomas Schwentick, Denis Thérien, Heribert Vollmer |
The many faces of a translation. |
J. Comput. Syst. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Mathias Samuelides, Thomas Schwentick, Luc Segoufin |
Expressive Power of Pebble Automata. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick, Denis Thérien, Heribert Vollmer |
06451 Executive Summary -- Circuits, Logic, and Games . |
Circuits, Logic, and Games |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Schwentick, Denis Thérien, Heribert Vollmer |
06451 Abstracts Collection -- Circuits, Logic, and Games . |
Circuits, Logic, and Games |
2006 |
DBLP BibTeX RDF |
|
| 1 | Geert Jan Bex, Frank Neven, Thomas Schwentick, Karl Tuyls |
Inference of Concise DTDs from XML Data. |
VLDB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David |
Two-Variable Logic on Words with Data. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Two-variable logic on data trees and XML reasoning. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
data trees, first-order logic, decidability |
| 1 | Kumar Neeraj Verma, Helmut Seidl, Thomas Schwentick |
On the Complexity of Equational Horn Clauses. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Weber, Thomas Schwentick |
Dynamic Complexity Theory Revisited. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick |
Expressiveness of XSDs: from practice to theory, there and back again. |
WWW |
2005 |
DBLP DOI BibTeX RDF |
formal model, XML schema, expressiveness |
| 1 | Frank Neven, Thomas Schwentick, Dan Suciu |
05061 Abstracts Collection - Foundations of Semistructured Data. |
Foundations of Semistructured Data |
2005 |
DBLP BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick, Dan Suciu (eds.) |
Foundations of Semistructured Data, 6.-11. February 2005 |
Foundations of Semistructured Data |
2005 |
DBLP BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick, Dan Suciu |
05061 Summary - Foundations of Semi-structured Data. |
Foundations of Semistructured Data |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Which XML Schemas Admit 1-Pass Preorder Typing? |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick |
XPath query containment. |
SIGMOD Record |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick |
Existential second-order logic over graphs: Charting the tractability frontier. |
J. ACM |
2004 |
DBLP DOI BibTeX RDF |
Existential second-order logic, graph constraints, prefix classes, graph coloring, NP-complete problems, finite model theory |
| 1 | Frank Neven, Thomas Schwentick, Victor Vianu |
Finite state machines for strings over infinite alphabets. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
infinite alphabets, XML, Automata, first-order logic, expressiveness, pebbles, monadic second-order logic, registers |
| 1 | Joachim Biskup, Jan Paredaens, Thomas Schwentick, Jan Van den Bussche |
Solving Equations in the Relational Algebra. |
SIAM J. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Thomas Schwentick, Anca Muscholl, Peter Habermehl |
Counting in Trees for Free. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Martens, Frank Neven, Thomas Schwentick |
Complexity of Decision Problems for Simple Regular Expressions. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Active Context-Free Games. |
STACS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick |
Trees, Automata and XML. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick |
On the power of tree-walking automata. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
Definable relations and first-order query languages over strings. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
first-order definability, query languages, Strings, expressive power, quantifier elimination |
| 1 | Nils Klarlund, Thomas Schwentick, Dan Suciu |
XML: Model, Schemas, Types, Logics, and Queries. |
Logics for Emerging Applications of Databases |
2003 |
DBLP BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick |
XPath Containment in the Presence of Disjunction, DTDs, and Variables. |
ICDT |
2003 |
DBLP BibTeX RDF |
|
| 1 | Helmut Seidl, Thomas Schwentick, Anca Muscholl |
Numerical document queries. |
PODS |
2003 |
DBLP DOI BibTeX RDF |
querying XML documents, XML, automata, monadic second order logic, Presburger arithmetic |
| 1 | Frank Neven, Thomas Schwentick |
Query automata over finite trees. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Etienne Grandjean, Thomas Schwentick |
Machine-Independent Characterizations and Complete Problems for Deterministic Linear Time. |
SIAM J. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Biskup, Jan Paredaens, Thomas Schwentick, Jan Van den Bussche |
Solving equations in the relational algebra |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer |
The Descriptive Complexity Approach to LOGCFL. |
J. Comput. Syst. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Neven, Thomas Schwentick |
Automata-and Logic-Based Pattern Languages for Tree-Structured Data. |
Semantics in Databases |
2001 |
DBLP DOI BibTeX RDF |
XML, logic, automata, formal languages, attribute grammars, query evaluation |
| 1 | Frank Neven, Thomas Schwentick, Victor Vianu |
Towards Regular Languages over Infinite Alphabets. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Georg Gottlob, Thomas Schwentick |
Second-Order Logic over Strings: Regular and Non-regular Fragments. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick, Denis Thérien, Heribert Vollmer |
Partially-Ordered Two-Way Automata: A New Characterization of DA. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
A Model-Theoretic Approach to Regular String Relations. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
String Operations in Query Languages. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, Thomas Schwentick, Luc Segoufin |
When is the evaluation of conjunctive queries tractable? |
STOC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, Thomas Schwentick |
Locality of order-invariant first-order formulas. |
ACM Trans. Comput. Log. |
2000 |
DBLP DOI BibTeX RDF |
ordered structures, locality, logics, first-order logic |
| 1 | Frank Neven, Thomas Schwentick |
On the Power of Tree-Walking Automata. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre McKenzie, Thomas Schwentick, Denis Thérien, Heribert Vollmer |
The Many Faces of a Translation. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick |
On Diving in Trees. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")