151.

20 juil. 2014

Logiciel

TemporalOCL
Temporal OCL Plugin for Eclipse

TAHA, Safouan

152.

16 août 2014

Logiciel

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

153.

22 sept. 2014

Logiciel

Causalex
Causality Graph Explorer

PAULEVE, Loïc

154.

03 oct. 2014

Logiciel

NT2
The Numerical Template Toolbox

FALCOU, Joël

155.

24 nov. 2014

Logiciel

Voeux
Gestion des services d'enseignement

AMAR, Patrick

156.

04 déc. 2014

Logiciel

Why3
La plateforme Why3

FILLIÂTRE, Jean-Christophe

157.

01 janv. 2015

Logiciel

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

158.

27 janv. 2015

Logiciel

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

159.

11 mars 2015

Logiciel

ZVTM
Zoomable Visual Transformation Machine

PIETRIGA, Emmanuel

160.

11 mars 2015

Logiciel

ZGRViewer
A GraphViz/DOT Viewer

PIETRIGA, Emmanuel

161.

01 avril 2015

Logiciel

SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations

BABOULIN, Marc

162.

01 juin 2015

Logiciel

UnityCluster
Middleware pour applications Unity3D réparties

FLEURY, Cédric

163.

01 juil. 2015

Logiciel

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

164.

10 juil. 2015

Logiciel

WildOS
Middleware pour salles interactives

BEAUDOUIN-LAFON, Michel

165.

26 oct. 2015

Logiciel

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

166.

01 mars 2016

Logiciel

SMTCoq
Plug-in de communication entre Coq et prouveurs externes

KELLER, Chantal

167.

01