Ministero dell'Istruzione dell'Università e della Ricerca

External Funding Bodies

Address   Roma


Projects
Title Managers Starting date
FACE: Sconfiggere i malware in modo formale (FIRB 2013) Mila Dalla Preda 3/10/14
BrainFit: Trattografia da risonanza in diffusione per la pianificazione radioterapica e chirurgica (PRIN 2009) Gloria Menegaz 10/17/11
Modelli stocastici complesse, e loro applicazioni alla fisica ed alle scienze sociali ( PRIN 2009 Esterno) Laura Maria Morato 10/17/11
Metodi di viscosità, geometrici e di controllo per modelli diffusivi nonlineari (PRIN 2009 ESTERNO) Antonio Marigonda 7/18/11
Metodi variazionali e topologici nello studio dei fenomeni nonlineari (PRIN 2009 ESTERNO) Marco Squassina 1/1/11
Monopoli, istantoni e strutture olomorfe su varietà noncommutative (PRIN 2008 ESTERNO) Mauro Spera 3/22/10
Trasporto ottimo di massa, disuguaglianze geometriche e funzionali e applicazioni (PRIN 2008 ESTERNO) Giandomenico Orlandi 3/22/10
Some mathematical models in image processing and interfaces motion (Azione Integrata Italia-Spagna 2009) Giandomenico Orlandi 1/1/09
Integrazione di metodi di ragionamento automatico nel model checking: verifica formale automatica di sistemi di grande scala e a stati infiniti - Progetto ed integrazione di macchine di prova per l'analisi di programmi (PRIN 2007) Maria Paola Bonacina 9/22/08
Teoria tilting e cotilting e generalizzazioni; applicazioni alle categorie derivate, alle categorie cluster, alla localizzazione, alle congetture omologiche e ad altri problemi aperti (PRIN 2007) Enrico Gregorio 9/22/08
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007) Roberto Giacobazzi 9/22/08
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007) Luca Vigano' 9/22/08
Studio e sviluppo di celle solari flessibili di CdTe/CdS a film sottile per evaporazione termica in vuoto. (PRIN 2007) Alessandro Romeo 9/22/08
Homing e destino di isole pancreatiche e cellule staminali mesenchimali trapiantate nel ratto studiati in vivo tramite Tomografia a Risonanza Magnetica e Imaging Ottico (PRIN 2007) Pasquina Marzola 9/22/08
Modelli stocastici a molti gradi di libertà: teoria e applicazioni (PRIN 2006 ESTERNO biennale) Laura Maria Morato 2/9/07
Segmentazione e definizione di descrittori efficienti di oggetti tridimensionali. 3-SHIRT (PRIN 2006) Andrea Fusiello 2/9/07
Metodi generativi e discriminativi per classificazione e clustering di dati (PRIN 2006) Vittorio Murino 2/9/07
Metodi di inversione in azione: analisi di serie temporali in magnetoencefalografia (MEG) e imaging-spectroscopy per il Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI) (PRIN 2006) Michele Piana 2/9/07
Metodi variazionali nella teoria del trasporto ottimo di massa e nella teoria geometrica della misura (PRIN 2006 ESTERNO) Giandomenico Orlandi 2/9/07
Metodi variazionali e topologici nello studio dei fenomeni nonlineari (PRIN 2006 ESTERNO) Marco Squassina 3/1/06
Modellazione e resa aptico/visiva di oggetti soffici e deformabili (PRIN 2005) Paolo Fiorini 1/30/06
Teoria tilting e cotilting per algebre di artin, anelli astratti e topologici. Confronto fra moduli di lunghezza finita e infinita. (PRIN 2005) Enrico Gregorio 1/30/06
Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005) Franco Fummi 1/30/06
InterAbstract - Verification and Security by Abstract Interpretation Roberto Giacobazzi 12/1/05
Caratterizzazione elettronica di Celle Solari ad alta efficienza di CdTe/CdS Alessandro Romeo 2/28/05
INTERLINK InterAbstract, modalità C Roberto Giacobazzi 1/1/05
Modelli simbolici di dinamiche cellulari: algoritmi biomolecolari e sistemi a membrana. (PRIN 2004) Vincenzo Manca 11/30/04
Certificazione automatica di sistemi mediante interpretazione astratta (PRIN 2004) Roberto Giacobazzi 11/30/04
Modelli stocastici in dimensione finita e infinita e limiti di scala (PRIN 2004 biennale) Laura Maria Morato 11/30/04
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) Andrea Masini 11/30/04
Supporto di granularità multiple e definite dall'utente nella gestione ed interrogazione di informazioni cliniche caratterizzate temporalmente (PRIN 2004) Roberto Posenato 11/30/04
Calcolo delle Variazioni (PRIN 2004 ESTERNO) Giandomenico Orlandi 11/30/04
Canone Ontologico. Un approccio integrativo alla organizzazione della conoscenza (PRIN 2004 ESTERNO) Matteo Cristani 11/30/04
Formazione Universitaria Italo-Argentina degli insegnati delle scuole secondarie Ruggero Ferro 5/11/04
Sistema automatico di acquisizione e modellazione 3D a basso costo (LIMA3D) Vittorio Murino 12/1/03
Sintesi di procedure di decisione basate sulla deduzione con applicazioni all'analisi formale automatica di programmi (PRIN 2003) Maria Paola Bonacina 11/21/03
Rappresentazione e interrogazione via Web di informazione geografica eterogenea in formato vettoriale e raster caratterizzata da aspetti temporali Alberto Belussi 11/21/03
Generazione interattiva di suoni prodotti da fenomeni ecologicamente rilevanti. Davide Rocchesso 11/21/03
Problemi limite per processi con struttura spaziale e algoritmi stocastici ( PRIN 2003 annuale) Laura Maria Morato 11/20/03
Telepresence Instant Groupware for higher Education in Robotics (TIGER) (FIRB 2001) Paolo Fiorini 2/21/03
Interpretazione astratta e model checking per la verifica di sistemi embedded Roberto Giacobazzi 2/21/03
Algoritmi bio-molecolari per problemi NP completi Vincenzo Manca 2/21/03
MATRICS Analisi e modellazione di sistemi complessi Paolo Fiorini 2/1/03
Ricostruzione e modellazione tridimensionale di oggetti e scene (2003) Vittorio Murino 1/1/03
Internationally Co-tutored PhD Program in Computer Science with specialization in Computer Vision, Pattern Recognition, and Image Processing Vittorio Murino 1/1/03
Calcolo delle Variazioni (PRIN 2002 ESTERNO) Giandomenico Orlandi 12/16/02
(CoVer) Constraint-based Verification of Reactive systems Roberto Giacobazzi 12/1/02
DNA Computing e modelli di interazione intracellulare Vincenzo Manca 5/10/02
Modellazione, Simulazione e Validazione di Sistemi su Chip Franco Fummi 5/1/02
Verifica automatica di sistemi reattivi mediante interpretazione astratta e model checking Roberto Giacobazzi 5/1/02
Estensione della teoria tilting e cotilting a categorie abeliane; algebre di dimensione finita e infinita e loro generalizzazioni Enrico Gregorio 5/1/02
Logica Lineare: verso una logica delle prove Andrea Masini 5/1/02
Dottorato di ricerca in Co-tutela internazionale in logiche e metodi formali per l'informatica Roberto Giacobazzi 1/1/02
Processi Stocastici a struttura spaziale e loro Applicazioni Laura Maria Morato 12/12/01
MEFISTO Roberto Segala 10/1/01
SPA.DA. - Analisi ed elaborazione di informazione spaziale di tipo vettoriale e raster nei Sistemi Informativi Territoriali. Vittorio Murino 1/1/01
Equivalenze e dualità fra categorie di moduli e di Grothendieck; algebre di dimensione finita e infinita Enrico Gregorio 1/1/01
Proprietà asintotiche di sistemi stocastici con struttura spaziale e algoritmi stocastici (2001) Laura Maria Morato 1/1/01
Abstract Interpretation, type systems and control-flow analysis 11/26/00
Certificazione automatica di programmi mediante interpretazione astratta Roberto Giacobazzi 11/26/99
Domini astratti per la certificazione automatica di programmi (1999) Roberto Giacobazzi 1/1/99
Problemi di esistenza e proprietà ergodiche per diffusioni con coefficienti singolari. Convergenze di diffusioni in mezzi non omogenei. (1999) Laura Maria Morato 1/1/99
Founding numbers
Year Number
2014
1
2011
4
2010
2
2009
1
2008
6
2007
5
2006
4
2005
3
2004
8
2003
11
2002
8
2001
5
2000
1
1999
3