Andrea Roli » Publications » Papers per Year

Publications by (2018)

Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Space-Time Universality of Field Calculus
Coordination Models and Languages, Lecture Notes in Computer Science 10852, 2018

Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives
WOA 2018 – 19th Workshop "From Objects to Agents”, 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

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
WOA 2018 – 19th Workshop "From Objects to Agents”, CEUR Workshop Proceedings 2215, June 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

Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
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
Combining Trust and Aggregate Computing
Software Engineering and Formal Methods, Lecture Notes in Computer Science 10729, 2018

Roberto Casadei, Aldini Alessandro, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms
Science of Computer Programming 167, 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms
Science of Computer Programming 166, 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, 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

Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Reality with Tuples
Expert Systems 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

Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum
2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI), December 2018

Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From Field-Based Coordination to Aggregate Computing
Coordination Models and Languages, Lecture Notes in Computer Science 10852, 2018

Giancarlo and Russo Fortino
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

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

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

Giovanni Ciatto, Stefano Mariani, Andrea Omicini
ReSpecTX: Programming Interaction Made Easy
Computer Science and Information Systems 15(3), October 2018

Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
Coordination Models and Languages, Lecture Notes in Computer Science 10852, 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Aggregate Graph Statistics
Electronic Proceedings in Theoretical Computer Science, EPTCS 264, 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

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), Dec 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

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

Stefano Mariani
Coordination of Complex Socio-technical Systems: Challenges and Opportunities
Lecture Notes in Computer Science, Lecture Notes in Computer Science 11176, 2018

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
2018 IEEE International Conference on Cloud Engineering (IC2E 208), 17-20 April 2018

Alfredo Garro, Max Mühlhäuser, Andrea Tundis, Stefano Mariani, Andrea Omicini, Giuseppe Vizzari
Intelligent Agents and Environment
Reference Module in Life Sciences, March 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

[top]