Per Year & Cycle

Third-cycle Thesis  /  1995–2022

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

• Micro-Intelligence for the IoT: Logic-Based Models and Technologies (3rd cycle, 20/04/2018) — Roberta Calegari

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

• Coordination Issues in Complex Socio-Technical Systems: Self-Organisation of Knowledge in MoK (3rd cycle, 13/05/2016) — Stefano Mariani

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

• Compliance by Design: Synthesis of Business Processes by Declarative Specifications (3rd cycle, 26/08/2014) — Francesco Olivieri

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

• Supporting Agent-Oriented Models within the Software Life Cycle (3rd cycle, 15/08/2012) — Bin Lu

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

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

• Self-organising coordination systems (3rd cycle, 08/09/2009) — Matteo Casadei

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

• Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures  (3rd cycle, 15/04/2004) — Alessandro Ricci

• Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (3rd cycle, 20/02/1998) — Enrico Denti

• Programmazione Logica Orientata agli Oggetti (3rd cycle, 10/11/1995) — Andrea Omicini