26.

16 Jun 2008

Software

Le Système HOL-Z
The HOL-Z System

WOLFF, Burkhart

27.

01 Jul 2008

Software

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine

28.

09 Jul 2008

Software

Active XML
Declarative specification of Web applications

ABITEBOUL, Serge

29.

30 Oct 2008

Software

FM
FM: the Fourier-Motzkin library

BASTOUL, Cédric

30.

11 Mar 2009

Software

GCC ICI
GCC Interactive Compilation Interface

FURSIN, Grigori

31.

24 Apr 2009

Software

TARGET
Adaptative ontology-based Web search framework

REYNAUD, Chantal

32.

01 Aug 2009

Software

MESAM
MESAM

REYNAUD, Chantal

33.

02 Aug 2009

Software

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

34.

07 Aug 2009

Software

NestedAlign
Pairwise RNA secondary structure comparison

DENISE, Alain

35.

24 Aug 2009

Software

Núcleo
Video toolkit

CHAPUIS, Olivier

36.

01 Sep 2009

Software

CELL-MPI
MPI Framework for the CELL Processor

FALCOU, Joël

37.

01 Nov 2009

Software

GUIDE
A Graphical User Interface for EA C++ library developpment

SCHOENAUER, Marc

38.

11 Dec 2009

Patent

FR0958890
A method for quality-based routing in a multi-hop network

AL AGHA, Khaldoun

39.

01 Jan 2010

Software

SomeWhere
Peer-to-Peer Consequence Finding

GOASDOUE, François

40.

01 Jan 2010

Software

Mash-WP6
A stochastic dynamic programming framework

TEYTAUD, Olivier

41.

01 Jan 2010

Software

Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library

TEYTAUD, Olivier

42.

01 Jan 2010

Software

Qolyester
implementation from scratch of the OLSR protocol

AL AGHA, Khaldoun

43.

01 Jan 2010

Software

SomeWhere+
Paraconsistent Peer-to-Peer Consequence Finding algorithm

CHATALIC, Philippe

44.

01 Jan 2010

Software

Unisim
UNISIM: UNIted SIMulation environment

TEMAM, Olivier

45.

01 Jan 2010

Software

BPEL2CPN
BPEL2CPN

DAGUE, Philippe

46.

01 Jan 2010

Software

CAPSULE
CAPSULE

TEMAM, Olivier

47.

01 Jan 2010

Software

Polyhedral Transformation in Open64
Polyhedral Transformation in Open64

TEMAM, Olivier

48.

18 May 2010

Software

JFresnel
A Java library that implements the Fresnel specification

PIETRIGA, Emmanuel

49.

23 Nov 2010

Patent

FR 2967800 - Cell-MPI brevet
Procédé de synchronisation et de transfert de données entre des processeurs reliés par des canaux DMA

FALCOU, Joël

50.

01 Jan 2011

Software

RUKIA
Random Uniform walK In Automata

GAUDEL, Marie-Claude