Français Anglais
Accueil Annuaire Plan du site
Accueil > Production
Production
[connexion sécurisée]
Les résultats majeurs
AUTOMATED PREDICTION OF THREE-WAY JUNCTION TOPOLOGICAL FAMILIES IN RNA SECONDARY STRUCTURES
11 février 2012

Alexis Lamiable, Dominique Barth, Alain Denise, Franck Quessette, Sandrine Vial, Éric Westhof. Comp
ON THEOREM PROVER-BASED TESTING
10 janvier 2012

Achim D. Brucker and Burkhart Wolff
Les contrats en cours
SAGE - DIGITEO
   SAGE

TYPEX - ANR
   TYPEFUL CERTIFIED XML: : INTEGRATING LANGUAGE, LOGIC, AND DATA- ORIENTED BEST PRACTICES

UTP'2012 - DIGITEO
   UTP'2012

SOAPS.2 (OSEO) - INDUSTRIEL
   SOAPS.2 (OSEO)

LOTRELAX - ANR
   LOTRELAX

Logiciels & Brevets
QUAFF
Quaff: Dataflow EDSL for Parallel Programming

NT2
The Numerical Template Toolbox

FR1155729
ProcĂ©dĂ© pour l’extinction de routeurs dans un rĂ©seau de communications et routeur mettant en Ɠuvre ce procĂ©dĂ©

HOL-TESTGEN
Un generateur pour des donnees de test sur base de HOL

Thèses et habilitations