tag : computational fields
6 publications
A Higher-Order Calculus of Computational Fields (article in journal, 2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal A type-sound calculus of computational fields (article in journal, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal Type-based Self-stabilisation for Computational Fields (article in journal, 2015) — Ferruccio Damiani, Mirko Viroli Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (paper in proceedings, 2015) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti Computational Fields Meet Augmented Reality: Perspectives and Challenges (paper in proceedings, 2015) — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings, 2012) — Matteo Casadei, Mirko Viroli