Per anno

12 pubblicazioni senza Web of Science ID / 2009 / Mirko Viroli

Formalising the Environment in MAS Programming: a Formal Model (articolo in atti) — Alessandro Ricci, Mirko Viroli, Michele Piunti
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (articolo in atti) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
Combining Simulation and Formal Tools for Developing Self-Organizing MAS (capitolo di libro) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Environment Programming in CArtAgO (capitolo di libro) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (articolo in atti) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
A Framework for Modelling and Implementing Self-Organising Coordination (articolo in atti) — Mirko Viroli, Matteo Casadei, Andrea Omicini
On the Collective Sort Problem for Distributed Tuple Spaces (articolo in rivista) — Matteo Casadei, Mirko Viroli, Luca Gardelli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (articolo in atti) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A computational framework for modelling multicellular biochemistry (articolo in atti) — Sara Montagna, Mirko Viroli
Biochemical Tuple Spaces for Self-Organising Coordination (articolo in atti) — Mirko Viroli, Matteo Casadei

12 pubblicazioni nel 2009 senza Web of Science ID • in cima • indice • in fondo

0000-0003-2702-5702