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

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

show all
Issue DateTitleContributor(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
72015Datalog Queries Distributing over ComponentsAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielProceedings PaperC1
82015Parallel-Correctness and Transferability for Conjunctive QueriesAMELOOT, Tom; GECK, Gaetano; KETSMAN, Bas; NEVEN, Frank; Schwentick, ThomasProceedings PaperC1
92015Deciding Determinism with Fairness for Simple Transducer NetworksAMELOOT, TomJournal ContributionA1
102015Positive Neural Networks in Discrete Time Implement Monotone-Regular BehaviorsAMELOOT, Tom; VAN DEN BUSSCHE, JanJournal ContributionA1
112015Deciding Confluence for a Simple Class of Relational Transducer NetworksAMELOOT, Tom; VAN DEN BUSSCHE, JanJournal ContributionA1
122014Deciding Correctness with Fairness for Simple Transducer NetworksAMELOOT, TomProceedings PaperC1
132014Weaker Forms of Monotonicity for Declarative Networking: a more fine-grained answer to the CALM-conjectureAMELOOT, Tom; KETSMAN, Bas; NEVEN, Frank; Zinn, DanielProceedings PaperC1
142014Positive Dedalus programs tolerate non-causalityAMELOOT, Tom; VAN DEN BUSSCHE, JanJournal ContributionA1
152014Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative SemanticsAMELOOT, TomJournal ContributionA1
162013On the expressive power of update primitivesAMELOOT, Tom; VAN DEN BUSSCHE, Jan; Waller, EmmanuelProceedings PaperC1
172013A Declarative Semantics for DedalusAlvaro, Peter; AMELOOT, Tom; Hellerstein, Joseph M.; Marczak, William R.; VAN DEN BUSSCHE, JanResearch ReportR2
182013Deciding Eventual Consistency for a Simple Class of Relational Transducer NetworksAMELOOT, Tom; VAN DEN BUSSCHE, JanResearch ReportR2
192013Relational transducers for declarative networkingAMELOOT, Tom; NEVEN, Frank; VAN DEN BUSSCHE, JanResearch ReportR2
202013Relational Transducers for Declarative NetworkingAMELOOT, Tom; NEVEN, Frank; VAN DEN BUSSCHE, JanJournal ContributionA1
show all