Mirko Viroli » Publications » Papers per Year

Publications by Mirko Viroli (2018)

Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Coordination Models and Languages, Lecture Notes in Computer Science 10852, 2018

Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
GOODTECHS'18 – Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, November 2018

Roberto Casadei, Alessandro Aldini, Mirko Viroli
Software Engineering and Formal Methods, Lecture Notes in Computer Science 10729, 2018

Roberto Casadei, Aldini Alessandro, Mirko Viroli
Science of Computer Programming 167, 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Science of Computer Programming 166, 2018

Roberto Casadei, Mirko Viroli
2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018

Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Expert Systems 35(5), October 2018

Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
Coordination Models and Languages, Lecture Notes in Computer Science 10852, 2018

Giancarlo and Russo Fortino
4th {IEEE} World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018, 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Electronic Proceedings in Theoretical Computer Science, EPTCS 264, 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
2018 IEEE Real-Time Systems Symposium (RTSS), Dec 2018

Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
ACM Transactions on Modeling and Computer Simulation 28(2), March 2018

Roberto Casadei, Mirko Viroli
Programming with Actors: State-of-the-Art and Research Perspectives, Lecture Notes in Computer Science 10789, 2018

[top]