Theses  /  1995–2021

• Hyperledger: Architettura, Struttura e Tecnologie applicate alla Blockchain (22/07/2021) – Cristiano Aprigliano
• Spatial Tuples nel mondo reale: il caso di Unity e Google Maps (28/05/2021) – Marco Pastore
• Resilienza di applicazioni e cluster Kubernetes (26/03/2021) – Gloria Semprini

• Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP (22/07/2021) – Giovanni Speciale
• Sviluppo di un progetto di automation testing con approccio BDD e gestione delle CI/CD pipelines (22/07/2021) – Marco Baldassarri
• MLOps – Standardizing the Machine Learning Workflow (22/07/2021) – Enrico Salvucci
• Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study (21/07/2021) – Jason Dellaluce
• Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations (28/05/2021) – Maicol Forti
• Monitoraggio dinamico di entità geo-localizzate: un'applicazione web modulare (26/03/2021) – Michele Donati
• Engineering Angle-of-Arrival-based Indoor Localization Systems (26/03/2021) – Shapour Nemati

• Progettazione e implementazione  di un'interfaccia Android  per il motore Prolog 2P-Kt (22/07/2020) – Andrea Dipietro
• Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (22/07/2020) – Ilaria Crivellari
• Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (22/07/2020) – Riccardo Varotto

• Interpretable Prediction of Galactic Cosmic-Ray Short-Term Variations with Artificial Neural Networks (17/12/2020) – Federico Sabbatini
• AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici (19/03/2020) – Giuseppe Pisano
• End-to-End Goal-Oriented Conversational Agent for Risk Awareness (19/03/2020) – Marco Canducci

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

• Blockchain e Internet of Things: realizzazione di un’applicazione decentralizzata per l’affitto di case vacanza (21/03/2019) – Matteo Saccomanni
• Tecnologia Blockchain: un'analisi tecnica e sviluppo di un'applicazione decentralizzata (21/03/2019) – Andrea Cardiota

• Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati (12/12/2019) – Matteo Minardi
• Simulazione di Agenti BDI basati su Prolog in Alchemist (12/12/2019) – Filippo Nicolini
• 2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (12/12/2019) – Enrico Siboni
• Synapsis - Middleware per l'integrazione di Game Engine e Sistemi Multi-Agente (10/10/2019) – Luca Pascucci
• Logic-based coordination: a semantic approach to self-composition of services (21/03/2019) – Ashley Caselli

• Coordination as a Web Service: una moderna implementazione del modello Linda (18/10/2018) – Lorenzo Rizzato
• Estensione di un plug-in multilinguaggio su piattaforma Eclipse: supporto a progetti ibridi Java-Prolog (03/10/2018) – Riccardo Vasumini
• Smart Environment su piattaforma Home Manager:  sensori e micro-intelligenza (03/10/2018) – Alessandro Calvio
• tuProlog.NET: analisi di sostenibilità del processo di sviluppo (03/10/2018) – Matteo Castiglio
• Micro-Intelligenza in contesti Smart Home: realizzazione di un guardaroba intelligente (03/10/2018) – Luca Antognetti
• Web of Things: RESTful API con Node.js (22/03/2018) – Luca Martello

• Multi-sensing Data Fusion: Target tracking via particle filtering (18/10/2018) – Alessandro Contro
• Coordinazione di veicoli autonomi: simulazione di incroci stradali (18/10/2018) – Mattia Borrillo
• Testing automatico per una implementazione dello standard OpenGL (18/10/2018) – Edoardo Antonini
• Implementazione di un sistema per il self-management del diabete di tipo 1 (19/07/2018) – Francesco Cozzolino
• Game Engines and MAS: Spatial Tuples in Unity3D (19/07/2018) – Alessandro Bagnoli
• Agenti autonomi e artefatti per la simulazione del traffico in una Smart City (22/03/2018) – Brando Mordenti
• Blockchain: modello generale e tassonomia delle componenti chiave (22/03/2018) – Alex Collini
• Managing Challenges of Non Communicable Diseases during Pregnancy: An Innovative Approach (22/03/2018) – Valentina Intrusi
• Game Engines and MAS: BDI & Artifacts in Unity (22/03/2018) – Nicola Poli
• Game Engines and MAS: Tuplespace-based Interaction in Unity (22/03/2018) – Mattia Cerbara
• La rivoluzione dei Chatbot: sviluppo di un sistema conversazionale in azienda (22/03/2018) – Patryk Wojtowicz
• Modelli e piattaforme per la democrazia digitale: analisi e confronto (22/03/2018) – Thomas Trapanese

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

• Sviluppo di un sistema di video streaming in ambito eyewear e wearable computing (15/12/2017) – Davide Giacomini
• Sviluppo di Web App basate sul modello SPA: il progetto TraumaTracker come caso di studio (15/12/2017) – Giacomo Venturini
• La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente (15/12/2017) – Nicola Atti
• Bio-inspired Networking: analisi della letteratura applicata al modello MoK (15/12/2017) – Alessandro Corbi
• Coordinazione di elettrodomestici in uno scenario Smart Home: sperimentazione su piattaforma Home Manager (06/10/2017) – Nicola Fava
• Revisione architetturale di plugin multi-linguaggio su piattaforma Eclipse (24/07/2017) – Federico Stella
• Bitcoin: limiti e soluzioni tecniche della scalabilità (15/07/2017) – Oksana Komarnytska
• Filtraggio e censura dei servizi Internet: un'analisi sul protocollo SSL/TLS (16/03/2017) – Andrea Vignudelli
• Sviluppo di un sistema di e-health per il tracciamento dei parametri vitali nella gestione dei traumi (16/03/2017) – Gianluca Spadazzi
• Microservizi per il progetto di sistemi distribuiti (09/02/2017) – Simone Lai

