126.

01 Dec 2013

Software

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

127.

01 Dec 2017

Software

Sage-Combinat
To improve the open source mathematical system Sage

THIÉRY, Nicolas

128.

15 Oct 2012

Software

Metaphore
Metaphore

FALCOU, Joël

129.

01 Jan 2014

Software

GeneValorization
Gene List significance at-a-glance

COHEN-BOULAKIA, Sarah

130.

01 Jan 2013

Software

SPIN
Scientific Programming InterNet

PETITON, Serge

131.

01 Jan 2014

Software

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

FURSIN, Grigori

132.

01 Jan 2013

Software

jBricks
Java toolkit for interactive visualization platforms

HUOT, Stéphane

133.

01 Jan 2014

Software

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

134.

01 Dec 2017

Software

SageMath
A free open-source mathematics software system

THIÉRY, Nicolas

135.

01 Feb 2013

Software

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

COHEN-BOULAKIA, Sarah

136.

04 Feb 2013

Software

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

137.

07 Nov 2013

Software

Clay
Clay

BASTOUL, Cédric

138.

07 Sep 2017

Software

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

139.

01 Jan 2013

Software

Pff library
Pff library

BOLDO, Sylvie

140.

01 Jan 2014

Software

CFML
CFML

CHARGUERAUD, Arthur

141.

01 Jan 2014

Software

MultiBoost
MultiBoost

KÉGL, Balázs

142.

01 Jan 2014

Software

Metis
Metis

TEYTAUD, Olivier

143.

01 Jan 2014

Software

AMADA
AMADA

CAMACHO RODRIGUEZ, Jesus

144.

01 Jan 2013

Software

XUpTe
XUpTe

COLAZZO, Dario

145.

24 Apr 2009

Software

TARGET
Adaptative ontology-based Web search framework

REYNAUD, Chantal

146.

25 Apr 2012

Software

TEXAN
A service to extract entities from tables

REYNAUD, Chantal

147.

25 Nov 2012

Software

POI-HELPER
An extraction service of data from social networking sites

REYNAUD, Chantal

148.

25 Jul 2012

Software

REISA
Controlled Knowledge Base Enrichment from Web documents

PERNELLE-MANSCOUR, Nathalie

149.

25 Jul 2011

Software

SHIRI-Querying
Semantic Search on Heterogeneous Semi-structured Documents

PERNELLE-MANSCOUR, Nathalie

150.

30 Sep 2011

Software

SHIRI-Annot
ncremental Ontology-based Extraction and Alignment in Semi-Structured Documents

THIAM, Mouhamadou