Per Year

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli

(paper in proceedings) ALP4IoT2017. Electronic Proceedings in Theoretical Computer Science 264, 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

Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini

(article in journal) ACM Transactions on Modeling and Computer Simulation 28(2), March 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli

(article in journal) Science of Computer Programming 166, 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

Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi

(article in journal) ACM Computing Surveys 51(5), August 2018

Zachary C. Lipton

(article in journal) Communications of the ACM 61(10), October 2018

Roberto Casadei, Alessandro Aldini, Mirko Viroli

(paper in proceedings) Software Engineering and Formal Methods. Lecture Notes in Computer Science 10729, 2018

Roberto Casadei, Alessandro Aldini, Mirko Viroli

(article in journal) Science of Computer Programming 167, 2018

Roberto Casadei, Mirko Viroli

(paper in proceedings) 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018

Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli

(paper in proceedings) International Workshop on Massively Multi-Agent Systems, 2018

M. Armano, H. Audley, J. Baird, M. Bassan, S. Benella, P. Binetruy, M. Born, D. Bortoluzzi, A. Cavalleri, A. Cesarini, A. M. Cruise, K. Danzmann, K. de Deus Silva, I. Diepholz, G. Dixon, R. Dolesi, M. Fabi, L. Ferraioli, V. Ferroni, N. Finetti, E. D. Fitzsimons, M. Freschi, L. Gesa, F. Gibert, D. Giardini, R. Giusteri, C. Grimani, J. Grzymisch, I. Harrison, G. Heinzel, M. Hewitson, D. Hollington, D. Hoyland, M. Hueller, H. Inchauspé, O. Jennrich, P. Jetzer, N. Karnesis, B. Kaune, N. Korsakova, C. J. Killow, M. Laurenza, J. A. Lobo, I. Lloro, L. Liu, J. P. López-Zaragoza, R. Maarschalkerweerd, D. Mance, V. Martín, L. Martin-Polo, J. Martino, F. Martin-Porqueras, I. Mateos, P. W. McNamara, J. Mendes, L. Mendes, M. Nofrarias, S. Paczkowski, M. Perreur-Lloyd, A. Petiteau, P. Pivato, E. Plagnol, J. Ramos-Castro, J. Reiche, D. I. Robertson, F. Rivas, G. Russano, Federico Sabbatini, J. Slutsky, C. F. Sopuerta, T. Sumner, D. Tellon, D. Texier, J. I. Thorpe, D. Vetrugno, S. Vitale, G. Wanner, H. Ward, P. Wass, W. J. Weber, L. Wissel, A. Wittchen, A. Zambotti, C. Zanoni, P. Zweifel

(article in journal) The Astrophysical Journal 854(2), February 2018

Roberto Casadei, Mirko Viroli

(book chapter) Programming with Actors: State-of-the-Art and Research Perspectives. Lecture Notes in Computer Science 10789, 2018

Sara Montagna, Michele Braccini, Andrea Roli

(paper in proceedings) Artificial Life and Evolutionary Computation, 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini

(paper in proceedings) 2018 IEEE Real-Time Systems Symposium (RTSS), December 2018

Stefano Mariani

(paper in proceedings) ALP4IoT2017. Lecture Notes in Computer Science 11176, 2018