1

A. V. Aho and J. D. Ullman. Translations on a context-free grammar. Inform. and Control, 19:439-475, 1971.

2

Geert Jan Bex , Sebastian Maneth , Frank Neven, A formal model for an expressive fragment of XSLT, Information Systems, v.27 n.1, p.21-39, March 2002  [doi>10.1016/S0306-4379(01)00033-3]

3

A. Brüggemann-Klein, M. Murata, and D. Wood. Regular tree and regular hedge languages over unranked alphabets: Version 1, april 3, 2001. Technical Report HKUST-TCSC-2001-0, The Hongkong University of Science and Technology, 2001.

4

A. Brüggemann-Klein and D. Wood. Caterpillars: A context specification technique. Markup Languages, 2(1):81-106, 2000.

5

Mariano P. Consens , Tova Milo, Algebras for querying text regions: expressive power and optimization, Journal of Computer and System Sciences, v.57 n.3, p.272-288, Dec. 1998  [doi>10.1006/jcss.1998.1564]

6

Pierre Deransart , Martin Jourdan , Bernard Lorho, Attribute grammars: definitions, systems and bibliography, Springer-Verlag New York, Inc., New York, NY, 1988

7

Joost Engelfriet , Hendrik Jan Hoogeboom, Tree-Walking Pebble Automata, Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa, p.72-83, January 1999

8

Joost Engelfriet , Hendrik Jan Hoogeboom , Jan-Pascal Van Best, Trips on trees, Acta Cybernetica, v.14 n.1, p.51-64, Feb 1999

9

Georg Gottlob , Christoph Koch, Monadic datalog and the expressive power of languages for web information extraction, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin  [doi>10.1145/543613.543617]

10

Haruo Hosoya , Benjamin Pierce, Regular expression pattern matching for XML, Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.67-80, January 2001, London, United Kingdom

11

Michael Kaminski , Nissim Francez, Finite-memory automata, Theoretical Computer Science, v.134 n.2, p.329-363, Nov. 21, 1994  [doi>10.1016/0304-3975(94)90242-9]

12

N. Klarlund, A. Moller, and M. I. Schwartzbach. The DSD schema language. In Proceedings of the 3th ACM SIGSOFT Workshop on Formal Methods in Software Practice (FMSP 2000), 2000.

13

D. Lee, M. Mani, and M. Murata. Reasoning about XML schema languages using formal language theor. Technical report, IBM Almaden Research Center, 2000. Log# 95071.

14

Sebastian Maneth , Frank Neven, Structured Document Transformations Based on XSL, Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming, p.80-98, September 01-03, 1999

15

W. Martens and F. Neven. Typechecking of top-down uniform unranked tree transducers. Manuscript.

16

Gerome Miklau , Dan Suciu, Containment and equivalence for an XPath fragment, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin  [doi>10.1145/543613.543623]

17

Tova Milo , Dan Suciu , Victor Vianu, Typechecking for XML transformers, Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.11-22, May 15-18, 2000, Dallas, Texas, United States  [doi>10.1145/335168.335171]

18

M. Murata. Relax. http://www.xml.gr.jp/relax/.

19

Makoto Murata, Data Model for Document Transformation and Assembly, Proceedings of the 4th International Workshop on Principles of Digital Document Processing, p.140-152, March 29-30, 1998

20

Makoto Murata, Extended path expressions of XML, Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.126-137, May 2001, Santa Barbara, California, United States  [doi>10.1145/375551.375569]

21

Andreas Neumann , Helmut Seidl, Locating Matches of Tree Patterns in Forests, Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, p.134-145, December 17-19, 1998

22

Frank Neven, Extensions of Attribute Grammars for Structured Document Queries, Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming, p.99-116, September 01-03, 1999

23

Frank Neven, On the power of walking for querying tree-structured data, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin  [doi>10.1145/543613.543624]

24

Frank Neven , Thomas Schwentick, Expressive and efficient pattern languages for tree-structured data (extended abstract), Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.145-156, May 15-18, 2000, Dallas, Texas, United States  [doi>10.1145/335168.335217]

25

