Angelo Croatti » Publications » Papers per Year

Publications by (2015—2020)

Below, publications by between 2015 and 2020, ordered by year of publication.


2020 | 2019 | 2018 | 2017 | 2016 | 2015

2020

Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Smart Contracts are More than Objects: Pro-activeness on the Blockchain
Blockchain and Applications, Advances in Intelligent Systems and Computing 1010, 2020

Sara Montagna, Andrea Omicini
Agent-based Modelling in Multicellular Systems Biology
Data Analytics in Medicine: Concepts, Methodologies, Tools, and Applications, 2020

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
Information 11(3), March 2020

Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Twenty years of coordination technologies: COORDINATION contribution to the state of art
Journal of Logical and Algebraic Methods in Programming 113, June 2020

Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
Time-Fluid Field-Based Coordination
Coordination Models and Languages, 2020

Sara Montagna, Michele Braccini, Andrea Roli
The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2020

Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini
Real-time tracking and documentation in trauma management
Health Informatics Journal 26(1), 2020

Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
Information 11(1), January 2020

Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
An Abstract Framework for Agent-Based Explanations in AI
19th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '20, May 2020

[top]

2019

Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
Defeasible Systems in Legal Reasoning: A Comparative Assessment
Legal Knowledge and Information Systems. JURIX 2019: The Thirty-second Annual Conference, Frontiers in Artificial Intelligence and Applications 322, 11-13 December 2019

Angelo Croatti, Sara Montagna, Alessandro Ricci, Emiliano Gamberini, Vittorio Albarello, Vanni Agnoletti
BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting
Artificial Intelligence in Medicine 96, May 2019

Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Towards XMAS: eXplainability through Multi-Agent Systems
AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019, CEUR Workshop Proceedings 2502, November 2019

Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
WOA 2019 – 20th Workshop “From Objects to Agents”, CEUR Workshop Proceedings 2404, July 2019

Andrea Omicini, Roberta Calegari
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
Massively Multi-Agent Systems II, Lecture Notes in Computer Science 11422, May 2019

Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
Evaluating Origin–Destination Matrices Obtained from CDR Data
Sensors 19(20), October 2019

Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
Self-organising Coordination Regions: a Pattern for Edge Computing
Coordination Models and Languages, Proceedings, Lecture Notes in Computer Science 11533, 2019

Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
Deliver intelligence to integrate care: the Connecare way
International Journal of Integrated Care 19(4), 2019

Stefano Mariani
Coordination in Socio-technical Systems: Where are we now? Where do we go next?
Science of Computer Programming, 2019

Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino
Preface – AI&IoT 2019
AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019, CEUR Workshop Proceedings 2502, November 2019

Stefano Mariani, Angelo Croatti, Alessandro Ricci, Andrea Prati, Giuseppe Vizzari
ViTALiSE: Virtual to Augmented Loop in Smart Environments
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, 2019

Danilo Pianini, Andrea Omicini
Democratic Process and Digital Platforms: An Engineering Perspective
The Future of Digital Democracy: An Interdisciplinary Approach, Lecture Notes in Computer Science 11300, January 2019

Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina SÎrbu
Preface
The Future of Digital Democracy: An Interdisciplinary Approach, Lecture Notes in Computer Science 11300, January 2019

Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Case studies for a new IoT programming paradigm: Fluidware

Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Aggregate Processes in Field Calculus
Coordination Models and Languages, Lecture Notes in Computer Science 11533, 2019

Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, 2019

Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
Big Data from the Cloud to the Edge: The Aggregate Computing Solution
Proceedings of the 13th European Conference on Software Architecture - Volume 2, ECSA '19, 2019

Michele Braccini, Sara Montagna, Andrea Roli
Self-loops Favour Diversification and Asymmetric Transitions Between Attractors in Boolean Network Models
Artificial Life and Evolutionary Computation, 2019

Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
Comparative Analysis of Blockchain Technologies under a Coordination Perspective
Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection, Communications in Computer and Information Science 1047, June 2019

Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Roberto Casadei, Mirko Viroli
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach
2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), June 2019

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things
International Journal of Grid and Utility Computing 10(4), 2019

