Welcome to D
SIGMOD'00
PODS'00
SIGMOD Recor
CIKM 2000/CI
COMAD 2000
Data Enginee
DL 2000
DPDJ
EDBT 2000
Hypertext 20
ICDE 2000
KDD 2000
KDD Explorat
KRDB 2000
SBBD 2000
SIGIR 2000
SIGIR Forum
SSDBM 2000
TODS
VLDB'00
VLDBJ
About DiSC 2
Editorial Bo
Acknowledgem
DiSC 2001 Pr
ADVIS
DiSC'01 Feed
DiSC'01 Site
Search DiSC'
<<<Author Index>>>
Copyright No

Thomas Schwentick

Papers on DiSC'01


Expressive and Efficient Pattern Languages for Tree-Structured Data

Publications


Note: Links lead to the DBLP on the Web.

Thomas Schwentick

27 Michael Benedikt , Leonid Libkin , Thomas Schwentick, Luc Segoufin : String Operations in Query Languages. PODS 2001

26 Thomas Schwentick: Logically defined queries on trees. Grundlagen von Datenbanken 2000 : 96-100

25 Frank Neven , Thomas Schwentick: On the Power of Tree-Walking Automata. ICALP 2000 : 547-560

24 Pierre McKenzie , Thomas Schwentick, Denis Thérien , Heribert Vollmer : The Many Faces of a Translation. ICALP 2000 : 890-901

23 Thomas Schwentick: On Diving in Trees. MFCS 2000 : 660-669

22 Frank Neven , Thomas Schwentick: Expressive and Efficient Pattern Languages for Tree-Structured Data. PODS 2000 : 145-156

21 Martin Grohe , Thomas Schwentick: Locality of order-invariant first-order formulas. TOCL 1 (1): 112-130 (2000)

20 Frank Neven , Thomas Schwentick: Automata for Unary Queries on Trees. Grundlagen von Datenbanken 1999 : 102-106

19 Frank Neven , Thomas Schwentick: Query Automata. PODS 1999 : 205-214

18 Clemens Lautemann , Nicole Schweikardt , Thomas Schwentick: A Logical Characterisation of Linear Time on Nondeterministic Turing Machines. STACS 1999 : 143-152

17 Clemens Lautemann , Pierre McKenzie , Thomas Schwentick, Heribert Vollmer : The Descriptive Complexity Approach to LOGCFL. STACS 1999 : 444-454

16 Thomas Schwentick: Descriptive Complexity, Lower Bounds and Linear Time. CSL 1998 : 9-28

15 Martin Grohe , Thomas Schwentick: Locality of Order-Invariant First-Order Formulas. MFCS 1998 : 437-445

14 Thomas Schwentick, Klaus Barthelmann : Local Normal Forms for First-Order Logic with Applications to Games and Automata. STACS 1998 : 444-454

13 Clemens Lautemann , Pierre McKenzie , Thomas Schwentick, Heribert Vollmer : The Descriptive Complexity Approach to LOGCFL. Electronic Colloquium on Computational Complexity (ECCC) 5 (059): (1998)

12 Clemens Lautemann , Thomas Schwentick, Iain A. Stewart : Positive Versions of Polynomial Time. Information and Computation 147 (2): 145-170 (1998)

11 Arnaud Durand , Clemens Lautemann , Thomas Schwentick: Subclasses of Binary NP. Journal of Logic and Computation 8 (2): 189-207 (1998)

10 Thomas Schwentick: Padding and the Expressive Power of Existential Second-Order Logics. CSL 1997 : 461-477

9 Thomas Schwentick: Algebraic and Logical Characterizations of Deterministic Linear Time Classes. STACS 1997 : 463-474

8 Clemens Lautemann , Thomas Schwentick, Iain A. Stewart : On Positive P. IEEE Conference on Computational Complexity 1996 : 162-170

7 Thomas Schwentick: On Bijections vs. Unary Functions. STACS 1996 : 415-426

6 Thomas Schwentick: On Winning Ehrenfeucht Games and Monadic NP. Annals of Pure and Applied Logic 79 (1): 61-92 (1996)

5 Thomas Schwentick: Graph Connectivity, Monadic NP and Built-in Relations of Moderate Degree. ICALP 1995 : 405-416

4 Frederic Green , Johannes Köbler , Kenneth W. Regan , Thomas Schwentick, Jacobo Torán : The Power of the Middle Bit of a #P Function. JCSS 50 (3): 456-467 (1995)

3 Clemens Lautemann , Thomas Schwentick, Denis Thérien : Logics For Context-Free Languages. CSL 1994 : 205-216

2 Thomas Schwentick: Graph Connectivity and Monadic NP. FOCS 1994 : 614-622

1 Ulrich Hertrampf , Clemens Lautemann , Thomas Schwentick, Heribert Vollmer , Klaus W. Wagner : On the Power of Polynomial Time Bit-Reductions (Extended Abstract). Structure in Complexity Theory Conference 1993 : 200-207





DiSC'01 Copyright ©2002 ACM Inc.