126.

01 janv. 2014

Logiciel

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

FURSIN, Grigori

127.

01 janv. 2013

Logiciel

jBricks
Toolkit Java pour plateformes de visualisation interactives

HUOT, Stéphane

128.

01 janv. 2014

Logiciel

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

129.

01 déc. 2017

Logiciel

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

THIÉRY, Nicolas

130.

01 févr. 2013

Logiciel

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

COHEN-BOULAKIA, Sarah

131.

04 févr. 2013

Logiciel

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

132.

07 nov. 2013

Logiciel

Clay
Clay

BASTOUL, Cédric

133.

07 sept. 2017

Logiciel

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

134.

01 janv. 2013

Logiciel

Pff library
Pff library

BOLDO, Sylvie

135.

01 janv. 2014

Logiciel

CFML
Program Verification for ML through Characteristic Formula

CHARGUERAUD, Arthur

136.

01 janv. 2014

Logiciel

MultiBoost
MultiBoost

KÉGL, Balázs

137.

01 janv. 2014

Logiciel

Metis
Metis

TEYTAUD, Olivier

138.

01 janv. 2014

Logiciel

AMADA
Web Data Repositories in the Amazon Cloud

CAMACHO RODRIGUEZ, Jesus

139.

01 janv. 2013

Logiciel

XUpTe
XUpTe

COLAZZO, Dario

140.

24 avril 2009

Logiciel

TARGET
Adaptative ontology-based Web search framework

REYNAUD, Chantal

141.

25 avril 2012

Logiciel

TEXAN
Un service d'extraction de données tabulaires

REYNAUD, Chantal

142.

25 nov. 2012

Logiciel

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

REYNAUD, Chantal

143.

25 juil. 2012

Logiciel

REISA
Controlled Knowledge Base Enrichment from Web documents

PERNELLE-MANSCOUR, Nathalie

144.

25 juil. 2011

Logiciel

SHIRI-Querying
Semantic Search on Heterogeneous Semi-structured Documents

PERNELLE-MANSCOUR, Nathalie

145.

30 sept. 2011

Logiciel

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

THIAM, Mouhamadou

146.

26 juil. 2013

Logiciel

XRP
The XR platform

GOASDOUE, François

147.

01 janv. 2014

Logiciel

FactMinder
A browser (Chrome) extension targeted at online fact checkers and data journalists

GOASDOUE, François

148.

01 janv. 2014

Logiciel

WaRG
Warehousing RDF Graphs

ROATIS, Ioana-Alexandra

149.

06 sept. 2013

Logiciel

WILD Input Server
Configurateur d'entrées

HUOT, Stéphane

150.

15 sept. 2013

Logiciel

ACM-ES
Surrogate models for CMA-ES

LOSHCHILOV, Ilya