Foto del docente

Mirko Viroli

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

Pubblicazioni

Viroli Mirko; Omicini Andrea, Coordination as a Service, «FUNDAMENTA INFORMATICAE», 2006, 73, pp. 507 - 534 [articolo]

Luca Gardelli; Mirko Viroli; Matteo Casadei, On engineering selforganizing environments: Stochastic methods for dynamic resource allocation, in: 3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006). Proceedings, HAKODATE, s.n, 2006, pp. 96 - 101 (atti di: 3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006), 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, 8 maggio 2006) [Contributo in Atti di convegno]

Viroli Mirko; Ricci Alessandro; Omicini Andrea, Operating Instructions for Intelligent Agent Coordination, «KNOWLEDGE ENGINEERING REVIEW», 2006, 21, pp. 49 - 69 [articolo]

Atsushi Igarashi; Mirko Viroli, Variant parametric types: A flexible subtyping scheme for generics, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2006, 28(5), pp. 795 - 847 [articolo]

Mirko Viroli; Alessandro Ricci, Agent Interaction Semantics by Timed Operating Instructions, in: Agent Communication, Berlin Heidelberg, Springer, 2005, pp. 173 - 192 [capitolo di libro]

Mirko Viroli, Effective and efficient compilation of run-time generics in Java, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2005, 138(2), pp. 95 - 116 [articolo]

Danny Weyns; Michael Schumacher; Alessandro Ricci; Mirko Viroli; Holvoet Tom, Environments in multiagent systems, «KNOWLEDGE ENGINEERING REVIEW», 2005, 20(2), pp. 127 - 141 [articolo]

TUMMOLINI LUCA; CASTELFRANCHI CRISTIANO; RICCI ALESSANDRO; VIROLI MIRKO; OMICINI ANDREA, “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages, in: Environments for Multi-Agent Systems, Berlin Heidelberg, Springer, 2005, pp. 215 - 231 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

Atsushi Igarashi; Saito Chieri; Mirko Viroli, Lightweight family polymorphism, in: Programming Languages and Systems, Heildeberg Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3780, pp. 161 - 177 (atti di: The Third Asian Symposium on Programming Languages and Systems (APLAS 2005), Tsukuba, Japan, 2–5 November 2005) [Contributo in Atti di convegno]

Mirko Viroli; Giovanni Rimassa, On access restriction with Java wildcards, «JOURNAL OF OBJECT TECHNOLOGY», 2005, 4(10) [articolo]

Viroli Mirko; Omicini Andrea, Process-Algebraic Approaches for Multi-Agent Systems: An Overview, «APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING», 2005, 16, pp. 69 - 75 [articolo]

Dina Goldin; Mirko Viroli, Workshop on the Foundations of Interactive Computation: FInCo 2005, EDINBURGH, LFCS University of Endiburgh, 2005, pp. 149 . [curatela]

OMICINI ANDREA; RICCI ALESSANDRO; VIROLI MIRKO; CASTELFRANCHI CRISTIANO; TUMMOLINI LUCA, Coordination Artifacts: Environment-based Coordination for Intelligent Agents, in: Proceedings of the 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), NEW YORK, ACM, 2004, 1, pp. 286 - 293 (atti di: 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), New York, NY, USA, 19-23 Luglio 2004) [Contributo in Atti di convegno]

M.Viroli; A.Ricci, Instructions-Based Semantics of Agent Mediated Interaction, in: JENNINGS NICHOLAS R., SIERRA CARLES, SONENBERG LIZ, TAMBE MILIND, AAMAS 2004. 3rd international Joint Conference on Autonomous Agents and Multiagent Systems, NEW YORK, ACM, 2004, 1, pp. 102 - 110 (atti di: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), New York City, USA, July 19-23 2004) [Contributo in Atti di convegno]

OMICINI ANDREA; RICCI ALESSANDRO; VIROLI MIRKO; CIOFFI MARCO; RIMASSA GIOVANNI, Multi-agent Infrastructures for Objective and Subjective Coordination, «APPLIED ARTIFICIAL INTELLIGENCE», 2004, 18, pp. 815 - 831 [articolo]

Ultimi avvisi

Al momento non sono presenti avvisi.