Per Year

15 publications / 2009 / Mirko Viroli

long bib

2009

General-Purpose Coordination Abstractions for Managing Interaction in MAS (IAT 2009) — Elena Nardini, Andrea Omicini, Mirko Viroli
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (paper in proceedings) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Argumentation and Artifact for Dialogue Support (ArgMAS 2008 @ AAMAS 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (SAC 2009) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (SAC 2009) — Matteo Casadei, Mirko Viroli
Combining Simulation and Formal Tools for Developing Self-Organizing MAS (book chapter) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Environment Programming in CArtAgO (book chapter) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
Agents, Intelligence, and Tools (book chapter) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming) — Matteo Casadei, Mirko Viroli, Luca Gardelli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (paper in proceedings) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies (Multiagent and Grid Systems) — Ambra Molesini, Andrea Omicini, Mirko Viroli
A computational framework for modelling multicellular biochemistry (paper in proceedings) — Sara Montagna, Mirko Viroli
Biochemical Tuple Spaces for Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo Casadei
A Framework for Modelling and Implementing Self-Organising Coordination (SAC 2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini

15 publications / 2009 • top • index • bottom