1 × Australia
1 × Greece
2 × USA
F.Neven J.V.d.Bussche B.Ketsman E.Waller D.Zinn G.Geck T.Schwentick
network (2) declar (2) conjectur (1) transfer (1) transduc (1) parallel (1) conjunct (1) monoton (1) express (1) correct (1)
Person: Tom J. Ameloot
Wrote 4 papers:
- PODS-2015-AmelootGKNS #query
- Parallel-Correctness and Transferability for Conjunctive Queries (TJA, GG, BK, FN, TS), pp. 47–58.
- PODS-2014-AmelootKNZ #declarative #fine-grained #network
- Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture (TJA, BK, FN, DZ), pp. 64–75.
- PODS-2013-AmelootBW #on the #power of
- On the expressive power of update primitives (TJA, JVdB, EW), pp. 139–150.
- PODS-2011-AmelootNB #declarative #network #relational #transducer
- Relational transducers for declarative networking (TJA, FN, JVdB), pp. 283–292.