Projects
- BioBIts
Primary Investigator: Paola Giannini
Participants: Lavinia Egidi, Giorgio Leonardi, Stefania Montani
- MASP: remote system control of protected environmental areas
Primary Investigator: Luigi Portinale
Participants: Giorgio Leonardi, Stefania Montani, Luigi Portinale, Paolo Terenziani
- Metodologie e Tecniche di Ragionamento Basato su Casi per l'Analisi Intelligente e la Gestione della Conoscenza in Basi di Dati Cliniche
Primary Investigator: Luigi Portinale
Participants: Stefania Montani, Luigi Portinale, Paolo Terenziani
- TRA.QUA.S. wine
Primary Investigator: Luigi Portinale
Participants: Luigi Portinale
- VERIFIM: Verification of Failure Impact by Model Checking
Primary Investigator: Luigi Portinale
Participants: Andrea Bobbio, Daniele Codetta Raiteri, Giuliana Franceschinis, Luigi Portinale