Foto del docente

Mirko Viroli

Professor

Department of Computer Science and Engineering

Academic discipline: ING-INF/05 Information Processing Systems

Vice Dean of Vicepresidenza della Scuola di Ingegneria — Cesena

Director of Second Cycle Degree of Computer Science and Engineering

Publications

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, pp. 1 - 55 [Scientific article]

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, 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, pp. 1 - 29 [Scientific article]

Beal, Jacob; Pianini, Danilo; Viroli, Mirko, Aggregate Programming for the Internet of Things, «COMPUTER», 2015, 48, pp. 22 - 30 [Scientific article]

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]

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, 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]

Latest news

At the moment no news are available.