Foto del docente

Mirko Viroli

Full Professor

Department of Computer Science and Engineering

Academic discipline: ING-INF/05 Information Processing Systems

Director of Second Cycle Degree in Computer Science and Engineering

Director of Organisational Unit (UOS) Cesena of Department of Computer Science and Engineering

Publications

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 [Scientific article]

Latest news

At the moment no news are available.