Per Year

Per Year

31 publications  /  2018

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
Angelo Croatti, Alessandro Ricci
Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 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
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
Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti
Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions
Internet Technology Letters 1(4), 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms
Science of Computer Programming 166, 2018
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Globe-IoT 2018, 17-20 April 2018
Giovanni Ciatto, Stefano Mariani, Andrea Omicini
ReSpecTX: Programming Interaction Made Easy
Computer Science and Information Systems 15(3), October 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
Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
COORDINATION 2018. Lecture Notes in Computer Science 10852, 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
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service
Theory and Practice of Logic Programming 18(5-6), September 2018
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Space-Time Universality of Field Calculus
ALP4IoT2017. Lecture Notes in Computer Science 10852, 2018
Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
A Survey of Methods for Explaining Black Box Models
ACM Computing Surveys 51(5), August 2018
Zachary C. Lipton
The mythos of model interpretability
Communications of the ACM 61(10), October 2018
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics
Fundamenta Informaticae 161(1-2), July 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Combining Trust and Aggregate Computing
Software Engineering and Formal Methods. Lecture Notes in Computer Science 10729, 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms
Science of Computer Programming 167, 2018
Roberto Casadei, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT
2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018
Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Distributed Speaking Objects: a Case for Massive Multiagent Systems
International Workshop on Massively Multi-Agent Systems, 2018
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
Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder
The Astrophysical Journal 854(2), February 2018
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Big Data and Cognitive Computing 2(3), 2018
Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum
BCT4MAS 2018, December 2018
Roberto Casadei, Mirko Viroli
Programming Actor-Based Collective Adaptive Systems
Programming with Actors: State-of-the-Art and Research Perspectives. Lecture Notes in Computer Science 10789, 2018
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
WOA 2018. CEUR Workshop Proceedings 2215, 29–30 June 2018
Sara Montagna, Michele Braccini, Andrea Roli
The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis
Artificial Life and Evolutionary Computation, 2018
Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives
WOA 2018. CEUR Workshop Proceedings 2215, June 2018
Angelo Croatti, Alessandro Ricci
A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 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
Stefano Mariani
Coordination of Complex Socio-technical Systems: Challenges and Opportunities
ALP4IoT2017. Lecture Notes in Computer Science 11176, 2018
(31 publications in 2018)  [top]  [bottom]

Avatar

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY