176.

10 févr. 2012

Logiciel

CDuce
CDuce an XML centric Functional Programmimg Language

BENZAKEN, Véronique

177.

22 sept. 2014

Logiciel

Causalex
Causality Graph Explorer

PAULEVE, Loïc

178.

02 déc. 2019

Logiciel

CARTOLABE
CARTOLABE

CAILLOU, Philippe

179.

01 janv. 2014

Logiciel

Cartaj
Classification Of RNA threeway Junctions

DENISE, Alain

180.

23 mars 2018

Logiciel

CaRNAval
Database of RNA Recurrent Interaction Networks

DENISE, Alain

181.

01 janv. 2010

logiciel

CAPSULE
CAPSULE

TEMAM, Olivier

182.

20 janv. 2014

Logiciel

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

183.

01 janv. 2012

Logiciel

CALU
for multicore architectures

GRIGORI, Laura

184.

17 sept. 2004

Logiciel

Caduceus
Outil Caduceus de vérification de programmes C

FILLIÂTRE, Jean-Christophe

185.

31 oct. 2011

Logiciel

BSP++
The C++ Bulk Synchronous Parallelism Library

FALCOU, Joël

186.

01 janv. 2010

Logiciel

BPEL2CPN
BPEL2CPN

DAGUE, Philippe

187.

03 mai 2018

Logiciel

BOLDR
Query Intermediate Representation Library

NGUYEN, Kim

188.

15 nov. 2012

Logiciel

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

FEDAK, Gilles

189.

01 janv. 2013

Logiciel

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

190.

01 janv. 2014

Logiciel

bibtex2html
Traducteur BibTeX vers HTML

FILLIÂTRE, Jean-Christophe

191.

29 mars 2018

Logiciel

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

PIETRIGA, Emmanuel

192.

05 déc. 2005

Logiciel

AuGuSTe
Test statistique de programmes C

VOISIN, Frédéric

193.

06 juin 2012

Logiciel

aSHIIP
A random topology generator of interdomain

WEISSER, Marc-Antoine

194.

01 janv. 2013

Logiciel

APMC
Approximate Probabilistic Model Checker

PEYRONNET, Sylvain

195.

01 janv. 2011

Logiciel

AnnoVip
AnnoVip

MANOLESCU-GOUJOT, Ioana

196.

01 janv. 2014

Logiciel

AMADA
Web Data Repositories in the Amazon Cloud

CAMACHO RODRIGUEZ, Jesus

197.

01 janv. 2014

Logiciel

Alt-Ergo
Démonstrateur automatique Alt-Ergo

CONCHON, Sylvain

198.

01 janv. 2011

Logiciel

AlignViz
AlignViz

SAFAR, Brigitte

199.

01 janv. 2014

Logiciel

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

PAULIN-MOHRING, Christine

200.

01 janv. 2005

Logiciel

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge