Projects

Search projects

Title
Project participants
Attivo nell'anno
Sponsors
Research area
 

Search projects by keywords

Keyword
 

Results of Research 1-10 of 10

Title Managers or local contacts Sponsors Year Duration (months)
1 TTinDMod (FP7-PEOPLE-2012-IEF) Jorge Nuno Dos Santos Vitoria, Lidia Angeleri Unione Europea 2013 24
2 Theorem proving algorithms for program analysis: interpolants, models, and termination (PRIN 2012 non finanziato) Maria Paola Bonacina 2013 36
3 Progetto Burundi al Dipartimento di Informatica Carlo Combi 2013 24
4 Security Horizons Luca Vigano' MIUR 2013 36
5 Generalizing Truth-Functionality: GeTFun Luca Vigano' Unione Europea 2013 48
6 Strutture algebriche e loro applicazioni: categorie abeliane e derivate, entropia algebrica e rappresentazioni di algebre Lidia Angeleri, Francesca Mantese Fondazione CARIPARO 2012 36
7 Analysis, verification and synthesis of hw/sw systems through synergies of abstract interpretation and automated reasoning Maria Paola Bonacina 2012 36
8 GeTFun: Generalizing Truth-Functionality Luca Vigano' 7PQ VALUTATI POSITIVAMENTE 2012 48
9 Equazioni differenziali non lineari ed applicazioni (FIRB 2010) Marco Squassina FIRB VALUTATO POSITIVAMENTE 2011 72
10 COROSUR: Bringing Cognition to Robotic Surgery Paolo Fiorini 7PQ VALUTATI POSITIVAMENTE 2010 60

ornamento
Top