dblp.uni-trier.dewww.uni-trier.de

Wim Martens

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
20EEHenrik Björklund, Wouter Gelade, Marcel Marquardt, Wim Martens: Incremental XPath evaluation. ICDT 2009: 162-173
19EEWouter Gelade, Wim Martens, Frank Neven: Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. SIAM J. Comput. 38(5): 2021-2043 (2009)
2008
18EEHenrik Björklund, Wim Martens: The Tractability Frontier for NFA Minimization. ICALP (2) 2008: 27-38
17EEHenrik Björklund, Wim Martens, Thomas Schwentick: Optimizing Conjunctive Queries over Trees Using Schema Information. MFCS 2008: 132-143
16EEWim Martens, Frank Neven, Marc Gyssens: Typechecking top-down XML transformations: Fixed input or output schemas. Inf. Comput. 206(7): 806-827 (2008)
2007
15EEMichaela Götz, Christoph Koch, Wim Martens: Efficient Algorithms for the Tree Homeomorphism Problem. DBPL 2007: 17-31
14EEHenrik Björklund, Wim Martens, Thomas Schwentick: Conjunctive Query Containment over Trees. DBPL 2007: 66-80
13EEWouter Gelade, Wim Martens, Frank Neven: Optimizing Schema Languages for XML: Numerical Constraints and Interleaving. ICDT 2007: 269-283
12EEWim Martens, Frank Neven: Frontiers of tractability for typechecking simple XML transformations. J. Comput. Syst. Sci. 73(3): 362-390 (2007)
11EEWim Martens, Joachim Niehren: On the minimization of XML Schemas and tree automata for unranked trees. J. Comput. Syst. Sci. 73(4): 550-583 (2007)
10EEWim Martens, Frank Neven, Thomas Schwentick: Simple off the shelf abstractions for XML schema. SIGMOD Record 36(3): 15-22 (2007)
2006
9EEWim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex: Expressiveness and complexity of XML Schema. ACM Trans. Database Syst. 31(3): 770-813 (2006)
8EEWim Martens, Frank Neven, Marc Gyssens: On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas CoRR abs/cs/0606094: (2006)
2005
7EEWim Martens, Joachim Niehren: Minimizing Tree Automata for Unranked Trees. DBPL 2005: 232-246
6EEWim Martens, Frank Neven, Thomas Schwentick: Which XML Schemas Admit 1-Pass Preorder Typing? ICDT 2005: 68-82
5EEGeert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick: Expressiveness of XSDs: from practice to theory, there and back again. WWW 2005: 712-721
4EEWim Martens, Frank Neven: On the complexity of typechecking top-down XML transformations. Theor. Comput. Sci. 336(1): 153-180 (2005)
2004
3EEWim Martens, Frank Neven, Thomas Schwentick: Complexity of Decision Problems for Simple Regular Expressions. MFCS 2004: 889-900
2EEWim Martens, Frank Neven: Frontiers of Tractability for Typechecking Simple XML Transformations. PODS 2004: 23-34
2003
1EEWim Martens, Frank Neven: Typechecking Top-Down Uniform Unranked Tree Transducers. ICDT 2003: 64-78

Coauthor Index

1Geert Jan Bex [5] [9]
2Henrik Björklund [14] [17] [18] [20]
3Wouter Gelade [13] [19] [20]
4Michaela Götz [15]
5Marc Gyssens [8] [16]
6Christoph Koch [15]
7Marcel Marquardt [20]
8Frank Neven [1] [2] [3] [4] [5] [6] [8] [9] [10] [12] [13] [16] [19]
9Joachim Niehren [7] [11]
10Thomas Schwentick [3] [5] [6] [9] [10] [14] [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)