• Sistemi di supporto alle decisioni in ambito clinico: predizione del rischio “as a service” (15/12/2017) – Andrea Decastri
• Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (24/07/2017) – Alberto Sita
• Smart home: reasoning e proattività applicate ad un caso di studio (15/06/2017) – Ilaria Bertoletti
•  Third generation neural networks: formalization as timed automata, validation and learning  (17/03/2017) – Giovanni Ciatto
• Aggregazione di dati testuali in MoK: matchmaking basato su ontologie o similarità (16/03/2017) – Matteo Fattori
• Coordinazione e tolleranza ai guasti: preservare lo spazio dell'interazione in TuCSoN (16/03/2017) – Matteo Delvecchio
• tuProlog as a Service: intelligenza per scenari IoT (13/03/2017) – Andrea Muccioli

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

• Il progetto TraumaTracker: studio e sviluppo prototipale di un sistema wearable hands-free in ambito healthcare (15/12/2016) – Matteo Gabellini
• Strumenti per middleware di coordinazione: il caso di TuCSoN (15/12/2016) – Andrea Dintino
• Programmazione ad agenti e pianificazione: AgentSpeak(PL) come caso di studio (06/10/2016) – Sacha Muratori
• Sviluppo del simulatore ALCHEMIST per la modellazione di movimento cellulare (06/10/2016) – Franco Pradelli
• Scheduling di elettrodomestici nel  prototipo di Home Manager (06/10/2016) – Federico Gava
• Sistemi di Mobile-Health per il monitoraggio e l'assistenza alla gravidanza (06/10/2016) – Emmanuele Ghigi
• Studiare e sviluppare alcuni casi di studio significativi in ottica Smart Home (06/10/2016) – Erika Gardini
• Refactoring e attualizzazione del prototipo di Home Manager su piattaforma Raspberry (06/10/2016) – Luca Scalzotto
• REALIZZAZIONE DI UN PROTOTIPO DI SMART OVEN IN AMBIENTE HOME MANAGER (14/07/2016) – Armando Mancini
• Home Manager Application su Android ART: progetto e realizzazione in ottica modern UI (14/07/2016) – Alessio Mora
• HUMAN PRESENCE DETECTION IN AMBIENTE HOME MANAGER: SPERIMENTAZIONE SU PIATTAFORMA RASPBERRY (14/07/2016) – Simone Bruzzechesse
• Progettazione e implementazione di una incarnazione biochimica per il simulatore Alchemist (14/07/2016) – Gabriele Graffieti
• Progetto e sviluppo di middleware per l’interfacciamento di sensori per la domotica in ambiente Java (13/07/2016) – Federico Baldassarre
• Progetto e sviluppo di una libreria tuProlog per l’interfacciamento di sensori in contesti di pervasive computing (13/07/2016) – Federico Venturini
• 2P as a service for Android (13/07/2016) – Lucrezia Paradisi
• Simulazione agent-based di un sistema di m-Health per il self-management del diabete di tipo 1 (16/06/2016) – Michele Donati
• Bluetooth per TuCSoN mobile: panorama tecnologico ed esperimenti (17/03/2016) – Svetlozar Nikolov Orlovski
• Context-Aware Computing e Tecnologie Wearable (17/03/2016) – Andrea Nicolini
• Tecnologie e framework per la programmazione multi-agente (17/03/2016) – Roberto Giuliani
• Sviluppo di applicazioni mobile cross-platform: Flutter come caso di studio (17/03/2016) – Luca Polverelli
• Reactive programming: un caso di studio (17/03/2016) – Martina Giovanelli
• Studio di Augmented World come Paradigma di Progettazione  di Sistemi basati su Realtà Aumentata e Pervasive Computing  - Verso la Definizione di un Modello (17/03/2016) – Alessia Papini
• Studio e sviluppo di un Framework  in ambiente Android per la realizzazione di Interfacce Utente Innovative basate su Smart Glass (17/03/2016) – Giulia Lucchi
• Evoluzione delle User Interface: Dalla Metafora del Desktop al Wearable Computing (17/03/2016) – Giulia Lucchi
• Smart Home: HomeKit e Nest (17/03/2016) – Ivan Fraioli
• HUMAN PRESENCE DETECTION: ANALISI COMPARATIVA E CASO DI STUDIO IN HOME MANAGER (17/03/2016) – Jacopo Ameli
• Elasticity in Cloud Computing: tecnologia e applicazione aziendale presso Onit (17/03/2016) – Matteo Cacchi
• Sviluppo di un sistema informatico per il controllo remoto di un osservatorio astronomico (17/03/2016) – Davide Pieretti
• Internet dei veicoli, un nuovo paradigma per una mobilità intelligente e autonoma (17/03/2016) – Matteo Pasolini
• INSPECTOR-PI: Progettazione e Sviluppo di un Sistema Mobile per il Controllo e il Monitoraggio basato su Tecnologie Embedded e Internet of Things (17/03/2016) – Simone Galassi
• Coordination nel Cloud: elasticità in ReSpecT (17/03/2016) – Francesco Serafini
• Integration of Internet of Things and Cloud computing: A case study on vital signs monitoring (17/03/2016) – Fabio Vasini
• Progettazione e sviluppo multi-platform di applicazioni mobile: un caso di studio in Xamarin (17/03/2016) – Enrico Ceccolini
• Windows 10 IoT su Raspberry Pi 2: multiparadigm programming tra Java e C# (11/02/2016) – Luca Marzaduri

