Third-cycle Thesis  /  1995–2021

• Engineering Self-Adaptive Collective Processes for Cyber-Physical Ecosystems (02/04/2020) – Roberto Casadei

• Micro-Intelligence for the IoT: Logic-Based Models and Technologies (20/04/2018) – Roberta Calegari

• Heuristic Multicast Routing Algorithms in WSNs with Incomplete Network Knowledge (15/12/2017) – Valeri Katerinchuk
• Simplicial Complexes and Graph Rewriting for Modelling RNA Folding (25/07/2017) – Adane Letta Mamuye
• A topological classifier for detecting the emergence of anomalous synchronization in brain activities (25/07/2017) – Marco Piangerelli
• A Logic-Based Coordination Middleware for Self-Organising Systems: distributed reasoning based on many-valued logics (03/07/2017) – Francesco Luca De Angelis

• Coordination Issues in Complex Socio-Technical Systems: Self-Organisation of Knowledge in MoK (13/05/2016) – Stefano Mariani

• Dynamic Interaction Spaces and Situated Multi-Agent Systems: From a Multi-Layered Model to a Distributed Architecture (15/02/2015) – Giuseppe Vizzari

• Compliance by Design: Synthesis of Business Processes by Declarative Specifications (26/08/2014) – Francesco Olivieri

• Engineering Regulated Open Multiagent Systems (19/04/2013) – Emilia Garcia
• Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development (19/04/2013) – Andrea Santi
• Knowledge Representation Methods for Smart Devices in Intelligent Buildings (22/03/2013) – Giuseppe Loseto
• Sistemi Intelligenti per la Progettazione e Modellazione Automatica di Circuiti Genetici (22/03/2013) – Paolo Pannarale

• Supporting Agent-Oriented Models within the Software Life Cycle (15/08/2012) – Bin Lu

• Multi-level models and infrastructures for simulating biological system development (28/04/2011) – Sara Montagna
• Semantic Coordination Through Programmable Tuple Spaces (28/04/2011) – Elena Nardini

• Law and Science through the Lens of Patent Law and Software Agents (14/07/2010) – Migle Laukyte
• Constructs and Applications of Generic Programming in Object-Oriented Languages (30/04/2010) – Maurizio Cimadamore

• Self-organising coordination systems (08/09/2009) – Matteo Casadei

• Argumentation and artifacts for intelligent multi-agent systems (07/04/2008) – Enrico Oliva
• Meta-models, environment and layers: agent-oriented engineering of complex systems (07/04/2008) – Ambra Molesini
• Engineering Self-organising Systems with the Multi-Agent Paradigm (02/04/2008) – Luca Gardelli

• Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures  (15/04/2004) – Alessandro Ricci

• Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (20/02/1998) – Enrico Denti

• Programmazione Logica Orientata agli Oggetti (10/11/1995) – Andrea Omicini