Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Frank Neven

Papers on DiSC'02


XML with Data Values: Typechecking Revisited

Publications


Note: Links lead to the DBLP on the Web.

Frank Neven

21 Frank Neven: On the Power of Walking for Querying Tree-Structured Data. PODS 2002 : 77-84

20 Geert Jan Bex , Sebastian Maneth , Frank Neven: A formal model for an expressive fragment of XSLT. Information Systems 27 (1): 21-39 (2002)

19 Frank Neven, Jan Van den Bussche : Expressiveness of structured document query languages based on attribute grammars. JACM 49 (1): 56-100 (2002)

18 Frank Neven, Thomas Schwentick : Query automata over finite trees. TCS 275 (1-2): 633-674 (2002)

17 Noga Alon , Tova Milo , Frank Neven, Dan Suciu , Victor Vianu : Typechecking XML Views of Relational Databases. LICS 2001 : 421-430

16 Frank Neven, Thomas Schwentick , Victor Vianu : Towards Regular Languages over Infinite Alphabets. MFCS 2001 : 560-572

15 Noga Alon , Tova Milo , Frank Neven, Dan Suciu , Victor Vianu : XML with Data Values: Typechecking Revisited. PODS 2001

14 Frank Neven, Martin Otto , Jerzy Tyszkiewicz , Jan Van den Bussche : Adding For-Loops to First-Order Logic. Information and Computation 168 (2): 156-186 (2001)

13 Geert Jan Bex , Sebastian Maneth , Frank Neven: A Formal Model for an Expressive Fragment of XSLT. Computational Logic 2000 : 1137-1151

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

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

10 Sebastian Maneth , Frank Neven: Structured Document Transformations Based on XSL. DBPL 1999 : 80-98

9 Frank Neven: Extensions of Attribute Grammars for Structured Document Queries. DBPL 1999 : 99-116

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

7 Frank Neven, Martin Otto , Jerzy Tyszkiewicz , Jan Van den Bussche : Adding For-Loops to First-Order Logic. ICDT 1999 : 58-69

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

5 Frank Neven, Jan Van den Bussche , Dirk Van Gucht , Gottfried Vossen : Typed Query Languages for Databases Containing Queries. Information Systems 24 (7): 569-595 (1999)

4 Frank Neven: Structured Document Query Languages Based on Attribute Grammars: Locality and Non-Determinism. FMLDO 1998 : 129-142

3 Frank Neven, Jan Van den Bussche : Expressiveness of Structured Document Query Languages Based on Attribute Grammars. PODS 1998 : 11-17

2 Frank Neven, Jan Van den Bussche , Dirk Van Gucht , Gottfried Vossen : Typed Query Languages for Databases Containing Queries. PODS 1998 : 189-196

1 Frank Neven, Jan Van den Bussche : On Implementing Structured Document Query Facilities on Top of a DOOD. DOOD 1997 : 351-367




DiSC'02 © 2003 Association for Computing Machinery