26.

20 janv. 2014

Logiciel

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

27.

11 oct. 2013

Logiciel

CLooG
Chunky Loop Generator

BASTOUL, Cédric

28.

12 avril 2012

Logiciel

Clan
Chunky Loop Analyzer

BASTOUL, Cédric

29.

10 févr. 2014

Logiciel

OpenScop
OpenScop

BASTOUL, Cédric

30.

16 févr. 2008

Logiciel

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

31.

03 déc. 2012

Logiciel

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

32.

02 août 2009

Logiciel

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

33.

01 janv. 2013

Logiciel

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

34.

10 juil. 2015

Logiciel

WildOS
Middleware pour salles interactives

BEAUDOUIN-LAFON, Michel

35.

01 janv. 2014

Logiciel

GlideCursor
Intertial cursor

BEAUDOUIN-LAFON, Michel

36.

01 janv. 2013

Logiciel

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

37.

10 févr. 2012

Logiciel

CDuce
CDuce an XML centric Functional Programmimg Language

BENZAKEN, Véronique

38.

01 janv. 2013

Logiciel

XPUQ
XML Partitioning for Updates and Queries

BIDOIT, Nicole

39.

01 janv. 2013

Logiciel

Pff library
Pff library

BOLDO, Sylvie

40.

03 oct. 2012

Logiciel

Coq.FP2
Coq.FP2

BOLDO, Sylvie

41.

10 janv. 2014

Logiciel

Flocq Library
Flocq Library

BOLDO, Sylvie

42.

07 sept. 2017

Logiciel

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

43.

20 avril 2018

Logiciel

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

44.

17 juil. 2014

Logiciel

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric

45.

22 sept. 2017

Brevet

Synchro CORAC
Procédé de synchronisation pour systèmes critiques

BOULANGER, Frédéric

46.

01 sept. 2016

Logiciel

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

47.

14 juil. 2007

Logiciel

SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics

BREDECHE, Nicolas

48.

02 déc. 2019

Logiciel

CARTOLABE
CARTOLABE

CAILLOU, Philippe

49.

01 janv. 2015

Logiciel

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

50.

01 janv. 2014

Logiciel

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus