Per Year
87
talks
/
2001–2026
/
Mirko Viroli
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (talk, GOODTECHS 2018) — Giovanni Ciatto
- Aggregate Computing (lecture, “Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School) — Mirko Viroli
- Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (talk, IDC 2016) — Alessandro Ricci
- Towards a Foundational API for Resilient Distributed Systems Design (talk, eCAS 2017 @ SASO 2017) — Danilo Pianini
- Simulating Large-scale Aggregate MASs with Alchemist and Scala (talk, MAS&S'16 @ FedCSIS 2016) — Danilo Pianini
- Spatial Multi-Agent Systems (tutorial, EASSS 2016) — Andrea Omicini
- Protelis: Practical Aggregate Programming (talk, CM 2015 @ SAC 2015) — Danilo Pianini
- Agent-based and Chemical-inspired Approaches for Multicellular Models (talk, CINI InfoLife 2014) — Sara Montagna
- Engineering Adaptive Service Ecosystems (lecture, DISI PhD School in Computer Science and Engineering) — Mirko Viroli
- A core calculus of computational fields (talk, FOCLASA 2013 @ ESOCC 2013) — Mirko Viroli
- WP1 at M32: State and Plans (project, M32 Consortium Meeting) — Mirko Viroli
- Engineering Self-organising Coordination: A Computational Field Approach (talk, COORDINATION 2013) — Mirko Viroli
- Engineering Pervasive Multiagent Systems in SAPERE (talk, EMAS 2013 @ AAMAS 2013) — Mirko Viroli
- Composing gradients for a context-aware navigation of users in a smart-city (talk, SCW 2013 @ AAMAS 2013) — Mirko Viroli
- Engineering Confluent Computational Fields: from Functions to Rewrite Rules (talk, SCW 2013 @ AAMAS 2013) — Mirko Viroli
- Spatial Computing with Chemistry (internal, Bioinformatics LabMeeting) — Mirko Viroli
- Glocality: emergent behaviours (talk, CINA kickoff meeting) — Mirko Viroli
- SAPERE project (and relevance for CINA) (project, CINA kickoff meeting) — Mirko Viroli
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (talk, WOA 2012) — Danilo Pianini
- Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (talk, WOA 2012) — Danilo Pianini
- Gradient-based Self-organisation Patterns of Anticipative Adaptation (talk, SASO 2012) — Danilo Pianini
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (talk, ASENSIS 2012 @ SASO 2012) — Mirko Viroli
- WP1 @ M24 Progresses and Review (project, SAPERE Meeting, SASO 2012) — Mirko Viroli
- WP1 @ M21. Progresses and Plan (talk, General SAPERE Meeting) — Mirko Viroli
- Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (poster, CM 2012 @ SAC 2012) — Mirko Viroli
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (talk, SAC 2012) — Sara Montagna
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (talk, SAC 2012) — Mirko Viroli
- Self-adaptive Service Ecosystems for Pervasive Computing (seminar, DISI seminars) — Mirko Viroli
- WP1 @ M17. Progresses and Plan (project, General SAPERE Meeting) — Mirko Viroli
- A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (talk, MAS&S'11 @ FedCSIS 2011) — Danilo Pianini
- A Simulation Framework for Pervasive Service Ecosystems (talk, WOA 2011) — Danilo Pianini
- A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems (talk, WOA 2011) — Danilo Pianini
- WP1 Activities: General state, details on the model, future plans (project, SAPERE M9 Meeting, University of St. Andrews, UK) — Mirko Viroli
- WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws (project, SAPERE M4 Meeting, Université de Genève, Suisse) — Mirko Viroli
- WP1 Activities. General state, details on the model, future plans (project, SAPERE M4 Meeting, Université de Genève, Suisse) — Mirko Viroli
- SAPERE: WP1 - Model & Methodology (project, SAPERE Kick-Off Meeting, Modena, Italy, 5-7 October 2010) — Mirko Viroli
- Self Organization in Coordination Systems using a WordNet-based Ontology (talk, SASO 2010) — Sascia Virruso, Danilo Pianini
- A Self-Organising Infrastructure for Chemical-Semantic Coordination (talk, WOA 2010) — Elena Nardini
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (seminar, Course “Informatics System Design” (2009-2010)) — Elena Nardini
- Chemical-Inspired Self-Composition of Competing Services (talk, SAC 2010) — Matteo Casadei
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (talk, CM 2010 @ SAC 2010) — Elena Nardini
- Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems (invited, CETINIA 2009) — Andrea Omicini
- A Computational Framework for Multilevel Morphologies (talk, MEW 2009) — Sara Montagna
- A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (talk, CEC 2009) — Mirko Viroli
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (talk, CEC 2009) — Mirko Viroli
- A Framework for Modelling and Implementing Self-Organising Coordination (talk, SAC 2009) — Matteo Casadei
- From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems (talk, Extensible Object Systems for Dynamic and Unpredictable Environments (EOS-DUE) Final Meeting, Torino ) — Michele Piunti
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (talk, SASO 2008) — Matteo Casadei
- Experiment with Stochastic Prolog as Simulation Language (talk, CILC 2008) — Enrico Oliva
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (talk, CoMA 2008 @ WET ICE 2008) — Matteo Casadei
- Argumentation and Artifact for Dialogue Support (talk, ArgMAS 2008 @ AAMAS 2008) — Enrico Oliva
- Self-Organising Approaches to Coordination (seminar, Informatics System Design LS - Second Faculty of Engineering at Università di Bologna (Cesena)) — Matteo Casadei
- A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (talk, IWSOS 2007) — Matteo Casadei
- Prototyping A&A ReSpecT in Maude (talk, FOCLASA 2007 @ CONCUR'07) — Andrea Omicini
- On the Problem of Over-clustering in Tuple-based Coordination Systems (talk, SASO 2007) — Matteo Casadei
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (talk, EUMAS 2006) — Matteo Casadei
- Collective Sorting Tuple Spaces (talk, WOA 2006) — Matteo Casadei
- Simulation of Minority Game in TuCSoN (talk, WOA 2006) — Andrea Omicini
- Minority Game: A Logic-Based Approach in TuCSoN (talk, WOA 2006) — Andrea Omicini
- simpA-WS: una tecnologia ad agenti per lo sviluppo di applicazioni SOA basate su Web Services (talk, WOA 2006) — Alessandro Ricci
- Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (talk, AICA 2006) — Matteo Casadei
- Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (talk, FOCLASA 2006 @ CONCUR'06) — Matteo Casadei
- Simulating Minority Game with TuCSoN (talk, MAS&S'06 @ ISC'06) — Andrea Omicini
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (talk, E4MAS 2006 @ AAMAS 2006) — Alessandro Ricci
- On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (talk, WOA 2005) — Andrea Omicini
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (talk, AI*IA 2005) — Andrea Omicini
- A Framework for Engineering Interactions in Java-based Component Systems (talk, FOCLASA 2005 @ CONCUR'05) — Enrico Oliva
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (talk, AAMAS 2005) — Andrea Omicini
- Time-Aware Coordination in ReSpecT (talk, COORDINATION 2005) — Andrea Omicini
- A Conceptual Framework for Self-Organising MAS (talk, EUMAS 2004) — Andrea Omicini
- A Conceptual Framework for Self-Organising MAS (talk, WOA 2004) — Andrea Omicini
- Coordination Artifacts: Environment-based Coordination for Autonomous Agents (talk, AAMAS 2004) — Andrea Omicini
- An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (talk, SASEMAS'04 @ AAMAS 2004) — Alessandro Ricci
- “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (talk, E4MAS 2004) — Luca Tummolini
- Agent Coordination Context: From Theory to Practice (talk, AT2AI-4 @ EMCSR 2004) — Alessandro Ricci
- Integrating Objective & Subjective Coordination in Multi-Agent Systems (talk, CM 2004 @ SAC 2004) — Andrea Omicini
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (talk, EUMAS 2003) — Andrea Omicini
- Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN (talk, EUMAS 2003) — Andrea Omicini
- Objective Coordination for FIPA Agents (talk, WOA 2003) — Andrea Omicini
- On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (talk, FOCLASA 2003 @ CONCUR'03) — Mirko Viroli
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (talk, SecCo'03) — Mirko Viroli
- Have ReSpecT for LogOp (talk, WOA 2002) — Andrea Omicini
- Coordination as a Service: Ontological and Formal Foundation (talk, FOCLASA 2002 @ CONCUR'02) — Mirko Viroli
- On the Expressiveness of Event-Based Coordination Media (talk, PDPTA'02) — Mirko Viroli
- Extending ReSpecT for Multiple Coordination Flows (talk, PDPTA'02) — Mirko Viroli
- A Specification Language for Agents Observable Behaviour (talk, IC-AI'02) — Mirko Viroli
- On Observation as a Coordination Pattern: An Ontology and a Formal Framework (talk, CM 2001 @ SAC 2001) — Mirko Viroli
0000-0003-2702-5702