Tom J. Ameloot

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 8

Top Topics

Data Partitioning

Datalog Queries

Declarative Semantics

Bounded Treewidth

Top Venues

Publications

Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
Datalog Queries Distributing over Components. ACM Trans. Comput. Log. 18 (1) (2017)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems. Commun. ACM 60 (3) (2017)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Transferability for Conjunctive Queries. J. ACM 64 (5) (2017)
Tom J. Ameloot, Jan Van den Bussche, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein
Putting logic-based distributed systems on stable grounds. Theory Pract. Log. Program. 16 (4) (2016)
Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-Conjecture. ACM Trans. Database Syst. 40 (4) (2016)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Data partitioning for single-round multi-join evaluation in massively parallel systems. SIGMOD Rec. 45 (1) (2016)
Tom J. Ameloot
On Avoidance Learning with Partial Observability. CoRR (2016)
Tom J. Ameloot, Jan Van den Bussche
Learning with Value-Ramp. CoRR (2016)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Transferability for Conjunctive Queries. PODS (2015)
Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
Datalog Queries Distributing over Components. ICDT (2015)
Tom J. Ameloot, Jan Van den Bussche
Positive Neural Networks in Discrete Time Implement Monotone-Regular Behaviors. Neural Comput. 27 (12) (2015)
Tom J. Ameloot, Jan Van den Bussche
Deciding Confluence for a Simple Class of Relational Transducer Networks. Theory Comput. Syst. 57 (4) (2015)
Tom J. Ameloot
Deciding Determinism with Fairness for Simple Transducer Networks. ACM Trans. Database Syst. 40 (2) (2015)
Tom J. Ameloot, Jan Van den Bussche
Convergence in Navigational Reinforcement Learning. CoRR (2015)
Tom J. Ameloot
Positive Neural Networks in Discrete Time Implement Monotone-Regular Behaviors. CoRR (2015)
Tom J. Ameloot, Jan Van den Bussche, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein
Putting Logic-Based Distributed Systems on Stable Grounds. CoRR (2015)
Tom J. Ameloot
Deciding Correctness with Fairness for Simple Transducer Networks. ICDT (2014)
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
Parallel-Correctness and Transferability for Conjunctive Queries. CoRR (2014)
Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture. PODS (2014)
Tom J. Ameloot, Jan Van den Bussche
Positive Dedalus programs tolerate non-causality. J. Comput. Syst. Sci. 80 (7) (2014)
Tom J. Ameloot
Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics. SIGMOD Rec. 43 (2) (2014)
Tom J. Ameloot, Jan Van den Bussche, Emmanuel Waller
On the expressive power of update primitives. PODS (2013)
Tom J. Ameloot, Frank Neven, Jan Van den Bussche
Relational transducers for declarative networking. J. ACM 60 (2) (2013)
Tom J. Ameloot, Jan Van den Bussche
On the CRON Conjecture. Datalog (2012)
Tom J. Ameloot, Jan Van den Bussche
Deciding eventual consistency for a simple class of relational transducer networks. ICDT (2012)
Tom J. Ameloot, Frank Neven, Jan Van den Bussche
Relational transducers for declarative networking. PODS (2011)
Tom J. Ameloot, Maarten Marx, Wim Martens, Frank Neven, Justin van Wees
30 Years of PODS in facts and figures. SIGMOD Rec. 40 (3) (2011)
Tom J. Ameloot, Frank Neven, Jan Van den Bussche
Relational transducers for declarative networking CoRR (2010)