1.

2008 - 2009

Subvention

HSP
The hidden subgroup problem in quantum computing

2.

2007 - 2009

Subvention

GT CMF
Complexity and Finite Models

3.

2004 - 2007

Subvention

ACI project Tralala
XML Transformation Languages:logic and applications

4.

2003 - 2006

Subvention

5.

2003 - 2006

Subvention

Réseaux quantiques
Réseaux quantiques

6.

2005 - 2008

Subvention

PI-Vert
PI-Vert

7.

2003 - 2006

Subvention

PAIR A PAIR
PAIR A PAIR

8.

2003 - 2006

Subvention

NAVGRAPH
NAVGRAPH

9.

2003 - 2006

Subvention

MICROMEGAS
MICROMEGAS

10.

2014 - 2018

Subvention

IUF
FABIO MARTIGNON

11.

2008 - 2011

Subvention

JST-ICT
Quantum Computation: Theory and Feasibility

12.

2005 - 2008

Subvention

INCA
INCA

13.

2003 - 2005

Subvention

14.

2003 - 2007

Subvention

GECCOO
Generation of Certified Code for Object Oriented Applications specification, refinement, proof and error detection

15.

2006 - 2009

Subvention

GDR BIM
GDR BIM

16.

2003 - 2006

Subvention

17.

2006 - 2009

Subvention

GT IQ
Quantum Computation

18.

2004 - 2008

Subvention

FRAGILE
Failure Resilience and Application Guaranteed Integrity in Large-scale Environments

19.

2002 - 2005

Subvention

20.

2003 - 2006

Subvention

21.

2003 - 2006

Subvention

22.

2005 - 2009

Subvention

ALPAGE
Algorithmique des plates-formes à grande échelle

23.

2004 - 2007

Subvention

ARENA
National woring group on bioinformatics for RNA structure and function

24.

2002 - 2005

Subvention

PDA in ad hoc networks
PDA in ad hoc networks

25.

2004 - 2007

Subvention

ACAMBA
Analyse de Chimiothèques et Construction Automatique de Modèles de Bio-Activité