NEVEN, Frank

Email Alert RSS Feed

Profile

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

Publications

Refined By:
Type:  Proceedings Paper
Date Issued:  [2010 TO 2019]

Results 1-20 of 20 (Search time: 0.017 seconds).

Issue DateTitleContributor(s)TypeCat.
12019Parallel-Correctness and Parallel-Boundedness for Datalog ProgramsNEVEN, Frank; Schwentick, Thomas; Spinrath, Christopher; VANDEVOORT, BrechtProceedings PaperC1
22019Split-Correctness in Information Extraction.DOLESCHAL, Johannes; Kimelfeld, Benny; MARTENS, Wim; Nahshon, Yoav; NEVEN, FrankProceedings PaperC1
32018Satisfiability for SCULPT-Schemas for CSV-Like Data.DOLESCHAL, Johannes; MARTENS, Wim; NEVEN, Frank; Witkowski, AdamProceedings PaperC1
42018Parallel-Correctness and Transferability for Conjunctive Queries under Bag SemanticsKETSMAN, Bas; NEVEN, Frank; VANDEVOORT, BrechtProceedings PaperC1
52018Chisel: Sculpting Tabular and Non-Tabular Data on the Web.DOLESCHAL, Johannes; Höllerich, Nico; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
62016Parallel-Correctness and Containment for Conjunctive Queries with Union and NegationGECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
72016Logical Aspects of Massively Parallel and Distributed SystemsNEVEN, FrankProceedings PaperC1
82015Datalog Queries Distributing over ComponentsAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielProceedings PaperC1
92015Optimal Broadcasting Strategies for Conjunctive Queries over Distributed DataKETSMAN, Bas; NEVEN, FrankProceedings PaperC1
102015BonXai: Combining the simplicity of DTD with the expressiveness of XML SchemaMARTENS, Wim; NEVEN, Frank; Niewerth, Matthias; Schwentick, ThomasProceedings PaperC1
112015SCULPT: A Schema Language for Tabular Data on the WebMARTENS, Wim; NEVEN, Frank; VANSUMMEREN, StijnProceedings PaperC1
122015Parallel-Correctness and Transferability for Conjunctive QueriesAMELOOT, Tom; GECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
132014Weaker Forms of Monotonicity for Declarative Networking: a more fine-grained answer to the CALM-conjectureAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielProceedings PaperC1
142013Discovering XSD keys from XML dataArenas, Marcelo; DAENEN, Jonny; NEVEN, Frank; UGARTE, Martin; VAN DEN BUSSCHE, Jan; VANSUMMEREN, StijnProceedings PaperC1
152013Definability problems for graph query languagesNEVEN, Frank; ANTONOPOULOS, Timos; SERVAIS, FredericProceedings PaperC1
162012Deciding twig-definability of node selecting tree automataANTONOPOULOS, Timos; HOVLAND, Dag; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
172011The complexity of text-preserving XML transformationsANTONOPOULOS, Timos; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
182011Relational transducers for declarative networkingAMELOOT, Tom; VAN DEN BUSSCHE, Jan; NEVEN, FrankProceedings PaperC1
192011Generating, sampling and counting subclasses of regular tree languagesANTONOPOULOS, Timos; GEERTS, Floris; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
202010Simplifying XML Schema: Single-Type Approximations of Regular Tree LanguagesGELADE, Wouter; Idziaszek, Tomasz; MARTENS, Wim; NEVEN, FrankProceedings PaperC1