Per Year & Cycle

First-cycle Thesis  /  2003–2022  /  Andrea Omicini

• Hyperledger: Architettura, Struttura e Tecnologie applicate alla Blockchain (completed, 22/07/2021) — Cristiano Aprigliano
• Spatial Tuples nel mondo reale: il caso di Unity e Google Maps (completed, 28/05/2021) — Marco Pastore

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

• Coordination as a Web Service: una moderna implementazione del modello Linda (completed, 18/10/2018) — Lorenzo Rizzato
• Web of Things: RESTful API con Node.js (completed, 22/03/2018) — Luca Martello

• La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente (completed, 15/12/2017) — Nicola Atti
• Bio-inspired Networking: analisi della letteratura applicata al modello MoK (completed, 15/12/2017) — Alessandro Corbi
• Bitcoin: limiti e soluzioni tecniche della scalabilità (completed, 15/07/2017) — Oksana Komarnytska
• Filtraggio e censura dei servizi Internet: un'analisi sul protocollo SSL/TLS (completed, 16/03/2017) — Andrea Vignudelli
• Microservizi per il progetto di sistemi distribuiti (completed, 09/02/2017) — Simone Lai

• Strumenti per middleware di coordinazione: il caso di TuCSoN (completed, 15/12/2016) — Andrea Dintino
• Sistemi di Mobile-Health per il monitoraggio e l'assistenza alla gravidanza (completed, 06/10/2016) — Emmanuele Ghigi
• Simulazione agent-based di un sistema di m-Health per il self-management del diabete di tipo 1 (completed, 16/06/2016) — Michele Donati
• Tecnologie e framework per la programmazione multi-agente (completed, 17/03/2016) — Roberto Giuliani
• Bluetooth per TuCSoN mobile: panorama tecnologico ed esperimenti (completed, 17/03/2016) — Svetlozar Nikolov Orlovski
• Elasticity in Cloud Computing: tecnologia e applicazione aziendale presso Onit (completed, 17/03/2016) — Matteo Cacchi
• Coordination nel Cloud: elasticità in ReSpecT (completed, 17/03/2016) — Francesco Serafini
• Internet dei veicoli, un nuovo paradigma per una mobilità intelligente e autonoma (completed, 17/03/2016) — Matteo Pasolini

• Coordinazione situata per la domotica: Butlers in TuCSoN (completed, 10/12/2015) — Attilio Pometto
• Studio, analisi e progettazione di un prototipo di Infrastructure as Code (completed, 10/12/2015) — Alessandro Mazzoli
• Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java (completed, 12/10/2015) — Alberto Sita
• Esperimenti di Design Pattern di Ispirazione Biologica (completed, 10/10/2015) — Riccardo Mencucci
• Tool a supporto della programmazione multi-piattaforma: il caso di RoboVM e iTuCSoN (completed, 19/03/2015) — Marco Fiorini
• Darknet e Deep Web: il lato oscuro del Web per la privacy e la protezione dei dati (completed, 19/03/2015) — Patryk Wojtowicz
• Smart home: stato dell’arte della tecnologia (completed, 19/03/2015) — Silvia Vandi
• Sviluppo storico ed economico del Cloud Computing: Cloud Foundry come esempio di Platform as a Service (completed, 19/03/2015) — Jessica Marcantoni
• Progetto e sviluppo di RESTful web API per un sistema aziendale di marcature degli accessi (completed, 19/03/2015) — Andrea Rinaldi
• TuCSoN on Cloud: Revisione dell’architettura (completed, 15/03/2015) — Fabio Ricca Rosellini

• Il tempo nei sistemi coordinati: esperimenti in TuCSoN (completed, 09/10/2014) — Raffaele Mazza
• Sicurezza, protezione e integrità nei sistemi cloud: modelli, metodi e tecnologie (completed, 09/10/2014) — Filippo Alberto Brandolini
• Bitcoin: aspetti tecnici, economici e politici di una crittovaluta (completed, 17/07/2014) — Pier Francesco Costa
• Progetto di integrazione di strumenti per l'asset management in funzione di privacy e sicurezza (completed, 27/03/2014) — Enrico Gualandi

• Agents, Nodes & Resources: Universal Naming System for a Coordination Middleware (completed, 19/12/2013) — Federico Foschini
• Coordinazione embodied vs. disembodied: TuCSoN on Cloud (completed, 10/10/2013) — Luca Guerra
• Coordinazione situata: integrazione di Arduino in un middleware basato su tuple  (completed, 25/07/2013) — Steven Maraldi
• TuCSoN on Android (completed, 21/03/2013) — Andrea Ridolfi
• Coordination as a Service (CaaS) in the Cloud (completed, 21/03/2013) — Richiard Casadei
• Framework mobile per lo sviluppo di sistemi coordinati (completed, 21/03/2013) — Roberto D'Elia
• Coordination as a service in JADE (completed, 07/02/2013) — Nicola Dellarocca

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

• Social network scientifici: stato dell'arte, evoluzione e potenziale sviluppo (completed, 20/12/2011) — Stefano Montesi
• Testing esaustivo di un interprete Prolog su piattaforma Java (completed, 14/12/2011) — Fabrizio Sabbioni
• HTML 5: Stato dell'arte e prospettive (completed, 23/03/2011) — Simone Dozza
• Sviluppo di un framework concettuale e tecnologico per l'integrazione di LEGO Mindstorm e ReSpecT (completed, 23/03/2011) — Marco Alessi

• Modellazione e simulazione della morfogenesi di Drosophila Melanogaster su COMPUCELL3D (completed, 21/12/2010) — Matteo Pozzi
• Artefatti di coordinazione per agenti in Smart Environment  (completed, 22/07/2010) — Andrea Mordenti
• Organizzazione della conoscenza sul Web tramite SKOS (completed, 22/07/2010) — Chiara Casalboni
• Topologia nel modello di coordinazione TuCSoN (completed, 22/07/2010) — Enrico Zamagni
• Hive BDI. Extending BDI Agents with Shared Memory (completed, 25/03/2010) — Matteo Barbieri
• Graph&SODA: A Graphical Tool for SODA (completed, 24/03/2010) — Luca Staccoli
• Swarm Intelligence e autoorganizzazione della conoscenza: esperimenti con WordNet in italiano (completed, 24/03/2010) — Michele Pratiffi

• Probabilità e stocasticità nei sistemi coordinati: esperimenti in ReSpecT (completed, 22/12/2009) — Stefano Mariani
• Sistemi di workflow dichiarativo (completed, 22/07/2009) — Gheorghe Gabriel Pinzaru
• Esperienze in robotica con lego Mindstorm e ReSpecT (completed, 25/06/2009) — Matteo Amaducci
• Tecnologie di coordinazione per la situatedness in ambito robotico (completed, 25/06/2009) — Maicol Urbinati
• Ri-progettazione, separazione e integrazione delle tecnologie ReSpecT e TuCSoN per sistemi distribuiti (completed, 11/02/2009) — Luca Semprini

• Trasduttori e middleware: da JDDAC alla coordinazione (completed, 17/12/2008) — Andrea Tosi
• Autoorganizzazione di eco-servizi in TuCSoN (completed, 15/12/2008) — Tommaso Pirini
• Progetto e sviluppo di una GUI per il linguaggio di coordinazione ReSpecT  (completed, 15/10/2008) — Andrea Novaga
• Sviluppo ed implementazione in MASON di un modello multiagente per la simulazione di cellule staminali ematopoieitiche (completed, 15/10/2008) — Marco Alberti
• Coordinazione field-based e stigmergica con ReSpecT Mobile Code (completed, 15/10/2008) — Sascia Virruso
• Dalla Swarm Intelligence alla Self Organising Coordination: applicazione a scenari pervasive (completed, 15/10/2008) — Danilo Pianini
• Analisi e sviluppo di un sistema per l'automatizzazione delle procedure operative di gestione di una clinica veterinaria per piccoli animali (completed, 26/03/2008) — Giovanni Bezicheri

• MASON come piattaforma Java-based per la simulazione di modelli multi-agente (completed, 25/07/2007) — Lorenzo Ravaglia
• P4P: infrastrutture space-based per il p2p (completed, 21/03/2007) — Giorgio Amadei

• Simulazione ad agenti: Repast vs. TuCSoN (completed, 11/10/2006) — Paolo Angelini
• Sistemi software e middleware per sistemi e tecnologie RFID: stato dell'arte e sperimentazioni (completed, 20/07/2006) — Marco Sbaraglia
• Lifestreams in TuCSoN: toward the integration of knowledge and development management (completed, 21/03/2006) — Marco Fabbri
• Strategie di backup e recovery di un database Oracle 9i (completed, 18/03/2006) — Fabio Baldini
• Programmazione a canale (completed, 09/02/2006) — Michele Mei

• Routing adattativo dinamico: un approccio basato su agenti e stigmergia (completed, 12/10/2005) — Stefano Benedettini
• JIMAGiC: una infrastruttura ad agenti mobili per il calcolo distribuito (completed, 12/10/2005) — Mattia Piraccini

• Sviluppo di un Servizio di Messaggistica per Telefonia Mobile su una Infrastruttura di Coordinazione ad Agenti (completed, 18/12/2003) — Mattia Bargellini
• Progettazione e sviluppo di una architettura di supporto per esperimenti di cognitive robotics basati su tuProlog e kit LEGO Mindstorms (completed, 12/07/2003) — Alex Benini