CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishVIROLI, MIRKO
Risultati 1 - 20 di 280 (tempo di esecuzione: 0.001 secondi).
| 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 |
Nome completo:
VIROLI, MIRKO
Copyright © 2019