Per anno

Per anno

65 presentazioni  /  2000–2023  /  Mirko Viroli

2018  |  2017  |  2016  |  2015  |  2014  |  2013  |  2012  |  2011  |  2010  |  2009  |  2008  |  2007  |  2006  |  2005  |  2004  |  2003  |  2001

2018
Giovanni Ciatto (Andrea Omicini, Danilo Pianini, Giovanni Ciatto, Mirko Viroli, Roberto Casadei, Stefano Mariani)
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
Presentazione @ GOODTECHS 2018, 28/11/2018
(1 presentazione nel 2018)  [in cima]  [in fondo]
2017
Mirko Viroli (Mirko Viroli)
Aggregate Computing
Lezione @ “Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School, 17/02/2017
(1 presentazione nel 2017)  [in cima]  [in fondo]
2016
Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Angelo Croatti, Danilo Pianini, Mirko Viroli, Stefano Mariani)
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
Presentazione @ IDC 2016, 11/10/2016
Danilo Pianini (Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli)
Towards a Foundational API for Resilient Distributed Systems Design
Presentazione @ 2nd eCAS Workshop on Engineering Collective Adaptive Systems, 18/09/2016
Danilo Pianini (Roberto Casadei, Danilo Pianini, Mirko Viroli)
Simulating Large-scale Aggregate MASs with Alchemist and Scala
Presentazione @ 10th International Workshop on Multi-Agent Systems and Simulation (MAS&S'16), 14/09/2016
Andrea Omicini (Andrea Omicini, Mirko Viroli, Stefano Mariani)
Spatial Multi-Agent Systems
Tutorial @ EASSS 2016, 28/07/2016
(4 presentazioni nel 2016)  [in cima]  [in fondo]
2015
Danilo Pianini (Danilo Pianini, Mirko Viroli, Jacob Beal)
Protelis: Practical Aggregate Programming
Presentazione @ CM 2015 @ SAC 2015, 16/04/2015
(1 presentazione nel 2015)  [in cima]  [in fondo]
2014
Sara Montagna (Andrea Omicini, Mirko Viroli, Sara Montagna)
Agent-based and Chemical-inspired Approaches for Multicellular Models
Presentazione @ Meeting CINI Laboratorio InfoLife, 11/07/2014
Mirko Viroli (Mirko Viroli)
Engineering Adaptive Service Ecosystems
Lezione @ DISI PhD School in Computer Science and Engineering, 12/02/2014
(2 presentazioni nel 2014)  [in cima]  [in fondo]
2013
Mirko Viroli (Mirko Viroli, Ferruccio Damiani, Jacob Beal)
A core calculus of computational fields
Presentazione, 11/09/2013
Mirko Viroli (Mirko Viroli)
WP1 at M32: State and Plans
Relazione di progetto @ M32 Consortium Meeting, 18/06/2013
Mirko Viroli (Mirko Viroli)
Engineering Self-organising Coordination: A Computational Field Approach
Presentazione @ COORDINATION 2013, 03/06/2013
Mirko Viroli (Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli)
Engineering Pervasive Multiagent Systems in SAPERE
Presentazione @ EMAS 2013 @ AAMAS 2013, 07/05/2013
Mirko Viroli (Mirko Viroli, Sara Montagna)
Composing gradients for a context-aware navigation of users in a smart-city
Presentazione @ SCW 2013 @ AAMAS 2013, 06/05/2013
Mirko Viroli (Mirko Viroli)
Engineering Confluent Computational Fields: from Functions to Rewrite Rules
Presentazione @ SCW 2013 @ AAMAS 2013, 06/05/2013
Mirko Viroli (Mirko Viroli, Sara Montagna)
Spatial Computing with Chemistry
Presentazione a uso interno @ Bioinformatics LabMeeting, 26/03/2013
Mirko Viroli (Mirko Viroli)
Glocality: emergent behaviours
Presentazione @ CINA kickoff meeting, 06/02/2013
Mirko Viroli (Mirko Viroli)
SAPERE project (and relevance for CINA)
Relazione di progetto @ CINA kickoff meeting, 06/02/2013
(9 presentazioni nel 2013)  [in cima]  [in fondo]
2012
Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez Marquez)
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
Presentazione @ WOA 2012, 19/09/2012
Danilo Pianini (Matteo Casadei, Mirko Viroli)
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
Presentazione @ WOA 2012, 19/09/2012
Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna)
Gradient-based Self-organisation Patterns of Anticipative Adaptation
Presentazione @ 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), 11/09/2012
Mirko Viroli (Matteo Casadei, Mirko Viroli)
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Presentazione @ “Event.Asensis2012” is not an APICe document, 10/09/2012
Mirko Viroli (Mirko Viroli)
WP1 @ M24 Progresses and Review
Relazione di progetto @ SAPERE Meeting, SASO 2012, 10/09/2012
Mirko Viroli (Mirko Viroli)
WP1 @ M21. Progresses and Plan
Presentazione @ General SAPERE Meeting, 11/06/2012
Mirko Viroli (Andrea Omicini)
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
Presentazione di poster @ CM 2012 @ SAC 2012, 29/03/2012
Sara Montagna (Danilo Pianini, Mirko Viroli, Sara Montagna)
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
Presentazione @ SAC 2012, 28/03/2012
Mirko Viroli (Mirko Viroli)
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
Presentazione @ 27th Annual ACM Symposium on Applied Computing (SAC 2012), 28/03/2012
Mirko Viroli (Mirko Viroli)
Self-adaptive Service Ecosystems for Pervasive Computing
Seminario @ DISI seminars, 15/03/2012
Mirko Viroli (Mirko Viroli)
WP1 @ M17. Progresses and Plan 
Relazione di progetto @ General SAPERE Meeting, 27/02/2012
(11 presentazioni nel 2012)  [in cima]  [in fondo]
2011
Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems 
Presentazione @ Federated Conference on Computer Science and Information Systems in Szczecin, Poland (FedCSIS 2011), 19/09/2011
Danilo Pianini (Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli)
A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems
Presentazione @ WOA 2011, 06/07/2011
Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
A Simulation Framework for Pervasive Service Ecosystems
Presentazione @ WOA 2011, 06/07/2011
Mirko Viroli (Mirko Viroli)
WP1 Activities: General state, details on the model, future plans
Relazione di progetto @ SAPERE M9 Meeting, University of St. Andrews, UK, 24/06/2011
Mirko Viroli (Mirko Viroli)
WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws
Relazione di progetto @ SAPERE M4 Meeting, Université de Genève, Suisse, 20/01/2011
Mirko Viroli (Mirko Viroli)
WP1 Activities. General state, details on the model, future plans
Relazione di progetto @ SAPERE M4 Meeting, Université de Genève, Suisse, 19/01/2011
(6 presentazioni nel 2011)  [in cima]  [in fondo]
2010
Mirko Viroli (Mirko Viroli)
SAPERE: WP1 - Model & Methodology
Relazione di progetto @ SAPERE Kick-Off Meeting, Modena, Italy, 5-7 October 2010, 05/10/2010
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 @ WOA 2010, 07/09/2010
Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
Seminario @ Course “Informatics System Design” (2009-2010), 25/05/2010
Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
Presentazione @ CM 2010 @ SAC 2010, 26/03/2010
Matteo Casadei (Mirko Viroli, Matteo Casadei)
Chemical-Inspired Self-Composition of Competing Services
Presentazione @ SAC 2010, 26/03/2010
(6 presentazioni nel 2010)  [in cima]  [in fondo]
2009
Andrea Omicini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems
Relazione invitata @ Invited Lectures on Semantics Self-Organisation and Self-Aware Autonomous Systems, CETINIA, Universidad Rey Juan Carlos, Madrid, Spain, 02/12/2009
Sara Montagna (Sara Montagna, Mirko Viroli)
A Computational Framework for Multilevel Morphologies 
Presentazione @ Morphogenetic Engineering Workshop, 19/06/2009
Mirko Viroli (Sara Montagna, Mirko Viroli)
A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry
Presentazione @ Congress on Evolutionary Computation (CEC 2009), 21/05/2009
Mirko Viroli (Mirko Viroli, Matteo Casadei)
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing
Presentazione @ The 2009 IEEE Concress on Evolutionary Computation (CEC 2009), 20/05/2009
Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei)
A Framework for Modelling and Implementing Self-Organising Coordination
Presentazione @ 2009 Symposium of Applied Computing (SAC'09), Waikiki beach, Honolulu, HI, USA., 10/03/2009
Michele Piunti (Andrea Omicini, Michele Piunti, Mirko Viroli)
From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems
Presentazione @ Extensible Object Systems for Dynamic and Unpredictable Environments (EOS-DUE) Final Meeting, Torino , 09/01/2009
(6 presentazioni nel 2009)  [in cima]  [in fondo]
2008
Matteo Casadei (Mirko Viroli, Matteo Casadei)
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
Presentazione @ 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2008), 23/10/2008
Enrico Oliva (Enrico Oliva, Luca Gardelli, Andrea Omicini, Mirko Viroli)
Experiment with Stochastic Prolog as Simulation Language
Presentazione @ 23° Convegno Italiano di Logica Computazionale (CILC), 10/07/2008
Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli)
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
Presentazione @ CoMA 2008 @ WET ICE 2008, 24/06/2008
Enrico Oliva (Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney)
Argumentation and Artifact for Dialogue Support
Presentazione @ 5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008), 12/05/2008
Matteo Casadei (Mirko Viroli, Matteo Casadei)
Self-Organising Approaches to Coordination
Seminario @ Informatics System Design LS  - Second Faculty of Engineering at Università di Bologna (Cesena), 06/03/2008
(5 presentazioni nel 2008)  [in cima]  [in fondo]
2007
Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems
Presentazione @ Second International Workshop on Self-Organizing Systems (IWSOS 2007), 12/09/2007
Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
On the Problem of Over-clustering in Tuple-based Coordination Systems
Presentazione @ First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 11/07/2007
(2 presentazioni nel 2007)  [in cima]  [in fondo]
2006
Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
Presentazione @ EUMAS 2006, 15/12/2006
Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli)
Collective Sorting Tuple Spaces
Presentazione @ WOA 2006, 27/09/2006
Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei)
Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools
Presentazione @ AICA 2006, 22/09/2006
Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case
Presentazione @ FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006), 31/08/2006
(4 presentazioni nel 2006)  [in cima]  [in fondo]
2005
Enrico Oliva (Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli)
A Framework for Engineering Interactions in Java-based Component Systems
Presentazione @ 4th International Workshop Foundation of Coordination Language and Software Architectures FOCLASA - San Francisco, USA, 28/08/2005
(1 presentazione nel 2005)  [in cima]  [in fondo]
2004
Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
A Conceptual Framework for Self-Organising MAS
Presentazione @ 2nd European Workshop on Multiagent Systems (EUMAS 2004), Barcelona, Cataluña, Spain, 16/12/2004
Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
Coordination Artifacts: Environment-based Coordination for Intelligent Agents
Presentazione @ AAMAS 2004, 21/07/2004
(2 presentazioni nel 2004)  [in cima]  [in fondo]
2003
Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)
Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN
Presentazione @ EUMAS 2003, 19/12/2003
Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli)
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
Presentazione @ EUMAS 2003, 19/12/2003
Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)
Objective Coordination for FIPA Agents
Presentazione @ WOA 2003, 10/09/2003
(3 presentazioni nel 2003)  [in cima]  [in fondo]
2001
Mirko Viroli (Mirko Viroli, Gianluca Moro, Andrea Omicini)
On Observation as a Coordination Pattern: An Ontology and a Formal Framework
Presentazione @ CM 2001 @ SAC 2001, 14/03/2001
(1 presentazione nel 2001)  [in cima]  [in fondo]

Avatar

home  •  corsi  •  eventi  •  presentazioni  •  progetti  •  pubblicazioni  •  ricerca  •  tesi  •  tirocini
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY