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:
Type:  Proceedings Paper
Author:  KETSMAN, Bas

Results 1-11 of 11 (Search time: 0.003 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
62018Parallel-Correctness and Transferability for Conjunctive Queries under Bag SemanticsKETSMAN, Bas; NEVEN, Frank; VANDEVOORT, BrechtProceedings PaperC1
72016Parallel-Correctness and Containment for Conjunctive Queries with Union and NegationGECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasProceedings 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
102015Parallel-Correctness and Transferability for Conjunctive QueriesAMELOOT, Tom; GECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
112014Weaker Forms of Monotonicity for Declarative Networking: a more fine-grained answer to the CALM-conjectureAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielProceedings PaperC1