Per Sort
Per Sort
25 talks / 2006–2012 / Matteo Casadei
| Mirko Viroli (Matteo Casadei, Mirko Viroli) Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (talk, 10/09/2012) ASENSIS @ SASO 2012 |
| Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei) A Self-Organising Infrastructure for Chemical-Semantic Coordination (talk, 07/09/2010) The 11th National Workshop "Dagli Oggetti agli Agenti" (WOA 2010) |
| Matteo Casadei (Mirko Viroli, Matteo Casadei) Chemical-Inspired Self-Composition of Competing Services (talk, 26/03/2010) 25th Annual ACM Symposium on Applied Computing (SAC 2010) |
| Mirko Viroli (Mirko Viroli, Matteo Casadei) An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (talk, 20/05/2009) The 2009 IEEE Concress on Evolutionary Computation (CEC 2009) |
| Matteo Casadei (Matteo Casadei) Self-Organising Coordination Systems (talk, 08/04/2009) PhD Final Dissertation |
| Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei) A Framework for Modelling and Implementing Self-Organising Coordination (talk, 10/03/2009) 2009 Symposium of Applied Computing (SAC'09), Waikiki beach, Honolulu, HI, USA. |
| Matteo Casadei (Mirko Viroli, Matteo Casadei) Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (talk, 23/10/2008) 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2008) |
| Elena Nardini (Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri) A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (talk, 26/09/2008) 2008 International Conference on the Interactive Computer Aided Learning (ICL 2008) |
| Matteo Casadei (Andrea Omicini, Matteo Casadei) Situating A&A ReSpecT for Pervasive Environment Applications (talk, 24/06/2008) 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) - CoMA 2008 Workshop |
| Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli) Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (talk, 24/06/2008) 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) - CoMA 2008 Workshop |
| Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli) A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (talk, 12/09/2007) Second International Workshop on Self-Organizing Systems (IWSOS 2007) |
| Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli) On the Problem of Over-clustering in Tuple-based Coordination Systems (talk, 11/07/2007) First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007) |
| Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli) A Case of Self-Organising Environment for MAS: the Collective Sort Problem (talk, 15/12/2006) Fourth European Workshop on Multi-Agent Systems, EUMAS 2006 |
| Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli) Collective Sorting Tuple Spaces (talk, 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 (talk, 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 (talk, 31/08/2006) FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006) |
| Matteo Casadei (Matteo Casadei) Maude: A Language for Concurrent Rewriting (seminar, 29/11/2007) Computational Models and Languages LM |
| Matteo Casadei (Matteo Casadei) Designing Self-Organizing Multiagent Systems (seminar, 23/02/2007) Florida Tech: Fridays' Seminars, Spring 2007 |
| Matteo Casadei (Matteo Casadei) Introduction to Maude rewriting language (seminar, 23/11/2006) Computational Models and Languages - Master Degree on Computer Science Engineering of II Faculty of Engineering at Università di Bologna (Cesena) |
| Matteo Casadei (Matteo Casadei) Matteo Casadei's Research Activity (internal talk, 15/06/2007) Weekly aliCE Meetings |
