41
pubblicazioni
/
2006–2013
/
Matteo Casadei
2
pubblicazioni
/
2013
•
in cima •
indice •
in fondo
2
pubblicazioni
/
2012
•
in cima •
indice •
in fondo
- Middleware Infrastructures for Self-organising Pervasive Computing Systems (capitolo di libro) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
- Description and Composition of Bio-Inspired Design Patterns: the Gossip Case (articolo in atti) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
- Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (ACM Transactions on Autonomous and Adaptive Systems) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
- Core Operational Semantics of Proto (SAC 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei
- Programming Coordination Laws of Artifacts in CArtAgO (CM 2011 @ SAC 2011) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
5
pubblicazioni
/
2011
•
in cima •
indice •
in fondo
3
pubblicazioni
/
2010
•
in cima •
indice •
in fondo
- Self-Organising Coordination Systems (tesi di dottorato) — Matteo Casadei
- A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (SAC 2009) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
- Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (SAC 2009) — Matteo Casadei, Mirko Viroli
- On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming) — Matteo Casadei, Mirko Viroli, Luca Gardelli
- Situated Tuple Centres in ReSpecT (SAC 2009) — Matteo Casadei, Andrea Omicini
- Biochemical Tuple Spaces for Self-Organising Coordination (articolo in atti) — Mirko Viroli, Matteo Casadei
- A Framework for Modelling and Implementing Self-Organising Coordination (SAC 2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini
8
pubblicazioni
/
2009
•
in cima •
indice •
in fondo
- Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (International Journal of Agent-Oriented Software Engineering) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Situating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008 @ WET ICE 2008) — Matteo Casadei, Andrea Omicini
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (SASO 2008) — Matteo Casadei, Mirko Viroli
- A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (ICL 2008) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
- Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- ReSpecT Guide (manuale) — Matteo Casadei, Andrea Omicini
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (CoMA 2008 @ WET ICE 2008) — Matteo Casadei, Mirko Viroli, Marco Santarelli
7
pubblicazioni
/
2008
•
in cima •
indice •
in fondo
- A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (FOCLASA 2006 @ CONCUR'06) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- On the Problem of Over-clustering in Tuple-based Coordination Systems (SASO 2007) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
- Designing Self-organising MAS Environments: The Collective Sort Case (E4MAS 2006 @ AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (SAC 2007) — Mirko Viroli, Matteo Casadei, Luca Gardelli
- Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07) — Matteo Casadei, Andrea Omicini, Mirko Viroli
8
pubblicazioni
/
2007
•
in cima •
indice •
in fondo
- L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (AICA 2006) — Antonio Natali, Antonio Del Cinque, Matteo Casadei
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (AICA 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- Collective Sorting Tuple Spaces (WOA 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (FOCLASA 2006 @ CONCUR'06) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (E4MAS 2006 @ AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
6
pubblicazioni
/
2006
•
in cima •
indice •
in fondo