Michele Braccini, Andrea Roli, Marco Villani, Sara Montagna, Roberto Serra
A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN
The 2019 Conference on Artificial Life, 2019

Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A Higher-Order Calculus of Computational Fields
ACM Transactions on Computational Logic 20(1), jan 2019

Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia
Client-side Computational Optimization
ACM Transactions on Mathematical Software 45(2), June 2019

Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
TuSoW: Tuple Spaces for Edge Computing
The 28th International Conference on Computer Communications and Networks (ICCCN 2019), 29 July–1 August 2019

Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
Future Generation Computer Systems 91, 2019

Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From distributed coordination to field calculus and aggregate computing
Journal of Logical and Algebraic Methods in Programming 109, 2019

Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
The share Operator for Field-Based Coordination
Coordination Models and Languages, Proceedings, Lecture Notes in Computer Science 11533, 2019

Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep Roca
Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration
CBMS 2019, 2019

Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello
Pervasive Tracking for Time-Dependent Acute Patient Flow: A Case Study in Trauma Management
2019 IEEE 32nd International Symposium on Computer-Based Medical Systems (CBMS), June 2019

Giorgio and Viroli Audrito
On a Higher-Order Calculus of Computational Fields
Formal Techniques for Distributed Objects, Components, and Systems, Lecture Notes in Computer Science 11535, 2019

Danilo Pianini, Roberto Casadei, Mirko Viroli
Security in Collective Adaptive Systems: A Roadmap
{IEEE} 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019, 2019

Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Engineering Resilient Collaborative Edge-Enabled IoT
2019 IEEE International Conference on Services Computing (SCC), July 2019

Stefano Mariani, Andrea Bicego, Marco Lippi, Marco Mamei, Franco Zambonelli
Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept

Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
On Context-Orientation in Aggregate Programming
{IEEE} 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019, 2019

Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
A development approach for collective opportunistic Edge-of-Things services
Information Sciences 498, 2019

Stefano Mariani, Andrea Omicini
Special Issue “Multi-Agent Systems”: Editorial
Applied Sciences 9(5), March 2019

Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Towards Agent-oriented Blockchains: Autonomous Smart Contracts
Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection, Lecture Notes in Computer Science 11523, June 2019

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
Internet and Distributed Computing Systems, Lecture Notes in Computer Science 11874, 10–12 October 2019

Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach
{IEEE} International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019, 2019

[top]

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]

2017

Angelo Croatti, Alessandro Ricci
Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea
Proceedings of the Eighth International Workshop on the Web of Things, WoT 2017, 2017

Juan Manuel Fernandez, Marco Mamei, Stefano Mariani, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Franco Zambonelli
Towards Argumentation-based Recommendations for Personalised Patient Empowerment
Proceedings of the 2nd International Workshop on Health Recommender Systems co-located with the 11th International Conference on Recommender Systems (RecSys 2017), August 2017

Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
Spiking Neural Networks as Timed Automata
Proceedings of the Thematic Research School on Advances in Systems and Synthetic Biology (ASSB), 2017

Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-Adaptation to Device Distribution in the Internet of Things
ACM Transaction on Autonomous and Adaptive Systems 12(3), September 2017

Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
An Argumentation-based Perspective over the Social IoT
Journal of Internet of Things, 2017

Sara Montagna, Andrea Omicini
Agent-based Modelling in Multicellular Systems Biology
Multi-Agent Based Simulations Applied to Biological and Environmental Systems, Advances in Computational Intelligence and Robotics (ACIR), February 2017

Giorgio Audrito, Roberto Casadei Casadei, Ferruccio Damiani, Mirko Viroli
Compositional Blocks for Optimal Self-Healing Gradients
11th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2017, 2017

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
Coordination Models and Languages, Lecture Notes in Computer Science 10319, 2017

