Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciels et brevets
#
Date
Type
Nom et Titre
Responsable
1.
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
2.
06 sept. 2003
Logiciel
WILD Input Server
WILD Input Server (WIS)
HUOT, Stéphane
3.
17 sept. 2004
Logiciel
Caduceus
Outil Caduceus de vérification de programmes C
FILLIÂTRE, Jean-Christophe
4.
01 janv. 2005
Logiciel
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
5.
01 janv. 2005
Logiciel
IDéeBD
Introduction Didactique aux Bases de Données
DELAËT, Sylvie
6.
01 juin 2005
Logiciel
Django
theta-subsumption test for Relational Learning
SEBAG, Michèle
7.
05 déc. 2005
Logiciel
AuGuSTe
Test statistique de programmes C
VOISIN, Frédéric
8.
01 janv. 2006
Brevet
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
9.
01 janv. 2006
Logiciel
KadoP
Système d'indexation et d'interrogation XML en P2P
MANOLESCU-GOUJOT, Ioana
10.
26 mars 2006
Logiciel
XTAB2SML
Outil d'annotation sémantique de tableaux guidée par une ontologie
SAÏS, Fatiha
11.
01 avril 2006
Logiciel
Lucid Synchrone
Lucid Synchrone
POUZET, Marc
12.
15 août 2006
Logiciel
HOL-OCL
Un systeme de preuve pour UML/OCL
WOLFF, Burkhart
13.
18 déc. 2006
Logiciel
FAIL-FCI
Langage d'injection de fautes
TIXEUIL, Sébastien
14.
01 janv. 2007
Logiciel
ULoad
Gestionnaire de vues XML
ABITEBOUL, Serge
15.
01 janv. 2007
Logiciel
sALLUSTe
Test Statistique de programmes Lustre
GAUDEL, Marie-Claude
16.
01 janv. 2007
Logiciel
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
17.
01 janv. 2007
Logiciel
OptimAX
Optimiseur algébrique pour Active XML
ABITEBOUL, Serge
18.
01 janv. 2007
Logiciel
Program
Program : un langage de programmation avec types dépendants dans Coq
PAULIN-MOHRING, Christine
19.
01 mai 2007
Logiciel
IsaViz
A visual environment for browsing and authoring RDF models
PIETRIGA, Emmanuel
20.
01 mai 2007
Logiciel
MPICH-V
Interface àpassage de messages pour les ressources volatiles
HERAULT, Thomas
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
1 - 2 - 3 - 4 - 5 - 6 - 7 - Suivant [Page 1 sur 7]