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 janv. 1970
Logiciel
SMTCoq
SMTCoq
KELLER, Chantal
2.
01 janv. 1970
Logiciel
HP-Combi
High Performance Combinatoricd
HIVERT, Florent
3.
01 janv. 1970
Logiciel
VICKEY
Mining Conditional Keys on Knowledge Bases
PERNELLE-MANSCOUR, Nathalie
4.
01 janv. 1970
Logiciel
Pactole
Formalisation en Coq de modèles et d'algorithmes d'essaims de robots mobiles.
BALABONSKI, Thibaut
5.
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
6.
20 janv. 2001
Brevet
Traffic unification in wild networks
Traffic unification in wild networks
MARTIN, Steven
7.
17 sept. 2004
Logiciel
Caduceus
Outil Caduceus de vérification de programmes C
FILLIÂTRE, Jean-Christophe
8.
01 janv. 2005
Logiciel
Acware
Un système pour le stockage de contenus
ABITEBOUL, Serge
9.
01 janv. 2005
Logiciel
IDéeBD
Introduction Didactique aux Bases de Données
DELAËT, Sylvie
10.
01 juin 2005
Logiciel
Django
theta-subsumption test for Relational Learning
SEBAG, Michèle
11.
05 déc. 2005
Logiciel
AuGuSTe
Test statistique de programmes C
VOISIN, Frédéric
12.
01 janv. 2006
Brevet
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
13.
01 janv. 2006
Logiciel
KadoP
Système d'indexation et d'interrogation XML en P2P
MANOLESCU-GOUJOT, Ioana
14.
26 mars 2006
Logiciel
XTAB2SML
Outil d'annotation sémantique de tableaux guidée par une ontologie
SAÏS, Fatiha
15.
01 avril 2006
Logiciel
Lucid Synchrone
Lucid Synchrone
POUZET, Marc
16.
18 déc. 2006
Logiciel
FAIL-FCI
Langage d'injection de fautes
TIXEUIL, Sébastien
17.
01 janv. 2007
Logiciel
Program
Program : un langage de programmation avec types dépendants dans Coq
PAULIN-MOHRING, Christine
18.
01 janv. 2007
Logiciel
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
19.
01 janv. 2007
Logiciel
ULoad
Gestionnaire de vues XML
ABITEBOUL, Serge
20.
01 janv. 2007
Logiciel
OptimAX
Optimiseur algébrique pour Active XML
ABITEBOUL, Serge
21.
01 janv. 2007
Logiciel
sALLUSTe
Test Statistique de programmes Lustre
GAUDEL, Marie-Claude
22.
01 mai 2007
Logiciel
MPICH-V
Interface àpassage de messages pour les ressources volatiles
HERAULT, Thomas
23.
01 mai 2007
Logiciel
IsaViz
A visual environment for browsing and authoring RDF models
PIETRIGA, Emmanuel
24.
14 juil. 2007
Logiciel
SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics
BREDECHE, Nicolas
25.
07 janv. 2008
Logiciel
GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability
SIMON, Laurent
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 1 sur 9]