Per anno

31 pubblicazioni / 2018

long bib

2018

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

31 pubblicazioni / 2018 • in cima • indice • in fondo