Speakers
25
talks
Aggregate Computing (“Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School, 17/02/2017) — Mirko Viroli (Mirko Viroli) Engineering Adaptive Service Ecosystems (DISI PhD School in Computer Science and Engineering, 12/02/2014) — Mirko Viroli (Mirko Viroli) A core calculus of computational fields (11/09/2013) — Mirko Viroli (Mirko Viroli, Ferruccio Damiani, Jacob Beal) Engineering Self-organising Coordination: A Computational Field Approach (COORDINATION 2013, 03/06/2013) — Mirko Viroli (Mirko Viroli) Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013, 07/05/2013) — Mirko Viroli (Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli) Composing gradients for a context-aware navigation of users in a smart-city (SCW 2013@AAMAS 2013, 06/05/2013) — Mirko Viroli (Mirko Viroli, Sara Montagna) Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013@AAMAS 2013, 06/05/2013) — Mirko Viroli (Mirko Viroli) Spatial Computing with Chemistry (Bioinformatics LabMeeting, 26/03/2013) — Mirko Viroli (Mirko Viroli, Sara Montagna) SAPERE project (and relevance for CINA) (CINA kickoff meeting, 06/02/2013) — Mirko Viroli (Mirko Viroli) Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012, 10/09/2012) — Mirko Viroli (Matteo Casadei, Mirko Viroli) WP1 @ M24 Progresses and Review (SAPERE Meeting, SASO 2012, 10/09/2012) — Mirko Viroli (Mirko Viroli) Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012@SAC 2012, 29/03/2012) — Mirko Viroli (Andrea Omicini) Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (27th Annual ACM Symposium on Applied Computing (SAC 2012), 28/03/2012) — Mirko Viroli (Mirko Viroli) Self-adaptive Service Ecosystems for Pervasive Computing (DISI seminars, 15/03/2012) — Mirko Viroli (Mirko Viroli) WP1 Activities: General state, details on the model, future plans (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 (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 (SAPERE M4 Meeting, Université de Genève, Suisse, 19/01/2011) — Mirko Viroli (Mirko Viroli) SAPERE: WP1 - Model & Methodology (SAPERE Kick-Off Meeting, Modena, Italy, 5-7 October 2010, 05/10/2010) — Mirko Viroli (Mirko Viroli) A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (Congress on Evolutionary Computation (CEC 2009), 21/05/2009) — Mirko Viroli (Sara Montagna, Mirko Viroli) An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (The 2009 IEEE Concress on Evolutionary Computation (CEC 2009), 20/05/2009) — Mirko Viroli (Mirko Viroli, Matteo Casadei) On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001@SAC 2001, 14/03/2001) — Mirko Viroli (Mirko Viroli, Gianluca Moro, Andrea Omicini)