• Home Manager come middleware per la coordinazione situata in ambito IoT (15/12/2016) – Richiard Casadei
• Enterprise Social Networks: The Case of CERN (06/10/2016) – Marco Carlo Cavalazzi
• Integrazione sistemi a eventi e multi-agente: Kafka, TuCSoN e JADE (14/07/2016) – Marco Zaccheroni
• Computazione Embodied e Disembodied: Cloud-based IoT (14/07/2016) – Pietro Antonio Nompleggio
• Mobile CSCW e sincronizzazione dati per il soccorso in emergenza: un caso di studio (17/03/2016) – Simone Grotti
• Self-management di malattie croniche in sistemi di mobile Health: sviluppo di un modello agent-based per casi di diabete (17/03/2016) – Francesco Degli Angeli
• IoT e progettazione di sistemi di Home Automation: un caso di studio reale basato su framework e standard open (17/03/2016) – Danilo Candiotti
• Realizzazione di applicazioni multi-piattaforma: Android, iOS, Java (11/02/2016) – Vito Colletta

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

• Coordinazione situata per la domotica: Butlers in TuCSoN (10/12/2015) – Attilio Pometto
• Un Distributore Intelligente di Bevande alla Spina con Sistema di Pagamento basato su Bitcoin (10/12/2015) – Ludovico Denittis
• Studio, analisi e progettazione di un prototipo di Infrastructure as Code (10/12/2015) – Alessandro Mazzoli
• Sperimentazione di tecnologie Raspberry in contesti di Home Intelligence (12/10/2015) – Matteo Carano
• Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java (12/10/2015) – Alberto Sita
• Smart home: reasoning e proattività applicate ad un caso di studio (12/10/2015) – Alessandro Celi
• Esperimenti di Design Pattern di Ispirazione Biologica (10/10/2015) – Riccardo Mencucci
• Piattaforme per Internet of Things: Windows IoT Core come caso di studio (08/10/2015) – Marco Nobile
• Darknet e Deep Web: il lato oscuro del Web per la privacy e la protezione dei dati (19/03/2015) – Patryk Wojtowicz
• Tool a supporto della programmazione multi-piattaforma: il caso di RoboVM e iTuCSoN (19/03/2015) – Marco Fiorini
• Sviluppo storico ed economico del Cloud Computing: Cloud Foundry come esempio di Platform as a Service (19/03/2015) – Jessica Marcantoni
• Progetto e sviluppo di RESTful web API per un sistema aziendale di marcature degli accessi (19/03/2015) – Andrea Rinaldi
• Ruolo del Cloud nell'Amministrazione dei Sistemi Informatici Moderni (19/03/2015) – Marco Lorenzini
• Smart home: stato dell’arte della tecnologia (19/03/2015) – Silvia Vandi
• Butler vision nella home intelligence: un caso di studio (17/03/2015) – Vincenzo Zappavigna
• Geolocalizzazione di servizi in un sistema di home intelligence (17/03/2015) – Daiana Paolini
• TuCSoN on Cloud: Revisione dell’architettura (15/03/2015) – Fabio Ricca Rosellini

• Architetture per Smart Health: il caso FitStadium (10/12/2015) – Roberto D'Elia
• TuCSoN on Android: coordinazione event-driven e geolocalizzata su dispositivi mobili (10/12/2015) – Lorenzo Forcellini Reffi
• Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog (12/10/2015) – Andrea Bucaletti
• Home intelligence & social network in the Butlers perspective (12/10/2015) – Sara Bevilacqua
• Ingegnerizzazione di RBAC-MAS in TuCSoN (19/03/2015) – Emanuele Buccelli
• Mining LinkedIn Social Media: Tecniche di Data e Text mining applicate a Recommender System per la Ricerca ed Offerta di Lavoro (19/03/2015) – Karin Pasini
• Specifica e sintesi automatica di sistemi software: una notazione in linguaggio Z (17/03/2015) – Fabio Desimone

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

