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

Results 1-20 of 57 (Search time: 0.024 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
232023Detecting Robustness against MVRC for Transaction Programs with Predicate ReadsVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankProceedings PaperC1
242023Data Ingestion Validation through Stable Conditional Metrics with Ranking and FilteringBYLOIS, Niels; NEVEN, Frank; VANSUMMEREN, StijnProceedings PaperC1
252022Robustness Against Read Committed: A Free Transactional LunchVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankProceedings PaperC1
262022Robustness Against Read Committed for Transaction Templates with Functional ConstraintsVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankProceedings PaperC1
272020Distribution Constraints: The Chase for Distributed DataGECK, Gaetano; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
282020Deciding Robustness for Lower SQL Isolation LevelsKETSMAN, Bas; Koch, Christoph; NEVEN, Frank; VANDEVOORT, BrechtProceedings PaperC1
292019Parallel-Correctness and Parallel-Boundedness for Datalog ProgramsNEVEN, Frank; Schwentick, Thomas; Spinrath, Christopher; VANDEVOORT, BrechtProceedings PaperC1
302019Split-Correctness in Information Extraction.DOLESCHAL, Johannes; Kimelfeld, Benny; MARTENS, Wim; Nahshon, Yoav; NEVEN, FrankProceedings PaperC1
312018Satisfiability for SCULPT-Schemas for CSV-Like Data.DOLESCHAL, Johannes; MARTENS, Wim; NEVEN, Frank; Witkowski, AdamProceedings PaperC1
322018Parallel-Correctness and Transferability for Conjunctive Queries under Bag SemanticsKETSMAN, Bas; NEVEN, Frank; VANDEVOORT, BrechtProceedings PaperC1
332018Chisel: Sculpting Tabular and Non-Tabular Data on the Web.DOLESCHAL, Johannes; Höllerich, Nico; MARTENS, Wim; NEVEN, FrankProceedings PaperC1
342016Parallel-Correctness and Containment for Conjunctive Queries with Union and NegationGECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
352016Logical Aspects of Massively Parallel and Distributed SystemsNEVEN, FrankProceedings PaperC1
362015Datalog Queries Distributing over ComponentsAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielProceedings PaperC1
372015Optimal Broadcasting Strategies for Conjunctive Queries over Distributed DataKETSMAN, Bas; NEVEN, FrankProceedings PaperC1
382015BonXai: Combining the simplicity of DTD with the expressiveness of XML SchemaMARTENS, Wim; NEVEN, Frank; Niewerth, Matthias; Schwentick, ThomasProceedings PaperC1
392015SCULPT: A Schema Language for Tabular Data on the WebMARTENS, Wim; NEVEN, Frank; VANSUMMEREN, StijnProceedings PaperC1
402015Parallel-Correctness and Transferability for Conjunctive QueriesAMELOOT, Tom; GECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
show all