101.

01 janv. 2013

Logiciel

RDFViews
RDFViews

MANOLESCU-GOUJOT, Ioana

102.

01 janv. 2011

Logiciel

LiquidXML
LiquidXML

MANOLESCU-GOUJOT, Ioana

103.

01 avril 2013

Logiciel

EdiFlow
EdiFlow: workflows intéractifs pour l'analyse de données

MANOLESCU-GOUJOT, Ioana

104.

01 janv. 2011

Logiciel

EAP Framework
EAP Framework

REYNAUD, Chantal

105.

01 janv. 2011

Logiciel

AnnoVip
AnnoVip

MANOLESCU-GOUJOT, Ioana

106.

01 janv. 2011

Logiciel

AlignViz
AlignViz

SAFAR, Brigitte

107.

01 janv. 2014

Logiciel

GridObservatory
Grid Observatory

GERMAIN, Cécile

108.

01 janv. 2014

Logiciel

COCO
Comparing Continuous Optimizers

HANSEN, Nikolaus

109.

10 janv. 2014

Logiciel

Flocq Library
Flocq Library

BOLDO, Sylvie

110.

01 janv. 2010

logiciel

CAPSULE
CAPSULE

TEMAM, Olivier

111.

01 janv. 2010

logiciel

Polyhedral Transformation in Open64
Polyhedral Transformation in Open64

TEMAM, Olivier

112.

24 nov. 2014

Logiciel

Voeux
Gestion des services d'enseignement

AMAR, Patrick

113.

31 oct. 2011

Logiciel

BSP++
The C++ Bulk Synchronous Parallelism Library

FALCOU, Joël

114.

01 janv. 2014

Logiciel

Cartaj
Classification Of RNA threeway Junctions

DENISE, Alain

115.

01 juil. 2015

Logiciel

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

116.

15 mai 2013

Logiciel

YML
Large-Scale Workflow Computing

PETITON, Serge

117.

05 mars 2014

Logiciel

Functory
place where functional workers are manufacturing programs

FILLIÂTRE, Jean-Christophe

118.

30 sept. 2011

Logiciel

KD2R
OWL2 key discovery on RDF datasets

PERNELLE-MANSCOUR, Nathalie

119.

03 oct. 2014

Logiciel

NT2
The Numerical Template Toolbox

FALCOU, Joël

120.

16 août 2014

Logiciel

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

121.

01 déc. 2013

Logiciel

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

122.

01 déc. 2017

Logiciel

Sage-Combinat
Améliorer les fonctionnalités combinatoires de Sage

THIÉRY, Nicolas

123.

15 oct. 2012

Logiciel

Metaphore
Metaphore

FALCOU, Joël

124.

01 janv. 2014

Logiciel

GeneValorization
L'importance des gènes en un clin d'oeil

COHEN-BOULAKIA, Sarah

125.

01 janv. 2013

Logiciel

SPIN
Scientific Programming InterNet

PETITON, Serge