Per anno
Per anno
34 presentazioni / 2000–2011 / Mirko Viroli
| Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini) A Simulation Framework for Pervasive Service Ecosystems (presentazione, 06/07/2011) XII Workshop "Dagli Oggetti agli Agenti" (WOA 2011), Università della Calabria, Rende, CS, Italy - 05/07/2011 |
| Danilo Pianini (Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli) A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems (presentazione, 06/07/2011) WOA 2011 |
| Mirko Viroli (Mirko Viroli) WP1 Activities: General state, details on the model, future plans (relazione di progetto, 24/06/2011) SAPERE M9 Meeting, University of St. Andrews, UK |
| Mirko Viroli (Mirko Viroli) WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws (relazione di progetto, 20/01/2011) SAPERE M4 Meeting, Université de Genève, Suisse |
| Mirko Viroli (Mirko Viroli) WP1 Activities. General state, details on the model, future plans (relazione di progetto, 19/01/2011) SAPERE M4 Meeting, Université de Genève, Suisse |
| Sascia Virruso, Danilo Pianini (Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli) Self Organization in Coordination Systems using a WordNet-based Ontology (presentazione, 30/09/2010) |
| Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei) A Self-Organising Infrastructure for Chemical-Semantic Coordination (presentazione, 07/09/2010) The 11th National Workshop "Dagli Oggetti agli Agenti" (WOA 2010) |
| Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta) Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (seminario, 25/05/2010) Course “Informatics System Design” (2009-2010) |
| Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta) Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (presentazione, 26/03/2010) Special Track on Coordination Models, Languages and Applications of the 25th ACM Symposium on Applied Computing (SAC 2010) |
| Matteo Casadei (Mirko Viroli, Matteo Casadei) Chemical-Inspired Self-Composition of Competing Services (presentazione, 26/03/2010) 25th Annual ACM Symposium on Applied Computing (SAC 2010) |
| Sara Montagna (Sara Montagna, Mirko Viroli) A Computational Framework for Multilevel Morphologies (presentazione, 19/06/2009) Morphogenetic Engineering Workshop |
| Mirko Viroli (Sara Montagna, Mirko Viroli) A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (presentazione, 21/05/2009) Congress on Evolutionary Computation (CEC 2009) |
| Mirko Viroli (Mirko Viroli, Matteo Casadei) An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (presentazione, 20/05/2009) The 2009 IEEE Concress on Evolutionary Computation (CEC 2009) |
| Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei) A Framework for Modelling and Implementing Self-Organising Coordination (presentazione, 10/03/2009) 2009 Symposium of Applied Computing (SAC'09), Waikiki beach, Honolulu, HI, USA. |
| Michele Piunti (Andrea Omicini, Michele Piunti, Mirko Viroli) From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems (presentazione, 09/01/2009) Extensible Object Systems for Dynamic and Unpredictable Environments (EOS-DUE) Final Meeting, Torino |
| Enrico Oliva (Enrico Oliva, Luca Gardelli, Andrea Omicini, Mirko Viroli) Experiment with Stochastic Prolog as Simulation Language (presentazione, 10/07/2008) 23° Convegno Italiano di Logica Computazionale (CILC) |
| Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli) Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (presentazione, 24/06/2008) 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) - CoMA 2008 Workshop |
| Enrico Oliva (Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney) Argumentation and Artifact for Dialogue Support (presentazione, 12/05/2008) 5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008) |
| Matteo Casadei (Mirko Viroli, Matteo Casadei) Self-Organising Approaches to Coordination (seminario, 06/03/2008) Informatics System Design LS - Second Faculty of Engineering at Università di Bologna (Cesena) |
| Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli) On the Problem of Over-clustering in Tuple-based Coordination Systems (presentazione, 11/07/2007) First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007) |
| Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli) Collective Sorting Tuple Spaces (presentazione, 27/09/2006) Workshops from Objects to Agents - WOA 2006 |
| Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei) Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (presentazione, 22/09/2006) AICA: 2006 National Conference |
| Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli) Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (presentazione, 31/08/2006) FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006) |
| Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli) Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (presentazione, 19/12/2003) 1st European Workshop on Multiagent Systems (EUMAS 2003), Oxford, UK |
| Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli) Objective Coordination for FIPA Agents (presentazione, 10/09/2003) WOA 2003 |
