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
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
OptimAX
Optimiseur algébrique pour Active XML
ABITEBOUL, Serge
186.
01 janv. 2007
Logiciel
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
187.
01 janv. 2007
Logiciel
ULoad
Gestionnaire de vues XML
ABITEBOUL, Serge
188.
01 janv. 2007
Logiciel
Program
Program : un langage de programmation avec types dépendants dans Coq
PAULIN-MOHRING, Christine
189.
01 janv. 2007
Logiciel
sALLUSTe
Test Statistique de programmes Lustre
GAUDEL, Marie-Claude
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
Logiciel
KadoP
Système d'indexation et d'interrogation XML en P2P
MANOLESCU-GOUJOT, Ioana
194.
01 janv. 2006
Brevet
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
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
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
198.
01 janv. 2005
Logiciel
IDéeBD
Introduction Didactique aux Bases de Données
DELAËT, Sylvie
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
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 8 sur 9]