101.

01 Feb 2013

Software

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

COHEN-BOULAKIA, Sarah

102.

04 Feb 2013

Software

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

103.

01 Apr 2013

Software

EdiFlow
EdiFlow: interactive workflows for data analytics

MANOLESCU-GOUJOT, Ioana

104.

13 May 2013

Software

WXD
Text editor

AMAR, Patrick

105.

15 May 2013

Software

YML
Large-Scale Workflow Computing

PETITON, Serge

106.

26 Jul 2013

Software

XRP
The XR platform

GOASDOUE, François

107.

06 Sep 2013

Software

WILD Input Server
Multi-device input configuration

HUOT, Stéphane

108.

15 Sep 2013

Software

ACM-ES
Surrogate models for CMA-ES

LOSHCHILOV, Ilya

109.

23 Sep 2013

Software

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

110.

11 Oct 2013

Software

CLooG
Chunky Loop Generator

BASTOUL, Cédric

111.

07 Nov 2013

Software

Clay
Clay

BASTOUL, Cédric

112.

01 Dec 2013

Software

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

113.

01 Jan 2014

Software

Nautilus Analyzer
Nautilus

HERSCHEL, Mélanie

114.

01 Jan 2014

Software

bibtex2html
Bibtex to HTML

FILLIÂTRE, Jean-Christophe

115.

01 Jan 2014

Software

Alt-Ergo
The Alt-Ergo theorem prover

CONCHON, Sylvain

116.

01 Jan 2014

Software

MoGo
Computer-Go program

TEYTAUD, Olivier

117.

01 Jan 2014

Software

GenRGenS
Generation of Random Genomic Sequences and Structures

DENISE, Alain

118.

01 Jan 2014

Software

VARNA
Visualisation Applet for RNA

DENISE, Alain

119.

01 Jan 2014

Software

HSIM
Hyperstructure Simulator

AMAR, Patrick

120.

01 Jan 2014

Software

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

121.

01 Jan 2014

Software

Mlpost
Mlpost: an Objective Caml interface to Metapost

FILLIÂTRE, Jean-Christophe

122.

01 Jan 2014

Software

ALEA
ALEA : A library for reasoning on random algorithms in Coq

PAULIN-MOHRING, Christine

123.

01 Jan 2014

Software

Coccinelle
Coccinelle

CONTEJEAN, Evelyne

124.

01 Jan 2014

Software

GridObservatory
Grid Observatory

GERMAIN, Cécile

125.

01 Jan 2014

Software

COCO
Comparing Continuous Optimizers

HANSEN, Nikolaus