• Generatori di codice in Visual Studio: modelli di funzionamento e applicazioni pratiche (11/12/2014) – Michele Francesco Di Lella
• Realtà aumentata per dispositivi android: lo stato dell'arte (11/12/2014) – Fabio Cosenza
• Test di accettazione: strumenti a confronto (11/12/2014) – Marcello Colameo
• Il tempo nei sistemi coordinati: esperimenti in TuCSoN (09/10/2014) – Raffaele Mazza
• Sicurezza, protezione e integrità nei sistemi cloud: modelli, metodi e tecnologie (09/10/2014) – Filippo Alberto Brandolini
• Linguaggi di programmazione ad agenti: Jason come caso di studio (09/10/2014) – Nicolò Carpignoli
• Revisione e attualizzazione del prototipo del sistema HomeManager per la gestione di una casa intelligente (06/10/2014) – Ilaria Bertoletti
• Bitcoin: aspetti tecnici, economici e politici di una crittovaluta (17/07/2014) – Pier Francesco Costa
• Traduzione semi-automatica di applicazioni in iOS: approcci e strumenti (18/06/2014) – Lorenzo Dalla Casa
• Gestione dell'input nell'interfaccia grafica di tuProlog per Java ed Eclipse (18/06/2014) – Matteo Librenti
• Progettazione e Sviluppo di Applicazioni di Augmented Reality Interattive (27/04/2014) – Fabio Gaudenzi
• Metodi e Modelli per l'Interoperabilità di Infrastrutture di Virtualizzazione Eterogenee: OpenStack Come Caso di Studio (27/03/2014) – Nikolay Zuluaga
• Progetto di integrazione di strumenti per l'asset management in funzione di privacy e sicurezza (27/03/2014) – Enrico Gualandi
• Programmazione multi-linguaggio in tuProlog.NET: esempi e casi d'uso (18/03/2014) – Marco Donato Torsello
• Class loading in Android: applicazione a tuProlog (18/03/2014) – Alessio Mercurio

• Tecnologie per la mobilità verso un middleware general-purpose (15/06/2014) – Stefano Montesi
• Riprogettazione ed estensione di un sistema prototipale per la gestione di una casa intelligente (18/03/2014) – Paolo Barboni

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

• Agents, Nodes & Resources: Universal Naming System for a Coordination Middleware (19/12/2013) – Federico Foschini
• Estensione dell'interfaccia grafica in tuProlog per Android (19/12/2013) – Mirco Mastrovito
• Ruolo delle architetture ad eventi nello sviluppo della applicazioni moderne (10/10/2013) – Roberto Reda
• Programmazione asincrona in JavaScript (10/10/2013) – Riccardo Drudi
• Coordinazione embodied vs. disembodied: TuCSoN on Cloud (10/10/2013) – Luca Guerra
• Coordinazione situata: integrazione di Arduino in un middleware basato su tuple  (25/07/2013) – Steven Maraldi
• Refactoring e testing dell'interprete tuProlog (13/06/2013) – Emanuele Signorin
• Traduzione semi-automatica di applicazioni: approcci a confronto (25/03/2013) – Giacomo Dall'Olio
• Applicazioni multi-linguaggio e multi-paradigma in tuProlog.NET (25/03/2013) – Mirko Davoli
• TuCSoN on Android (21/03/2013) – Andrea Ridolfi
• Framework mobile per lo sviluppo di sistemi coordinati (21/03/2013) – Roberto D'Elia
• Coordination as a Service (CaaS) in the Cloud (21/03/2013) – Richiard Casadei
• Attualizzazione del supporto al multitasking in tuProlog (13/02/2013) – Eleonora Cau
• Coordination as a service in JADE (07/02/2013) – Nicola Dellarocca

• New Markov Chain Based Methods For Single And Cross-Domain Sentiment Classification (19/12/2013) – Andrea Pagliarani
• Predictive Text Mining: Metodi di previsione di indici di borsa basati su Twitter (19/12/2013) – Denis Di Paolo
• Tecniche di text mining per l'autoorganizzazione della conoscenza (10/10/2013) – Michele Pratiffi
• Profiling, re-factoring e ottimizzazione del middleware di coordinazione TuCSoN (25/07/2013) – Saverio Cicora
• Coordinazione space-aware per dispositivi mobili in TuCSoN (15/07/2013) – Michele Bombardi
• Esperimenti di stigmergia cognitiva con TuCSoN e Jason (15/07/2013) – Chiara Casalboni
• Modello di sicurezza e controllo di accesso in una infrastruttura di coordinazione: architettura e implementazione (25/03/2013) – Francesco Galassi
• Biochemical coordination in TuCSoN (21/03/2013) – Marco Piraccini
• Progettazione e Sviluppo di Applicazioni Distribuite su Web: da JavaScript a TypeScript (21/03/2013) – Enrico Gramellini
• Sviluppo di un Framework per la Programmazione di Robot basati su Architettura di Controllo Behaviour-Based (21/03/2013) – Matteo Bianchi
• Simulazione di algoritmi di auto organizzazione basati su gradiente computazionale in Alchemist (21/03/2013) – Enrico Polverelli

• 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

