Computer Science Institute

Projects

• BioBIts
  Primary Investigator: Paola Giannini
  Participants: Lavinia Egidi, Giorgio Leonardi, Stefania Montani
  



• Clinical Guidelines Software Tools And Methodologies: Towards A Second Generation. (GINSENG)
  Primary Investigator: Paolo Terenziani
  Participants: Alessio Bottrighi, Giuliana Franceschinis, Laura Giordano, Giorgio Leonardi, Stefania Montani, Luigi Portinale, Daniele Theseider Dupré
  



• 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
  



• SmartFASI: Financial Advisory Smart Services Infrastructures
  Primary Investigator: Luigi Portinale
  Participants: Cosimo Anglano, Massimo Canonico, Marco Guazzone, Giorgio Leonardi, Luigi Portinale
  



• TRA.QUA.S. wine
  Primary Investigator: Luigi Portinale
  Participants: Giorgio Leonardi, Luigi Portinale
  



• VERIFIM: Verification of Failure Impact by Model Checking
  Primary Investigator: Luigi Portinale
  Participants: Andrea Bobbio, Daniele Codetta Raiteri, Giuliana Franceschinis, Luigi Portinale