| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Frank Neven 26 Frank Neven, Thomas Schwentick : XPath Containment in the Presence of Disjunction, DTDs, and Variables. ICDT 2003 : 315-329 25 Wim Martens , Frank Neven: Typechecking Top-Down Uniform Unranked Tree Transducers. ICDT 2003 : 64-78 24 Frank Neven: Automata, Logic, and XML. CSL 2002 : 2-26 23 Frank Neven: On the Power of Walking for Querying Tree-Structured Data. PODS 2002 : 77-84 22 Geert Jan Bex , Sebastian Maneth , Frank Neven: A formal model for an expressive fragment of XSLT. Information Systems 27 (1): 21-39 (2002) 21 Frank Neven, Jan Van den Bussche : Expressiveness of structured document query languages based on attribute grammars. JACM 49 (1): 56-100 (2002) 20 Frank Neven: Automata Theory for XML Researchers. SIGMOD Record 31 (3): 39-46 (2002) 19 Frank Neven, Thomas Schwentick : Query automata over finite trees. TCS 275 (1-2): 633-674 (2002) 18 Noga Alon , Tova Milo , Frank Neven, Dan Suciu , Victor Vianu : Typechecking XML Views of Relational Databases. LICS 2001 : 421-430 17 Frank Neven, Thomas Schwentick , Victor Vianu : Towards Regular Languages over Infinite Alphabets. MFCS 2001 : 560-572 16 Noga Alon , Tova Milo , Frank Neven, Dan Suciu , Victor Vianu : XML with Data Values: Typechecking Revisited. PODS 2001 15 Frank Neven, Thomas Schwentick : Automata-and Logic-Based Pattern Languages for Tree-Structured Data. Semantics in Databases 2001 : 160-178 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'03 © 2003 Association for Computing Machinery |
