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
Author:  VANDEVOORT, Brecht

Results 1-7 of 7 (Search time: 0.002 seconds).

Issue DateTitleContributor(s)TypeCat.
12023Allocating Isolation Levels to Transactions in a Multiversion SettingVANDEVOORT, Brecht; KETSMAN, Bas; NEVEN, FrankProceedings PaperC1
22023Detecting Robustness against MVRC for Transaction Programs with Predicate ReadsVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankProceedings PaperC1
32022Robustness Against Read Committed: A Free Transactional LunchVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankProceedings PaperC1
42022Robustness Against Read Committed for Transaction Templates with Functional ConstraintsVANDEVOORT, Brecht; KETSMAN, Bas; Koch, Christoph; NEVEN, FrankProceedings PaperC1
52020Deciding Robustness for Lower SQL Isolation LevelsKETSMAN, Bas; Koch, Christoph; NEVEN, Frank; VANDEVOORT, BrechtProceedings PaperC1
62019Parallel-Correctness and Parallel-Boundedness for Datalog ProgramsNEVEN, Frank; Schwentick, Thomas; Spinrath, Christopher; VANDEVOORT, BrechtProceedings PaperC1
72018Parallel-Correctness and Transferability for Conjunctive Queries under Bag SemanticsKETSMAN, Bas; NEVEN, Frank; VANDEVOORT, BrechtProceedings PaperC1