1.

01 janv. 1970

Logiciel

Pactole
Formalisation en Coq de modèles et d'algorithmes d'essaims de robots mobiles.

BALABONSKI, Thibaut

2.

01 juin 2000

Logiciel

OntoClass & OntoQuery
Moteur de réécriture de requêtes en termes de vues pour la mise en oeuvre de médiateurs

GOASDOUE, François

3.

20 janv. 2001

Brevet

Traffic unification in wild networks
Traffic unification in wild networks

MARTIN, Steven

4.

17 sept. 2004

Logiciel

Caduceus
Outil Caduceus de vérification de programmes C

FILLIÂTRE, Jean-Christophe

5.

01 janv. 2005

Logiciel

IDéeBD
Introduction Didactique aux Bases de Données

DELAËT, Sylvie

6.

01 janv. 2005

Logiciel

Acware
Un système pour le stockage de contenus

ABITEBOUL, Serge

7.

01 juin 2005

Logiciel

Django
theta-subsumption test for Relational Learning

SEBAG, Michèle

8.

05 déc. 2005

Logiciel

AuGuSTe
Test statistique de programmes C

VOISIN, Frédéric

9.

01 janv. 2006

Brevet

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

AL AGHA, Khaldoun

10.

01 janv. 2006

Logiciel

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

MANOLESCU-GOUJOT, Ioana

11.

26 mars 2006

Logiciel

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

SAÏS, Fatiha

12.

01 avril 2006

Logiciel

Lucid Synchrone
Lucid Synchrone

POUZET, Marc

13.

18 déc. 2006

Logiciel

FAIL-FCI
Langage d'injection de fautes

TIXEUIL, Sébastien

14.

01 janv. 2007

Logiciel

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

PAULIN-MOHRING, Christine

15.

01 janv. 2007

Logiciel

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

16.

01 janv. 2007

Logiciel

sALLUSTe
Test Statistique de programmes Lustre

GAUDEL, Marie-Claude

17.

01 janv. 2007

Logiciel

OptimAX
Optimiseur algébrique pour Active XML

ABITEBOUL, Serge

18.

01 janv. 2007

Logiciel

ULoad
Gestionnaire de vues XML

ABITEBOUL, Serge

19.

01 mai 2007

Logiciel

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

HERAULT, Thomas

20.

01 mai 2007

Logiciel

IsaViz
A visual environment for browsing and authoring RDF models

PIETRIGA, Emmanuel

21.

14 juil. 2007

Logiciel

SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics

BREDECHE, Nicolas

22.

07 janv. 2008

Logiciel

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

23.

16 févr. 2008

Logiciel

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

24.

15 avril 2008

Logiciel

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

FROIDEVAUX, Christine

25.

05 mai 2008

Logiciel

XtremWeb
plateforme de calcul global pair à pair

CAPPELLO, Franck