Theses supervised by Andrea Omicini in the APICe space

Completed

• Coordination as a Service (CaaS) in the Cloud (Richiard Casadei, 21/03/2013)
• TuCSoN on Android (Andrea Ridolfi, 21/03/2013)
• Biochemical coordination in TuCSoN (Marco Piraccini, 21/03/2013)
• Framework mobile per lo sviluppo di sistemi coordinati (Roberto D'Elia, 21/03/2013)
• Coordination as a service in JADE (Nicola Dellarocca, 07/02/2013)

2012

• Sviluppo di app HTML 5 per l'accesso a un portale scientifico XWiki (Marco Zaccheroni, 20/12/2012)
• Da Java a Objective-C: porting e dispositivi portatili (Pietro Antonio Nompleggio, 20/12/2012)
• Artefatti e sistemi coordinati: esperimenti in ReSpecT (Noemi Ciampelli, 20/12/2012)
• Aspetti di sicurezza nel Cloud Computing (Francesca Collina, 20/12/2012)
• Negoziazione dinamica e rilascio di ACC in TuCSoN (Roberto Togni, 20/12/2012)
• Configurazione di un portale XWiki per la visualizzazione su dispositivi mobili: il caso di APICe (Andrea Buscarini, 20/12/2012)
• BDI Agents for Real Time Strategy games (Andrea Dallatana, 11/10/2012)
• DART: un linguaggio strutturato per la programmazione web-based (Jennifer Tessarini, 26/07/2012)
• Molecules of Knowledge: architettura, implementazione ed esempi (Mattia Occhiuto, 26/07/2012)
• Streaming audio e video nei sistemi Peer-To-Peer TV: il caso Sopcast P2PTV (Riccardo Timoncini, 26/07/2012)
• XWiki Mobile: architetture collaborative per device mobili (Marco Renio, 26/07/2012)
• Interoperabilità tra frammenti EHR e coordinamento semantico (Simone Norcini, 21/06/2012)
• Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA (Alan Foligatti, 28/03/2012)
• Modellazione e Simulazione della Cascata di Segnalazione Intracellulare MAPK su uno Spazio di Tuple Biochimiche (Andrea Boccacci, 28/03/2012)
• Tecnologie per la collaborazione sociale tra robot Mindstorm: Lejos & ReSpecT (Cornel Moisuc, 28/03/2012)
• Implementazione automatica di protocolli di interazione AUML mediante reti di Petri (Marco Alberti, 28/03/2012)
• Architetture software per coordinazione semantica: efficienza vs. espressività (Marco Savoia, 16/02/2012)

2011

• Social network scientifici: stato dell'arte, evoluzione e potenziale sviluppo (Stefano Montesi, 20/12/2011)
• Molecules of knowledge: a new approach to knowledge production, management and consumption (Stefano Mariani, 20/12/2011)
• Mobile TuCSoN: theoretical and technological requirements for TuCSoN's porting over Android mobile devices (Antonio Pedone, 21/07/2011)
• Coordinazione sociale di robot Mindstorm in ReSpecT (Matteo Mosca, 23/06/2011)
• Semantic Coordination Through Programmable Tuple Spaces (Elena Nardini, 28/04/2011)
• Sviluppo di un framework concettuale e tecnologico per l'integrazione di LEGO Mindstorm e ReSpecT (Marco Alessi, 23/03/2011)

2010

• Progettazione di un framework di sicurezza per smartphone (Marco Antonio Primiceri, 21/12/2010)
• Modellazione e simulazione della morfogenesi di Drosophila Melanogaster su COMPUCELL3D (Matteo Pozzi, 21/12/2010)
• Organizzazione della conoscenza sul Web tramite SKOS (Chiara Casalboni, 22/07/2010)
• Topologia nel modello di coordinazione TuCSoN (Enrico Zamagni, 22/07/2010)
• Artefatti di coordinazione per agenti in Smart Environment (Andrea Mordenti, 22/07/2010)
• Law and Science through the Lens of Patent Law and Software Agents (Migle Laukyte, 17/07/2010)
• Graph&SODA: A Graphical Tool for SODA (Luca Staccoli, 24/03/2010)
• ALFRED2: An Abductive Logic FRamEwork for Distributed Diagnosis (Marco Battarra, 24/03/2010)
• Coordinazione space-based per la piattaforma bioinformatica Cellulat (Marco Sbaraglia, 24/03/2010)
• Analysis and quantification of information in biological networks for protein function prediction (Frens Tedeschini, 24/03/2010)
• Swarm Intelligence e autoorganizzazione della conoscenza: esperimenti con WordNet in italiano (Michele Pratiffi, 24/03/2010)

2009

• Probabilità e stocasticità nei sistemi coordinati: esperimenti in ReSpecT (Stefano Mariani, 22/12/2009)
• Gli SPIME nell'Internet delle cose come combinazione di agenti e artefatti (Stefano Tamagnini, 22/12/2009)
• Sistemi di workflow dichiarativo (Gheorghe Gabriel Pinzaru, 22/07/2009)
• Scripting in Java 6: esperimenti in tuProlog (Andrea Del Bene, 25/06/2009)
• Tecnologie di coordinazione per la situatedness in ambito robotico (Maicol Urbinati, 25/06/2009)
• Esperienze in robotica con lego Mindstorm e ReSpect (Matteo Amaducci, 25/06/2009)
• XML representation of Functional Safety Requirements according to ISO26262 and AUTOSAR 3LSC Standards (Christian Rimondi, 19/03/2009)
• Ri-progettazione, separazione e integrazione delle tecnologie ReSpecT e TuCSoN per sistemi distribuiti (Luca Semprini, 11/02/2009)

2008

• Trasduttori e middleware: da JDDAC alla coordinazione (Andrea Tosi, 17/12/2008)
• Studying and engineering methodological aspects of Multi-agent Systems (Antonio Cauzo, 17/12/2008)
• Mapping Delegate MAS model into the A&A framework (Merilin Tedeschini, 17/12/2008)
• Autoorganizzazione di eco-servizi in TuCSoN (Tommaso Pirini, 15/12/2008)
• Sviluppo ed implementazione in MASON di un modello multiagente per la simulazione di cellule staminali ematopoieitiche (Marco Alberti, 15/10/2008)
• Dalla Swarm Intelligence alla Self Organising Coordination: applicazione a scenari pervasive (Danilo Pianini, 15/10/2008)
• Progetto e sviluppo di una GUI per il linguaggio di coordinazione ReSpecT (Andrea Novaga, 15/10/2008)
• Coordinazione field-based e stigmergica con ReSpecT Mobile Code (Sascia Virruso, 15/10/2008)
• Analisi e sviluppo di un sistema per l'automatizzazione delle procedure operative di gestione di una clinica veterinaria per piccoli animali (Giovanni Bezicheri, 26/03/2008)
• Coordination Games in TuCSoN (Lorenzo Varrasso, 25/03/2008)

2007

• MASON come piattaforma Java-based per la simulazione di modelli multi-agente (Lorenzo Ravaglia, 25/07/2007)
• P4P: infrastrutture space-based per il p2p (Giorgio Amadei, 21/03/2007)
• Modelling and Simulating in Systems Biology: an Approach based on Multi-Agents Systems (Sara Montagna, 24/01/2007)

2006

• Advanced role-based models for organisation in MAS coordination infrastructures (Stefano Riffelli, 14/12/2006)
• Simulazione ad agenti: Repast vs. TuCSoN (Paolo Angelini, 11/10/2006)
• Realizzazione di agenti software per la gestione di una rete di sensori wireless (Stefano Bromuri, 11/10/2006)
• Lifestreams in TuCSoN: toward the integration of knowledge and development management (Marco Fabbri, 21/03/2006)
• Programmazione a canale (Michele Mei, 09/02/2006)

2005

• Estensione di un motore Prolog per la programmazione a vincoli (Alex Benini, 15/12/2005)
• Routing adattativo dinamico: un approccio basato su agenti e stigmergia (Stefano Benedettini, 12/10/2005)
• Un linguaggio dichiarativo per l'ingegneria di sistemi ad agenti nell'impresa virtuale (Nicola Zaghini, 12/10/2005)

2003

• Sviluppo di un Servizio di Messaggistica per Telefonia Mobile su una Infrastruttura di Coordinazione ad Agenti (Mattia Bargellini, 18/12/2003)