Per Year

Per Year

5 talks  /  2006  /  Matteo Casadei

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)
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, 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)
(5 talks in 2006)  [top]  [bottom]





APICe Laboratory
Via Venezia, 52
47023, Cesena (FC)

Phone: +39 0547 339 210

Fax: +39 0547 339 208


Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY