NEVEN, Frank

Full Name
NEVEN, Frank
Email
frank.neven@uhasselt.be
 
Loading... 5 0 5 0 false
Loading... 6 0 5 0 false

Publications

Refined By:
Date Issued:  [2000 TO 2009]
Author:  MARTENS, Wim

Results 1-15 of 15 (Search time: 0.012 seconds).

Issue DateTitleContributor(s)TypeCat.
12009Complexity of Decision Problems for XML Schemas and Chain Regular ExpressionsMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
22009Optimizing Schema Languages for XML: Numerical Constraints and InterleavingGELADE, Wouter; MARTENS, Wim; NEVEN, FrankJournal ContributionA1
32009Simplifying XML schema: effortless handling of nondeterministic regular expressionsBEX, Geert Jan; GELADE, Wouter; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
42008Typechecking top-down XML transformations: Fixed input or output schemasMARTENS, Wim; NEVEN, Frank; GYSSENS, MarcJournal ContributionA1
52007Optimizing Schema Languages for XML: Numerical Constraints and InterleavingGELADE, Wouter; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
62007Deterministic top-down tree automata: past, present, futureMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasBook SectionB2
72007Simple off the shelf abstractions for XML schemaMARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
82007Frontiers of tractability for typechecking simple XML transformationsMARTENS, Wim; NEVEN, FrankJournal ContributionA1
92006Expressiveness and complexity of XML SchemaMARTENS, Wim; NEVEN, Frank; Schwentick, Thomas; BEX, Geert JanJournal ContributionA1
102005Which XML Schemas Admit 1-Pass Preorder Typing?MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
112005Expressiveness of XSDs: from practice to theory, there and back againBEX, Geert Jan; MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
122005On the complexity of typechecking top-down XML transformations.MARTENS, Wim; NEVEN, FrankJournal ContributionA1
132004Complexity of Decision Problems for Simple Regular Expressions.MARTENS, Wim; NEVEN, Frank; Schwentick, ThomasJournal ContributionA1
142004Frontiers of Tractability for Typechecking Simple XML Transformations.MARTENS, Wim; NEVEN, FrankProceedings PaperC1
152003Typechecking Top-Down Uniform Unranked Tree Transducers.MARTENS, Wim; NEVEN, FrankJournal ContributionA1