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. 2006
Brevet
FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes
AL AGHA, Khaldoun
2.
11 déc. 2009
Brevet
FR0958890
Procédé de routage qualitatif dans un réseau de communication multi sauts, équipement de gestion de nœud de réseau
AL AGHA, Khaldoun
3.
28 juin 2011
Brevet
FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé
AL AGHA, Khaldoun
4.
23 nov. 2010
Brevet
FR 2967800 - Cell-MPI brevet
Procédé de synchronisation et de transfert de données entre des processeurs reliés par des canaux DMA
FALCOU, Joël
5.
01 janv. 2010
Logiciel
SomeWhere
Calcul de conséquences en pair-à-pair
GOASDOUE, François
6.
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
7.
04 déc. 2014
Logiciel
Why3
La plateforme Why3
FILLIÂTRE, Jean-Christophe
8.
01 janv. 2014
Logiciel
Nautilus Analyzer
Nautilus Analyzer
HERSCHEL, Mélanie
9.
01 janv. 2014
Logiciel
bibtex2html
Traducteur BibTeX vers HTML
FILLIÂTRE, Jean-Christophe
10.
01 janv. 2014
Logiciel
Alt-Ergo
Démonstrateur automatique Alt-Ergo
CONCHON, Sylvain
11.
04 févr. 2014
Logiciel
ocamlgraph
bibliothèque de graphes pour Ocaml
FILLIÂTRE, Jean-Christophe
12.
01 janv. 2013
Logiciel
Metisse
Metisse: système de fenêtrage pour l\'exploration de nouveaux environnements graphiques interactifs
CHAPUIS, Olivier
13.
17 sept. 2004
Logiciel
Caduceus
Outil Caduceus de vérification de programmes C
FILLIÂTRE, Jean-Christophe
14.
24 nov. 2011
Logiciel
Krakatoa
Outil Krakatoa de vérification de programmes Java
MARCHÉ, Claude
15.
08 janv. 2014
Logiciel
ReactiveML
le langage ReactiveML
MANDEL, Louis
16.
01 avril 2006
Logiciel
Lucid Synchrone
Lucid Synchrone
POUZET, Marc
17.
01 janv. 2007
Logiciel
Program
Program : un langage de programmation avec types dépendants dans Coq
PAULIN-MOHRING, Christine
18.
05 déc. 2005
Logiciel
AuGuSTe
Test statistique de programmes C
VOISIN, Frédéric
19.
01 juin 2005
Logiciel
Django
theta-subsumption test for Relational Learning
SEBAG, Michèle
20.
01 janv. 2013
Logiciel
CiME
CiME: une boîte à outils pour la démonstration automatique.
CONTEJEAN, Evelyne
21.
01 nov. 2009
Logiciel
GUIDE
A Graphical User Interface for EA C++ library developpment
SCHOENAUER, Marc
22.
01 janv. 2010
Logiciel
Mash-WP6
Goal planning framework
TEYTAUD, Olivier
23.
01 janv. 2010
Logiciel
Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library
TEYTAUD, Olivier
24.
14 juil. 2007
Logiciel
SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics
BREDECHE, Nicolas
25.
01 janv. 2007
Logiciel
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
1 - 2 - 3 - 4 - 5 - 6 - 7 - Suivant [Page 1 sur 7]