VIROLI, MIRKO

VIROLI, MIRKO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Risultati 1 - 20 di 315 (tempo di esecuzione: 0.031 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
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 Computational Fields Mirko Viroli; Ferruccio Damiani; Jacob Beal 2013-01-01 - Springer Berlin Heidelberg 4.01 Contributo in Atti di convegno -
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 core calculus for correlation in orchestration languages Mirko Viroli 2007-01-01 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING - 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 -
A Framework for Engineering Interactions in Java-based Component Systems Antonio Natali; Enrico Oliva; Alessandro Ricci; Mirko Viroli 2005-01-01 - s.n 4.01 Contributo in Atti di convegno -
A Framework for Engineering Interactions in Java-based Component Systems Antonio Natali; Enrico Oliva; Alessandro Ricci; Mirko Viroli 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
A Framework for Modelling and Simulating Networks of Cells S. Montagna; M. Viroli 2010-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems M. Casadei;M. Viroli 2012-01-01 - CEUR-WS 4.01 Contributo in Atti di convegno -
A General Purpose Programming Model & Technology for Developing Working Environments in MAS Ricci Alessandro; Viroli Mirko; Omicini Andrea 2007-01-01 - s.n 4.01 Contributo in Atti di convegno -
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation Sara Montagna; Danilo Pianini; Mirko Viroli 2012-01-01 - ACM Press 4.01 Contributo in Atti di convegno -