Danilo Pianini, Jacob Beal, Mirko Viroli
Practical Aggregate Programming with Protelis
2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service (LPaaS): Intelligence for the IoT
2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC 2017), May 2017

Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Coordinating Distributed Speaking Objects
2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), June 2017

Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Modeling Opportunistic IoT Services in Open IoT Ecosystems
WOA 2017 – “18th Workshop "From Objects to Agents”, CEUR Workshop Proceedings 1867, June 2017

Sara Montagna, Pedro H. Abreu, Sylvain Giroux, Michael I. Schumacher
Preface
Agents and Multi-Agent Systems for Health Care, Lecture Notes in Computer Science 10685, 2017

Danilo Pianini, Simon Dobson, Mirko Viroli
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration
11th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, 2017

Roberta Calegari, Enrico Denti
Context Reasoning and Prediction in Smart Environments: the Home Manager case
Intelligent Interactive Multimedia Systems and Services 2017, Smart Innovation, Systems and Technologies 76, 2017

Sara Montagna, Michele Braccini, Andrea Roli
The impact of self-loops in random boolean network dynamics
WIVACE 2017 -- Book of Abstracts, September 2017

Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
Intelligent Distributed Computing X. Proceedings of the 10th International Symposium on Intelligent Distributed Computing – IDC 2016, Paris, France, October 10-12 2016, Studies in Computational Intelligence 678, 2017

Angelo Croatti, Sara Montagna, Alessandro Ricci
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
Autonomous Agents and Multiagent Systems, Lecture Notes in Computer Science 10643, 2017

Angelo Croatti, Alessandro Ricci, Mirko Viroli
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE
International Journal of Distributed Systems and Technologies (IJDST) 8(1), 2017

Stefano Mariani, Andrea Omicini
State-of-the-Art and Trends in Nature-inspired Coordination Models
IEEE Intelligent Informatics Bulletin 18(2), December 2017

Stefano Mariani, Andrea Omicini, Giovanni Ciatto
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
WOA 2017 – “18th Workshop "From Objects to Agents”, CEUR Workshop Proceedings 1867, June 2017

Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
Formal Validation of Neural Networks as Timed Automata
Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics (CsBio17), 2017

Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Programming the Interaction Space Effectively with ReSpecTX
Intelligent Distributed Computing XI, Studies in Computational Intelligence 737, 2017

Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi
Augmented societies with mirror worlds
AI & Society, December 2017

Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Aggregate plans for multiagent systems
International Journal of Agent-Oriented Software Engineering 4(5), 2017

Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Modeling Opportunistic IoT Services in Open IoT Ecosystems
WOA 2017 – “18th Workshop "From Objects to Agents”, CEUR Workshop Proceedings 1867, June 2017

Angelo Croatti, Alessando Ricci
Towards the Web of Augmented Things
2017 IEEE International Conference on Software Architecture Workshops (ICSAW), April 2017

Sara Montagna, Andrea Omicini
Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study
Simulation: Transactions of the Society for Modeling and Simulation International 93(9), September 2017

Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
Towards a Foundational API for Resilient Distributed Systems Design
2nd {IEEE} International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017

Angelo Croatti, Sara Montagna, Alessandro Ricci
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
Agents and Multi-Agent Systems for Health Care, Lecture Notes in Computer Science 10685, 2017

[top]

2016

Mirko Viroli, Roberto Casadei, Danilo Pianini
Simulating Large-scale Aggregate MASs with Alchemist and Scala
Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gdansk, Poland, September 11-14, 2016., 11-14 September 2016

Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU
Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action, Lecture Notes in Computer Science 9934, 12-14 September 2016

Giovanni Sartor, Andrea Omicini
The Autonomy of Technological Systems and Responsibilities for their Use
Autonomous Weapon Systems. Law, Ethics, Policy, August 2016

Ferruccio Damiani, Mirko Viroli, Jacob Beal
A type-sound calculus of computational fields
Science of Computer Programming 117, 2016

Sara Montagna, Andrea Omicini, Danilo Pianini
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
Multi-Agent Based Simulation XVI. International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers, Lecture Notes in Computer Science 9568, 15 March 2016

Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Cross-organism learning method to discover new gene functionalities
Comput Methods and Programs in Biomedicine 126, April 2016

Maura Cárdenas-García, Pedro Pablo González-Pérez, Sara Montagna, Oscar Sánchez Cortés, Elena Hernández Caballero
Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework
Bioinformatics and Biology Insights 10, March 2016

Roberta Calegari, Enrico Denti
Building Smart Spaces on the Home Manager platform
ALP Newsletter, December 2016

Roberto Casadei, Mirko Viroli
Towards Aggregate Programming in Scala
1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16), 17 July 2016

Mirko Viroli, Roberto Casadei, Danilo Pianini
On Execution Platforms for Large-scale Aggregate Computing
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct, UbiComp '16, 2016

Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Labelled Variables in Logic Programming: Foundations
CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic, CEUR Workshop Proceedings 1645, 20-22 June 2016

Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-adaptation to Device Distribution Changes in Situated Computing Systems
2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, Augsburg, Germany, September 18-22, 2016, 2016

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
Run-Time Management of Computation Domains in Field Calculus
2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, Sept 2016

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Towards Logic Programming as a Service: Experiments in tuProlog
WOA 2016 – 17th Workshop “From Objects to Agents”, CEUR Workshop Proceedings 1664, July 2016

Sara Montagna, Andrea Omicini, Francesco Degli Angeli, Michele Donati
Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases
WOA 2016 – 17th Workshop “From Objects to Agents”, CEUR Workshop Proceedings 1664, 29-30 July 2016

Mirko Viroli, Jacob Beal
Resiliency with Aggregate Computing: State of the Art and Roadmap
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, Electronic Proceedings in Theoretical Computer Science 217, 2016

Stefano Mariani, Andrea Omicini
Game Engines to Model MAS: A Research Roadmap
WOA 2016 – 17th Workshop “From Objects to Agents”, CEUR Workshop Proceedings 1664, 29-30 July 2016

Angelo Croatti, Alessandro Ricci
An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development
Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2016, 2016

Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates
Coordination Models and Languages, Lecture Notes in Computer Science 9686, 2016

Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf
Data Management Technologies and Applications: 4th International Conference, DATA 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers, Communications in Computer and Information Science 584, 2016

Andrea Omicini, Franco Zambonelli
Challenges of Decentralized Coordination in Large-scale Ubicomp Systems
Ubicomp/ISWC’16 Adjunct, 12-16 September 2016

Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, Sept 2016

Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
Spatial awareness in pervasive ecosystems
The Knowledge Engineering Review 31(4), September 2016

Darius Plikynas
Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems
Introducing the Oscillations Based Paradigm, 2016

Jacob Beal, Mirko Viroli
Aggregate Programming: From Foundations to Applications
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Lecture Notes in Computer Science 9700, 2016

Giacomo Cabri, Massimo Cossentino, Enrico Denti, Paolo Giorgini, Ambra Molesini, Monica Mordonini, Michele Tomaiuolo, Luca Sabatucci
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces
Proc. 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, June 2016

Stefano Mariani, Andrea Omicini
Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies
WOA 2016 – 17th Workshop “From Objects to Agents”, CEUR Workshop Proceedings 1664, 29-30 July 2016

Andrea Omicini
Foreward by Prof. Andrea Omicini
Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems, 2016

Roberta Calegari, Enrico Denti
The Butlers Framework for Socio-Technical Smart Spaces
Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action, Lecture Notes in Computer Science 9934, 12-14 September 2016

Franco Zambonelli, Andrea Omicini, Paul Scerri
Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section
IEEE Transactions on Emerging Topics in Computing 4(1), January-March 2016

[top]

2015

Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
Proceedings of the IEEE Conference on Self-Adaptive and Self-Organising Systems 2015 (SASO 2015), 2015

Jacob Beal, Mirko Viroli
Formal Foundations of Sensor Network Applications
SIGSPATIAL Special 7(2), sep 2015

Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Computational Fields Meet Augmented Reality: Perspectives and Challenges
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), 2015 IEEE International Conference on, Sept 2015

