176.

10 Feb 2012

Software

CDuce
CDuce an XML centric Programmimg Language

BENZAKEN, Véronique

177.

22 Sep 2014

Software

Causalex
Causality Graph Explorer

PAULEVE, Loïc

178.

02 Dec 2019

Software

CARTOLABE
CARTOLABE

CAILLOU, Philippe

179.

01 Jan 2014

Software

Cartaj
Classification Of RNA threeway Junctions

DENISE, Alain

180.

23 Mar 2018

Software

CaRNAval
Database of RNA Recurrent Interaction Networks

DENISE, Alain

181.

01 Jan 2010

Software

CAPSULE
CAPSULE

TEMAM, Olivier

182.

20 Jan 2014

Software

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

183.

01 Jan 2012

Software

CALU
for multicore architectures

GRIGORI, Laura

184.

17 Sep 2004

Software

Caduceus
Caduceus Tool for C Program Verification

FILLIÂTRE, Jean-Christophe

185.

31 Oct 2011

Software

BSP++
The C++ Bulk Synchronous Parallelism Library

FALCOU, Joël

186.

01 Jan 2010

Software

BPEL2CPN
BPEL2CPN

DAGUE, Philippe

187.

03 May 2018

Software

BOLDR
Query Intermediate Representation Library

NGUYEN, Kim

188.

15 Nov 2012

Software

BitDew
Middleware for Large Scale Data Management and Distribution

FEDAK, Gilles

189.

01 Jan 2013

Software

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

190.

01 Jan 2014

Software

bibtex2html
Bibtex to HTML

FILLIÂTRE, Jean-Christophe

191.

29 Mar 2018

Software

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

PIETRIGA, Emmanuel

192.

05 Dec 2005

Software

AuGuSTe
Statistical Testing of C Programs

VOISIN, Frédéric

193.

06 Jun 2012

Software

aSHIIP
A random topology generator of interdomain

WEISSER, Marc-Antoine

194.

01 Jan 2013

Software

APMC
Approximate Probabilistic Model Checker

PEYRONNET, Sylvain

195.

01 Jan 2011

Software

AnnoVip
AnnoVip

MANOLESCU-GOUJOT, Ioana

196.

01 Jan 2014

Software

AMADA
AMADA

CAMACHO RODRIGUEZ, Jesus

197.

01 Jan 2014

Software

Alt-Ergo
The Alt-Ergo theorem prover

CONCHON, Sylvain

198.

01 Jan 2011

Software

AlignViz
AlignViz

SAFAR, Brigitte

199.

01 Jan 2014

Software

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

PAULIN-MOHRING, Christine

200.

01 Jan 2005

Software

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge