Tom J. Ameloot
According to our database1, Tom J. Ameloot authored at least 17 papers between 2011 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems.
Commun. ACM, 2017
Putting logic-based distributed systems on stable grounds.
Data partitioning for single-round multi-join evaluation in massively parallel systems.
SIGMOD Record, 2016
Deciding Determinism with Fairness for Simple Transducer Networks.
ACM Trans. Database Syst., 2015
Positive Neural Networks in Discrete Time Implement Monotone-Regular Behaviors.
Neural Computation, 2015
Deciding Confluence for a Simple Class of Relational Transducer Networks.
Theory Comput. Syst., 2015
Parallel-Correctness and Transferability for Conjunctive Queries.
Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015
Datalog Queries Distributing over Components.
Proceedings of the 18th International Conference on Database Theory, 2015
Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics.
SIGMOD Record, 2014
Positive Dedalus programs tolerate non-causality.
J. Comput. Syst. Sci., 2014
Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture.
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014
Deciding Correctness with Fairness for Simple Transducer Networks.
Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014
On the expressive power of update primitives.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013
Deciding eventual consistency for a simple class of relational transducer networks.
Proceedings of the 15th International Conference on Database Theory, 2012
On the CRON Conjecture.
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012
30 Years of PODS in facts and figures.
SIGMOD Record, 2011
Relational transducers for declarative networking.
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011