Per Sort
Per Sort
13 publications / 2018 / Mirko Viroli
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini Engineering Resilient Collective Adaptive Systems by Self-Stabilisation ACM Transactions on Modeling and Computer Simulation 28(2), March 2018 |
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli Optimal single-path information propagation in gradient-based algorithms Science of Computer Programming 166, 2018 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini Spatial Tuples: Augmenting Reality with Tuples Expert Systems: The Journal of Knowledge Engineering 35(5), October 2018 |
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli Aggregate Graph Statistics ALP4IoT2017. Electronic Proceedings in Theoretical Computer Science 264, 2018 |
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things 4th IEEE World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018, 2018 |
Roberto Casadei, Alessandro Aldini, Mirko Viroli Combining Trust and Aggregate Computing Software Engineering and Formal Methods. Lecture Notes in Computer Science 10729, 2018 |
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini Distributed Real-Time Shortest-Paths Computations with the Field Calculus 2018 IEEE Real-Time Systems Symposium (RTSS), December 2018 |
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain GOODTECHS 2018, November 2018 |
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini From Field-Based Coordination to Aggregate Computing COORDINATION 2018. Lecture Notes in Computer Science 10852, 2018 |
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli Space-Time Universality of Field Calculus ALP4IoT2017. Lecture Notes in Computer Science 10852, 2018 |