VIROLI, MIRKO
VIROLI, MIRKO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
"Give Agents their Artifacts": The A&A Approach for Engineering Working Environments in MAS
2007 Ricci Alessandro; Viroli Mirko; Omicini Andrea
4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005)
2005 Carlos Canal; Mirko Viroli
5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)
2006 Carlos Canal; Mirko Viroli
6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007)
2007 Carlos Canal; Pascal Poizat; Mirko Viroli
A biochemical approach to adaptive service ecosystems
2010 M. Viroli; F. Zambonelli
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
2009 M. Viroli; F. Zambonelli; M. Casadei; S. Montagna
A Calculus of Agents and Artifacts
2011 F. Damiani; P. Giannini; A. Ricci; M. Viroli
A calculus of computation fields
2013 Mirko Viroli; Ferruccio Damiani; Jacob Beal
A Calculus of Computational Fields
2013 Mirko Viroli; Ferruccio Damiani; Jacob Beal
A calculus of self-stabilising computational fields
2014 Viroli, Mirko; Damiani, Ferruccio
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems
2011 D. Pianini; S. Montagna; M. Viroli
A computational framework for modelling multicellular biochemistry
2009 S. Montagna; M. Viroli
A Computational Framework for Multilevel Morphologies
2012 Sara Montagna;Mirko Viroli
A Conceptual Framework for Self-Organising MAS
2004 Omicini Andrea; Ricci Alessandro; Viroli Mirko; Castelfranchi Cristiano; Tummolini Luca
A Coordination Approach to Adaptive Pervasive Service Ecosystems
2011 M. Viroli;E. Nardini;G. Castelli;M. Mamei;F. Zambonelli
A coordination model of pervasive service ecosystems
2015 Viroli, Mirko; Pianini, Danilo; Montagna, Sara; Stevenson, Graeme; Zambonelli, Franco
A core calculus for correlation in orchestration languages
2007 Mirko Viroli
A development approach for collective opportunistic Edge-of-Things services
2019 Casadei Roberto; Fortino Giancarlo; Pianini Danilo; Russo Wilma; Savaglio Claudio; Viroli Mirko
A field-based computing approach to sensing-driven clustering in robot swarms
2022 Aguzzi G.; Audrito G.; Casadei R.; Damiani F.; Torta G.; Viroli M.
A Formal Model for Artifact-Based Environments in MAS Programming
2009 Ricci A.; Viroli M.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| "Give Agents their Artifacts": The A&A Approach for Engineering Working Environments in MAS | Ricci Alessandro; Viroli Mirko; Omicini Andrea | 2007-01-01 | - | IFAAMAS | 4.01 Contributo in Atti di convegno | - |
| 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005) | Carlos Canal; Mirko Viroli | 2005-01-01 | - | - | 7.12 Attività espositiva:Mostra o Esposizione | - |
| 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006) | Carlos Canal; Mirko Viroli | 2006-01-01 | - | - | 7.12 Attività espositiva:Mostra o Esposizione | - |
| 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007) | Carlos Canal; Pascal Poizat; Mirko Viroli | 2007-01-01 | - | - | 7.12 Attività espositiva:Mostra o Esposizione | - |
| A biochemical approach to adaptive service ecosystems | M. Viroli; F. Zambonelli | 2010-01-01 | INFORMATION SCIENCES | - | 1.01 Articolo in rivista | - |
| A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems | M. Viroli; F. Zambonelli; M. Casadei; S. Montagna | 2009-01-01 | - | ACM | 4.01 Contributo in Atti di convegno | - |
| A Calculus of Agents and Artifacts | F. Damiani; P. Giannini; A. Ricci; M. Viroli | 2011-01-01 | - | Springer Berlin Heidelberg | 4.01 Contributo in Atti di convegno | - |
| A calculus of computation fields | Mirko Viroli; Ferruccio Damiani; Jacob Beal | 2013-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| A Calculus of Computational Fields | Mirko Viroli; Ferruccio Damiani; Jacob Beal | 2013-01-01 | - | Springer Berlin Heidelberg | 4.01 Contributo in Atti di convegno | - |
| A calculus of self-stabilising computational fields | Viroli, Mirko; Damiani, Ferruccio | 2014-01-01 | - | Springer Verlag | 2.01 Capitolo / saggio in libro | - |
| A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems | D. Pianini; S. Montagna; M. Viroli | 2011-01-01 | - | IEEE Computer Society Press | 4.01 Contributo in Atti di convegno | - |
| A computational framework for modelling multicellular biochemistry | S. Montagna; M. Viroli | 2009-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
| A Computational Framework for Multilevel Morphologies | Sara Montagna;Mirko Viroli | 2012-01-01 | - | Springer Berlin Heidelberg | 2.01 Capitolo / saggio in libro | - |
| A Conceptual Framework for Self-Organising MAS | Omicini Andrea; Ricci Alessandro; Viroli Mirko; Castelfranchi Cristiano; Tummolini Luca | 2004-01-01 | - | Pitagora Editrice | 4.01 Contributo in Atti di convegno | - |
| A Coordination Approach to Adaptive Pervasive Service Ecosystems | M. Viroli;E. Nardini;G. Castelli;M. Mamei;F. Zambonelli | 2011-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
| A coordination model of pervasive service ecosystems | Viroli, Mirko; Pianini, Danilo; Montagna, Sara; Stevenson, Graeme; Zambonelli, Franco | 2015-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
| A core calculus for correlation in orchestration languages | Mirko Viroli | 2007-01-01 | JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING | - | 1.01 Articolo in rivista | - |
| A development approach for collective opportunistic Edge-of-Things services | Casadei Roberto; Fortino Giancarlo; Pianini Danilo; Russo Wilma; Savaglio Claudio; Viroli Mirko | 2019-01-01 | INFORMATION SCIENCES | - | 1.01 Articolo in rivista | - |
| A field-based computing approach to sensing-driven clustering in robot swarms | Aguzzi G.; Audrito G.; Casadei R.; Damiani F.; Torta G.; Viroli M. | 2022-01-01 | SWARM INTELLIGENCE | - | 1.01 Articolo in rivista | - |
| A Formal Model for Artifact-Based Environments in MAS Programming | Ricci A.; Viroli M. | 2009-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |