126.

01 Jan 2014

Software

Cartaj
Classification Of RNA threeway Junctions

DENISE, Alain

127.

01 Jan 2014

Software

GeneValorization
Gene List significance at-a-glance

COHEN-BOULAKIA, Sarah

128.

01 Jan 2014

Software

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

FURSIN, Grigori

129.

01 Jan 2014

Software

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

130.

01 Jan 2014

Software

CFML
CFML

CHARGUERAUD, Arthur

131.

01 Jan 2014

Software

MultiBoost
MultiBoost

KÉGL, Balázs

132.

01 Jan 2014

Software

Metis
Metis

TEYTAUD, Olivier

133.

01 Jan 2014

Software

AMADA
AMADA

CAMACHO RODRIGUEZ, Jesus

134.

01 Jan 2014

Software

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

GOASDOUE, François

135.

01 Jan 2014

Software

WaRG
Warehousing RDF Graphs

ROATIS, Ioana-Alexandra

136.

01 Jan 2014

Software

GlideCursor
Inertial cursor

BEAUDOUIN-LAFON, Michel

137.

01 Jan 2014

Software

myNRC2.0
Smart memory allocator

LACASSAGNE, Lionel

138.

01 Jan 2014

Software

covTrack
Robust and realtime multitarget covariance tracking

LACASSAGNE, Lionel

139.

01 Jan 2014

Software

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

140.

01 Jan 2014

Software

CliqueSquare
CliqueSquare

ZAMPETAKIS, Stamatis

141.

01 Jan 2014

Software

SAKey
Scalable Tool For Almost Key Discovery in RDF Data

PERNELLE-MANSCOUR, Nathalie

142.

08 Jan 2014

Software

ReactiveML
The ReactiveML language

MANDEL, Louis

143.

10 Jan 2014

Software

Flocq Library
Flocq Library

BOLDO, Sylvie

144.

20 Jan 2014

Software

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

145.

04 Feb 2014

Software

ocamlgraph
Ocaml graph library

FILLIÂTRE, Jean-Christophe

146.

10 Feb 2014

Software

OpenScop
OpenScop

BASTOUL, Cédric

147.

18 Feb 2014

Software

SwingStates
An extension to the Java Swing toolkit based on state machines

APPERT, Caroline

148.

05 Mar 2014

Software

Functory
place where functional workers are manufacturing programs

FILLIÂTRE, Jean-Christophe

149.

12 Apr 2014

Software

Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification

CONTEJEAN, Evelyne

150.

17 Jul 2014

Software

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric