151.

20 Jul 2014

Software

TemporalOCL
Temporal OCL Plugin for Eclipse

TAHA, Safouan

152.

16 Aug 2014

Software

Quaff
Quaff: Dataflow EDSL for Parallel Programming

FALCOU, Joël

153.

22 Sep 2014

Software

Causalex
Causality Graph Explorer

PAULEVE, Loïc

154.

03 Oct 2014

Software

NT2
The Numerical Template Toolbox

FALCOU, Joël

155.

24 Nov 2014

Software

Voeux
Teaching service management system

AMAR, Patrick

156.

04 Dec 2014

Software

Why3
The Why3 platform

FILLIÂTRE, Jean-Christophe

157.

01 Jan 2015

Software

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

158.

27 Jan 2015

Software

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

159.

11 Mar 2015

Software

ZVTM
Zoomable Visual Transformation Machine

PIETRIGA, Emmanuel

160.

11 Mar 2015

Software

ZGRViewer
A GraphViz/DOT Viewer

PIETRIGA, Emmanuel

161.

01 Apr 2015

Software

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

BABOULIN, Marc

162.

01 Jun 2015

Software

UnityCluster
Distributed Unity3D application middleware

FLEURY, Cédric

163.

01 Jul 2015

Software

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

164.

10 Jul 2015

Software

WildOS
Middleware for interactive rooms

BEAUDOUIN-LAFON, Michel

165.

26 Oct 2015

Software

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

166.

01 Mar 2016

Software

SMTCoq
Coq plugin that checks proof witnesses coming from external SAT and SMT solvers

KELLER, Chantal

167.

01 Mar 2016

Software

VICKEY
Mining Conditional Keys on Knowledge Bases

PERNELLE-MANSCOUR, Nathalie

168.

01 Sep 2016

Software

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

169.

01 Jan 2017

Software

OntoEvent-B
A Generator of Event-B contexts from Ontologies

AIT-SADOUNE, Idir

170.

09 Jan 2017

Software

Gappa
Gappa, a tool for certifying numerical applications

MELQUIOND, Guillaume

171.

31 Jan 2017

Software

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAFAR, Brigitte

172.

30 Jun 2017

Software

DIGISCAPE
Telepresence middleware

GLADIN, Olivier

173.

15 Aug 2017

Software

HOL-OCL
A proof system for UML/OCL

WOLFF, Burkhart

174.

15 Aug 2017

Software

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

175.

07 Sep 2017

Software

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie