MARTENS, Wim

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

Publications

Results 21-27 of 27 (Search time: 0.006 seconds).

Issue DateTitleContributor(s)TypeCat.
212005The typechecking problem for XML transformations: methods and formal modelsMARTENS, WimProceedings PaperC2
222005Expressiveness of XSDs: from practice to theory, there and back againBEX, Geert Jan; MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
232005On the complexity of typechecking top-down XML transformations.MARTENS, Wim; NEVEN, FrankJournal ContributionA1
242005Minimizing Tree Automata for Unranked TreesMARTENS, Wim; Niehren, J.Journal ContributionA1
252004Frontiers of Tractability for Typechecking Simple XML Transformations.MARTENS, Wim; NEVEN, FrankProceedings PaperC1
262004Complexity of Decision Problems for Simple Regular Expressions.MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
272003Typechecking Top-Down Uniform Unranked Tree Transducers.MARTENS, Wim; NEVEN, FrankJournal ContributionA1