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
Internal UHasselt:  NEVEN, Frank

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

show all
Issue DateTitleContributor(s)TypeCat.
12023Allocating Isolation Levels to Transactions in a Multiversion SettingVANDEVOORT, Brecht; KETSMAN, Bas; NEVEN, FrankProceedings PaperC1
22023The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2023Arenas, Marcelo; Fan, Wenfei; NEVEN, FrankProceedings PaperC1
32023Detecting Robustness against MVRC for Transaction Programs with Predicate ReadsVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankProceedings PaperC1
42023Data Ingestion Validation through Stable Conditional Metrics with Ranking and FilteringBYLOIS, Niels; NEVEN, Frank; VANSUMMEREN, StijnProceedings PaperC1
52022Robustness Against Read Committed: A Free Transactional LunchVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankProceedings PaperC1
62022Robustness Against Read Committed for Transaction Templates with Functional ConstraintsVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankProceedings PaperC1
72020Distribution Constraints: The Chase for Distributed DataGECK, Gaetano; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
82020Deciding Robustness for Lower SQL Isolation LevelsKETSMAN, Bas; Koch, Christoph; NEVEN, Frank; VANDEVOORT, BrechtProceedings PaperC1
92019Parallel-Correctness and Parallel-Boundedness for Datalog ProgramsNEVEN, Frank; Schwentick, Thomas; Spinrath, Christopher; VANDEVOORT, BrechtProceedings PaperC1
102019Split-Correctness in Information Extraction.DOLESCHAL, Johannes; Kimelfeld, Benny; MARTENS, Wim; Nahshon, Yoav; NEVEN, FrankProceedings PaperC1
112018Satisfiability for SCULPT-Schemas for CSV-Like Data.DOLESCHAL, Johannes; MARTENS, Wim; NEVEN, Frank; Witkowski, AdamProceedings PaperC1
122018Parallel-Correctness and Transferability for Conjunctive Queries under Bag SemanticsKETSMAN, Bas; NEVEN, Frank; VANDEVOORT, BrechtProceedings PaperC1
132018Chisel: Sculpting Tabular and Non-Tabular Data on the Web.DOLESCHAL, Johannes; Höllerich, Nico; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
142016Parallel-Correctness and Containment for Conjunctive Queries with Union and NegationGECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
152016Logical Aspects of Massively Parallel and Distributed SystemsNEVEN, FrankProceedings PaperC1
162015Datalog Queries Distributing over ComponentsAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielProceedings PaperC1
172015Optimal Broadcasting Strategies for Conjunctive Queries over Distributed DataKETSMAN, Bas; NEVEN, FrankProceedings PaperC1
182015BonXai: Combining the simplicity of DTD with the expressiveness of XML SchemaMARTENS, Wim; NEVEN, Frank; Niewerth, Matthias; Schwentick, ThomasProceedings PaperC1
192015SCULPT: A Schema Language for Tabular Data on the WebMARTENS, Wim; NEVEN, Frank; VANSUMMEREN, StijnProceedings PaperC1
202015Parallel-Correctness and Transferability for Conjunctive QueriesAMELOOT, Tom; GECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
show all