Per Sort
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
(article in journal) IEEE Internet of Things Journal 9(20), 2022
Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
(article in journal) Future Generation Computer Systems 114, 2021
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
(article in journal) Future Generation Computer Systems 91, 2019
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
(article in journal) Journal of Logical and Algebraic Methods in Programming 109, 2019
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
(article in journal) ACM Transactions on Computational Logic 20(1), January 2019
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
(article in journal) Information Sciences 498, 2019
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
(article in journal) ACM Transactions on Modeling and Computer Simulation 28(2), March 2018
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
(article in journal) Expert Systems 35(5), October 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
(article in journal) Science of Computer Programming 167, 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
(article in journal) Science of Computer Programming 166, 2018
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
(article in journal) International Journal of Agent-Oriented Software Engineering 4(5), 2017
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
(article in journal) ACM Transactions on Autonomous and Adaptive Systems 12(3), September 2017
Angelo Croatti, Alessandro Ricci, Mirko Viroli
(article in journal) International Journal of Distributed Systems and Technologies 8(1), 2017
Ferruccio Damiani, Mirko Viroli, Jacob Beal
(article in journal) Science of Computer Programming 117, 2016
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
(article in journal) The Knowledge Engineering Review 31(4), September 2016
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
(article in journal) Science of Computer Programming 110, 2015
Ferruccio Damiani, Mirko Viroli
(article in journal) Logical Methods in Computer Science 11(4), 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
(article in journal) Pervasive and Mobile Computing 17-B, February 2015
Jacob Beal, Mirko Viroli
(article in journal) Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373(2046), 2015
Jacob Beal, Danilo Pianini, Mirko Viroli
(article in journal) Computer 48(9), Sept 2015
Jacob Beal, Mirko Viroli
(article in journal) SIGSPATIAL Special 7(2), September 2015
Sara Montagna, Mirko Viroli, Andrea Roli
(article in journal) SIMULATION: Transactions of the Society for Modeling and Simulation International 91(7), June 2015
Elena Nardini, Andrea Omicini, Mirko Viroli
(article in journal) Science of Computer Programming 78(5), May 2013
Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
(article in journal) Natural Computing 12(1), 2013
Mirko Viroli
(article in journal) Science of Computer Programming 78(5), May 2013
Danilo Pianini, Sara Montagna, Mirko Viroli
(article in journal) Journal of Simulation, 2013
Mirko Viroli, Jacob Beal, Kyle Usbeck
(article in journal) Science of Computer Programming 78(6), June 2013
Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
(article in journal) Mobile Networks and Applications 18(3), 2013
Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
(article in journal) Science of Computer Programming 78(6), June 2013
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
(article in journal) Scientific Annals of Computer Science 22(2), 2012
Carlos Canal, Mirko Viroli
(article in journal) Science of Computer Programming 76(1), May 2011
Alessandro Ricci, Michele Piunti, Mirko Viroli
(article in journal) Autonomous Agents and Multi-Agent Systems 23(2), September 2011
Andrea Omicini, Mirko Viroli
(article in journal) The Knowledge Engineering Review 26(1), March 2011
Peter McBurney, Simon Parsons, Mirko Viroli
(article in journal) The Knowledge Engineering Review 26(1), March 2011
Franco Zambonelli, Mirko Viroli
(article in journal) International Journal of Pervasive Computing and Communications 7(3), 2011
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
(article in journal) Science of Computer Programming 76(1), January 2011
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
(article in journal) Communications in Computer and Information Science 50, 2011
Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
(article in journal) ACM Transactions on Autonomous and Adaptive Systems 6(2), June 2011
Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
(article in journal) Applied Computing Review 11(2), Spring 2011
Mirko Viroli, Franco Zambonelli
(article in journal) Information Sciences 180(10), 2010
Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
(article in journal) International Journal of Artificial Intelligence 4(S10), Spring 2010
Matteo Casadei, Mirko Viroli, Luca Gardelli
(article in journal) Science of Computer Programming 74(9), 2009
Ambra Molesini, Andrea Omicini, Mirko Viroli
(article in journal) Multiagent and Grid Systems 5(1), 2009
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
(article in journal) International Journal of Agent-Oriented Software Engineering 2(2), 2008
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(article in journal) Autonomous Agents and Multi-Agent Systems 17(3), December 2008
Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
(article in journal) Journal of Universal Computer Science 14(13), 2008
Chieri Saito, Atsushi Igarashi, Mirko Viroli
(article in journal) Journal of Functional Programming 18(3), May 2008
Maurizio Cimadamore, Mirko Viroli
(article in journal) Science of Computer Programming 73(2-3), October 2008
Carlos Canal, Mirko Viroli
(article in journal) Science of Computer Programming 66(3), May 2007
Atsushi Igarashi, Mirko Viroli
(article in journal) ACM SIGPLAN Notices 42(10), 2007
Davide Ancona, Mirko Viroli
(article in journal) Journal of Object Technology 6(2), 2007
Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
(article in journal) Autonomous Agents and Multi-Agent Systems 14(1), July 2007
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(article in journal) Web Intelligence and Agent Systems 5(2), August 2007
Mirko Viroli, Andrea Omicini, Alessandro Ricci
(article in journal) Applied Artificial Intelligence 21(4-5), April 2007
Mirko Viroli, Enrico Denti, Alessandro Ricci
(article in journal) Science of Computer Programming 66(3), May 2007
Mirko Viroli
(article in journal) Journal of Logic and Algebraic Programming 70(1), January 2007
Mirko Viroli, Andrea Omicini
(article in journal) Fundamenta Informaticae 73(4), 2006
Atsushi Igarashi, Mirko Viroli
(article in journal) ACM Transactions on Programming Languages and Systems 28(5), September 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(article in journal) Science of Computer Programming 63(1), November 2006
Mirko Viroli, Alessandro Ricci, Andrea Omicini
(article in journal) The Knowledge Engineering Review 21(1), March 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(article in journal) Applied Artificial Intelligence 20(2-4), February 2006
Mirko Viroli, Giovanni Rimassa
(article in journal) Journal of Object Technology 4(10), 2005
Alessandro Ricci, Mirko Viroli
(article in journal) Informatica 29(4), November 2005
Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
(article in journal) The Knowledge Engineering Review 20(2), June 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(article in journal) Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005
Davide Ancona, Mirko Viroli
(article in journal) Journal of Object Technology 3(11), 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
(article in journal) Applied Artificial Intelligence 18(9-10), October 2004
Mirko Viroli
(article in journal) The Computer Journal 46(3), 2003
Mirko Viroli, Andrea Omicini
(article in journal) Applied Artificial Intelligence 16(9-10), October-December 2002
Mirko Viroli, Andrea Omicini
(article in journal) Journal of Universal Computer Science 8(4), April 2002
Mirko Viroli, Andrea Omicini
(article in journal) AI*IA Notizie XIV(4), December 2001
Mirko Viroli, Antonio Natali
(article in journal) ACM SIGPLAN Notices 35(10), 2000
Roberto Casadei, Mirko Viroli, Alessandro Ricci
(paper in proceedings) 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), September 2020
Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
(paper in proceedings) Coordination Models and Languages, 2020
Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
(paper in proceedings) Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
(paper in proceedings) Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
(paper in proceedings) IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
(paper in proceedings) Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science 11535, 2019
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
(paper in proceedings) 2019 IEEE International Conference on Services Computing (SCC), July 2019
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
(paper in proceedings) 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Danilo Pianini, Roberto Casadei, Mirko Viroli
(paper in proceedings) IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019
Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
(paper in proceedings) IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019, 11-15 March 2019
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
(paper in proceedings) AI&IoT 2019. CEUR Workshop Proceedings 2502, 2019
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
(paper in proceedings) Proceedings of the 13th European Conference on Software Architecture - Volume 2. ECSA '19, 2019
Roberto Casadei, Mirko Viroli
(paper in proceedings) 2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), June 2019
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
(paper in proceedings) Coordination Models and Languages. Lecture Notes in Computer Science 11533, 2019
Roberto Casadei, Mirko Viroli
(paper in proceedings) 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
(paper in proceedings) ALP4IoT2017. Electronic Proceedings in Theoretical Computer Science 264, 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
(paper in proceedings) 2018 IEEE Real-Time Systems Symposium (RTSS), December 2018
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
(paper in proceedings) GOODTECHS 2018, November 2018
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
(paper in proceedings) COORDINATION 2018. Lecture Notes in Computer Science 10852, 2018
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
(paper in proceedings) ALP4IoT2017. Lecture Notes in Computer Science 10852, 2018
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
(paper in proceedings) 4th IEEE World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018, 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
(paper in proceedings) Software Engineering and Formal Methods. Lecture Notes in Computer Science 10729, 2018
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
(paper in proceedings) 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, 2017
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
(paper in proceedings) Studies in Computational Intelligence 678, 2017
Danilo Pianini, Simon Dobson, Mirko Viroli
(paper in proceedings) 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017
Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
(paper in proceedings) 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
(paper in proceedings) WOA 2017. CEUR Workshop Proceedings 1867, June 2017
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
(paper in proceedings) Coordination Models and Languages. Lecture Notes in Computer Science 10319, 2017
Danilo Pianini, Jacob Beal, Mirko Viroli
(paper in proceedings) 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
(paper in proceedings) 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, September 2016
Mirko Viroli, Jacob Beal
(paper in proceedings) Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems. Electronic Proceedings in Theoretical Computer Science 217, 2016
Danilo Pianini, Jacob Beal, Mirko Viroli
(paper in proceedings) COORDINATION 2016, 2016
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
(paper in proceedings) 2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, Sept 2016
Jacob Beal, Mirko Viroli
(paper in proceedings) Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. Lecture Notes in Computer Science 9700, 2016
Mirko Viroli, Roberto Casadei, Danilo Pianini
(paper in proceedings) Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gdansk, Poland, September 11-14, 2016., 11-14 September 2016
Roberto Casadei, Mirko Viroli
(paper in proceedings) 1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16), 17 July 2016
Danilo Pianini, Jacob Beal, Mirko Viroli
(paper in proceedings) Coordination Models and Languages. Lecture Notes in Computer Science 9686, 2016
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
(paper in proceedings) ECAS 2016, 2016
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
(paper in proceedings) 2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, Augsburg, Germany, September 18-22, 2016, 2016
Mirko Viroli, Roberto Casadei, Danilo Pianini
(paper in proceedings) Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct. UbiComp '16, 2016
Danilo Pianini, Mirko Viroli, Jacob Beal
(paper in proceedings) SAC 2015, 2015
Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
(paper in proceedings) EMAS 2015, 2015
Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
(paper in proceedings) FORTE 2015. Lecture Notes in Computer Science 9039, 2015
Mirko Viroli, Alessandro Ricci
(paper in proceedings) EMAS 2015, 2015
Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
(paper in proceedings) Procedia Computer Science 63, September 2015
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
(paper in proceedings) PRIMA 2015. Lecture Notes in Computer Science 9387, 2015
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
(paper in proceedings) Proceedings of the IEEE Conference on Self-Adaptive and Self-Organising Systems 2015 (SASO 2015), 2015
Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
(paper in proceedings) 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, September 2015
Mirko Viroli, Ferruccio Damiani
(paper in proceedings) COORDINATION 2014. Lecture Notes in Computer Science 8459, 2014
Jacob Beal, Mirko Viroli
(paper in proceedings) Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
Mirko Viroli
(paper in proceedings) 7th International Spatial Computing Workshop (SCW 2014), 6 May 2014
Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
(paper in proceedings) High Performance Computing Simulation (HPCS), 2014 International Conference on, July 2014
Mirko Viroli, Ferruccio Damiani, Jacob Beal
(paper in proceedings) Communications in Computer and Information Science 393, 2013
Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
(paper in proceedings) CM 2013, March 2013
Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
(paper in proceedings) ASENSIS 2012, April 2013
Sara Montagna, Mirko Viroli
(paper in proceedings) SCW 2013, 6 May 2013
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(paper in proceedings) ASENSIS 2012, April 2013
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
(paper in proceedings) EMAS 2013. Lecture Notes in Computer Science 8245, December 2013
Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
(paper in proceedings) ASENSIS 2012, April 2013
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
(paper in proceedings) EMAS 2013, 6-7 May 2013
Mirko Viroli
(paper in proceedings) SCW 2013, 6 May 2013
Mirko Viroli, Danilo Pianini, Jacob Beal
(paper in proceedings) Coordination Models and Languages. LNCS 7274, June 2012
Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
(paper in proceedings) ASENSIS 2012, 10 September 2012
Sara Montagna, Danilo Pianini, Mirko Viroli
(paper in proceedings) SAC 2012, 26-30 March 2012
Mirko Viroli, Graeme Stevenson
(paper in proceedings) Workshop on Spatial Computing, 2012
Sara Montagna, Danilo Pianini, Mirko Viroli
(paper in proceedings) Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), May 2012
Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
(paper in proceedings) WOA 2012, 12 September 2012
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(paper in proceedings) ASENSIS 2012, 10 September 2012
Matteo Casadei, Mirko Viroli
(paper in proceedings) WOA 2012, 12 September 2012
Mirko Viroli, Graeme Stevenson
(paper in proceedings) Workshop on Spatial Computing, June 2012
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
(paper in proceedings) 27th Annual ACM Symposium on Applied Computing (SAC 2012) , 26-30 March 2012
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
(paper in proceedings) CM 2012, 26-30 March 2012
Danilo Pianini, Sara Montagna, Mirko Viroli
(paper in proceedings) Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011), 18-21 September 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
(paper in proceedings) 2011 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011), 7 October 2011
Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
(paper in proceedings) Proceedings of the 3rd Workshop on Bio-Inspired and Self-* Algorithms for Distributed Systems, 14 June 2011
Elena Nardini, Andrea Omicini, Mirko Viroli
(paper in proceedings) CM 2011, March 2011
Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
(paper in proceedings) Proceedings of the 3rd International Workshop on Software Engineering for Resilient Systems. Lecture Notes in Computer Science 6968, 29-30 September 2011
Danilo Pianini, Mirko Viroli, Sara Montagna
(paper in proceedings) WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 2011
Mirko Viroli, Jacob Beal, Matteo Casadei
(paper in proceedings) SAC 2011, 21–25 March 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
(paper in proceedings) WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 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
(paper in proceedings) Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11). Procedia Computer Science 7, May 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
(paper in proceedings) The 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2011), 3-8 October 2011
Marco Sbaraglia, Mirko Viroli, Matteo Casadei
(paper in proceedings) CM 2011, March 2011
Alessandro Ricci, Mirko Viroli, Michele Piunti
(paper in proceedings) Programming Multi-Agent Systems. LNAI 5919, 2010
Elena Nardini, Mirko Viroli, Emanuele Panzavolta
(paper in proceedings) CM 2010, March 2010
Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
(paper in proceedings) Self-Organizing Architectures. Lecture Notes in Computer Science 6090, July 2010
Mirko Viroli, Matteo Casadei
(paper in proceedings) SAC 2010, March 2010
Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
(paper in proceedings) 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), September 2010
Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
(paper in proceedings) WOA 2010. CEUR Workshop Proceedings 621, September 2010
Sara Montagna, Mirko Viroli
(paper in proceedings) 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
Elena Nardini, Andrea Omicini, Mirko Viroli
(paper in proceedings) The WI-IAT 2009 Workshops Proceedings, September 2009
Sara Montagna, Mirko Viroli
(paper in proceedings) 2009 IEEE Congress on Evolutionary Computation (CEC 2009), 18-21 May 2009
Matteo Casadei, Mirko Viroli
(paper in proceedings) 24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009
Alessandro Ricci, Mirko Viroli, Michele Piunti
(paper in proceedings) Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers. Lecture Notes Computer Science 5919, 2009
Alessandro Ricci, Michele Piunti, Mirko Viroli
(paper in proceedings) Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009), September 2009
Matteo Casadei, Mirko Viroli
(paper in proceedings) IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., May, 18-21 2009
Mirko Viroli, Matteo Casadei, Andrea Omicini
(paper in proceedings) 24th Annual ACM Symposium on Applied Computing (SAC 2009), March 2009
Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
(paper in proceedings) 24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009
Mirko Viroli, Matteo Casadei
(paper in proceedings) Coordination Languages and Models. Lecture Notes in Computer Science 5521, June 2009
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
(paper in proceedings) Argumentation in Multi-Agent Systems. Lecture Notes in Computer Science 5384, February 2009
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
(paper in proceedings) ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009, July 2009
Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
(paper in proceedings) Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, April 2008
Matteo Casadei, Mirko Viroli
(paper in proceedings) 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08), 20-24 October 2008
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
(paper in proceedings) 9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
(paper in proceedings) Languages, Methodologies and Development Tools for Multi-Agent Systems. Lecture Notes in Computer Science 5118, July 2008
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
(paper in proceedings) Workshop on Spatial Computing, October 2008
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
(paper in proceedings) 5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008), May 2008
Matteo Casadei, Mirko Viroli, Marco Santarelli
(paper in proceedings) CoMA 2008, June 2008
Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
(paper in proceedings) 23º Convegno Italiano di Logica Computazionale (CILC'08), July 2008
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) Programming Multi-Agent Systems. Lecture Notes in Computer Science 4908, April 2008
Franco Zambonelli, Mirko Viroli
(paper in proceedings) IDC 2008. Studies in Computational Intelligence 162/2008, September 2008
Maurizio Cimadamore, Mirko Viroli
(paper in proceedings) 23th ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008
Enrico Oliva, Mirko Viroli, Andrea Omicini
(paper in proceedings) WOA 2008, November 2008
Matteo Casadei, Andrea Omicini, Mirko Viroli
(paper in proceedings) Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, April 2008
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
(paper in proceedings) IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). , 25-28 September 2007
Luca Gardelli, Mirko Viroli, Andrea Omicini
(paper in proceedings) 2nd International Workshop on Engineering Emergence in Decentralised Autonomic Systems (EEDAS 2007), June 2007
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
(paper in proceedings) E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
Luca Gardelli, Mirko Viroli, Andrea Omicini
(paper in proceedings) CEEMAS 2007. Lecture Notes in Computer Science 4696, September 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) 5th International Workshop "Programming Multi-Agent Systems" (PROMAS 2007), May 2007
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
(paper in proceedings) E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
Matteo Casadei, Andrea Omicini, Mirko Viroli
(paper in proceedings) 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), September 2007
Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
(paper in proceedings) 1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 9-11 July 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
(paper in proceedings) Self-Organizing Systems. Lecture Notes in Computer Science 4725, August 2007
Mirko Viroli, Andrea Omicini
(paper in proceedings) Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004). Electronic Notes in Theoretical Computer Science 180, June 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) 6th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2007), May 2007
Maurizio Cimadamore, Mirko Viroli
(paper in proceedings) 5th international symposium on Principles and practice of programming in Java (PPPJ '07), 2007
Alessandro Ricci, Mirko Viroli
(paper in proceedings) 5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007). ACM International Conference Proceeding 272, 5-7 September 2007
Mirko Viroli, Matteo Casadei, Luca Gardelli
(paper in proceedings) SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing, 2007
Matteo Casadei, Luca Gardelli, Mirko Viroli
(paper in proceedings) Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science 175, June 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
(paper in proceedings) Cooperative Information Agents XI. Lecture Notes in Computer Science 4676, September 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
Matteo Casadei, Luca Gardelli, Mirko Viroli
(paper in proceedings) WOA 2006. CEUR Workshop Proceedings, 26-27 September 2006
Luca Gardelli, Mirko Viroli, Andrea Omicini
(paper in proceedings) Engineering Self-Organising Systems. Lecture Notes in Computer Science 3910, 2006
Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
(paper in proceedings) WOA 2006. CEUR Workshop Proceedings 204, October 2006
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
(paper in proceedings) E4MAS 2006, 8 May 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(paper in proceedings) Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005). Electronic Notes in Theoretical Computer Science 150, May 2006
Luca Gardelli, Mirko Viroli, Matteo Casadei
(paper in proceedings) AICA 2006, 21-22 September 2006
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
(paper in proceedings) 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
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) Programming Multi-Agent Systems. Lecture Notes in Computer Science 3862, March 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) EMCSR 2006, April 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
(paper in proceedings) WOA 2006. CEUR Workshop Proceedings 204, October 2006
Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
(paper in proceedings) 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
Luca Gardelli, Mirko Viroli, Matteo Casadei
(paper in proceedings) E4MAS 2006, May 8 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(paper in proceedings) Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications. Lecture Notes in Computer Science 3914, April 2006
Luca Gardelli, Mirko Viroli, Andrea Omicini
(paper in proceedings) EMCSR 2006, April 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
(paper in proceedings) EUMAS 2006. CEUR Workshop Proceedings, December 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) E4MAS 2006, May 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
(paper in proceedings) 5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), August 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
(paper in proceedings) WOA 2006. CEUR Workshop Proceedings 204, October 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
(paper in proceedings) Industrial Simulation Conference 2006 (ISC 2006), 5-7 June 2006
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) E4MAS 2004. Lecture Notes in Artificial Intelligence 3374, February 2005
Mirko Viroli, Alessandro Ricci, Andrea Omicini
(paper in proceedings) 4th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2005), July 2005
Luca Gardelli, Mirko Viroli, Andrea Omicini
(paper in proceedings) 3rd International Workshop “Engineering Self-Organising Applications” (ESOA 2005), July 2005
Mirko Viroli, Andrea Omicini, Alessandro Ricci
(paper in proceedings) 2nd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2005), July 2005
Mirko Viroli, Andrea Omicini, Alessandro Ricci
(paper in proceedings) AI*IA 2005: Advances in Artificial Intelligence. Lecture Notes in Computer Science 3673, September 2005
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
(paper in proceedings) EUMAS 2005, 7-8 December 2005
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) E4MAS 2004. Lecture Notes in Artificial Intelligence 3374, February 2005
Luca Gardelli, Mirko Viroli, Andrea Omicini
(paper in proceedings) WOA 2005, November 2005
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) 3rd International Workshop “Programming Multi-Agent Systems” (PROMAS 2005), July 2005
Mirko Viroli, Alessandro Ricci
(paper in proceedings) Agent Communication. Lecture Notes in Artificial Intelligence 3396, January 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(paper in proceedings) Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004). Electronic Notes in Theoretical Computer Science 128, May 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(paper in proceedings) Coordination Models and Languages. Lecture Notes in Computer Science 3454, April 2005
Mirko Viroli, Alessandro Ricci, Andrea Omicini
(paper in proceedings) Cybernetics and Systems 2004, April 2004
Mirko Viroli, Andrea Omicini
(paper in proceedings) 3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), August 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
(paper in proceedings) Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004), March 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
(paper in proceedings) WOA 2004, November 2004
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
(paper in proceedings) Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. Electronic Notes in Theoretical Computer Science 97, July 2004
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) 1st International Workshop "Safety and Security in MultiAgent Systems" (SASEMAS 2004), July 2004
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) International Workshop on Coordination in Emergent Agent Societies (CEAS'04), August 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
(paper in proceedings) AAMAS 2004, 19-23 July 2004
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) Cybernetics and Systems 2004, April 2004
Alessandro Ricci, Mirko Viroli, Andrea Omicini
(paper in proceedings) 1st International Workshop “Agent Organizations: Theory and Practice” (AOTP'04), July 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(paper in proceedings) SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003). Electronic Notes in Theoretical Computer Science 85, August 2003
Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
(paper in proceedings) WOA 2003, 10-11 September 2003
Mirko Viroli, Andrea Omicini
(paper in proceedings) Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002). Electronic Notes in Theoretical Computer Science 68, March 2003
Mirko Viroli, Andrea Omicini
(paper in proceedings) International Conference on Artificial Intelligence (IC-AI'02), July 2002
Mirko Viroli, Andrea Omicini, Alessandro Ricci
(paper in proceedings) International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), July 2002
Mirko Viroli, Andrea Omicini
(paper in proceedings) 8th AIxIA Convention (AIxIA 2002), Workshop "Agenti per la rappresentazione della conoscenza e il ragionamento", September 2002
Mirko Viroli, Andrea Omicini
(paper in proceedings) AAMAS 2002, July 2002
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
(paper in proceedings) WOA 2002, November 2002
Mirko Viroli, Andrea Omicini
(paper in proceedings) Cybernetics and Systems 2002, 2-5 April 2002
Mirko Viroli, Andrea Omicini
(paper in proceedings) Coordination Models and Languages. Lecture Notes in Computer Science 2315, 2002
Mirko Viroli, Alessandro Ricci
(paper in proceedings) 22nd International Conference on Distributed Computing Systems, 2002
Alessandro Ricci, Andrea Omicini, Mirko Viroli
(paper in proceedings) International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), July 2002
Mirko Viroli, Gianluca Moro, Andrea Omicini
(paper in proceedings) CM 2001, March 2001
Mirko Viroli, Andrea Omicini
(paper in proceedings) WOA 2001, September 2001
Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
(book chapter) Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Roberto Casadei, Mirko Viroli
(book chapter) 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
(book chapter) Negotiation and Argumentation in Multi-Agent Systems. Fundamentals, Theories, Systems and Applications, 2014
Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
(book chapter) Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2013
Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
(book chapter) Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution, 2012
Sara Montagna, Mirko Viroli
(book chapter) Morphogenetic Engineering. Understanding Complex Systems, 2012
Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
(book chapter) Self-organising Software. Natural Computing Series, 2011
Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
(book chapter) Artificial Intelligence: An International Perspective. Lecture Notes in Computer Science 5640, 2009
Luca Gardelli, Mirko Viroli, Andrea Omicini
(book chapter) Multi-Agent Systems: Simulation and Applications. Computational Analysis, Synthesis, and Design of Dynamic Systems, June 2009
Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
(book chapter) Multi-Agent Programming II: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, June 2009
Andrea Omicini, Alessandro Ricci, Mirko Viroli
(book chapter) Interactive Computation: The New Paradigm, September 2006
Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
(edited volume) SCW 2013, 6 May 2013
Andrea Omicini, Mirko Viroli
(edited volume) WOA 2010. CEUR Workshop Proceedings 621, 2010
Andrea Omicini, Mirko Viroli
(edited volume) WOA 2001, 4-5 September 2001
Mirko Viroli, Andrea Omicini
(special issue) Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005
Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
(editorial/introduction/preface) ACM Transactions on Autonomous and Adaptive Systems 9(2), July 2014
Canal Carlos, Pascal Poizat, Mirko Viroli
(editorial/introduction/preface) 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
(editorial/introduction/preface) 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
(editorial/introduction/preface) 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
(editorial/introduction/preface) Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005