MARTENS, Wim

Email Alert RSS Feed

Profile

Full Name
MARTENS, Wim
Email
wim.martens@uhasselt.be
 
Loading... 5 0 5 0 false
Loading... 6 0 5 0 false

Publications

Results 21-33 of 33 (Search time: 0.046 seconds).

show all
Issue DateTitleContributor(s)TypeCat.
212007Frontiers of tractability for typechecking simple XML transformationsMARTENS, Wim; NEVEN, FrankJournal ContributionA1
222007Deterministic top-down tree automata: past, present, futureMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasBook SectionB2
232007Optimizing Schema Languages for XML: Numerical Constraints and InterleavingGELADE, Wouter; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
42006Expressiveness and complexity of XML SchemaMARTENS, Wim; NEVEN, Frank; Schwentick, Thomas; BEX, Geert JanJournal ContributionA1
52006Static analysis of XML transformation and schema languagesMARTENS, WimTheses and DissertationsT1
462005Which XML Schemas Admit 1-Pass Preorder Typing?MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
472005The typechecking problem for XML transformations: methods and formal modelsMARTENS, WimProceedings PaperC2
282005On the complexity of typechecking top-down XML transformations.MARTENS, Wim; NEVEN, FrankJournal ContributionA1
292005Expressiveness of XSDs: from practice to theory, there and back againBEX, Geert Jan; MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
302005Minimizing Tree Automata for Unranked TreesMARTENS, Wim; Niehren, J.Journal ContributionA1
112004Frontiers of Tractability for Typechecking Simple XML Transformations.MARTENS, Wim; NEVEN, FrankProceedings PaperC1
522004Complexity of Decision Problems for Simple Regular Expressions.MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
132003Typechecking Top-Down Uniform Unranked Tree Transducers.MARTENS, Wim; NEVEN, FrankJournal ContributionA1
show all