Frank Neven , Thomas Schwentick, On the Power of Tree-Walking Automata, Proceedings of the 27th International Colloquium on Automata, Languages and Programming, p.547-560, July 09-15, 2000

26

F. Neven and T. Schwentick. Automata- and logic-based pattern languages for tree-structured data. Unpublished, 2001.

27

Frank Neven , Thomas Schwentick, Query automata over finite trees, Theoretical Computer Science, v.275 n.1-2, p.633-674, March 28 2002  [doi>10.1016/S0304-3975(01)00301-2]

28

Frank Neven , Thomas Schwentick , Victor Vianu, Towards Regular Languages over Infinite Alphabets, Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, p.560-572, August 27-31, 2001

29

Frank Neven , Jan Van Den Bussche, Expressiveness of structured document query languages based on attribute grammars, Journal of the ACM (JACM), v.49 n.1, p.56-100, January 2002  [doi>10.1145/505241.505245]

30

C. Pair and A. Quere. Définition et etude des bilangages réguliers. Information and Control, 13(6):565-593, 1968.

31

Yannis Papakonstantinou , Victor Vianu, DTD inference for views of XML data, Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.35-46, May 15-18, 2000, Dallas, Texas, United States  [doi>10.1145/335168.335173]

32

Thomas Schwentick, On Diving in Trees, Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, p.660-669, September 01, 2000

33

Luc Segoufin , Victor Vianu, Validating streaming XML documents, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin  [doi>10.1145/543613.543622]

34

Dan Suciu, Typechecking for Semistructured Data, Revised Papers from the 8th International Workshop on Database Programming Languages, p.1-20, September 08-10, 2001

35

Dan Suciu, The XML typechecking problem, ACM SIGMOD Record, v.31 n.1, March 2002  [doi>10.1145/507338.507360]

36

M. Takahashi. Generalizations of regular sets and their application to a study of context-free languages. Information and Control, 27(1):1-36, 1975.

37

M. Y. Vardi, Invited talk: automata theory for database theoreticians, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.83-92, March 1989, Philadelphia, Pennsylvania, United States  [doi>10.1145/73721.73729]

38

Victor Vianu, A Web Odyssey: from Codd to XML, Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.1-15, May 2001, Santa Barbara, California, United States  [doi>10.1145/375551.375554]

Jérôme Siméon , Philip Wadler, The essence of XML, ACM SIGPLAN Notices, v.38 n.1, p.1-13, January 2003

Victor Vianu, A Web odyssey: from codd to XML, ACM SIGMOD Record, v.32 n.2, June 2003

Boris Chidlovskii , Jérôme Fuselier, Supervised learning for the legacy document conversion, Proceedings of the 2004 ACM symposium on Document engineering, October 28-30, 2004, Milwaukee, Wisconsin, USA

Boris Chidlovskii, A structural adviser for the XML document authoring, Proceedings of the 2003 ACM symposium on Document engineering, November 20-22, 2003, Grenoble, France

Thomas Schwentick, XPath query containment, ACM SIGMOD Record, v.33 n.1, March 2004

Xiang Fu , Tevfik Bultan , Jianwen Su, Model checking XML manipulating software, ACM SIGSOFT Software Engineering Notes, v.29 n.4, July 2004

Wim Martens , Frank Neven, Frontiers of tractability for typechecking simple XML transformations, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 14-16, 2004, Paris, France

Geert Jan Bex , Wim Martens , Frank Neven , Thomas Schwentick, Expressiveness of XSDs: from practice to theory, there and back again, Proceedings of the 14th international conference on World Wide Web, May 10-14, 2005, Chiba, Japan

Siva Anantharaman , Paliath Narendran , Michael Rusinowitch, Closure properties and decision problems of dag automata, Information Processing Letters, v.94 n.5, p.231-240, 15 June 2005

S. Maneth , A. Berlea , T. Perst , H. Seidl, XML type checking with macro tree transducers, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 13-15, 2005, Baltimore, Maryland

Georg Gottlob , Christoph Koch, Logic-based web information extraction, ACM SIGMOD Record, v.33 n.2, June 2004

