Searching for authors named "Wim Martens" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Typechecking Top-Down Uniform Unranked Tree Transducers
- …Typechecking Top-Down Uniform Unranked Tree Transducers Wim Martens and Frank Neven University…
- Cited by 22 (3 self) – Add To MetaCart
-
Abstract On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas ⋆
- …Abstract On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas ⋆ Wim Martens…
- Add To MetaCart
-
Optimizing schema languages for XML: Numerical constraints and interleaving
- …Optimizing Schema Languages for XML: Numerical Constraints and Interleaving Wouter Gelade ⋆ , Wim…
- Cited by 3 (1 self) – Add To MetaCart
-
On typechecking top-down XML tranformations: Fixed input or output schemas (2005), submitted, available at http://alpha.uhasselt.be/wim.martens
- … or Output Schemas ∗ Wim Martens † Frank Neven ‡ Marc Gyssens § Hasselt University and Transnational…
- Cited by 2 (1 self) – Add To MetaCart
-
T.: Conjunctive Query Containment over Trees
- …Conjunctive Query Containment over Trees ⋆ Henrik Björklund, Wim Martens, and Thomas Schwentick…
- Cited by 1 (0 self) – Add To MetaCart
-
Frontiers of tractability for typechecking simple XML transformations
- …Frontiers of Tractability for Typechecking Simple XML Transformations Wim Martens Limburgs…
- Cited by 26 (5 self) – Add To MetaCart
-
Complexity of decision problems for simple regular expressions
- …Complexity of Decision Problems for Simple Regular Expressions Wim Martens 1 , Frank Neven 1…
- Cited by 14 (8 self) – Add To MetaCart
-
Which XML schemas admit 1-pass preorder typing
- … Which XML Schemas Admit 1-Pass Preorder Typing? Wim Martens1, Frank Neven1, and Thomas…
- Cited by 14 (7 self) – Add To MetaCart
Showing 1 through 8.
