Per anno
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (articolo in atti) — Sara Montagna, Danilo Pianini, Mirko Viroli
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (articolo in atti) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
- Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (articolo in atti) — Mirko Viroli, Danilo Pianini, Jacob Beal
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
- Self-organising Semantic Resource Discovery for Pervasive Systems (articolo in atti) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
- From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (capitolo di libro) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
- On the Space-time Situation of Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Graeme Stevenson
- Standard Type Soundness for Agents and Artifacts (articolo in rivista) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- A Computational Framework for Multilevel Morphologies (capitolo di libro) — Sara Montagna, Mirko Viroli
- Gradient-based Self-organisation Patterns of Anticipative Adaptation (articolo in atti) — Sara Montagna, Danilo Pianini, Mirko Viroli
- On the Space-time Situation of Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Graeme Stevenson
- Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (articolo in atti) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
0000-0003-2702-5702