Mirko Viroli » Publications » Papers per Year

Publications by Mirko Viroli (2009)

Ambra Molesini, Andrea Omicini, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies
Multiagent and Grid Systems 5(1), 2009

Matteo Casadei, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009

Alessandro Ricci, Mirko Viroli, Michele Piunti
Formalising the Environment in MAS Programming: a Formal Model
Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers, Lecture Notes Computer Science 5919, 2009

Sara Montagna, Mirko Viroli
A computational framework for modelling multicellular biochemistry
2009 IEEE Congress on Evolutionary Computation (CEC 2009), 18-21 May 2009

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009, 2009

Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009

Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
Agents, Intelligence, and Tools
Artificial Intelligence: An International Perspective, Lecture Notes in Computer Science 5640, 2009

Elena Nardini, Andrea Omicini, Mirko Viroli
General-Purpose Coordination Abstractions for Managing Interaction in MAS
The WI-IAT 2009 Workshops Proceedings, 15-18 September 2009

Matteo Casadei, Mirko Viroli, Luca Gardelli
On the Collective Sort Problem for Distributed Tuple Spaces
Science of Computer Programming 74(9), 2009

Mirko Viroli, Matteo Casadei, Andrea Omicini
A Framework for Modelling and Implementing Self-Organising Coordination
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009

Alessandro Ricci, Michele Piunti, Mirko Viroli
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009), September 2009

Matteo Casadei, Mirko Viroli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., May, 18-21 2009

Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Argumentation and Artifact for Dialog Support
Argumentation in Multi-Agent Systems, Lecture Notes in Artificial Intelligence 5384, February 2009

Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
Environment Programming in CArtAgO
Multi-Agent Programming II: Languages, Platforms and Applications, Multiagent Systems, Artificial Societies, and Simulated Organizations, June 2009

Mirko Viroli, Matteo Casadei
Biochemical Tuple Spaces for Self-Organising Coordination
Coordination Languages and Models, Lecture Notes in Computer Science 5521, June 2009

Luca Gardelli, Mirko Viroli, Andrea Omicini
Combining Simulation and Formal Tools for Developing Self-Organizing MAS
Multi-Agent Systems: Simulation and Applications, Computational Analysis, Synthesis, and Design of Dynamic Systems, June 2009