AMELOOT, Tom

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

Publications

Results 1-20 of 26 (Search time: 0.011 seconds).

Issue DateTitleAuthor(s)TypeCat.
12017Parallel-Correctness and Transferability for Conjunctive QueriesAMELOOT, Tom ; Geck, Gaetano; KETSMAN, Bas ; NEVEN, Frank ; Schwentick, ThomasJournal ContributionA1
22017Datalog Queries Distributing over ComponentsAMELOOT, Tom ; KETSMAN, Bas ; NEVEN, Frank ; Zinn, DanielJournal ContributionA1
32017Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systemsAMELOOT, Tom ; Geck, Gaetano; KETSMAN, Bas ; NEVEN, Frank ; Schwentick, ThomasJournal ContributionA1
42016Data partitioning for single-round multi-join evaluation in massively parallel systemsAMELOOT, Tom ; Geck, Gaetano; KETSMAN, Bas ; NEVEN, Frank ; Schwentick, ThomasJournal ContributionA1
52016Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-ConjectureAMELOOT, Tom ; KETSMAN, Bas ; NEVEN, Frank ; Zinn, DanielJournal ContributionA1
62016Putting logic-based distributed systems on stable groundsAMELOOT, Tom ; VAN DEN BUSSCHE, Jan ; Marczak, William R.; Alvaro, Peter; Hellerstein, Joseph M.Journal ContributionA1
72015Deciding Determinism with Fairness for Simple Transducer NetworksAMELOOT, Tom Journal ContributionA1
82015Parallel-Correctness and Transferability for Conjunctive QueriesAMELOOT, Tom ; Geck, Gaetano; KETSMAN, Bas ; NEVEN, Frank ; Schwentick, ThomasProceedings PaperC1
92015Deciding Confluence for a Simple Class of Relational Transducer NetworksAMELOOT, Tom ; VAN DEN BUSSCHE, Jan Journal ContributionA1
102015Datalog Queries Distributing over ComponentsAMELOOT, Tom ; KETSMAN, Bas ; NEVEN, Frank ; Zinn, DanielProceedings PaperC1
112015Positive Neural Networks in Discrete Time Implement Monotone-Regular BehaviorsAMELOOT, Tom ; VAN DEN BUSSCHE, Jan Journal ContributionA1
122014Positive Dedalus programs tolerate non-causalityAMELOOT, Tom ; VAN DEN BUSSCHE, Jan Journal ContributionA1
132014Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative SemanticsAMELOOT, Tom Journal ContributionA1
142014Deciding Correctness with Fairness for Simple Transducer NetworksAMELOOT, Tom Proceedings PaperC1
152014Weaker Forms of Monotonicity for Declarative Networking: a more fine-grained answer to the CALM-conjectureAMELOOT, Tom ; KETSMAN, Bas ; NEVEN, Frank ; Zinn, DanielProceedings PaperC1
162013Deciding Eventual Consistency for a Simple Class of Relational Transducer NetworksAMELOOT, Tom ; VAN DEN BUSSCHE, Jan Research ReportR2
172013A Declarative Semantics for DedalusAlvaro, Peter; AMELOOT, Tom ; Hellerstein, Joseph M.; Marczak, William R.; VAN DEN BUSSCHE, Jan Research ReportR2
182013Relational transducers for declarative networkingAMELOOT, Tom ; NEVEN, Frank ; VAN DEN BUSSCHE, Jan Research ReportR2
192013Declarative Networking: Models and ConjecturesAMELOOT, Tom Theses and DissertationsT1
202013On the expressive power of update primitivesAMELOOT, Tom ; VAN DEN BUSSCHE, Jan ; Waller, EmmanuelProceedings PaperC1