- Parallel-Correctness and Transferability for Conjunctive Queries(2015)
Authors: Tom AMELOOT, Gaetano GECK, Bas KETSMAN, Frank NEVEN, Thomas Schwentick
Pages: 47 - 58
- Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics(2014)
Authors: Tom AMELOOT
Pages: 5 - 16
- Deciding Correctness with Fairness for Simple Transducer Networks(2014)
Authors: Tom AMELOOT
Number of pages: 12
- Positive Dedalus programs tolerate non-causality(2014)
Authors: Tom AMELOOT, Jan VAN DEN BUSSCHE
Pages: 1191 - 1213
- Weaker Forms of Monotonicity for Declarative Networking: a more fine-grained answer to the CALM-conjecture(2014)
Authors: Tom AMELOOT, Bas KETSMAN, Frank NEVEN, Daniel Zinn
Pages: 64 - 75
Number of pages: 12
- Declarative Networking: Models and Conjectures(2013)
Authors: Tom AMELOOT, Jan VAN DEN BUSSCHE
Number of pages: 131
- On the expressive power of update primitives(2013)
Authors: Tom AMELOOT, Jan VAN DEN BUSSCHE, Emmanuel Waller
Pages: 139 - 150
- Relational Transducers for Declarative Networking(2013)
Authors: Tom AMELOOT, Frank NEVEN, Jan VAN DEN BUSSCHE
Pages: 15:1 - 15:38
- Deciding Eventual Consistency for a Simple Class of Relational Transducer Networks(2012)
Authors: Tom AMELOOT, Jan VAN DEN BUSSCHE
Pages: 86 - 98
- On the CRON Conjecture(2012)
Series: Lecture Notes in Computer Science
Authors: Tom AMELOOT, Jan VAN DEN BUSSCHE
Pages: 44 - 55
Number of pages: 27