Per anno
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
(articolo in atti) GOODTECHS 2018, novembre 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) 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
(articolo in rivista) ACM Transactions on Modeling and Computer Simulation 28(2), marzo 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
(articolo in rivista) Science of Computer Programming 166, 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
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
(articolo in rivista) Expert Systems 35(5), ottobre 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) Software Engineering and Formal Methods. Lecture Notes in Computer Science 10729, 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
(articolo in rivista) Science of Computer Programming 167, 2018
Roberto Casadei, Mirko Viroli
(articolo in atti) 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018
Roberto Casadei, Mirko Viroli
(capitolo di libro) Programming with Actors: State-of-the-Art and Research Perspectives. Lecture Notes in Computer Science 10789, 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
(articolo in atti) 2018 IEEE Real-Time Systems Symposium (RTSS), dicembre 2018