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.
ItalianoVIROLI, MIRKO
Pubblicazioni
Risultati 1 - 20 di 300 (tempo di esecuzione: 0.001 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
|---|---|---|---|---|---|---|---|
| 1 | 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005) | Carlos Canal; Mirko Viroli | 2005 | 7.12 Attività espositiva:Mostra o Esposizione | - | ||
| 2 | 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006) | Carlos Canal; Mirko Viroli | 2006 | 7.12 Attività espositiva:Mostra o Esposizione | - | ||
| 3 | 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007) | Carlos Canal; Pascal Poizat; Mirko Viroli | 2007 | 7.12 Attività espositiva:Mostra o Esposizione | - | ||
| 4 | A biochemical approach to adaptive service ecosystems | M. Viroli; F. Zambonelli | 2010 | INFORMATION SCIENCES | 1.01 Articolo in rivista | - | |
| 5 | A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems | M. Viroli; F. Zambonelli; M. Casadei; S. Montagna | 2009 | ACM | 4.01 Contributo in Atti di convegno | - | |
| 6 | A Calculus of Agents and Artifacts | F. Damiani; P. Giannini; A. Ricci; M. Viroli | 2011 | Springer Berlin Heidelberg | 4.01 Contributo in Atti di convegno | - | |
| 7 | A Calculus of Computational Fields | Mirko Viroli; Ferruccio Damiani; Jacob Beal | 2013 | Springer Berlin Heidelberg | 4.01 Contributo in Atti di convegno | - | |
| 8 | A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems | D. Pianini; S. Montagna; M. Viroli | 2011 | IEEE Computer Society Press | 4.01 Contributo in Atti di convegno | - | |
| 9 | A computational framework for modelling multicellular biochemistry | S. Montagna; M. Viroli | 2009 | IEEE | 4.01 Contributo in Atti di convegno | - | |
| 10 | A Computational Framework for Multilevel Morphologies | Sara Montagna;Mirko Viroli | 2012 | Springer Berlin Heidelberg | 2.01 Capitolo / saggio in libro | - | |
| 11 | A Conceptual Framework for Self-Organising MAS | Omicini Andrea; Ricci Alessandro; Viroli Mirko; Castelfranchi Cristiano; Tummolini Luca | 2004 | Pitagora Editrice | 4.01 Contributo in Atti di convegno | - | |
| 12 | A Coordination Approach to Adaptive Pervasive Service Ecosystems | M. Viroli;E. Nardini;G. Castelli;M. Mamei;F. Zambonelli | 2011 | IEEE | 4.01 Contributo in Atti di convegno | - | |
| 13 | A core calculus for correlation in orchestration languages | Mirko Viroli | 2007 | JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | 1.01 Articolo in rivista | - | |
| 14 | A Formal Model for Artifact-Based Environments in MAS Programming | Ricci A.; Viroli M. | 2009 | s.n | 4.01 Contributo in Atti di convegno | - | |
| 15 | A Framework for Engineering Interactions in Java-based Component Systems | Antonio Natali; Enrico Oliva; Alessandro Ricci; Mirko Viroli | 2005 | s.n | 4.01 Contributo in Atti di convegno | - | |
| 16 | A Framework for Engineering Interactions in Java-based Component Systems | Antonio Natali; Enrico Oliva; Alessandro Ricci; Mirko Viroli | 2006 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
| 17 | A Framework for Modelling and Simulating Networks of Cells | S. Montagna; M. Viroli | 2010 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
| 18 | A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems | M. Casadei;M. Viroli | 2012 | CEUR-WS | 4.01 Contributo in Atti di convegno | - | |
| 19 | A General Purpose Programming Model & Technology for Developing Working Environments in MAS | Ricci Alessandro; Viroli Mirko; Omicini Andrea | 2007 | s.n | 4.01 Contributo in Atti di convegno | - | |
| 20 | A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation | Sara Montagna; Danilo Pianini; Mirko Viroli | 2012 | ACM Press | 4.01 Contributo in Atti di convegno | - |
Dettaglio
VIROLI, MIRKO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Copyright © 2020