Titolo	Autore(i)	Anno	Periodico	Editore	Tipo
1	Workshop on the Foundations of Interactive Computation: FInCo 2005	Dina Goldin; Mirko Viroli	2005		LFCS University of Endiburgh	3.02 Curatela
2	Workshop on the Foundations of Interactive Computation (FInCo 2005)	Dina Goldin; Mirko Viroli	2005			7.12 Attività espositiva:Mostra o Esposizione
3	WOA 2010 — Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*	Andrea Omicini; Mirko Viroli	2010		Sun SITE Central Europe, RWTH Aachen University	3.02 Curatela
4	What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication	Tummolini Luca; Castelfranchi Cristiano; Ricci Alessandro; Viroli Mirko; Omicini Andrea	2004		s.n.	4.01 Contributo in Atti di convegno
5	Verifying Properties of Coordination by Well-Structured Transition Systems	Mirko Viroli	2004	ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE		1.01 Articolo in rivista
6	Variant Path Types for Scalable Extensibility	Atsushi Igarasi; Mirko Viroli	2007		s.n	4.01 Contributo in Atti di convegno
7	Variant path types for scalable extensibility	Atsushi Igarashi; Mirko Viroli	2007	ACM SIGPLAN NOTICES		4.01 Contributo in Atti di convegno
8	Variant parametric types: A flexible subtyping scheme for generics	Atsushi Igarashi; Mirko Viroli	2006	ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS		1.01 Articolo in rivista
9	Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems	Matteo Casadei; Mirko Viroli	2009		ACM	4.01 Contributo in Atti di convegno
10	Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism	Matteo Casadei; Ronaldo Menezes; Mirko Viroli; Robert Tolksdorf	2007		Springer	4.01 Contributo in Atti di convegno
11	Understanding Access Restriction of Variant Parametric Types and Java Wildcards	Giovanni Rimassa; Mirko Viroli	2005		ACM	4.01 Contributo in Atti di convegno
12	A type-sound calculus of computational fields	Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob	2016	SCIENCE OF COMPUTER PROGRAMMING		1.01 Articolo in rivista
13	Type-based self-stabilisation for computational fields	Damiani, Ferruccio; Viroli, Mirko	2015	LOGICAL METHODS IN COMPUTER SCIENCE		1.01 Articolo in rivista
14	TuCSoN: an Internet-based Infrastructure for the Coordination of Open and Distributed Multi-agent Systems	Omicini Andrea; Ricci Alessandro; Denti Enrico; Viroli Mirko; Zambonelli Franco; Bellavia Giuseppe	2004			7.04 Software
15	Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain	Danilo Pianini; Giovanni Ciatto; Roberto Casadei; Stefano Mariani; Mirko Viroli; Andrea Omicini	2018		ACM	4.01 Contributo in Atti di convegno
16	Towards attack-resistant Aggregate Computing using trust mechanisms	Casadei, Roberto*; Aldini, Alessandro; Viroli, Mirko	2018	SCIENCE OF COMPUTER PROGRAMMING		1.01 Articolo in rivista
17	Towards aggregate programming in Scala	Casadei, Roberto; Viroli, Mirko	2016		Association for Computing Machinery	4.01 Contributo in Atti di convegno
18	Towards Agent Aggregates: Perspectives and Challenges	Viroli, Mirko; Ricci, Alessandro	2015		Springer Verlag	2.01 Capitolo / saggio in libro
19	Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services	Mirko Viroli; Matteo Casadei; Elena Nardini; Andrea Omicini	2010		Springer	2.01 Capitolo / saggio in libro
20	Towards a mobile augmented reality system for emergency management: The case of SAFE	Croatti, Angelo; Ricci, Alessandro; Viroli, Mirko	2017	INTERNATIONAL JOURNAL OF DISTRIBUTED SYSTEMS AND TECHNOLOGIES		1.01 Articolo in rivista