Per Year
4
talks
/
2006
/
Mirko Viroli
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (talk, EUMAS 2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
- Collective Sorting Tuple Spaces (talk, WOA 2006) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli)
- Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (talk, AICA 2006) — Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei)
- Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (talk, FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006)) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
0000-0003-2702-5702