VIROLI, MIRKO
Dettaglio
VIROLI, MIRKO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Pubblicazioni
Risultati 1 - 20 di 305 (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 | - |