• Aspetti di sicurezza nel Cloud Computing (20/12/2012) – Francesca Collina
• Da Java a Objective-C: porting e dispositivi portatili (20/12/2012) – Pietro Antonio Nompleggio
• Sviluppo di app HTML 5 per l'accesso a un portale scientifico XWiki (20/12/2012) – Marco Zaccheroni
• Configurazione di un portale XWiki per la visualizzazione su dispositivi mobili: il caso di APICe (20/12/2012) – Andrea Buscarini
• Artefatti e sistemi coordinati: esperimenti in ReSpecT (20/12/2012) – Noemi Ciampelli
• Negoziazione dinamica e rilascio di ACC in TuCSoN (20/12/2012) – Roberto Togni
• Estensione della Socket Library per tuProlog (19/12/2012) – Adelina Benedetti
• Traduzione automatica di applicazioni Java in .NET: approcci a confronto  (19/12/2012) – Andrea Muccioli
• XWiki Mobile: architetture collaborative per device mobili (26/07/2012) – Marco Renio
• Streaming audio e video nei sistemi Peer-To-Peer TV: il caso Sopcast P2PTV (26/07/2012) – Riccardo Timoncini
• Interoperabilità tra frammenti EHR e coordinamento semantico (21/06/2012) – Simone Norcini
• Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA  (28/03/2012) – Alan Foligatti
• Tecnologie per la collaborazione sociale tra robot Mindstorm: Lejos & ReSpecT (28/03/2012) – Cornel Moisuc
• Porting dell'interprete tuProlog su piattaforma Android: nuova GUI (15/03/2012) – Gianluca Privitera

• Programming Robots with an Agent-Oriented BDI-based Control Architecture: Explorations using the JaCa and WeBots platforms (20/12/2012) – Andrea Mordenti
• Engineering Concurrent and Event-Driven Web Apps: From DART isolates to simpAL agents (20/12/2012) – Francesco Fabbri
• Integrazione di codice tuProlog in linguaggi .NET approcci a confronto (19/12/2012) – Fabio Gravina
• BDI Agents for Real Time Strategy games (11/10/2012) – Andrea Dallatana
• Molecules of Knowledge: architettura, implementazione ed esempi (26/07/2012) – Mattia Occhiuto
• Algoritmi Gradient-based per la modellazione e simulazione di sistemi auto-organizzanti (26/07/2012) – Francesca Cioffi
• Supporting semantic web technologies in the pervasive service ecosystems middleware (26/07/2012) – Paolo Contessi
• Modellazione e Simulazione della Cascata di  Segnalazione Intracellulare MAPK su uno Spazio di Tuple Biochimiche (28/03/2012) – Andrea Boccacci
• Semantic coordination tuple centres for eHealth Systems (28/03/2012) – Alex Carmine Olivieri
• Implementazione automatica di protocolli di interazione AUML mediante reti di Petri (28/03/2012) – Marco Alberti
• Architetture software per coordinazione semantica: efficienza vs. espressività (16/02/2012) – Marco Savoia

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

• Social network scientifici: stato dell'arte, evoluzione e potenziale sviluppo (20/12/2011) – Stefano Montesi
• Estensione e riorganizzazione della GUI di un interprete Prolog su piattaforma Java (16/12/2011) – Michele Castagna
• Testing esaustivo di un interprete Prolog su piattaforma Java (14/12/2011) – Fabrizio Sabbioni
• Interfacciamento Prolog/CLI in un interprete Prolog su piattaforma .NET (14/12/2011) – Valerio Pipolo
• Soluzioni per il deployment di un plugin Eclipse (14/12/2011) – Lorena Qendro
• Porting e testing su piattaforma Android di un interprete Prolog (20/07/2011) – Andrea Pasquini
• HTML 5: Stato dell'arte e prospettive (23/03/2011) – Simone Dozza
• Sviluppo di un framework concettuale e tecnologico per l'integrazione di LEGO Mindstorm e ReSpecT (23/03/2011) – Marco Alessi
• Adeguamento del plug-in per l'interprete tuProlog su piattaforma Eclipse (21/03/2011) – Orfeo Ciano

• Molecules of knowledge: a new approach to knowledge production, management and consumption (20/12/2011) – Stefano Mariani
• Supporto a regole chimico-semantiche per la coordinazione di service pervasive ecosystems (12/10/2011) – Matteo Desanti
• Modulo di comunicazione in una infrastruttura per pervasive service ecosystems (12/10/2011) – Michele Morgagni
• Gestione della tail recursion in tuProlog (03/10/2011) – Silvia Umiliacchi
• Mobile TuCSoN: theoretical and technological requirements for TuCSoN's porting over Android mobile devices (21/07/2011) – Antonio Pedone
• Coordinazione sociale di robot Mindstorm in ReSpecT (23/06/2011) – Matteo Mosca
• Sviluppo di un linguaggio grafico per una metodologia orientata agli agenti e del relativo strumento di supporto (24/03/2011) – Davide Aldrovandi
• Modellazione e implementazione di un gioco di ruolo distribuito tramite un approccio ad agenti (24/03/2011) – Alessio Serrangeli
• Un Framework di simulazione per ecosistemi di servizi pervasivi (23/03/2011) – Danilo Pianini

• 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

