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 1-33 of 33 (Search time: 0.025 seconds).

Issue DateTitleContributor(s)TypeCat.
12015BonXai: Combining the simplicity of DTD with the expressiveness of XML SchemaMARTENS, Wim; NEVEN, Frank; Niewerth, Matthias; Schwentick, ThomasProceedings PaperC1
22015SCULPT: A Schema Language for Tabular Data on the WebMARTENS, Wim; NEVEN, Frank; VANSUMMEREN, StijnProceedings PaperC1
32015Deciding Twig-definability of Node Selecting Tree AutomataANTONOPOULOS, Timos; HOVLAND, Dag; MARTENS, Wim; NEVEN, FrankJournal ContributionA1
42013Simplifying XML Schema: Single-type approximations of regular tree languagesGELADE, Wouter; Idziaszek, Tomasz; MARTENS, Wim; NEVEN, Frank; Paredaens, JanJournal ContributionA1
52013Generating, sampling and counting subclasses of regular tree languagesANTONOPOULOS, Timos; GEERTS, Floris; MARTENS, Wim; NEVEN, FrankJournal ContributionA1
62012Deciding twig-definability of node selecting tree automataANTONOPOULOS, Timos; HOVLAND, Dag; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
72012Developing and Analyzing XSDs through BonXaiMARTENS, Wim; NEVEN, Frank; Niewerth, Matthias; Schwentick, ThomasJournal ContributionA1
82012Regular Expressions with Counting: Weak versus Strong DeterminismGELADE, Wouter; GYSSENS, Marc; MARTENS, WimJournal ContributionA1
92011The complexity of text-preserving XML transformationsANTONOPOULOS, Timos; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
102011Generating, sampling and counting subclasses of regular tree languagesANTONOPOULOS, Timos; GEERTS, Floris; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
11201130 Years of PODS in Facts and FiguresAMELOOT, Tom; Marx, Maarten; MARTENS, Wim; NEVEN, Frank; Van Wees, JustinJournal ContributionA1
122010Simplifying XML Schema: Single-Type Approximations of Regular Tree LanguagesGELADE, Wouter; Idziaszek, Tomasz; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
132010Incremental XPath EvaluationBjorklund, Henrik; GELADE, Wouter; MARTENS, WimJournal ContributionA1
142009Incremental XPath EvaluationBjorklund, Henrik; GELADE, Wouter; Marquardt, Marcel; MARTENS, WimProceedings PaperC1
152009Complexity of Decision Problems for XML Schemas and Chain Regular ExpressionsMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
162009Optimizing Schema Languages for XML: Numerical Constraints and InterleavingGELADE, Wouter; MARTENS, Wim; NEVEN, FrankJournal ContributionA1
172009Simplifying XML schema: effortless handling of nondeterministic regular expressionsBEX, Geert Jan; GELADE, Wouter; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
182009Regular Expressions with Counting: Weak versus Strong DeterminismGELADE, Wouter; GYSSENS, Marc; MARTENS, WimProceedings PaperC1
192007Optimizing Schema Languages for XML: Numerical Constraints and InterleavingGELADE, Wouter; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
202007Deterministic top-down tree automata: past, present, futureMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasBook SectionB2
212007On the minimization of XML Schemas and tree automata for unranked treesMARTENS, Wim; Niehren, JoachimJournal ContributionA1
222007Simple off the shelf abstractions for XML schemaMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
232007Frontiers of tractability for typechecking simple XML transformationsMARTENS, Wim; NEVEN, FrankJournal ContributionA1
242006Static analysis of XML transformation and schema languagesMARTENS, WimTheses and DissertationsT1
252006Expressiveness and complexity of XML SchemaMARTENS, Wim; NEVEN, Frank; Schwentick, Thomas; BEX, Geert JanJournal ContributionA1
262005Which XML Schemas Admit 1-Pass Preorder Typing?MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
272005Minimizing Tree Automata for Unranked TreesMARTENS, Wim; Niehren, J.Journal ContributionA1
282005The typechecking problem for XML transformations: methods and formal modelsMARTENS, WimProceedings PaperC2
292005Expressiveness of XSDs: from practice to theory, there and back againBEX, Geert Jan; MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
302005On the complexity of typechecking top-down XML transformations.MARTENS, Wim; NEVEN, FrankJournal ContributionA1
312004Complexity of Decision Problems for Simple Regular Expressions.MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
322004Frontiers of Tractability for Typechecking Simple XML Transformations.MARTENS, Wim; NEVEN, FrankProceedings PaperC1
332003Typechecking Top-Down Uniform Unranked Tree Transducers.MARTENS, Wim; NEVEN, FrankJournal ContributionA1