1.

15 sept. 2013

Logiciel

ACM-ES
Surrogate models for CMA-ES

LOSHCHILOV, Ilya

2.

09 juil. 2008

Logiciel

Active XML
Spécification déclarative d'applications Web

ABITEBOUL, Serge

3.

01 janv. 2005

Logiciel

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge

4.

01 janv. 2014

Logiciel

ALEA
ALEA : A library for reasoning on random algorithms in Coq

PAULIN-MOHRING, Christine

5.

01 janv. 2011

Logiciel

AlignViz
AlignViz

SAFAR, Brigitte

6.

01 janv. 2014

Logiciel

Alt-Ergo
Démonstrateur automatique Alt-Ergo

CONCHON, Sylvain

7.

01 janv. 2014

Logiciel

AMADA
Web Data Repositories in the Amazon Cloud

CAMACHO RODRIGUEZ, Jesus

8.

01 janv. 2011

Logiciel

AnnoVip
AnnoVip

MANOLESCU-GOUJOT, Ioana

9.

01 janv. 2013

Logiciel

APMC
Approximate Probabilistic Model Checker

PEYRONNET, Sylvain

10.

06 juin 2012

Logiciel

aSHIIP
A random topology generator of interdomain

WEISSER, Marc-Antoine

11.

05 déc. 2005

Logiciel

AuGuSTe
Test statistique de programmes C

VOISIN, Frédéric

12.

29 mars 2018

Logiciel

Baia
Advanced animated transitions between before-and-after satellite images

PIETRIGA, Emmanuel

13.

01 janv. 2014

Logiciel

bibtex2html
Traducteur BibTeX vers HTML

FILLIÂTRE, Jean-Christophe

14.

01 janv. 2013

Logiciel

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

15.

15 nov. 2012

Logiciel

BitDew
middleware OpenSource pour les grilles de données de bureau

FEDAK, Gilles

16.

03 mai 2018

Logiciel

BOLDR
Query Intermediate Representation Library

NGUYEN, Kim

17.

01 janv. 2010

Logiciel

BPEL2CPN
BPEL2CPN

DAGUE, Philippe

18.

31 oct. 2011

Logiciel

BSP++
The C++ Bulk Synchronous Parallelism Library

FALCOU, Joël

19.

17 sept. 2004

Logiciel

Caduceus
Outil Caduceus de vérification de programmes C

FILLIÂTRE, Jean-Christophe

20.

01 janv. 2012

Logiciel

CALU
for multicore architectures

GRIGORI, Laura

21.

20 janv. 2014

Logiciel

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

22.

01 janv. 2010

logiciel

CAPSULE
CAPSULE

TEMAM, Olivier

23.

23 mars 2018

Logiciel

CaRNAval
Database of RNA Recurrent Interaction Networks

DENISE, Alain

24.

01 janv. 2014

Logiciel

Cartaj
Classification Of RNA threeway Junctions

DENISE, Alain

25.

02 déc. 2019

Logiciel

CARTOLABE
CARTOLABE

CAILLOU, Philippe