Wim Martens , Frank Neven, On the complexity of typechecking top-down XML transformations, Theoretical Computer Science, v.336 n.1, p.153-180, 25 May 2005

Makoto Murata , Dongwon Lee , Murali Mani , Kohsuke Kawaguchi, Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology (TOIT), v.5 n.4, p.660-704, November 2005

Jian-Hua Feng , Yu-Guo Liao , Yong Zhang, HCH for checking containment of XPath fragment, Journal of Computer Science and Technology, v.22 n.5, p.736-748, September 2007

Pierre Genevès , Nabil Layaïda, Comparing XML path expressions, Proceedings of the 2006 ACM symposium on Document engineering, October 10-13, 2006, Amsterdam, The Netherlands

Markus Lohrey , Sebastian Maneth, The complexity of tree automata and XPath on grammar-compressed trees, Theoretical Computer Science, v.363 n.2, p.196-210, 28 October 2006

Wim Martens , Frank Neven , Thomas Schwentick , Geert Jan Bex, Expressiveness and complexity of XML Schema, ACM Transactions on Database Systems (TODS), v.31 n.3, p.770-813, September 2006

Stijn Vansummeren, Type inference for unique pattern matching, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.3, p.389-428, May 2006

Thomas Schwentick, Automata for XML---A survey, Journal of Computer and System Sciences, v.73 n.3, p.289-315, May, 2007

Wei Zhang , Robert A. van Engelen, TDX: a high-performance table-driven XML parser, Proceedings of the 44th annual southeast regional conference, March 10-12, 2006, Melbourne, Florida

Pierre Genevès , Nabil Layaïda, A system for the static analysis of XPath, ACM Transactions on Information Systems (TOIS), v.24 n.4, p.475-502, October 2006

Wim Martens , Frank Neven, Frontiers of tractability for typechecking simple XML transformations, Journal of Computer and System Sciences, v.73 n.3, p.362-390, May, 2007

Pawel Parys, XPath evaluation in linear time with polynomial combined complexity, Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 29-July 01, 2009, Providence, Rhode Island, USA

Christoph Koch, Efficient processing of expressive node-selecting queries on XML data in secondary storage: a tree automata-based approach, Proceedings of the 29th international conference on Very large data bases, p.249-260, September 09-12, 2003, Berlin, Germany

Wim Martens , Joachim Niehren, On the minimization of XML Schemas and tree automata for unranked trees, Journal of Computer and System Sciences, v.73 n.4, p.550-583, June, 2007

Martin Grohe , Christoph Koch , Nicole Schweikardt, Tight lower bounds for query processing on streaming and external memory data, Theoretical Computer Science, v.380 n.1-2, p.199-217, June, 2007

Pierre Genevès , Nabil Layaïda, Deciding XPath containment with MSO, Data & Knowledge Engineering, v.63 n.1, p.108-136, October, 2007

Luc Segoufin, Static analysis of XML processing with data values, ACM SIGMOD Record, v.36 n.1, March 2007

Wim Martens , Frank Neven , Thomas Schwentick, Simple off the shelf abstractions for XML schema, ACM SIGMOD Record, v.36 n.3, September 2007

Mikolaj Bojańczyk , Pawel Parys, XPath evaluation in linear time, Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 09-12, 2008, Vancouver, Canada

Wim Martens , Frank Neven , Marc Gyssens, Typechecking top-down XML transformations: Fixed input or output schemas, Information and Computation, v.206 n.7, p.806-827, July, 2008

Michael Benedikt , Christoph Koch, XPath leashed, ACM Computing Surveys (CSUR), v.41 n.1, p.1-54, December 2008

Mukund Raghavachari , Oded Shmueli, Efficient Revalidation of XML Documents, IEEE Transactions on Knowledge and Data Engineering, v.19 n.4, p.554-567, April 2007

Boris Chidlovskii , Jérôme Fuselier, A probabilistic learning method for XML annotation of documents, Proceedings of the 19th international joint conference on Artificial intelligence, p.1016-1021, July 30-August 05, 2005, Edinburgh, Scotland

Frank Neven: colleagues