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 mars 2016

Logiciel

VICKEY
Mining Conditional Keys on Knowledge Bases

PERNELLE-MANSCOUR, Nathalie

168.

01 sept. 2016

Logiciel

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

169.

01 janv. 2017

Logiciel

OntoEvent-B
Générateur de contextes Event-B à partir des ontologies

AIT-SADOUNE, Idir

170.

09 janv. 2017

Logiciel

Gappa
Outil Gappa de certification de programmes numériques

MELQUIOND, Guillaume

171.

31 janv. 2017

Logiciel

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAFAR, Brigitte

172.

30 juin 2017

Logiciel

DIGISCAPE
Middleware de téléprésence

GLADIN, Olivier

173.

15 août 2017

Logiciel

HOL-OCL
Un systeme de preuve pour UML/OCL

WOLFF, Burkhart

174.

15 août 2017

Logiciel

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

175.

07 sept. 2017

Logiciel

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie