26.

20 Jan 2014

Software

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

27.

11 Oct 2013

Software

CLooG
Chunky Loop Generator

BASTOUL, Cédric

28.

12 Apr 2012

Software

Clan
Chunky Loop Analyzer

BASTOUL, Cédric

29.

10 Feb 2014

Software

OpenScop
OpenScop

BASTOUL, Cédric

30.

16 Feb 2008

Software

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

31.

03 Dec 2012

Software

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

32.

02 Aug 2009

Software

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

33.

01 Jan 2013

Software

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

34.

10 Jul 2015

Software

WildOS
Middleware for interactive rooms

BEAUDOUIN-LAFON, Michel

35.

01 Jan 2014

Software

GlideCursor
Inertial cursor

BEAUDOUIN-LAFON, Michel

36.

01 Jan 2013

Software

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

37.

10 Feb 2012

Software

CDuce
CDuce an XML centric Programmimg Language

BENZAKEN, Véronique

38.

01 Jan 2013

Software

XPUQ
XML Partitioning for Updates and Queries

BIDOIT, Nicole

39.

01 Jan 2013

Software

Pff library
Pff library

BOLDO, Sylvie

40.

03 Oct 2012

Software

Coq.FP2
Coq.FP2

BOLDO, Sylvie

41.

10 Jan 2014

Software

Flocq Library
Flocq Library

BOLDO, Sylvie

42.

07 Sep 2017

Software

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

43.

20 Apr 2018

Software

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

44.

17 Jul 2014

Software

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric

45.

22 Sep 2017

Patent

Synchro CORAC
Synchronization mechanism for critical systems

BOULANGER, Frédéric

46.

01 Sep 2016

Software

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

47.

14 Jul 2007

Software

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

BREDECHE, Nicolas

48.

02 Dec 2019

Software

CARTOLABE
CARTOLABE

CAILLOU, Philippe

49.

01 Jan 2015

Software

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

50.

01 Jan 2014

Software

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus