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