• Modellazione e simulazione della morfogenesi di Drosophila Melanogaster su COMPUCELL3D (21/12/2010) – Matteo Pozzi
• Modellazione di leggi chimiche per la generazione della forma (21/12/2010) – Davide Ensini
• Porting e processo di mantenimento di applicazioni Java su piattaforma .NET  (15/12/2010) – Alessandro Montanari
• Topologia nel modello di coordinazione TuCSoN (22/07/2010) – Enrico Zamagni
• Organizzazione della conoscenza sul Web tramite SKOS (22/07/2010) – Chiara Casalboni
• Artefatti di coordinazione per agenti in Smart Environment  (22/07/2010) – Andrea Mordenti
• Hive BDI. Extending BDI Agents with Shared Memory (25/03/2010) – Matteo Barbieri
• Migrazione a caldo di macchine virtuali in infrastrutture di virtualizzazione (24/03/2010) – Davide Salvaterra
• Swarm Intelligence e autoorganizzazione della conoscenza: esperimenti con WordNet in italiano (24/03/2010) – Michele Pratiffi
• Virtualizzazione di sistemi di elaborazione: la tecnologia Virtual-Box come caso di studio (24/03/2010) – Cristiana Casanova
• Infrastrutture di virtualizzazione nei sistemi IT e virtual desktop infrastructure (24/03/2010) – Enrico Polverelli
• Graph&SODA: A Graphical Tool for SODA (24/03/2010) – Luca Staccoli
• Sviluppo dei predicati di I/O standard ISO per l' interprete tuProlog (14/01/2010) – Sara Sabioni

• Un'infrastruttura a spazi di tuple per ecosistemi di servizi pervasivi (21/12/2010) – Andrea Tosi
• Progettazione di un framework di sicurezza per smartphone (21/12/2010) – Marco Antonio Primiceri
• Modellazione agent-based delle dinamiche alla base della precoce regionalizzazione dell'embrione di Drosophila Melanogaster (21/12/2010) – Lorenzo Ravaglia
• Progetto ed implementazione di uno smart environment per sistemi pervasivi su piattaforma TuCSoN (14/12/2010) – Simone Romei
• Algoritmi di ricerca locale stocastica per l'ottimizzazione di parametri in un simulatore  biologico (13/10/2010) – Fabio Tonti
• Towards Boolean network design for robotics applications (25/07/2010) – Mattia Manfroni
• Modellazione di meccanismi morfogenetici in Repast (25/07/2010) – Filippo Campana
• ALFRED2: An Abductive Logic FRamEwork for Distributed Diagnosis (24/03/2010) – Marco Battarra
• Modellazione e simulazione ad agenti della morfogenesi di Drosophila Melanogaster (24/03/2010) – Nicola Donati
• Coordinazione space-based per la piattaforma bioinformatica Cellulat (24/03/2010) – Marco Sbaraglia
• Analysis and quantification of information in biological networks for protein function prediction (24/03/2010) – Frens Tedeschini
• Refactoring dell'interprete tuProlog su piattaforma .NET per il supporto alla gestione delle eccezioni (18/03/2010) – Antonio Danilo Santoro

• 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

• Probabilità e stocasticità nei sistemi coordinati: esperimenti in ReSpecT (22/12/2009) – Stefano Mariani
• Interfacce grafiche di nuova generazione: stato dell'arte e sperimentazioni di ambienti collaborativi tramite Croquet SDK (14/10/2009) – Luca Spazzoli
• Progetto e sviluppo di una libreria tuProlog per il Web Semantico (07/10/2009) – Martina Paianini
• Sistemi di workflow dichiarativo (22/07/2009) – Gheorghe Gabriel Pinzaru
• Tecnologie di coordinazione per la situatedness in ambito robotico (25/06/2009) – Maicol Urbinati
• Esperienze in robotica con lego Mindstorm e ReSpecT (25/06/2009) – Matteo Amaducci
• Sviluppo di Metodi e Strumenti per l'Inferenza di Reti di Regolazione Genetica (25/03/2009) – Adele Gori
• Coordinazione stigmergica tra agenti situati mediante tecnologia RFID con tag passivi (25/03/2009) – Michael Gattavecchia
• Analisi di prestazione del motore tuProlog su piattaforma Java (19/03/2009) – Michele Damian
• Ri-progettazione, separazione e integrazione delle tecnologie ReSpecT e TuCSoN per sistemi distribuiti (11/02/2009) – Luca Semprini

• Modelli e tecnologie per la sicurezza in applicazioni orientate ai servizi: analisi e sperimentazioni del framework WS-security (31/12/2009) – Domenico Magnani
• Design e Implementazione di un Modulo Semantico per TuCSoN (22/12/2009) – Emanuele Panzavolta
• Gli SPIME nell'Internet delle cose come combinazione di agenti e artefatti (22/12/2009) – Stefano Tamagnini
• Progetto di un motore RBAC per un sistema prototipale di gestione di una casa intelligente (06/10/2009) – Leo Di Carlo
• Scripting in Java 6: esperimenti in tuProlog (25/06/2009) – Andrea Del Bene
• XML representation of Functional Safety Requirements according to ISO26262 and AUTOSAR 3LSC Standards  (19/03/2009) – Christian Rimondi

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

