Professore ordinario
Dipartimento di Informatica - Scienza e Ingegneria
Settore scientifico disciplinare: ING-INF/05 SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Coordinatore del Corso di Laurea Magistrale in Ingegneria e scienze informatiche
Responsabile unità organizzativa di sede (UOS) Cesena — Dipartimento di Informatica — Scienza e Ingegneria
Omicini Andrea; Ricci Alessandro; Denti Enrico; Viroli Mirko; Zambonelli Franco; Bellavia Giuseppe, TuCSoN: an Internet-based Infrastructure for the Coordination of Open and Distributed Multi-agent Systems, 2004. [software]
Mirko Viroli, Verifying Properties of Coordination by Well-Structured Transition Systems, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 97, pp. 67 - 96 [articolo]
Al momento non sono presenti avvisi.
Accedi tramite login per gestire tutti i contenuti del sito.
