Per Year

91 publications without DOI / 2000–2023 / Mirko Viroli

2019 • 2017 • 2016 • 2015 • 2014 • 2013 • 2012 • 2011 • 2010 • 2009 • 2008 • 2007 • 2006 • 2005 • 2004 • 2003 • 2002 • 2001

2019

Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems (paper in proceedings) — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
On Context-Orientation in Aggregate Programming (paper in proceedings) — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
Case studies for a new IoT programming paradigm: Fluidware (paper in proceedings) — Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Security in Collective Adaptive Systems: A Roadmap (paper in proceedings) — Danilo Pianini, Roberto Casadei, Mirko Viroli

4 publications in 2019 without DOI • top • index • bottom

2017

Modeling Opportunistic IoT Services in Open IoT Ecosystems (paper in proceedings) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed (paper in proceedings) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli

2 publications in 2017 without DOI • top • index • bottom

2016

Self-adaptation to Device Distribution Changes in Situated Computing Systems (paper in proceedings) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Aggregate Programming: From Foundations to Applications (paper in proceedings) — Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates (paper in proceedings) — Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates (paper in proceedings) — Danilo Pianini, Jacob Beal, Mirko Viroli

4 publications in 2016 without DOI • top • index • bottom

2015

Towards agent aggregates: perspectives and challenges (paper in proceedings) — Mirko Viroli, Alessandro Ricci

1 publication in 2015 without DOI • top • index • bottom

2014

Towards a Unified Model of Spatial Computing (paper in proceedings) — Mirko Viroli

1 publication in 2014 without DOI • top • index • bottom

2013

Engineering Confluent Computational Fields: from Functions to Rewrite Rules (paper in proceedings) — Mirko Viroli
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (paper in proceedings) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
6th International Spatial Computing Workshop (SCW 2013) (edited volume) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (paper in proceedings) — Sara Montagna, Mirko Viroli
Engineering Pervasive Multiagent Systems in SAPERE (paper in proceedings) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli

5 publications in 2013 without DOI • top • index • bottom

2012

A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (paper in proceedings) — Sara Montagna, Danilo Pianini, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
Self-organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
On the Space-time Situation of Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Graeme Stevenson
On the Space-time Situation of Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Graeme Stevenson
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (paper in proceedings) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli

7 publications in 2012 without DOI • top • index • bottom

2011

Coordinating Spatially-Situated Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
A Simulation Framework for Pervasive Services Ecosystems (paper in proceedings) — Danilo Pianini, Mirko Viroli, Sara Montagna
Middleware Infrastructures for Self-organising Pervasive Computing Systems (book chapter) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (paper in proceedings) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
A Coordination Approach to Adaptive Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Core Operational Semantics of Proto (paper in proceedings) — Mirko Viroli, Jacob Beal, Matteo Casadei
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (paper in proceedings) — Danilo Pianini, Sara Montagna, Mirko Viroli

8 publications in 2011 without DOI • top • index • bottom

2010

Argumentation and Artifacts for Negotiation Support (article in journal) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (paper in proceedings) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* (edited volume) — Andrea Omicini, Mirko Viroli
Chemical-Inspired Self-Composition of Competing Services (paper in proceedings) — Mirko Viroli, Matteo Casadei

4 publications in 2010 without DOI • top • index • bottom

2009

Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (paper in proceedings) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (paper in proceedings) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A computational framework for modelling multicellular biochemistry (paper in proceedings) — Sara Montagna, Mirko Viroli

5 publications in 2009 without DOI • top • index • bottom

2008

Experimenting with Stochastic Prolog as a Simulation Language (paper in proceedings) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Arguments and Artifacts for Dispute Resolution (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Argumentation and Artifact for Dialogue Support (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
An Adaptation Logic Framework for Java-based Component Systems (article in journal) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli

6 publications in 2008 without DOI • top • index • bottom

2007

Timed Environment for Web Agents (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Design Patterns for Self-Organizing Multiagent Systems (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Prototyping A&A ReSpecT in Maude (paper in proceedings) — Matteo Casadei, Andrea Omicini, Mirko Viroli
A General Purpose Programming Model & Technology for Developing Working Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini

4 publications in 2007 without DOI • top • index • bottom

2006

Coordination as a Service (article in journal) — Mirko Viroli, Andrea Omicini
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (paper in proceedings) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Simulation of Minority Game in TuCSoN (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Collective Sorting Tuple Spaces (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Minority Game with TuCSoN (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei
Minority Game: A Logic-Based Approach in TuCSoN (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini

14 publications in 2006 without DOI • top • index • bottom

2005

On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (article in journal) — Alessandro Ricci, Mirko Viroli
Engineering MAS Environment with Artifacts (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Special Issue “Process Algebras and Multi-Agent Systems” (special issue) — Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
On Access Restriction with Java Wildcards (article in journal) — Mirko Viroli, Giovanni Rimassa
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini

8 publications in 2005 without DOI • top • index • bottom

2004

A Conceptual Framework for Self-Organising MAS (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Agent Coordination Context: From Theory to Practice (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (paper in proceedings) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
Role-Based Access Control in MAS using Agent Coordination Contexts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
A Semantics for the Interaction of Agents with Coordination Artifacts (paper in proceedings) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings) — Mirko Viroli, Andrea Omicini
Guest Editorial (article in journal) — Davide Ancona, Mirko Viroli
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini

8 publications in 2004 without DOI • top • index • bottom

2003

Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli

1 publication in 2003 without DOI • top • index • bottom

2002

Have ReSpecT for LogOp (paper in proceedings) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Towards an Alternative Semantics for FIPA ACL (paper in proceedings) — Mirko Viroli, Andrea Omicini
Extending ReSpecT for Multiple Coordination Flows (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
A Specification Language for Agents Observable Behaviour (paper in proceedings) — Mirko Viroli, Andrea Omicini
On the Expressiveness of Event-Based Coordination Media (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
On the Grey-Box Modelling Approach for Autonomous Agents (paper in proceedings) — Mirko Viroli, Andrea Omicini

6 publications in 2002 without DOI • top • index • bottom

2001

Multi-Agent Systems as Composition of Observable Systems (paper in proceedings) — Mirko Viroli, Andrea Omicini
WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (edited volume) — Andrea Omicini, Mirko Viroli
Multi-Agent Systems as Composition of Observable Systems (article in journal) — Mirko Viroli, Andrea Omicini

3 publications in 2001 without DOI • top • index • bottom