Per Year

37 publications with Web of Science ID / 2000–2012 / Mirko Viroli

2011 • 2010 • 2009 • 2008 • 2007 • 2006 • 2005 • 2004 • 2002

Self-aware Pervasive Service Ecosystems (paper in proceedings) — Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (article in journal) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
Coordination Models and Languages: From Parallel Computing To Self-Organisation (article in journal) — Andrea Omicini, Mirko Viroli

3 publications in 2011 with Web of Science ID • top • index • bottom

Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (paper in proceedings) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini

1 publication in 2010 with Web of Science ID • top • index • bottom

Argumentation and Artifact for Dialogue Support (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Agents, Intelligence, and Tools (book chapter) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
General-Purpose Coordination Abstractions for Managing Interaction in MAS (paper in proceedings) — Elena Nardini, Andrea Omicini, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies (article in journal) — Ambra Molesini, Andrea Omicini, Mirko Viroli

4 publications in 2009 with Web of Science ID • top • index • bottom

The A&A Programming Model and Technology for Developing Agent Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Artifacts in the A&A Meta-Model for Multi-Agent Systems (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Prototyping A&A ReSpecT in Maude (paper in proceedings) — Matteo Casadei, Andrea Omicini, Mirko Viroli

3 publications in 2008 with Web of Science ID • top • index • bottom

CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Design Patterns for Self-Organising Systems (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Designing Self-organising MAS Environments: The Collective Sort Case (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (article in journal) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings) — Mirko Viroli, Andrea Omicini

6 publications in 2007 with Web of Science ID • top • index • bottom

Coordination as a Service (article in journal) — Mirko Viroli, Andrea Omicini
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Operating Instructions for Intelligent Agent Coordination (article in journal) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Simulating Minority Game with TuCSoN (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Agent Coordination Contexts in a MAS Coordination Infrastructure (article in journal) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agens Faber: Toward a Theory of Artefacts for MAS (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Programming MAS with Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini

9 publications in 2006 with Web of Science ID • top • index • bottom

Environment-Based Coordination Through Coordination Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
RBAC for Organisation and Security in an Agent Coordination Infrastructure (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Process-Algebraic Approaches for Multi-Agent Systems: An Overview (editorial/introduction/preface) — Mirko Viroli, Andrea Omicini
Time-Aware Coordination in ReSpecT (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (paper in proceedings) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli

7 publications in 2005 with Web of Science ID • top • index • bottom

Multi-agent Infrastructures for Objective and Subjective Coordination (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa

1 publication in 2004 with Web of Science ID • top • index • bottom

Tuple-based Models in the Observation Framework (paper in proceedings) — Mirko Viroli, Andrea Omicini
Modelling Agents as Observable Sources (article in journal) — Mirko Viroli, Andrea Omicini
An Observation Approach to Semantics of Agents Communication Languages (article in journal) — Mirko Viroli, Andrea Omicini

3 publications in 2002 with Web of Science ID • top • index • bottom