7PQ VALUTATI POSITIVAMENTE-Dip.Informatica-Università degli Studi di Verona

7PQ VALUTATI POSITIVAMENTE

Ente esterno

Progetti
Titolo	Responsabili	Data inizio
GeTFun: Generalizing Truth-Functionality	Luca Vigano'	01/01/12
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems	Tiziano Villa	23/08/11
UNSELFISH: UNtethered Sensor Enabled Locomotion FISH	Paolo Fiorini	15/04/11
AuTOMatic verifICation tool for embedded software (ATOMIC)	Franco Fummi	05/05/10
SANDMED: Shape ANalysis for the Diagnosis of METabolic Disorders	Andrea Giachetti	17/04/10
Tools for cOoperating Objects applications Life-cycle (TOOL)	Franco Fummi	01/03/10
COROSUR: Bringing Cognition to Robotic Surgery	Paolo Fiorini	15/02/10
SINEMA: Social and Immersive Networked MediA	Andrea Giachetti	01/10/09
Reliability aware methods for robust design technology (RELMUST)	Franco Fummi	06/07/09
FUCSIA2008 - Obfuscation and Steganography by Abstract Interpretation	Roberto Giacobazzi	27/11/08
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation	Roberto Giacobazzi	26/03/08
TELEANY: Teleoperating Anything Anywhere	Paolo Fiorini	28/02/08
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY)	Franco Fummi	17/12/07
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH)	Franco Fummi	13/07/07
PLASTIC BRAIN: A Study of Brain Plasticity in Humans and Robots	Paolo Fiorini	07/05/07

Numero finanziamenti
Anno	Numero
2012	1
2011	2
2010	4
2009	2
2008	3
2007	3