1.

01 Jan 1970

Software

Pactole
Coq formalisation a mobile sensors networks.

BALABONSKI, Thibaut

2.

01 Jun 2000

Software

OntoClass & OntoQuery
Query engine for mediators based on query rewriting using views

GOASDOUE, François

3.

20 Jan 2001

Patent

Traffic unification in wild networks
Traffic unification in wild networks

MARTIN, Steven

4.

17 Sep 2004

Software

Caduceus
Caduceus Tool for C Program Verification

FILLIÂTRE, Jean-Christophe

5.

01 Jan 2005

Software

IDéeBD
IDéeBD

DELAËT, Sylvie

6.

01 Jan 2005

Software

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge

7.

01 Jun 2005

Software

Django
theta-subsumption test for Relational Learning

SEBAG, Michèle

8.

05 Dec 2005

Software

AuGuSTe
Statistical Testing of C Programs

VOISIN, Frédéric

9.

01 Jan 2006

Patent

FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes

AL AGHA, Khaldoun

10.

01 Jan 2006

Software

KadoP
XML indexing and querying in P2P

MANOLESCU-GOUJOT, Ioana

11.

26 Mar 2006

Software

XTAB2SML
Tool for ontology driven semantic annotation of data tables.

SAÏS, Fatiha

12.

01 Apr 2006

Software

Lucid Synchrone
Lucid Synchrone

POUZET, Marc

13.

18 Dec 2006

Software

FAIL-FCI
Fault Injection Language - Fail Cluster Implementation

TIXEUIL, Sébastien

14.

01 Jan 2007

Software

Program
Program : Programming with Dependent Types in Coq

PAULIN-MOHRING, Christine

15.

01 Jan 2007

Software

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

16.

01 Jan 2007

Software

sALLUSTe
Statistical Testing based on Lustre Descriptions

GAUDEL, Marie-Claude

17.

01 Jan 2007

Software

OptimAX
Algebraic optimizer for Active XML

ABITEBOUL, Serge

18.

01 Jan 2007

Software

ULoad
Management of XML views

ABITEBOUL, Serge

19.

01 May 2007

Software

MPICH-V
Message Passing Interface For Volatile Resources

HERAULT, Thomas

20.

01 May 2007

Software

IsaViz
A visual environment for browsing and authoring RDF models

PIETRIGA, Emmanuel

21.

14 Jul 2007

Software

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

BREDECHE, Nicolas

22.

07 Jan 2008

Software

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

23.

16 Feb 2008

Software

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

24.

15 Apr 2008

Software

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee

FROIDEVAUX, Christine

25.

05 May 2008

Software

XtremWeb
Open Source Platform for Desktop Grid Computing

CAPPELLO, Franck