151.

01 Jan 2013

Software

V-DS
Virtualization environment for large-scale Distributed Systems

CAPPELLO, Franck

152.

01 Jan 2015

Software

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

153.

01 Jan 2014

Software

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

154.

01 Jan 2014

Software

AMADA
AMADA

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.

20 Apr 2018

Software

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

159.

17 Jul 2014

Software

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric

160.

22 Sep 2017

Patent

Synchro CORAC
Synchronization mechanism for critical systems

BOULANGER, Frédéric

161.

01 Jan 2013

Software

Pff library
Pff library

BOLDO, Sylvie

162.

10 Jan 2014

Software

Flocq Library
Flocq Library

BOLDO, Sylvie

163.

07 Sep 2017

Software

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

164.

03 Oct 2012

Software

Coq.FP2
Coq.FP2

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

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

168.

01 Jan 2013

Software

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

169.

10 Jul 2015

Software

WildOS
Middleware for interactive rooms

BEAUDOUIN-LAFON, Michel

170.

01 Jan 2014

Software

GlideCursor
Inertial cursor

BEAUDOUIN-LAFON, Michel

171.

12 Apr 2012

Software

Clan
Chunky Loop Analyzer

BASTOUL, Cédric

172.

10 Feb 2014

Software

OpenScop
OpenScop

BASTOUL, Cédric

173.

07 Nov 2013

Software

Clay
Clay

BASTOUL, Cédric

174.

16 Feb 2008

Software

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

175.

03 Dec 2012

Software

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric