Available Thesis
- From images to rich pervasive environments
- Alchemist based biochemical simulator with multiple mobile compartments
- Approximate Stochastic Model Checking in Alchemist
- Il modello ad attori nei linguaggi di programmazione moderni - da framework in Java a Google DART
- Interfacce di input e reporting per la simulazione di ecosistemi di servizi pervasivi
- Un linguaggio di alto livello per la descrizione di ecosistemi di servizi pervasivi
- "Agenti Volanti" - Sperimentazione di Tecnologie ad Agenti - JaCa in particolare - per la Programmazione di Sistemi UAV basati su AR-Drone
- Sistemi basati su Mobile Augmented Reality
- Mobile Computing - piattaforma Android
- Progettazione e sviluppo applicazioni embedded distribuite - NoTA + tecnologie ad agenti
- Agent-Oriented Computing - Programmazione orientata agli agenti
- "A Robot in Every Home": Programmazione di Robot domestici con linguaggi e tecnologie ad agenti
- Infrastrutture di Virtualizzazione
- Simulazione e Verifica di Sistemi Biochimici in PRISM