Per anno
- Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems (articolo in atti) — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
- On Context-Orientation in Aggregate Programming (articolo in atti) — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
- Case studies for a new IoT programming paradigm: Fluidware (articolo in atti) — 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 (articolo in atti) — Danilo Pianini, Roberto Casadei, Mirko Viroli
- Modeling Opportunistic IoT Services in Open IoT Ecosystems (articolo in atti) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
- Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed (articolo in atti) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- Self-adaptation to Device Distribution Changes in Situated Computing Systems (articolo in atti) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
- Aggregate Programming: From Foundations to Applications (articolo in atti) — Jacob Beal, Mirko Viroli
- Improving Gossip Dynamics Through Overlapping Replicates (articolo in atti) — Danilo Pianini, Jacob Beal, Mirko Viroli
- Improving Gossip Dynamics Through Overlapping Replicates (articolo in atti) — Danilo Pianini, Jacob Beal, Mirko Viroli
- Towards agent aggregates: perspectives and challenges (articolo in atti) — Mirko Viroli, Alessandro Ricci
- Towards a Unified Model of Spatial Computing (articolo in atti) — Mirko Viroli
- Engineering Confluent Computational Fields: from Functions to Rewrite Rules (articolo in atti) — Mirko Viroli
- Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (articolo in atti) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
- 6th International Spatial Computing Workshop (SCW 2013) (curatela) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
- Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (articolo in atti) — Sara Montagna, Mirko Viroli
- Engineering Pervasive Multiagent Systems in SAPERE (articolo in atti) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (articolo in atti) — Sara Montagna, Danilo Pianini, Mirko Viroli
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
- Self-organising Semantic Resource Discovery for Pervasive Systems (articolo in atti) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
- On the Space-time Situation of Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Graeme Stevenson
- On the Space-time Situation of Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Graeme Stevenson
- Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (articolo in atti) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
- Coordinating Spatially-Situated Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- A Simulation Framework for Pervasive Services Ecosystems (articolo in atti) — Danilo Pianini, Mirko Viroli, Sara Montagna
- Middleware Infrastructures for Self-organising Pervasive Computing Systems (capitolo di libro) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
- Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (articolo in atti) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
- A Coordination Approach to Adaptive Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems (articolo in atti) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Core Operational Semantics of Proto (articolo in atti) — Mirko Viroli, Jacob Beal, Matteo Casadei
- A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (articolo in atti) — Danilo Pianini, Sara Montagna, Mirko Viroli
- Argumentation and Artifacts for Negotiation Support (articolo in rivista) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
- A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (articolo in atti) — 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-* (curatela) — Andrea Omicini, Mirko Viroli
- Chemical-Inspired Self-Composition of Competing Services (articolo in atti) — Mirko Viroli, Matteo Casadei
- 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
- 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
- Experimenting with Stochastic Prolog as a Simulation Language (articolo in atti) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (articolo in atti) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
- Arguments and Artifacts for Dispute Resolution (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Argumentation and Artifact for Dialogue Support (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (articolo in atti) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
- An Adaptation Logic Framework for Java-based Component Systems (articolo in rivista) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
- Timed Environment for Web Agents (articolo in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Design Patterns for Self-Organizing Multiagent Systems (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Prototyping A&A ReSpecT in Maude (articolo in atti) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- A General Purpose Programming Model & Technology for Developing Working Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Coordination as a Service (articolo in rivista) — Mirko Viroli, Andrea Omicini
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (articolo in atti) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (articolo in atti) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (articolo in atti) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (articolo in atti) — 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 (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (articolo in atti) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- Simulation of Minority Game in TuCSoN (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Collective Sorting Tuple Spaces (articolo in atti) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Simulating Minority Game with TuCSoN (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (articolo in atti) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- Minority Game: A Logic-Based Approach in TuCSoN (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (articolo in rivista) — Alessandro Ricci, Mirko Viroli
- Engineering MAS Environment with Artifacts (articolo in atti) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Special Issue “Process Algebras and Multi-Agent Systems” (numero speciale) — Mirko Viroli, Andrea Omicini
- Programming MAS with Artifacts (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (articolo in atti) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- On Access Restriction with Java Wildcards (articolo in rivista) — Mirko Viroli, Giovanni Rimassa
- On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- A Conceptual Framework for Self-Organising MAS (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
- Agent Coordination Context: From Theory to Practice (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (articolo in atti) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Role-Based Access Control in MAS using Agent Coordination Contexts (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- A Semantics for the Interaction of Agents with Coordination Artifacts (articolo in atti) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (articolo in atti) — Mirko Viroli, Andrea Omicini
- Guest Editorial (articolo in rivista) — Davide Ancona, Mirko Viroli
- An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (articolo in atti) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
- Have ReSpecT for LogOp (articolo in atti) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Towards an Alternative Semantics for FIPA ACL (articolo in atti) — Mirko Viroli, Andrea Omicini
- Extending ReSpecT for Multiple Coordination Flows (articolo in atti) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
- A Specification Language for Agents Observable Behaviour (articolo in atti) — Mirko Viroli, Andrea Omicini
- On the Expressiveness of Event-Based Coordination Media (articolo in atti) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- On the Grey-Box Modelling Approach for Autonomous Agents (articolo in atti) — Mirko Viroli, Andrea Omicini
- Multi-Agent Systems as Composition of Observable Systems (articolo in atti) — Mirko Viroli, Andrea Omicini
- WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (curatela) — Andrea Omicini, Mirko Viroli
- Multi-Agent Systems as Composition of Observable Systems (articolo in rivista) — Mirko Viroli, Andrea Omicini