• Lo Standard WSDM per la Gestione di Risorse a Livello Applicativo: Panoramica e Sperimentazioni (31/12/2008) – Michele Morgagni
• Estensione delle funzionalità di agenti software per l'invio e la ricezione di SMS su piattaforma TuCSoN (31/12/2008) – Alessandro Grazi
• Virus informatici benevoli: panoramica e sperimentazioni (31/12/2008) – Jimmy Ciccolini
• Trasduttori e middleware: da JDDAC alla coordinazione (17/12/2008) – Andrea Tosi
• Autoorganizzazione di eco-servizi in TuCSoN (15/12/2008) – Tommaso Pirini
• Il framework Java Metro per lo sviluppo di Web Services e Sistemi SOA Interoperabili (15/10/2008) – Simone Vignodelli
• Progetto e sviluppo di una GUI per il linguaggio di coordinazione ReSpecT  (15/10/2008) – Andrea Novaga
• Sviluppo ed implementazione in MASON di un modello multiagente per la simulazione di cellule staminali ematopoieitiche (15/10/2008) – Marco Alberti
• Coordinazione field-based e stigmergica con ReSpecT Mobile Code (15/10/2008) – Sascia Virruso
• Dalla Swarm Intelligence alla Self Organising Coordination: applicazione a scenari pervasive (15/10/2008) – Danilo Pianini
• Un modello di programmazione ad agenti per lo sviluppo di applicazioni Web complesse (15/10/2008) – Luca Domeniconi
• Progettazione e sviluppo di uno strumento per il monitoraggio e controllo di applicazioni per il framework ad agenti simpA (15/10/2008) – Alberto Castori
• Modello preda-predatore basato ad agenti (15/10/2008) – Denis Brighi
• DrSimpA: progettazione e sviluppo di ambiente per il collaudo e sviluppo interattivo di applicazioni ad agenti nel framework simpA (15/10/2008) – Valerio Monti
• Studio di fattibilità per il deployment del plug-in tuProlog su piattaforma Eclipse (25/07/2008) – Paolo Barboni
• Progetto e sviluppo di una nuova GUI per l'interprete tuProlog (25/07/2008) – Juri Castellani
• Un modello di programmazione ad agenti per applicazioni Web 2.0 e 3.0 (24/07/2008) – Mattia Minotti
• Analisi e sviluppo di un sistema per l'automatizzazione delle procedure operative di gestione di una clinica veterinaria per piccoli animali (26/03/2008) – Giovanni Bezicheri
• Design di una interfaccia grafica per query multiple su motori inferenziali (18/01/2008) – Marco Casadio

• Progetto e sviluppo del supporto all'interoperabilità fra l'interprete tuProlog e linguaggi su piattaforma Microsoft.NET  (21/10/2008) – Marco Albertin
• Verso reti auto-organizzanti ispirate alle biochimica: un framework di simulazione (15/10/2008) – Lorenzo Cavina
• Progettazione di un simulatore per modelli continui di reti genetiche (26/03/2008) – Francesco Vernocchi
• Coordination Games in TuCSoN (25/03/2008) – Lorenzo Varrasso

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

• Reingegnerizzazione del supporto per l'interprete tuProlog su piattaforma Java Micro Edition (J2ME) (17/12/2007) – Enrico Angelini
• Reingegnerizzazione del supporto per l'interprete tuProlog su piattaforma Microsoft .NET (10/10/2007) – Mattia Generali
• Progetto e sviluppo di una libreria tuProlog per il linguaggio SQL (09/10/2007) – Matteo Iuliani
• MASON come piattaforma Java-based per la simulazione di modelli multi-agente (25/07/2007) – Lorenzo Ravaglia
• Il framework Symfony: panoramica e sperimentazioni (24/07/2007) – Giacomo Bartolucci
• Studio e sperimentazione di modelli di interazione e coordinazione software di robot LEGO Mindstorms (24/07/2007) – Alberto Pini
• Supporto per monitoraggio, gestione e diagnosi di applicazioni su piattaforma Java: stato dell'arte (24/07/2007) – Andrea Caraceni
• P4P: infrastrutture space-based per il p2p (21/03/2007) – Giorgio Amadei
• Implementazione del plug-in per l'interprete tuProlog su piattaforma NetBeans: sviluppo di un nuovo prototipo (15/03/2007) – Riccardo Malara

• Progetto e sviluppo del supporto per il multi-threading nell'interprete tuProlog (20/06/2007) – Robertino Aniello
• Progetto e realizzazione di una battaglia medioevale mediante tecnologie ad agenti (21/03/2007) – Alberto Mercati
• Modelling and Simulating in Systems Biology: an Approach based on Multi-Agents Systems (24/01/2007) – Sara Montagna

• Progetto e realizzazione di un agente per l'esplorazione dei servizi di rete (11/12/2006) – Roberto Magale
• Simulazione ad agenti: Repast vs. TuCSoN (11/10/2006) – Paolo Angelini
• Estensione del plugin tuProlog su piattaforma Eclipse: supporto per istanze multiple dell'interprete (10/10/2006) – Michele Dinardo
• Sviluppo di un sistema multi-agente per la gestione di una stazione ferroviaria (27/07/2006) – Ambra Palladini
• Estensione del plug-in tuProlog su piattaforma Eclipse: reingegnerizzazione della interazione con l'ambiente (26/07/2006) – Stefano Bonetti
• Sistemi software e middleware per sistemi e tecnologie RFID: stato dell'arte e sperimentazioni (20/07/2006) – Marco Sbaraglia
• Strumenti di interazione avanzati mediante spazi di lavoro virtuali: un ambiente su piattaforma TuCSoN (27/03/2006) – Alessandro Lazzarotto
• Sviluppo di un sistema multi-agente per la gestione di un calendario (27/03/2006) – Cinzia La Morgia
• Lifestreams in TuCSoN: toward the integration of knowledge and development management (21/03/2006) – Marco Fabbri
• Strategie di backup e recovery di un database Oracle 9i (18/03/2006) – Fabio Baldini
• Programmazione a canale (09/02/2006) – Michele Mei

