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-40 of 43 (Search time: 0.027 seconds).

show all
Issue DateTitleContributor(s)TypeCat.
212010Simplifying XML Schema: Single-Type Approximations of Regular Tree LanguagesGELADE, Wouter; Idziaszek, Tomasz; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
222010Incremental XPath EvaluationBjorklund, Henrik; GELADE, Wouter; MARTENS, WimJournal ContributionA1
232009Simplifying XML schema: effortless handling of nondeterministic regular expressionsBEX, Geert Jan; GELADE, Wouter; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
242009Incremental XPath EvaluationBjorklund, Henrik; GELADE, Wouter; Marquardt, Marcel; MARTENS, WimProceedings PaperC1
1252009Optimizing Schema Languages for XML: Numerical Constraints and InterleavingGELADE, Wouter; MARTENS, Wim; NEVEN, FrankJournal ContributionA1
62009Complexity of Decision Problems for XML Schemas and Chain Regular ExpressionsMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
72009Regular Expressions with Counting: Weak versus Strong DeterminismGELADE, Wouter; GYSSENS, Marc; MARTENS, WimProceedings PaperC1
82008Typechecking top-down XML transformations: Fixed input or output schemasMARTENS, Wim; NEVEN, Frank; GYSSENS, MarcJournal ContributionA1
92007Deterministic top-down tree automata: past, present, futureMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasBook SectionB2
102007Optimizing Schema Languages for XML: Numerical Constraints and InterleavingGELADE, Wouter; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
112007On the minimization of XML Schemas and tree automata for unranked treesMARTENS, Wim; Niehren, JoachimJournal ContributionA1
122007Frontiers of tractability for typechecking simple XML transformationsMARTENS, Wim; NEVEN, FrankJournal ContributionA1
132007Simple off the shelf abstractions for XML schemaMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
142006Expressiveness and complexity of XML SchemaMARTENS, Wim; NEVEN, Frank; Schwentick, Thomas; BEX, Geert JanJournal ContributionA1
152006Static analysis of XML transformation and schema languagesMARTENS, WimTheses and DissertationsT1
162005Minimizing Tree Automata for Unranked TreesMARTENS, Wim; Niehren, J.Journal ContributionA1
172005Which XML Schemas Admit 1-Pass Preorder Typing?MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
182005The typechecking problem for XML transformations: methods and formal modelsMARTENS, WimProceedings PaperC2
192005Expressiveness of XSDs: from practice to theory, there and back againBEX, Geert Jan; MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
202005On the complexity of typechecking top-down XML transformations.MARTENS, Wim; NEVEN, FrankJournal ContributionA1
show all