completed |
Giulia Brugnatti Model-Based Contrastive Explanations for XAIP: Towards a General Model and Prototype Second-cycle Thesis, 15/12/2022 |
Roberta Calegari Micro-Intelligence for the IoT: Logic-Based Models and Technologies Third-cycle Thesis, 20/04/2018 |
Andrea Muccioli tuProlog as a Service: intelligenza per scenari IoT Second-cycle Thesis, 13/03/2017 |
Alberto Sita Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java First-cycle Thesis, 12/10/2015 |
Giuseppe Vizzari Dynamic Interaction Spaces and Situated Multi-Agent Systems: From a Multi-Layered Model to a Distributed Architecture Third-cycle Thesis, 15/02/2015 |
Francesco Galassi Modello di sicurezza e controllo di accesso in una infrastruttura di coordinazione: architettura e implementazione Second-cycle Thesis, 25/03/2013 |
Fabrizio Sabbioni Testing esaustivo di un interprete Prolog su piattaforma Java First-cycle Thesis, 14/12/2011 |
Silvia Umiliacchi Gestione della tail recursion in tuProlog Second-cycle Thesis, 03/10/2011 |
Sara Montagna Multi-level models and infrastructures for simulating biological system development Third-cycle Thesis, 28/04/2011 |
Alessio Serrangeli Modellazione e implementazione di un gioco di ruolo distribuito tramite un approccio ad agenti Second-cycle Thesis, 24/03/2011 |
Davide Aldrovandi Sviluppo di un linguaggio grafico per una metodologia orientata agli agenti e del relativo strumento di supporto Second-cycle Thesis, 24/03/2011 |
Simone Romei Progetto ed implementazione di uno smart environment per sistemi pervasivi su piattaforma TuCSoN Second-cycle Thesis, 14/12/2010 |
Michele Piunti Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments Third-cycle Thesis, 30/04/2010 |
Maurizio Cimadamore Constructs and Applications of Generic Programming in Object-Oriented Languages Third-cycle Thesis, 30/04/2010 |
Matteo Barbieri Hive BDI. Extending BDI Agents with Shared Memory First-cycle Thesis, 25/03/2010 |
Emanuele Panzavolta Design e Implementazione di un Modulo Semantico per TuCSoN Second-cycle Thesis, 22/12/2009 |
Matteo Casadei Self-organising coordination systems Third-cycle Thesis, 08/09/2009 |
Enrico Oliva Argumentation and artifacts for intelligent multi-agent systems Third-cycle Thesis, 07/04/2008 |
Ambra Molesini Meta-models, environment and layers: agent-oriented engineering of complex systems Third-cycle Thesis, 07/04/2008 |
Luca Gardelli Engineering Self-organising Systems with the Multi-Agent Paradigm Third-cycle Thesis, 02/04/2008 |
Marco Sbaraglia Sistemi software e middleware per sistemi e tecnologie RFID: stato dell'arte e sperimentazioni First-cycle Thesis, 20/07/2006 |
Emanuele Nanetti Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog Second-cycle Thesis, 16/02/2006 |
Daniele Albonetti RBAC in sistemi multiagente: modello e implementazione in TuCSoN Second-cycle Thesis, 15/12/2005 |
Mattia Piraccini JIMAGiC: una infrastruttura ad agenti mobili per il calcolo distribuito First-cycle Thesis, 12/10/2005 |
Rossella Rubino Istituzioni Computazionali: coordinazione mediante norme Second-cycle Thesis, 15/02/2005 |
Leonardo Nicoli Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: organizzazione e coordinazione Second-cycle Thesis, 12/10/2004 |
Ambra Molesini Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: agenti e servizi Second-cycle Thesis, 12/10/2004 |
Alessandro Ricci Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures Third-cycle Thesis, 15/04/2004 |
Enrico Denti Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction Third-cycle Thesis, 20/02/1998 |
(29 thesis co-supervisors / completed theses) [top] [bottom] |
ongoing |
Martina Baiardi Programming BDI Agents with Pluggable Concurrency Model Ongoing Thesis |
Alberto Donati Backup toolkit for container-based clusters Ongoing Thesis |
(2 thesis co-supervisors / ongoing theses) [top] [bottom] |