• Advanced role-based models for organisation in MAS coordination infrastructures  (14/12/2006) – Stefano Riffelli
• Tecnologie ad agenti per una casa intelligente (11/12/2006) – Claudia Fontan
• Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeans (26/10/2006) – Luca Coccini Gailli
• Realizzazione di agenti software per la gestione di una rete di sensori wireless (11/10/2006) – Stefano Bromuri
• Analisi e progetto di un sistema di controllo degli accessi ad un edificio (26/07/2006) – Felice Tufo
• Progetto e realizzazione del supporto a teorie logiche multiple nell'interprete tuProlog (16/02/2006) – Emanuele Nanetti

• Integrazione di tecnologie per la distribuzione di contenuti Web in sistemi multi-agente: un approccio basato sull'infrastruttura TuCSoN (31/12/2005) – Stefano Montini
• Integrazione della funzionalità di syntax highlighting per l'interprete tuProlog in ambiente Eclipse (15/12/2005) – Daniele Sabatini
• Routing adattativo dinamico: un approccio basato su agenti e stigmergia (12/10/2005) – Stefano Benedettini
• JIMAGiC: una infrastruttura ad agenti mobili per il calcolo distribuito (12/10/2005) – Mattia Piraccini
• Progetto e sviluppo di un plug-in per l'interprete tuProlog in ambiente Eclipse (14/03/2005) – Stefano Rizzi

• Ingegnerizzazione di applicazioni con metodologie agent oriented: un caso applicativo (20/12/2005) – Emanuela Mattiolo
• Estensione di un motore Prolog per la programmazione a vincoli (15/12/2005) – Alex Benini
• RBAC in sistemi multiagente: modello e implementazione in TuCSoN (15/12/2005) – Daniele Albonetti
• Analisi di prestazione di un interprete prolog su piattaforma Java (13/12/2005) – Fabio Tosi
• Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale (12/10/2005) – Nicola Zaghini
• Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale (12/10/2005) – Nicola Zaghini
• Localizzazione Indoor in WLAN attraverso Rete Neuronale Evolutiva (12/10/2005) – Claudio Buda
• Istituzioni Computazionali: coordinazione mediante norme (15/02/2005) – Rossella Rubino

• Sviluppo di un sistema di installazione per servizi operanti su piattaforma TuCSoN (31/12/2004) – Gerardo Verna
• Studio di fattibilità per l'integrazione di un motore Prolog in Mozilla (14/12/2004) – Amedeo Simeone
• Progetto e realizzazione di un sistema prototipale per la fruizione integrata di servizi per la comunicazione su piattaforma TuCSoN (15/07/2004) – Roberta Calegari

• Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: organizzazione e coordinazione (12/10/2004) – Leonardo Nicoli
• Analisi e progetto di un sistema multi-agente per l'interazione avanzata docente/studente: agenti e servizi (12/10/2004) – Ambra Molesini

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

• Integrazione di servizi di messaggistica intelligenti basati su una infrastruttura di coordinazione (31/12/2003) – Giuseppe Tomaiuoli
• Sviluppo di un prototipo per l'interazione con basi di dati mediante un'infrastruttura di coordinazione (31/12/2003) – Luca Tonini
• Studio di fattibilità per l'integrazione del supporto vocale in un'infrastruttura di coordinazione  (31/12/2003) – Fabio Poli
• Coordinazione di sistemi multi-agente basati su piattaforma LEGO MINDSTORMS (18/12/2003) – Simone Pellegrini
• Sviluppo di un Servizio di Messaggistica per Telefonia Mobile su una Infrastruttura di Coordinazione ad Agenti (18/12/2003) – Mattia Bargellini
• Migrazione di tuProlog su piattaforma Java2 Micro Edition (J2ME) (22/09/2003) – Michele Pace
• Progettazione e sviluppo di una architettura di supporto per esperimenti di cognitive robotics basati su tuProlog e kit LEGO Mindstorms (12/07/2003) – Alex Benini
• Sviluppo prototipale di un sistema intelligente di download di file basato su un'infrastruttura di coordinazione  (19/03/2003) – Valerio Siri
• Sviluppo prototipale di un sistema intelligente di upload di file basato su un'infrastruttura di coordinazione  (19/03/2003) – Massimo Raffaelli

• Sviluppo prototipale di un sistema di posta elettronica intelligente basato su un'infrastruttura di coordinazione (15/12/2002) – Rossella Rubino
• Studio di fattibilità per la migrazione di un'applicazione dalla piattaforma java alla piattaforma  .NET:  un caso applicativo (05/12/2002) – Antonio Poggiali

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

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