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 1-20 of 27 (Search time: 0.014 seconds).

Issue DateTitleContributor(s)TypeCat.
12015Deciding Twig-definability of Node Selecting Tree AutomataANTONOPOULOS, Timos; HOVLAND, Dag; MARTENS, Wim; NEVEN, FrankJournal ContributionA1
22013Generating, sampling and counting subclasses of regular tree languagesANTONOPOULOS, Timos; GEERTS, Floris; MARTENS, Wim; NEVEN, FrankJournal ContributionA1
32013Simplifying XML Schema: Single-type approximations of regular tree languagesGELADE, Wouter; Idziaszek, Tomasz; MARTENS, Wim; NEVEN, Frank; Paredaens, JanJournal ContributionA1
42012Regular Expressions with Counting: Weak versus Strong DeterminismGELADE, Wouter; GYSSENS, Marc; MARTENS, WimJournal ContributionA1
52012Developing and Analyzing XSDs through BonXaiMARTENS, Wim; NEVEN, Frank; Niewerth, Matthias; Schwentick, ThomasJournal ContributionA1
62011Generating, sampling and counting subclasses of regular tree languagesANTONOPOULOS, Timos; GEERTS, Floris; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
72010Simplifying XML Schema: Single-Type Approximations of Regular Tree LanguagesGELADE, Wouter; Idziaszek, Tomasz; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
82010Incremental XPath EvaluationBjorklund, Henrik; GELADE, Wouter; MARTENS, WimJournal ContributionA1
92009Simplifying XML schema: effortless handling of nondeterministic regular expressionsBEX, Geert Jan; GELADE, Wouter; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
102009Complexity of Decision Problems for XML Schemas and Chain Regular ExpressionsMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
112009Optimizing Schema Languages for XML: Numerical Constraints and InterleavingGELADE, Wouter; MARTENS, Wim; NEVEN, FrankJournal ContributionA1
122009Incremental XPath EvaluationBjorklund, Henrik; GELADE, Wouter; Marquardt, Marcel; MARTENS, WimProceedings PaperC1
132009Regular Expressions with Counting: Weak versus Strong DeterminismGELADE, Wouter; GYSSENS, Marc; MARTENS, WimProceedings PaperC1
142007Frontiers of tractability for typechecking simple XML transformationsMARTENS, Wim; NEVEN, FrankJournal ContributionA1
152007Deterministic top-down tree automata: past, present, futureMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasBook SectionB2
162007Simple off the shelf abstractions for XML schemaMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
172007Optimizing Schema Languages for XML: Numerical Constraints and InterleavingGELADE, Wouter; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
182007On the minimization of XML Schemas and tree automata for unranked treesMARTENS, Wim; Niehren, JoachimJournal ContributionA1
192006Expressiveness and complexity of XML SchemaMARTENS, Wim; NEVEN, Frank; Schwentick, Thomas; BEX, Geert JanJournal ContributionA1
202005Which XML Schemas Admit 1-Pass Preorder Typing?MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1