Per anno

14 pubblicazioni senza PubMed ID / 2012 / Mirko Viroli

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
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (articolo in atti) — Ronaldo Menezes, Andrea Omicini, 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

14 pubblicazioni nel 2012 senza PubMed ID • in cima • indice • in fondo

0000-0003-2702-5702