155
publications
without
IRIS ID
/
2000–2015
/
Mirko Viroli
- A coordination model of pervasive service ecosystems (article in journal) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
- Towards agent aggregates: perspectives and challenges (paper in proceedings) — Mirko Viroli, Alessandro Ricci
- Aggregate Programming for the Internet of Things (article in journal) — Jacob Beal, Danilo Pianini, Mirko Viroli
- Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (paper in proceedings) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
- Protelis: Practical Aggregate Programming (paper in proceedings) — Danilo Pianini, Mirko Viroli, Jacob Beal
- Type-based Self-stabilisation for Computational Fields (article in journal) — Ferruccio Damiani, Mirko Viroli
- Space-Time Programming (article in journal) — Jacob Beal, Mirko Viroli
- A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (article in journal) — Sara Montagna, Mirko Viroli, Andrea Roli
- Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (paper in proceedings) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
- Formal Foundations of Sensor Network Applications (article in journal) — Jacob Beal, Mirko Viroli
10 publications in 2015 without IRIS ID •
top •
index •
bottom
5 publications in 2014 without IRIS ID •
top •
index •
bottom
- Engineering Confluent Computational Fields: from Functions to Rewrite Rules (paper in proceedings) — Mirko Viroli
- Self-Organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
- 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
- A calculus of computation fields (paper in proceedings) — Mirko Viroli, Ferruccio Damiani, Jacob Beal
- Injecting Self-organisation into Pervasive Service Ecosystems (article in journal) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
- On competitive self-composition in pervasive services (article in journal) — Mirko Viroli
- Chemical-oriented Simulation of Computational Systems with ALCHEMIST (article in journal) — Danilo Pianini, Sara Montagna, Mirko Viroli
- Operational Semantics of Proto (article in journal) — Mirko Viroli, Jacob Beal, Kyle Usbeck
- Organizing the Aggregate: Languages for Spatial Computing (book chapter) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
- Description and composition of bio-inspired design patterns: a complete overview (article in journal) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
- 6th International Spatial Computing Workshop (SCW 2013) (edited volume) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
- Self-Organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
- Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (paper in proceedings) — Sara Montagna, Mirko Viroli
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
14 publications in 2013 without IRIS ID •
top •
index •
bottom
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (paper in proceedings) — Sara Montagna, Danilo Pianini, Mirko Viroli
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (paper in proceedings) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
- Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (paper in proceedings) — Mirko Viroli, Danilo Pianini, Jacob Beal
- 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
- From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (book chapter) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
- On the Space-time Situation of Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Graeme Stevenson
- Standard Type Soundness for Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- A Computational Framework for Multilevel Morphologies (book chapter) — Sara Montagna, Mirko Viroli
- Gradient-based Self-organisation Patterns of Anticipative Adaptation (paper in proceedings) — Sara Montagna, Danilo Pianini, Mirko Viroli
- 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
12 publications in 2012 without IRIS ID •
top •
index •
bottom
- Coordinating Spatially-Situated Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (article in journal) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (article in journal) — Alessandro Ricci, Michele Piunti, Mirko Viroli
- A Simulation Framework for Pervasive Services Ecosystems (paper in proceedings) — Danilo Pianini, Mirko Viroli, Sara Montagna
- A Calculus of Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- 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
- A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (article in journal) — Franco Zambonelli, Mirko Viroli
- Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (article in journal) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
- Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Preface (article in journal) — Carlos Canal, Mirko Viroli
- 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
- Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (paper in proceedings) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
- A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (article in journal) — Peter McBurney, Simon Parsons, Mirko Viroli
- Programming Coordination Laws of Artifacts in CArtAgO (paper in proceedings) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
17 publications in 2011 without IRIS ID •
top •
index •
bottom
5 publications in 2010 without IRIS ID •
top •
index •
bottom
- Formalising the Environment in MAS Programming: a Formal Model (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Michele Piunti
- 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
- A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (paper in proceedings) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
- On the Collective Sort Problem for Distributed Tuple Spaces (article in journal) — 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
- 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
9 publications in 2009 without IRIS ID •
top •
index •
bottom
- Architecture and Metaphors for Eternally Adaptive Service Ecosystems (paper in proceedings) — Franco Zambonelli, Mirko Viroli
- Preface (editorial/introduction/preface) — Canal Carlos, Pascal Poizat, Mirko Viroli
- Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
- On the reification of Java wildcards (article in journal) — Maurizio Cimadamore, Mirko Viroli
- Integrating Java and Prolog through Generic Methods and Type Inference (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
- Lightweight Family Polymorphism (article in journal) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
- simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (paper in proceedings) — Matteo Casadei, Mirko Viroli, Marco Santarelli
- An Adaptation Logic Framework for Java-based Component Systems (article in journal) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (paper in proceedings) — Matteo Casadei, Mirko Viroli
12 publications in 2008 without IRIS ID •
top •
index •
bottom
- A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Design Patterns for Self-Organising Systems (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Infrastructures for the Environment of Multiagent Systems (article in journal) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
- Engineering a BPEL Orchestration Engine as a Multi-agent System (article in journal) — Mirko Viroli, Enrico Denti, Alessandro Ricci
- A core calculus for correlation in orchestration languages (article in journal) — Mirko Viroli
- Designing Self-organising MAS Environments: The Collective Sort Case (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Design Patterns for Self-Organizing Multiagent Systems (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (paper in proceedings) — Alessandro Ricci, Mirko Viroli
- Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Guest Editorial (article in journal) — Davide Ancona, Mirko Viroli
- Prototyping A&A ReSpecT in Maude (paper in proceedings) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- On the Problem of Over-clustering in Tuple-based Coordination Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
- Preface (article in journal) — Carlos Canal, Mirko Viroli
- A Prolog-oriented extension of Java programming based on generics and annotations (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
- A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (paper in proceedings) — Mirko Viroli, Matteo Casadei, Luca Gardelli
- Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli
- Variant path types for scalable extensibility (article in journal) — Atsushi Igarashi, Mirko Viroli
- A General Purpose Programming Model & Technology for Developing Working Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings) — Mirko Viroli, Andrea Omicini
22 publications in 2007 without IRIS ID •
top •
index •
bottom
- 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
- Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (paper in proceedings) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
- 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
- Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli
- Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Collective Sorting Tuple Spaces (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- A Framework for Engineering Interactions in Java-based Component Systems (paper in proceedings) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
- Agens Faber: Toward a Theory of Artefacts for MAS (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- Variant Parametric Types: A Flexible Subtyping Scheme for Generics (article in journal) — Atsushi Igarashi, Mirko Viroli
14 publications in 2006 without IRIS ID •
top •
index •
bottom
- Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (article in journal) — Alessandro Ricci, Mirko Viroli
- Agent Interaction Semantics by Timed Operating Instructions (paper in proceedings) — Mirko Viroli, Alessandro Ricci
- Environment-Based Coordination Through Coordination Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Environments in Multiagent Systems (article in journal) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
- RBAC for Organisation and Security in an Agent Coordination Infrastructure (paper in proceedings) — Andrea Omicini, 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
- On Access Restriction with Java Wildcards (article in journal) — Mirko Viroli, Giovanni Rimassa
- 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
10 publications in 2005 without IRIS ID •
top •
index •
bottom
- 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
- 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
7 publications in 2004 without IRIS ID •
top •
index •
bottom
4 publications in 2003 without IRIS ID •
top •
index •
bottom
- Specifying Agent Observable Behaviour (paper in proceedings) — Mirko Viroli, Andrea Omicini
- 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
- Tuple-based Coordination Models in Event-based Scenarios (paper in proceedings) — Mirko Viroli, Alessandro Ricci
- On the Expressiveness of Event-Based Coordination Media (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- An Observation Approach to Semantics of Agents Communication Languages (article in journal) — Mirko Viroli, Andrea Omicini
- On the Grey-Box Modelling Approach for Autonomous Agents (paper in proceedings) — Mirko Viroli, Andrea Omicini
9 publications in 2002 without IRIS ID •
top •
index •
bottom
4 publications in 2001 without IRIS ID •
top •
index •
bottom
1 publication in 2000 without IRIS ID •
top •
index •
bottom
0000-0003-2702-5702