Stefano Mariani, Andrea Omicini
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK
AI*IA 2015, Advances in Artificial Intelligence, Lecture Notes in Computer Science 9336, 23-25 September 2015

Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, Jose Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Pervasive and Mobile Computing 17-B, February 2015

Mirko Viroli, Alessandro Ricci
Towards agent aggregates: perspectives and challenges
Engineering Multi-Agent Systems (EMAS 2015), 2015

Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
GOTA: GO term annotation of biomedical literature
BMC Bioinformatics 16, october 2015

Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Smart Augmented Fields for Emergency Operations
Procedia Computer Science, September 2015

Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
PRIMA 2015: Principles and Practice of Multi-Agent Systems, Lecture Notes in Computer Science 9387, 2015

Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
Preface
PRIMA 2015: Principles and Practice of Multi-Agent Systems, Lecture Notes in Computer Science 9387, Ottobre 2015

Andrea Omicini, Giancarlo Fortino, Stefano Mariani
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions
Coordination Models and Languages, Lecture Notes in Computer Science 9037, 2-4 June 2015

Danilo Pianini, Mirko Viroli, Jacob Beal
Protelis: Practical Aggregate Programming
Proceedings of the 30th Annual {ACM} Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, 2015

Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification
Knowledge Discovery, Knowledge Engineering and Knowledge Management, Communications in Computer and Information Science 553, 2015

Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
Engineering Multi-Agent Systems (EMAS 2015), 2015

Ferruccio Damiani, Mirko Viroli
Type-based Self-stabilisation for Computational Fields
Logical Methods in Computer Science 11(4), 2015

Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
A coordination model of pervasive service ecosystems
Science of Computer Programming 110, 2015

Andrea Omicini, Stefano Mariani
Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions
Agent Environments for Multi-Agent Systems IV, Lecture Notes in Computer Science 9068, November 2015

Stefano Mariani, Andrea Omicini, Luca Sangiorgi
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks
Intelligent Distributed Computing VIII, Studies in Computational Intelligence 570, 2015

Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
Formal Techniques for Distributed Objects, Components, and Systems, Lecture Notes in Computer Science 9039, 2015

Jacob Beal, Danilo Pianini, Mirko Viroli
Aggregate Programming for the Internet of Things
Computer 48(9), Sept 2015

Andrea Omicini
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework
2015 19th IEEE International Conference on Computer Supported Cooperative Work in Design (CSCWD2015), 6-8 May 2015

Sara Montagna, Andrea Omicini, Danilo Pianini
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
13th International Workshop on Multi-Agent-Based Simulation (MABS 2015), May 2015

Sara Montagna, Mirko Viroli, Andrea Roli
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development
SIMULATION: Transactions of the Society for Modeling and Simulation International 91(7), June 2015

Jacob Beal, Mirko Viroli
Space-Time Programming
Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 373(2046), 2015

Andrea Omicini, Franco Zambonelli
Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions
WOA 2015 – From Objects to Agents, CEUR Workshop Proceedings 1382, 17-19 June 2015

Sara Montagna, Andrea Omicini, Danilo Pianini
A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation
14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 4-8 May 2015

Mehdi Dastani
Programming Multi-agent Systems
The Knowledge Engineering Review 30(Special Issue 04), September 2015

Stefano Mariani, Andrea Omicini
Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS
Engineering Applications of Artificial Intelligence 41, May 2015

Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities
Knowledge Discovery, Knowledge Engineering and Knowledge Management, Communications in Computer and Information Science 553, 2015

Roberta Calegari, Enrico Denti, Andrea Omicini
Labelled Variables in Logic Programming: A First Prototype in tuProlog
Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC), CEUR Workshop Proceedings 1485, 23-24 September 2015

[top]

Angelo Croatti

Contacts

Email
Unibo

Institutional Page
Unibo Profile

Office
PSLab, Room 4134
Campus di Cesena
Via dell'università, 50, Cesena, Italy

Office Phone
(+39) 0547 338 002

Visualizza il profilo di Angelo Croatti su LinkedIn