176.

01 Jul 2008

Software

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine

177.

16 Jun 2008

Software

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

WOLFF, Burkhart

178.

05 May 2008

Software

XtremWeb
Open Source Platform for Desktop Grid Computing

CAPPELLO, Franck

179.

15 Apr 2008

Software

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee

FROIDEVAUX, Christine

180.

16 Feb 2008

Software

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

181.

07 Jan 2008

Software

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

182.

14 Jul 2007

Software

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

BREDECHE, Nicolas

183.

01 May 2007

Software

MPICH-V
Message Passing Interface For Volatile Resources

HERAULT, Thomas

184.

01 May 2007

Software

IsaViz
A visual environment for browsing and authoring RDF models

PIETRIGA, Emmanuel

185.

01 Jan 2007

Software

Program
Program : Programming with Dependent Types in Coq

PAULIN-MOHRING, Christine

186.

01 Jan 2007

Software

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

187.

01 Jan 2007

Software

sALLUSTe
Statistical Testing based on Lustre Descriptions

GAUDEL, Marie-Claude

188.

01 Jan 2007

Software

OptimAX
Algebraic optimizer for Active XML

ABITEBOUL, Serge

189.

01 Jan 2007

Software

ULoad
Management of XML views

ABITEBOUL, Serge

190.

18 Dec 2006

Software

FAIL-FCI
Fault Injection Language - Fail Cluster Implementation

TIXEUIL, Sébastien

191.

01 Apr 2006

Software

Lucid Synchrone
Lucid Synchrone

POUZET, Marc

192.

26 Mar 2006

Software

XTAB2SML
Tool for ontology driven semantic annotation of data tables.

SAÏS, Fatiha

193.

01 Jan 2006

Patent

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

AL AGHA, Khaldoun

194.

01 Jan 2006

Software

KadoP
XML indexing and querying in P2P

MANOLESCU-GOUJOT, Ioana

195.

05 Dec 2005

Software

AuGuSTe
Statistical Testing of C Programs

VOISIN, Frédéric

196.

01 Jun 2005

Software

Django
theta-subsumption test for Relational Learning

SEBAG, Michèle

197.

01 Jan 2005

Software

IDéeBD
IDéeBD

DELAËT, Sylvie

198.

01 Jan 2005

Software

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge

199.

17 Sep 2004

Software

Caduceus
Caduceus Tool for C Program Verification

FILLIÂTRE, Jean-Christophe

200.

20 Jan 2001

Patent

Traffic unification in wild networks
Traffic unification in wild networks

MARTIN, Steven