Ruolo editoriale nella rivista «Software»
Ruolo editoriale nella rivista «The Knowledge Engineering Review»
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob, A Higher-Order Calculus of Computational Fields, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2019, 20, Article number: 5 , pp. 1 - 55 [Scientific article]Open Access
Mirko Viroli ,
Giorgio Audrito,
Jacob Beal,
Ferruccio Damiani,
Danilo Pianini, Engineering Resilient Collective Adaptive Systems by Self-Stabilisation, «ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION», 2018, 28, Article number: 16 , pp. 1 - 28 [Scientific article]
Casadei, Roberto*; Aldini, Alessandro; Viroli, Mirko, Towards attack-resistant Aggregate Computing using trust mechanisms, «SCIENCE OF COMPUTER PROGRAMMING», 2018, 167, pp. 114 - 137 [Scientific article]
Beal, Jacob; Viroli, Mirko; Pianini, Danilo; Damiani, Ferruccio, Self-adaptation to device distribution in the internet of things, «ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS», 2017, 12, Article number: 12 , pp. 1 - 29 [Scientific article]
Beal, Jacob; Pianini, Danilo; Viroli, Mirko, Aggregate Programming for the Internet of Things, «COMPUTER», 2015, 48, Article number: 7274429 , pp. 22 - 30 [Scientific article]Open Access
Franco Zambonelli; Andrea Omicini; Bernhard Anzengruber; Gabriella Castelli; Francesco L. DeAngelis; Giovanna Di Marzo Serugendo; Simon Dobson; Jose Luis Fernandez-Marquez; Alois Ferscha; Marco Mamei; Stefano Mariani; Ambra Molesini; Sara Montagna; Jussi Nieminen; Danilo Pianini; Matteo Risoldi; Alberto Rosi; Graeme Stevenson; Mirko Viroli; Juan Ye, Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination, «PERVASIVE AND MOBILE COMPUTING», 2015, 17, pp. 236 - 252 [Scientific article]Open Access
Beal, Jacob; Viroli, Mirko, Space-time programming, «PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A: MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES», 2015, 373, pp. 1 - 19 [Scientific article]
Damiani, Ferruccio; Viroli, Mirko, Type-based self-stabilisation for computational fields, «LOGICAL METHODS IN COMPUTER SCIENCE», 2015, 11, pp. 1 - 53 [Scientific article]
Fernandez-Marquez, Jose Luis; Viroli, Mirko; Castelli, Gabriella, Best ACM SAC articles on coordination and self-adaptation, «ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS», 2014, 9, Article number: 6 , pp. 1 - 2 [Scientific article]
Danilo Pianini; Sara Montagna; Mirko Viroli, Chemical-oriented simulation of computational systems with ALCHEMIST, «JOURNAL OF SIMULATION», 2013, 7, pp. 202 - 215 [Scientific article]
Jose Luis Fernandez-Marquez; Giovanna Di Marzo; Sara Montagna; Mirko Viroli; Josep Lluis Arcos, Description and composition of bio-inspired design patterns: a complete overview, «NATURAL COMPUTING», 2013, 12(1), pp. 43 - 67 [Scientific article]
M. Viroli;J. Beal;K. Usbeck, Operational Semantics of Proto, «SCIENCE OF COMPUTER PROGRAMMING», 2013, 78(6), pp. 633 - 656 [Scientific article]
F. Zambonelli; M. Viroli, A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems, «INTERNATIONAL JOURNAL OF PERVASIVE COMPUTING AND COMMUNICATIONS», 2011, 7(3), pp. 186 - 204 [Scientific article]
