126.

03 oct. 2014

Logiciel

NT2
The Numerical Template Toolbox

FALCOU, Joël

127.

16 août 2014

Logiciel

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

128.

01 déc. 2013

Logiciel

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

129.

01 déc. 2017

Logiciel

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

THIÉRY, Nicolas

130.

15 oct. 2012

Logiciel

Metaphore
Metaphore

FALCOU, Joël

131.

01 janv. 2014

Logiciel

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

COHEN-BOULAKIA, Sarah

132.

01 janv. 2013

Logiciel

SPIN
Scientific Programming InterNet

PETITON, Serge

133.

01 janv. 2014

Logiciel

cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization

FURSIN, Grigori

134.

01 janv. 2013

Logiciel

jBricks
Toolkit Java pour plateformes de visualisation interactives

HUOT, Stéphane

135.

01 janv. 2014

Logiciel

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

136.

01 déc. 2017

Logiciel

SageMath
Un logiciel open-source de mathématiques générales

THIÉRY, Nicolas

137.

01 févr. 2013

Logiciel

SPFlow
Rewriting a non SP workflow into an SP workflow while preserving provenance

COHEN-BOULAKIA, Sarah

138.

04 févr. 2013

Logiciel

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

139.

07 nov. 2013

Logiciel

Clay
Clay

BASTOUL, Cédric

140.

07 sept. 2017

Logiciel

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

141.

01 janv. 2013

Logiciel

Pff library
Pff library

BOLDO, Sylvie

142.

01 janv. 2014

Logiciel

CFML
Program Verification for ML through Characteristic Formula

CHARGUERAUD, Arthur

143.

01 janv. 2014

Logiciel

MultiBoost
MultiBoost

KÉGL, Balázs

144.

01 janv. 2014

Logiciel

Metis
Metis

TEYTAUD, Olivier

145.

01 janv. 2014

Logiciel

AMADA
Web Data Repositories in the Amazon Cloud

CAMACHO RODRIGUEZ, Jesus

146.

01 janv. 2013

Logiciel

XUpTe
XUpTe

COLAZZO, Dario

147.

24 avril 2009

Logiciel

TARGET
Adaptative ontology-based Web search framework

REYNAUD, Chantal

148.

25 avril 2012

Logiciel

TEXAN
Un service d'extraction de données tabulaires

REYNAUD, Chantal

149.

25 nov. 2012

Logiciel

POI-HELPER
Un service d'extraction de données issues de réseaux sociaux

REYNAUD, Chantal

150.

25 juil. 2012

Logiciel

REISA
Controlled Knowledge Base Enrichment from Web documents

PERNELLE-MANSCOUR, Nathalie