Per A.Y.
26
course projects
/
2012
- Alchemist Language — Enrico Galassi
- Automatic multi-platform implementation of AUML interaction protocols with the help of Petri nets — Marco Alberti
- Automatico, autonomico, autonomo: principi e tecnologie — Simone Norcini • Claudia Capelli
- Binary Decision Diagrams — Andrea Leoni
- Costruzione di un framework semantico tuple-based Rdf-Jena per la coordinazione tra agenti — Gabriele Manduchi
- Framework per la simulazione e la valutazione di modelli CTMC utilizzando Maude e Approximate Probabilistic Model Checking — Daniele Bellavista
- HungryMen — Sebastiano Basile Gigante • Diego Cantone • Massimo Smiraglio
- Il set di tool GROOVE — Andrea Giulia Cialotti
- Libreria per l'utilizzo di SPARQL in Prolog — Giuliano Santandrea
- MDP parzialmente osservabili — Francesca Cioffi
- Model Checker LTL — Manuel Bartolini • Luca Guerra
- Model checking per le reti di Petri colorate — Davide Galeotti
- Modellazione e analisi di un graph transformation systems mediante la tecnica dell'approximative unfolding e Augur 2 — Saverio Cicora
- Multi-Agent Routing in Mobile Ad-hoc Networks — Paolo Piagnani
- PEPA — Enrico Polverelli
- Progetto gestore automatizzato esercizi palestra — Lorenzo Pontellini
- Progetto metainterpreta Vanilla++ — Massimo Fornari
- Ricerca ottimizzata dei PDI (Punti d'Interesse) — Stefano Morganti
- S.M.A. per l’automatizzazione di entrate, stoccaggi e uscite di merci in un magazzino — Claudio Giardini • Enrico Polverelli
- Sistema di Gestione e Ottimizzazione delle Pattuglie di Polizia sul Territorio — Francesca Marchi
- Sistema di gestione e monitoraggio per compagnia di trasporti — Michele Laddaga
- Smart Shelf — Gianluca Piemonte
- Tecnologie per la collaborazione sociale tra robot Mindstorm: LeJOS & ReSpecT — Cornel Moisuc
- UrbaNews — Emanuele Buccelli • Francesco Degli Angeli • Marco Leali
- Verify algorithms' properties with the MSR(C) prototype — Alessandro Bulzacchi
- tuProlog Socket Library — Mirco Bordoni