151.

01 Jan 2013

Software

PVC
Private Virtual Cluster

CAPPELLO, Franck

152.

01 Jan 2014

Software

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

153.

01 Jan 2014

Software

AMADA
AMADA

CAMACHO RODRIGUEZ, Jesus

154.

01 Jan 2015

Software

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

155.

02 Dec 2019

Software

CARTOLABE
CARTOLABE

CAILLOU, Philippe

156.

14 Jul 2007

Software

SIMBAD
Simbad, A mobile robot simulator for Autonomous and Evolutionary Robotics

BREDECHE, Nicolas

157.

01 Sep 2016

Software

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

158.

17 Jul 2014

Software

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric

159.

22 Sep 2017

Patent

Synchro CORAC
Synchronization mechanism for critical systems

BOULANGER, Frédéric

160.

20 Apr 2018

Software

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

161.

07 Sep 2017

Software

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

162.

03 Oct 2012

Software

Coq.FP2
Coq.FP2

BOLDO, Sylvie

163.

01 Jan 2013

Software

Pff library
Pff library

BOLDO, Sylvie

164.

10 Jan 2014

Software

Flocq Library
Flocq Library

BOLDO, Sylvie

165.

01 Jan 2013

Software

XPUQ
XML Partitioning for Updates and Queries

BIDOIT, Nicole

166.

10 Feb 2012

Software

CDuce
CDuce an XML centric Programmimg Language

BENZAKEN, Véronique

167.

01 Jan 2013

Software

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

168.

10 Jul 2015

Software

WildOS
Middleware for interactive rooms

BEAUDOUIN-LAFON, Michel

169.

01 Jan 2014

Software

GlideCursor
Inertial cursor

BEAUDOUIN-LAFON, Michel

170.

01 Jan 2013

Software

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

171.

16 Feb 2008

Software

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

172.

03 Dec 2012

Software

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

173.

02 Aug 2009

Software

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

174.

30 Oct 2008

Software

FM
FM: the Fourier-Motzkin library

BASTOUL, Cédric

175.

20 Jan 2014

Software

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric