101.

01 févr. 2013

Logiciel

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

COHEN-BOULAKIA, Sarah

102.

04 févr. 2013

Logiciel

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

103.

01 avril 2013

Logiciel

EdiFlow
EdiFlow: workflows intéractifs pour l'analyse de données

MANOLESCU-GOUJOT, Ioana

104.

13 mai 2013

Logiciel

WXD
Editeur de textes

AMAR, Patrick

105.

15 mai 2013

Logiciel

YML
Large-Scale Workflow Computing

PETITON, Serge

106.

26 juil. 2013

Logiciel

XRP
The XR platform

GOASDOUE, François

107.

06 sept. 2013

Logiciel

WILD Input Server
Configurateur d'entrées

HUOT, Stéphane

108.

15 sept. 2013

Logiciel

ACM-ES
Surrogate models for CMA-ES

LOSHCHILOV, Ilya

109.

23 sept. 2013

Logiciel

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

110.

11 oct. 2013

Logiciel

CLooG
Chunky Loop Generator

BASTOUL, Cédric

111.

07 nov. 2013

Logiciel

Clay
Clay

BASTOUL, Cédric

112.

01 déc. 2013

Logiciel

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

113.

01 janv. 2014

Logiciel

Nautilus Analyzer
Nautilus Analyzer

HERSCHEL, Mélanie

114.

01 janv. 2014

Logiciel

bibtex2html
Traducteur BibTeX vers HTML

FILLIÂTRE, Jean-Christophe

115.

01 janv. 2014

Logiciel

Alt-Ergo
Démonstrateur automatique Alt-Ergo

CONCHON, Sylvain

116.

01 janv. 2014

Logiciel

MoGo
Computer-Go program

TEYTAUD, Olivier

117.

01 janv. 2014

Logiciel

GenRGenS
Generation of Random Genomic Sequences and Structures

DENISE, Alain

118.

01 janv. 2014

Logiciel

VARNA
Visualisation Applet for RNA

DENISE, Alain

119.

01 janv. 2014

Logiciel

HSIM
Hyperstructure Simulator

AMAR, Patrick

120.

01 janv. 2014

Logiciel

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

121.

01 janv. 2014

Logiciel

Mlpost
Mlpost: une interface Objective Caml pour Metapost

FILLIÂTRE, Jean-Christophe

122.

01 janv. 2014

Logiciel

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

PAULIN-MOHRING, Christine

123.

01 janv. 2014

Logiciel

Coccinelle
Coccinelle

CONTEJEAN, Evelyne

124.

01 janv. 2014

Logiciel

GridObservatory
Grid Observatory

GERMAIN, Cécile

125.

01 janv. 2014

Logiciel

COCO
Comparing Continuous Optimizers

HANSEN, Nikolaus