Per Year

31 publications / 2018

2018

Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework (paper in proceedings) — Angelo Croatti, Alessandro Ricci
Aggregate Graph Statistics (ALP4IoT2017) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things () — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (article in journal) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions (article in journal) — Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti
Optimal single-path information propagation in gradient-based algorithms (Science of Computer Programming) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (Globe-IoT 2018@ACM/IEEE IoTDI) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
ReSpecTX: Programming Interaction Made Easy (Computer Science and Information Systems) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
From Field-Based Coordination to Aggregate Computing (COORDINATION 2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (COORDINATION 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
Spatial Tuples: Augmenting Reality with Tuples (Expert Systems) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Logic Programming as a Service (Theory and Practice of Logic Programming) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Space-Time Universality of Field Calculus (ALP4IoT2017) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
A Survey of Methods for Explaining Black Box Models (ACM Computing Surveys) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
The mythos of model interpretability (article in journal) — Zachary C. Lipton
Extending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Combining Trust and Aggregate Computing () — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms (Science of Computer Programming) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT () — Roberto Casadei, Mirko Viroli
Distributed Speaking Objects: a Case for Massive Multiagent Systems () — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder (article in journal) — 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
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (Big Data and Cognitive Computing) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (BCT4MAS 2018@WI 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Programming Actor-Based Collective Adaptive Systems () — Roberto Casadei, Mirko Viroli
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis (paper in proceedings) — Sara Montagna, Michele Braccini, Andrea Roli
From the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems (paper in proceedings) — Angelo Croatti, Alessandro Ricci
Distributed Real-Time Shortest-Paths Computations with the Field Calculus () — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
Coordination of Complex Socio-technical Systems: Challenges and Opportunities (ALP4IoT2017) — Stefano Mariani

31 publications / 2018 • top • index • bottom

publications / 2018 / personal

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Cristian Cosci • Angelo Croatti • Enrico Denti • Matteo Magnini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Andrea Rafanelli • Federico Sabbatini