Per tipo
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
(articolo in rivista) IEEE Internet of Things Journal 9(20), 2022
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
(articolo in rivista) Computers & Electrical Engineering 96(Part B), 2021
Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
(articolo in rivista) Future Generation Computer Systems 114, 2021
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
(articolo in rivista) ACM Transactions on Computational Logic 20(1), gennaio 2019
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
(articolo in rivista) Future Generation Computer Systems 91, 2019
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
(articolo in rivista) Information Sciences 498, 2019
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
(articolo in rivista) Journal of Logical and Algebraic Methods in Programming 109, 2019
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
(articolo in rivista) Science of Computer Programming 166, 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
(articolo in rivista) Science of Computer Programming 167, 2018
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
(articolo in rivista) ACM Transactions on Modeling and Computer Simulation 28(2), marzo 2018
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
(articolo in rivista) Expert Systems 35(5), ottobre 2018
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
(articolo in rivista) International Journal of Agent-Oriented Software Engineering 4(5), 2017
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
(articolo in rivista) ACM Transactions on Autonomous and Adaptive Systems 12(3), settembre 2017
Angelo Croatti, Alessandro Ricci, Mirko Viroli
(articolo in rivista) International Journal of Distributed Systems and Technologies 8(1), 2017
Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
(articolo in rivista) The Knowledge Engineering Review 31(4), settembre 2016
Ferruccio Damiani, Mirko Viroli, Jacob Beal
(articolo in rivista) Science of Computer Programming 117, 2016
Sara Montagna, Mirko Viroli, Andrea Roli
(articolo in rivista) SIMULATION: Transactions of the Society for Modeling and Simulation International 91(7), giugno 2015
Ferruccio Damiani, Mirko Viroli
(articolo in rivista) Logical Methods in Computer Science 11(4), 2015
Jacob Beal, Mirko Viroli
(articolo in rivista) Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373(2046), 2015
Jacob Beal, Danilo Pianini, Mirko Viroli
(articolo in rivista) Computer 48(9), Sept 2015
Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José 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
(articolo in rivista) Pervasive and Mobile Computing 17-B, febbraio 2015
Jacob Beal, Mirko Viroli
(articolo in rivista) SIGSPATIAL Special 7(2), settembre 2015
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
(articolo in rivista) Science of Computer Programming 110, 2015
Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
(articolo in rivista) Mobile Networks and Applications 18(3), 2013
Mirko Viroli, Jacob Beal, Kyle Usbeck
(articolo in rivista) Science of Computer Programming 78(6), giugno 2013
Danilo Pianini, Sara Montagna, Mirko Viroli
(articolo in rivista) Journal of Simulation, 2013
Mirko Viroli
(articolo in rivista) Science of Computer Programming 78(5), maggio 2013
Elena Nardini, Andrea Omicini, Mirko Viroli
(articolo in rivista) Science of Computer Programming 78(5), maggio 2013
Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
(articolo in rivista) Natural Computing 12(1), 2013
Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
(articolo in rivista) Science of Computer Programming 78(6), giugno 2013
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
(articolo in rivista) Scientific Annals of Computer Science 22(2), 2012
Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
(articolo in rivista) Applied Computing Review 11(2), Spring 2011
Carlos Canal, Mirko Viroli
(articolo in rivista) Science of Computer Programming 76(1), maggio 2011
Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
(articolo in rivista) ACM Transactions on Autonomous and Adaptive Systems 6(2), giugno 2011
Peter McBurney, Simon Parsons, Mirko Viroli
(articolo in rivista) The Knowledge Engineering Review 26(1), marzo 2011
Andrea Omicini, Mirko Viroli
(articolo in rivista) The Knowledge Engineering Review 26(1), marzo 2011
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
(articolo in rivista) Science of Computer Programming 76(1), gennaio 2011
Franco Zambonelli, Mirko Viroli
(articolo in rivista) International Journal of Pervasive Computing and Communications 7(3), 2011
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
(articolo in rivista) Communications in Computer and Information Science 50, 2011
Alessandro Ricci, Michele Piunti, Mirko Viroli
(articolo in rivista) Autonomous Agents and Multi-Agent Systems 23(2), settembre 2011
Mirko Viroli, Franco Zambonelli
(articolo in rivista) Information Sciences 180(10), 2010
Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
(articolo in rivista) International Journal of Artificial Intelligence 4(S10), Spring 2010
Ambra Molesini, Andrea Omicini, Mirko Viroli
(articolo in rivista) Multiagent and Grid Systems 5(1), 2009
Matteo Casadei, Mirko Viroli, Luca Gardelli
(articolo in rivista) Science of Computer Programming 74(9), 2009
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(articolo in rivista) Autonomous Agents and Multi-Agent Systems 17(3), dicembre 2008
Maurizio Cimadamore, Mirko Viroli
(articolo in rivista) Science of Computer Programming 73(2-3), ottobre 2008
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
(articolo in rivista) International Journal of Agent-Oriented Software Engineering 2(2), 2008
Chieri Saito, Atsushi Igarashi, Mirko Viroli
(articolo in rivista) Journal of Functional Programming 18(3), maggio 2008
Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
(articolo in rivista) Journal of Universal Computer Science 14(13), 2008
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(articolo in rivista) Web Intelligence and Agent Systems 5(2), agosto 2007
Carlos Canal, Mirko Viroli
(articolo in rivista) Science of Computer Programming 66(3), maggio 2007
Mirko Viroli, Andrea Omicini, Alessandro Ricci
(articolo in rivista) Applied Artificial Intelligence 21(4-5), aprile 2007
Atsushi Igarashi, Mirko Viroli
(articolo in rivista) ACM SIGPLAN Notices 42(10), 2007
Davide Ancona, Mirko Viroli
(articolo in rivista) The Journal of Object Technology 6(2), 2007
Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
(articolo in rivista) Autonomous Agents and Multi-Agent Systems 14(1), luglio 2007
Mirko Viroli, Enrico Denti, Alessandro Ricci
(articolo in rivista) Science of Computer Programming 66(3), maggio 2007
Mirko Viroli
(articolo in rivista) The Journal of Logic and Algebraic Programming 70(1), gennaio 2007
Mirko Viroli, Andrea Omicini
(articolo in rivista) Fundamenta Informaticae 73(4), 2006
Atsushi Igarashi, Mirko Viroli
(articolo in rivista) ACM Transactions on Programming Languages and Systems 28(5), settembre 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in rivista) Applied Artificial Intelligence 20(2-4), febbraio 2006
Mirko Viroli, Alessandro Ricci, Andrea Omicini
(articolo in rivista) The Knowledge Engineering Review 21(1), marzo 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(articolo in rivista) Science of Computer Programming 63(1), novembre 2006
Mirko Viroli, Giovanni Rimassa
(articolo in rivista) The Journal of Object Technology 4(10), 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(articolo in rivista) Applicable Algebra in Engineering, Communication and Computing 16(2-3), agosto 2005
Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
(articolo in rivista) The Knowledge Engineering Review 20(2), giugno 2005
Alessandro Ricci, Mirko Viroli
(articolo in rivista) Informatica 29(4), novembre 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
(articolo in rivista) Applied Artificial Intelligence 18(9-10), ottobre 2004
Davide Ancona, Mirko Viroli
(articolo in rivista) The Journal of Object Technology 3(11), 2004
Mirko Viroli
(articolo in rivista) The Computer Journal 46(3), 2003
Mirko Viroli, Andrea Omicini
(articolo in rivista) Applied Artificial Intelligence 16(9-10), October-December 2002
Mirko Viroli, Andrea Omicini
(articolo in rivista) Journal of Universal Computer Science 8(4), aprile 2002
Mirko Viroli, Andrea Omicini
(articolo in rivista) AI*IA Notizie XIV(4), dicembre 2001
Mirko Viroli, Antonio Natali
(articolo in rivista) ACM SIGPLAN Notices 35(10), 2000
Angela Cortecchia, Davide Domini, Giovanni Ciatto, Roberto Casadei, Danilo Pianini, Mirko Viroli
(articolo in atti) 2026 22nd International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT), 2026
Roberto Casadei, Mirko Viroli, Alessandro Ricci
(articolo in atti) 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), settembre 2020
Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
(articolo in atti) Coordination Models and Languages, 2020
Roberto Casadei, Mirko Viroli
(articolo in atti) 2019 4th International Conference on Fog and Mobile Edge Computing (FMEC), giugno 2019
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
(articolo in atti) Coordination Models and Languages. Lecture Notes in Computer Science 11533, 2019
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
(articolo in atti) Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
(articolo in atti) Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science 11535, 2019
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
(articolo in atti) AAMAS 2019, 2019
Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
(articolo in atti) IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019, 11-15 March 2019
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
(articolo in atti) IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
(articolo in atti) 2019 IEEE International Conference on Services Computing (SCC), luglio 2019
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
(articolo in atti) Proceedings of the 13th European Conference on Software Architecture - Volume 2. ECSA '19, 2019
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
(articolo in atti) AI&IoT 2019. CEUR Workshop Proceedings 2502, 2019
Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
(articolo in atti) Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019
Danilo Pianini, Roberto Casadei, Mirko Viroli
(articolo in atti) IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
(articolo in atti) GOODTECHS 2018, novembre 2018
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
(articolo in atti) 4th IEEE World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018, 2018
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
(articolo in atti) COORDINATION 2018. Lecture Notes in Computer Science 10852, 2018
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
(articolo in atti) ALP4IoT2017. Lecture Notes in Computer Science 10852, 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
(articolo in atti) FOCLASA 2017. Lecture Notes in Computer Science 10729, 2018
Roberto Casadei, Mirko Viroli
(articolo in atti) 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
(articolo in atti) 2018 IEEE Real-Time Systems Symposium (RTSS), dicembre 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
(articolo in atti) ALP4IoT2017. Electronic Proceedings in Theoretical Computer Science 264, 2018
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
(articolo in atti) WOA 2017. CEUR Workshop Proceedings 1867, giugno 2017
Danilo Pianini, Simon Dobson, Mirko Viroli
(articolo in atti) SASO 2017, 2017
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
(articolo in atti) Coordination Models and Languages. Lecture Notes in Computer Science 10319, 2017
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
(articolo in atti) Studies in Computational Intelligence 678, 2017
Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
(articolo in atti) eCAS 2017, 2017
Danilo Pianini, Jacob Beal, Mirko Viroli
(articolo in atti) SASO 2017, 2017
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
(articolo in atti) SASO 2017, 2017
Mirko Viroli, Roberto Casadei, Danilo Pianini
(articolo in atti) Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gdansk, Poland, September 11-14, 2016., 11-14 September 2016
Jacob Beal, Mirko Viroli
(articolo in atti) Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. Lecture Notes in Computer Science 9700, 2016
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
(articolo in atti) SASO 2016, 2016
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
(articolo in atti) 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, settembre 2016
Mirko Viroli, Roberto Casadei, Danilo Pianini
(articolo in atti) Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct. UbiComp '16, 2016
Mirko Viroli, Jacob Beal
(articolo in atti) Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems. Electronic Proceedings in Theoretical Computer Science 217, 2016
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
(articolo in atti) eCAS 2016, 2016
Roberto Casadei, Mirko Viroli
(articolo in atti) 1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16), 17 July 2016
Danilo Pianini, Jacob Beal, Mirko Viroli
(articolo in atti) Coordination Models and Languages. Lecture Notes in Computer Science 9686, 2016
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
(articolo in atti) SASO 2016, Sept 2016
Danilo Pianini, Jacob Beal, Mirko Viroli
(articolo in atti) COORDINATION 2016, 2016
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
(articolo in atti) SASO 2015, 2015
Mirko Viroli, Alessandro Ricci
(articolo in atti) EMAS 2015, 2015
Danilo Pianini, Mirko Viroli, Jacob Beal
(articolo in atti) SAC 2015, 2015
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
(articolo in atti) PRIMA 2015. Lecture Notes in Computer Science 9387, 2015
Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
(articolo in atti) FORTE 2015. Lecture Notes in Computer Science 9039, 2015
Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
(articolo in atti) 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, settembre 2015
Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
(articolo in atti) EMAS 2015, 2015
Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
(articolo in atti) Procedia Computer Science 63, settembre 2015
Jacob Beal, Mirko Viroli
(articolo in atti) FoCAS 2014, 2014
Mirko Viroli, Ferruccio Damiani
(articolo in atti) COORDINATION 2014. Lecture Notes in Computer Science 8459, 2014
Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
(articolo in atti) High Performance Computing Simulation (HPCS), 2014 International Conference on, luglio 2014
Jacob Beal, Mirko Viroli, Ferruccio Damiani
(articolo in atti) 7th International Spatial Computing Workshop (SCW 2014), 6 May 2014
Mirko Viroli
(articolo in atti) SCW 2013, 6 May 2013
Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
(articolo in atti) ASENSIS 2012, aprile 2013
Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
(articolo in atti) CM 2013, marzo 2013
Mirko Viroli, Ferruccio Damiani, Jacob Beal
(articolo in atti) Communications in Computer and Information Science 393, 2013
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
(articolo in atti) EMAS 2013. Lecture Notes in Computer Science 8245, dicembre 2013
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(articolo in atti) ASENSIS 2012, aprile 2013
Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
(articolo in atti) ASENSIS 2012, aprile 2013
Sara Montagna, Mirko Viroli
(articolo in atti) SCW 2013, 6 May 2013
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
(articolo in atti) EMAS 2013, 6-7 May 2013
Sara Montagna, Danilo Pianini, Mirko Viroli
(articolo in atti) SAC 2012, 26-30 March 2012
Sara Montagna, Danilo Pianini, Mirko Viroli
(articolo in atti) SASO 2012, settembre 2012
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
(articolo in atti) SAC 2012, 26-30 March 2012
Mirko Viroli, Danilo Pianini, Jacob Beal
(articolo in atti) Coordination Models and Languages. LNCS 7274, giugno 2012
Matteo Casadei, Mirko Viroli
(articolo in atti) WOA 2012, settembre 2012
Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
(articolo in atti) ASENSIS 2012, 10 September 2012
Mirko Viroli, Graeme Stevenson
(articolo in atti) SCW 2012, giugno 2012
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
(articolo in atti) CM 2012, 26-30 March 2012
Mirko Viroli, Graeme Stevenson
(articolo in atti) SCW 2012, 2012
Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
(articolo in atti) WOA 2012, 12 September 2012
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(articolo in atti) ASENSIS 2012, 10 September 2012
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
(articolo in atti) WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
(articolo in atti) SASO 2011, 3-8 October 2011
Danilo Pianini, Mirko Viroli, Sara Montagna
(articolo in atti) WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 2011
Elena Nardini, Andrea Omicini, Mirko Viroli
(articolo in atti) CM 2011, marzo 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
(articolo in atti) SASO 2011, 7 October 2011
Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
(articolo in atti) Proceedings of the 3rd Workshop on Bio-Inspired and Self-* Algorithms for Distributed Systems, 14 June 2011
Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
(articolo in atti) fet11. Procedia Computer Science 7, maggio 2011
Mirko Viroli, Jacob Beal, Matteo Casadei
(articolo in atti) SAC 2011, 21–25 March 2011
Danilo Pianini, Sara Montagna, Mirko Viroli
(articolo in atti) Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011), 18-21 September 2011
Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
(articolo in atti) Proceedings of the 3rd International Workshop on Software Engineering for Resilient Systems. Lecture Notes in Computer Science 6968, 29-30 September 2011
Marco Sbaraglia, Mirko Viroli, Matteo Casadei
(articolo in atti) CM 2011, marzo 2011
Mirko Viroli, Matteo Casadei
(articolo in atti) SAC 2010, marzo 2010
Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
(articolo in atti) WOA 2010. CEUR Workshop Proceedings 621, settembre 2010
Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
(articolo in atti) SASO 2010, settembre 2010
Elena Nardini, Mirko Viroli, Emanuele Panzavolta
(articolo in atti) CM 2010, marzo 2010
Sara Montagna, Mirko Viroli
(articolo in atti) Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10) . Electronic Notes in Theoretical Computer Science Volume 268, 21 December 2010
Alessandro Ricci, Mirko Viroli, Michele Piunti
(articolo in atti) PROMAS 2009. LNAI 5919, 2010
Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
(articolo in atti) SOAR 2009. Lecture Notes in Computer Science 6090, luglio 2010
Elena Nardini, Andrea Omicini, Mirko Viroli
(articolo in atti) IAT 2009, settembre 2009
Alessandro Ricci, Michele Piunti, Mirko Viroli
(articolo in atti) Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009), settembre 2009
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
(articolo in atti) ArgMAS 2008. Lecture Notes in Computer Science 5384, febbraio 2009
Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
(articolo in atti) SAC 2009, March, 8-12 2009
Matteo Casadei, Mirko Viroli
(articolo in atti) IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., May, 18-21 2009
Matteo Casadei, Mirko Viroli
(articolo in atti) SAC 2009, March, 8-12 2009
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
(articolo in atti) ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009, luglio 2009
Sara Montagna, Mirko Viroli
(articolo in atti) 2009 IEEE Congress on Evolutionary Computation (CEC 2009), 18-21 May 2009
Mirko Viroli, Matteo Casadei
(articolo in atti) Coordination Languages and Models. Lecture Notes in Computer Science 5521, giugno 2009
Mirko Viroli, Matteo Casadei, Andrea Omicini
(articolo in atti) SAC 2009, marzo 2009
Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
(articolo in atti) FOCLASA 2007. Electronic Notes in Theoretical Computer Science 194, aprile 2008
Maurizio Cimadamore, Mirko Viroli
(articolo in atti) SAC 2008, 16-20 March 2008
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
(articolo in atti) 9th Workshop “From Objects to Agents” (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, novembre 2008
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) PROMAS 2007. Lecture Notes in Computer Science 4908, aprile 2008
Matteo Casadei, Mirko Viroli
(articolo in atti) SASO 2008, 20-24 October 2008
Enrico Oliva, Mirko Viroli, Andrea Omicini
(articolo in atti) WOA 2008, novembre 2008
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
(articolo in atti) Languages, Methodologies and Development Tools for Multi-Agent Systems. Lecture Notes in Computer Science 5118, luglio 2008
Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
(articolo in atti) CILC 2008, luglio 2008
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
(articolo in atti) ArgMAS 2008, maggio 2008
Franco Zambonelli, Mirko Viroli
(articolo in atti) IDC 2008. Studies in Computational Intelligence 162/2008, settembre 2008
Matteo Casadei, Andrea Omicini, Mirko Viroli
(articolo in atti) FOCLASA 2007. Electronic Notes in Theoretical Computer Science 194, aprile 2008
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
(articolo in atti) Workshop on Spatial Computing, ottobre 2008
Matteo Casadei, Mirko Viroli, Marco Santarelli
(articolo in atti) CoMA 2008, giugno 2008
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
(articolo in atti) Self-Organizing Systems. Lecture Notes in Computer Science 4725, agosto 2007
Matteo Casadei, Luca Gardelli, Mirko Viroli
(articolo in atti) FOCLASA 2006. Electronic Notes in Theoretical Computer Science 175, giugno 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) E4MAS 2006. Lecture Notes in Computer Science 4389, maggio 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) AAMAS 2007, maggio 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
(articolo in atti) IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). , 25-28 September 2007
Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
(articolo in atti) SASO 2007, 9-11 July 2007
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
(articolo in atti) E4MAS 2006. Lecture Notes in Computer Science 4389, maggio 2007
Luca Gardelli, Mirko Viroli, Andrea Omicini
(articolo in atti) EEDAS 2007, giugno 2007
Mirko Viroli, Matteo Casadei, Luca Gardelli
(articolo in atti) SAC 2007, 2007
Alessandro Ricci, Mirko Viroli
(articolo in atti) 5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007). ACM International Conference Proceeding 272, 5-7 September 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
(articolo in atti) Cooperative Information Agents XI. Lecture Notes in Computer Science 4676, settembre 2007
Matteo Casadei, Andrea Omicini, Mirko Viroli
(articolo in atti) FOCLASA 2007, settembre 2007
Maurizio Cimadamore, Mirko Viroli
(articolo in atti) 5th international symposium on Principles and practice of programming in Java (PPPJ '07), 2007
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
(articolo in atti) E4MAS 2006. Lecture Notes in Computer Science 4389, maggio 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) PROMAS 2007, maggio 2007
Luca Gardelli, Mirko Viroli, Andrea Omicini
(articolo in atti) CEEMAS 2007. Lecture Notes in Computer Science 4696, settembre 2007
Mirko Viroli, Andrea Omicini
(articolo in atti) FOCLASA 2004. Electronic Notes in Theoretical Computer Science 180, giugno 2007
Luca Gardelli, Mirko Viroli, Matteo Casadei
(articolo in atti) AICA 2006, 21-22 September 2006
Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
(articolo in atti) WOA 2006. CEUR Workshop Proceedings 204, ottobre 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(articolo in atti) SELMAS 2005. Lecture Notes in Computer Science 3914, aprile 2006
Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
(articolo in atti) FOCLASA 2005. Electronic Notes in Theoretical Computer Science 154, 2006
Luca Gardelli, Mirko Viroli, Andrea Omicini
(articolo in atti) EMCSR 2006, aprile 2006
Luca Gardelli, Mirko Viroli, Andrea Omicini
(articolo in atti) ESOA 2005. Lecture Notes in Computer Science 3910, 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) EMCSR 2006, aprile 2006
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
(articolo in atti) E4MAS 2006, 8 May 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
(articolo in atti) WOA 2006. CEUR Workshop Proceedings 204, ottobre 2006
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
(articolo in atti) FOCLASA 2005. Electronic Notes in Theoretical Computer Science 154, 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) E4MAS 2006, maggio 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
(articolo in atti) WOA 2006. CEUR Workshop Proceedings, 26-27 September 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
(articolo in atti) FOCLASA 2006, agosto 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
(articolo in atti) MAS&S'06, 5-7 June 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(articolo in atti) CoOrg 2005. Electronic Notes in Theoretical Computer Science 150, maggio 2006
Luca Gardelli, Mirko Viroli, Matteo Casadei
(articolo in atti) E4MAS 2006, May 8 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
(articolo in atti) EUMAS 2006. CEUR Workshop Proceedings, dicembre 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) PROMAS 2005. Lecture Notes in Computer Science 3862, marzo 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
(articolo in atti) WOA 2006. CEUR Workshop Proceedings 204, ottobre 2006
Luca Gardelli, Mirko Viroli, Andrea Omicini
(articolo in atti) ESOA 2005, luglio 2005
Mirko Viroli, Alessandro Ricci
(articolo in atti) Agent Communication. Lecture Notes in Artificial Intelligence 3396, gennaio 2005
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) E4MAS 2004. Lecture Notes in Artificial Intelligence 3374, febbraio 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(articolo in atti) SecCo'04. Electronic Notes in Theoretical Computer Science 128, maggio 2005
Mirko Viroli, Andrea Omicini, Alessandro Ricci
(articolo in atti) E4MAS 2005, luglio 2005
Mirko Viroli, Andrea Omicini, Alessandro Ricci
(articolo in atti) AI*IA 2005. Lecture Notes in Computer Science 3673, settembre 2005
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) PROMAS 2005, luglio 2005
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
(articolo in atti) EUMAS 2005, 7-8 December 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(articolo in atti) COORDINATION 2005. Lecture Notes in Computer Science 3454, aprile 2005
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) E4MAS 2004. Lecture Notes in Artificial Intelligence 3374, febbraio 2005
Luca Gardelli, Mirko Viroli, Andrea Omicini
(articolo in atti) COORDINATION 2005, aprile 2005
Mirko Viroli, Alessandro Ricci, Andrea Omicini
(articolo in atti) AAMAS 2005, luglio 2005
Luca Gardelli, Mirko Viroli, Andrea Omicini
(articolo in atti) WOA 2005, novembre 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
(articolo in atti) AAMAS 2004, 19-23 July 2004
Mirko Viroli, Andrea Omicini
(articolo in atti) FOCLASA 2004, agosto 2004
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) E4MAS 2004, luglio 2004
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
(articolo in atti) FOCLASA 2003. Electronic Notes in Theoretical Computer Science 97, luglio 2004
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) AT2AI-4, aprile 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
(articolo in atti) WOA 2004, novembre 2004
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) CEAS'04, agosto 2004
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) AOTP'04, luglio 2004
Mirko Viroli, Alessandro Ricci, Andrea Omicini
(articolo in atti) AT2AI-4, aprile 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(articolo in atti) SecCo'04, agosto 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
(articolo in atti) CM 2004, marzo 2004
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(articolo in atti) SASEMAS'04, luglio 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(articolo in atti) SecCo'03. Electronic Notes in Theoretical Computer Science 85, agosto 2003
Mirko Viroli, Andrea Omicini
(articolo in atti) FOCLASA 2002. Electronic Notes in Theoretical Computer Science 68, marzo 2003
Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
(articolo in atti) WOA 2003, 10-11 September 2003
Mirko Viroli, Andrea Omicini
(articolo in atti) AI*IA 2002, settembre 2002
Mirko Viroli, Andrea Omicini
(articolo in atti) COORDINATION 2002. Lecture Notes in Computer Science 2315, 2002
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
(articolo in atti) WOA 2002, novembre 2002
Mirko Viroli, Andrea Omicini
(articolo in atti) AT2AI-3, 2-5 April 2002
Mirko Viroli, Andrea Omicini
(articolo in atti) AAMAS 2002, luglio 2002
Alessandro Ricci, Andrea Omicini, Mirko Viroli
(articolo in atti) PDPTA'02, luglio 2002
Mirko Viroli, Andrea Omicini
(articolo in atti) IC-AI'02, luglio 2002
Mirko Viroli, Alessandro Ricci
(articolo in atti) 22nd International Conference on Distributed Computing Systems, 2002
Mirko Viroli, Andrea Omicini, Alessandro Ricci
(articolo in atti) PDPTA'02, luglio 2002
Mirko Viroli, Andrea Omicini
(articolo in atti) WOA 2001, settembre 2001
Mirko Viroli, Gianluca Moro, Andrea Omicini
(articolo in atti) CM 2001, marzo 2001
Gianluca Moro, Antonio Natali, Mirko Viroli
(articolo in atti) WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 29-30 May 2000, Parma, Italy, 2000
Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
(capitolo di libro) Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Roberto Casadei, Mirko Viroli
(capitolo di libro) Programming with Actors: State-of-the-Art and Research Perspectives. Lecture Notes in Computer Science 10789, 2018
Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
(capitolo di libro) Negotiation and Argumentation in Multi-Agent Systems. Fundamentals, Theories, Systems and Applications, 2014
Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
(capitolo di libro) Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2013
Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
(capitolo di libro) Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution, 2012
Sara Montagna, Mirko Viroli
(capitolo di libro) Morphogenetic Engineering. Understanding Complex Systems, 2012
Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
(capitolo di libro) Self-organising Software. Natural Computing Series, 2011
Luca Gardelli, Mirko Viroli, Andrea Omicini
(capitolo di libro) Multi-Agent Systems: Simulation and Applications. Computational Analysis, Synthesis, and Design of Dynamic Systems, giugno 2009
Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
(capitolo di libro) Multi-Agent Programming II: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, giugno 2009
Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
(capitolo di libro) Artificial Intelligence: An International Perspective. Lecture Notes in Computer Science 5640, 2009
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(capitolo di libro) Interactive Computation: The New Paradigm, settembre 2006
Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
(curatela) SCW 2013, 6 May 2013
Andrea Omicini, Mirko Viroli
(curatela) WOA 2010. CEUR Workshop Proceedings 621, 2010
Andrea Omicini, Mirko Viroli
(curatela) WOA 2001, 4-5 September 2001
Mirko Viroli, Andrea Omicini
(numero speciale) Applicable Algebra in Engineering, Communication and Computing 16(2-3), agosto 2005
Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
(editoriale/introduzione/prefazione) ACM Transactions on Autonomous and Adaptive Systems 9(2), luglio 2014
Canal Carlos, Pascal Poizat, Mirko Viroli
(editoriale/introduzione/prefazione) Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, 2008
Canal Carlos, Mirko Viroli
(editoriale/introduzione/prefazione) Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science 175, 2007
Canal Carlos, Mirko Viroli
(editoriale/introduzione/prefazione) Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006
Mirko Viroli, Andrea Omicini
(editoriale/introduzione/prefazione) Applicable Algebra in Engineering, Communication and Computing 16(2-3), agosto 2005
0000-0003-2702-5702