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
151.
07 janv. 2008
Logiciel
GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability
SIMON, Laurent
152.
14 juil. 2007
Logiciel
SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics
BREDECHE, Nicolas
153.
01 mai 2007
Logiciel
MPICH-V
Interface àpassage de messages pour les ressources volatiles
HERAULT, Thomas
154.
01 mai 2007
Logiciel
IsaViz
A visual environment for browsing and authoring RDF models
PIETRIGA, Emmanuel
155.
01 janv. 2007
Logiciel
Program
Program : un langage de programmation avec types dépendants dans Coq
PAULIN-MOHRING, Christine
156.
01 janv. 2007
Logiciel
OptimAX
Optimiseur algébrique pour Active XML
ABITEBOUL, Serge
157.
01 janv. 2007
Logiciel
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
158.
01 janv. 2007
Logiciel
ULoad
Gestionnaire de vues XML
ABITEBOUL, Serge
159.
01 janv. 2007
Logiciel
sALLUSTe
Test Statistique de programmes Lustre
GAUDEL, Marie-Claude
160.
18 déc. 2006
Logiciel
FAIL-FCI
Langage d'injection de fautes
TIXEUIL, Sébastien
161.
15 août 2006
Logiciel
HOL-OCL
Un systeme de preuve pour UML/OCL
WOLFF, Burkhart
162.
01 avril 2006
Logiciel
Lucid Synchrone
Lucid Synchrone
POUZET, Marc
163.
26 mars 2006
Logiciel
XTAB2SML
Outil d'annotation sémantique de tableaux guidée par une ontologie
SAÏS, Fatiha
164.
01 janv. 2006
Brevet
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
165.
01 janv. 2006
Logiciel
KadoP
Système d'indexation et d'interrogation XML en P2P
MANOLESCU-GOUJOT, Ioana
166.
05 déc. 2005
Logiciel
AuGuSTe
Test statistique de programmes C
VOISIN, Frédéric
167.
01 juin 2005
Logiciel
Django
theta-subsumption test for Relational Learning
SEBAG, Michèle
168.
01 janv. 2005
Logiciel
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
169.
01 janv. 2005
Logiciel
IDéeBD
Introduction Didactique aux Bases de Données
DELAËT, Sylvie
170.
17 sept. 2004
Logiciel
Caduceus
Outil Caduceus de vérification de programmes C
FILLIÂTRE, Jean-Christophe
171.
06 sept. 2003
Logiciel
WILD Input Server
WILD Input Server (WIS)
HUOT, Stéphane
172.
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
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 [Page 7 sur 7]