176.

01 juil. 2008

Logiciel

GenoQuery
Querying genomic data warehouse

FROIDEVAUX, Christine

177.

16 juin 2008

Logiciel

Le Système HOL-Z
Un système de preuve pour la Méthode Z

WOLFF, Burkhart

178.

05 mai 2008

Logiciel

XtremWeb
plateforme de calcul global pair à pair

CAPPELLO, Franck

179.

15 avril 2008

Logiciel

Sequential Nuggets of Knowledge - DeeVee
SNK-DeeVee: Detecting and visualising Sequential Nuggets of Knowledge

FROIDEVAUX, Christine

180.

16 févr. 2008

Logiciel

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

181.

07 janv. 2008

Logiciel

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

182.

14 juil. 2007

Logiciel

SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics

BREDECHE, Nicolas

183.

01 mai 2007

Logiciel

MPICH-V
Interface àpassage de messages pour les ressources volatiles

HERAULT, Thomas

184.

01 mai 2007

Logiciel

IsaViz
A visual environment for browsing and authoring RDF models

PIETRIGA, Emmanuel

185.

01 janv. 2007

Logiciel

Program
Program : un langage de programmation avec types dépendants dans Coq

PAULIN-MOHRING, Christine

186.

01 janv. 2007

Logiciel

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

187.

01 janv. 2007

Logiciel

sALLUSTe
Test Statistique de programmes Lustre

GAUDEL, Marie-Claude

188.

01 janv. 2007

Logiciel

OptimAX
Optimiseur algébrique pour Active XML

ABITEBOUL, Serge

189.

01 janv. 2007

Logiciel

ULoad
Gestionnaire de vues XML

ABITEBOUL, Serge

190.

18 déc. 2006

Logiciel

FAIL-FCI
Langage d'injection de fautes

TIXEUIL, Sébastien

191.

01 avril 2006

Logiciel

Lucid Synchrone
Lucid Synchrone

POUZET, Marc

192.

26 mars 2006

Logiciel

XTAB2SML
Outil d'annotation sémantique de tableaux guidée par une ontologie

SAÏS, Fatiha

193.

01 janv. 2006

Brevet

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

AL AGHA, Khaldoun

194.

01 janv. 2006

Logiciel

KadoP
Système d'indexation et d'interrogation XML en P2P

MANOLESCU-GOUJOT, Ioana

195.

05 déc. 2005

Logiciel

AuGuSTe
Test statistique de programmes C

VOISIN, Frédéric

196.

01 juin 2005

Logiciel

Django
theta-subsumption test for Relational Learning

SEBAG, Michèle

197.

01 janv. 2005

Logiciel

IDéeBD
Introduction Didactique aux Bases de Données

DELAËT, Sylvie

198.

01 janv. 2005

Logiciel

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge

199.

17 sept. 2004

Logiciel

Caduceus
Outil Caduceus de vérification de programmes C

FILLIÂTRE, Jean-Christophe

200.

20 janv. 2001

Brevet

Traffic unification in wild networks
Traffic unification in wild networks

MARTIN, Steven