AMELOOT, Tom

Email Alert RSS Feed

Profile

Full Name
AMELOOT, Tom
Email
tom.ameloot@uhasselt.be
 
Loading... 5 0 5 0 false
Loading... 6 0 5 0 false

Publications

Refined By:
Type:  Proceedings Paper

Results 1-8 of 8 (Search time: 0.01 seconds).

Issue DateTitleContributor(s)TypeCat.
12015Datalog Queries Distributing over ComponentsAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielProceedings PaperC1
22015Parallel-Correctness and Transferability for Conjunctive QueriesAMELOOT, Tom; GECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
32014Deciding Correctness with Fairness for Simple Transducer NetworksAMELOOT, TomProceedings PaperC1
42014Weaker Forms of Monotonicity for Declarative Networking: a more fine-grained answer to the CALM-conjectureAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielProceedings PaperC1
52013On the expressive power of update primitivesAMELOOT, Tom; VAN DEN BUSSCHE, Jan; Waller, EmmanuelProceedings PaperC1
62012Deciding Eventual Consistency for a Simple Class of Relational Transducer NetworksAMELOOT, Tom; VAN DEN BUSSCHE, JanProceedings PaperC2
72012On the CRON ConjectureAMELOOT, Tom; VAN DEN BUSSCHE, JanProceedings PaperC1
82011Relational transducers for declarative networkingAMELOOT, Tom; VAN DEN BUSSCHE, Jan; NEVEN, FrankProceedings PaperC1