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. 2010
Logiciel
SomeWhere
Calcul de conséquences en pair-à-pair
GOASDOUE, François
2.
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
3.
04 déc. 2014
Logiciel
Why3
La plateforme Why3
FILLIÂTRE, Jean-Christophe
4.
01 janv. 2014
Logiciel
Nautilus Analyzer
Nautilus Analyzer
HERSCHEL, Mélanie
5.
01 janv. 2014
Logiciel
bibtex2html
Traducteur BibTeX vers HTML
FILLIÂTRE, Jean-Christophe
6.
01 janv. 2014
Logiciel
Alt-Ergo
Démonstrateur automatique Alt-Ergo
CONCHON, Sylvain
7.
04 févr. 2014
Logiciel
ocamlgraph
bibliothèque de graphes pour Ocaml
FILLIÂTRE, Jean-Christophe
8.
01 janv. 2013
Logiciel
Metisse
Metisse: système de fenêtrage pour l\'exploration de nouveaux environnements graphiques interactifs
CHAPUIS, Olivier
9.
17 sept. 2004
Logiciel
Caduceus
Outil Caduceus de vérification de programmes C
FILLIÂTRE, Jean-Christophe
10.
24 nov. 2011
Logiciel
Krakatoa
Outil Krakatoa de vérification de programmes Java
MARCHÉ, Claude
11.
08 janv. 2014
Logiciel
ReactiveML
le langage ReactiveML
MANDEL, Louis
12.
01 avril 2006
Logiciel
Lucid Synchrone
Lucid Synchrone
POUZET, Marc
13.
01 janv. 2007
Logiciel
Program
Program : un langage de programmation avec types dépendants dans Coq
PAULIN-MOHRING, Christine
14.
05 déc. 2005
Logiciel
AuGuSTe
Test statistique de programmes C
VOISIN, Frédéric
15.
01 juin 2005
Logiciel
Django
theta-subsumption test for Relational Learning
SEBAG, Michèle
16.
01 janv. 2013
Logiciel
CiME
CiME: une boîte à outils pour la démonstration automatique.
CONTEJEAN, Evelyne
17.
01 nov. 2009
Logiciel
GUIDE
A Graphical User Interface for EA C++ library developpment
SCHOENAUER, Marc
18.
01 janv. 2010
Logiciel
Mash-WP6
Goal planning framework
TEYTAUD, Olivier
19.
01 janv. 2010
Logiciel
Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library
TEYTAUD, Olivier
20.
14 juil. 2007
Logiciel
SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics
BREDECHE, Nicolas
21.
01 janv. 2007
Logiciel
Contribution to Scilab
Contribution to Scilab
AUGER, Anne
22.
01 janv. 2014
Logiciel
MoGo
Computer-Go program
TEYTAUD, Olivier
23.
01 janv. 2012
Logiciel
WMTRACE
Logging and visualizing user's window management activity
CHAPUIS, Olivier
24.
18 févr. 2014
Logiciel
SwingStates
Une extension de Java Swing basée sur les machines à états
APPERT, Caroline
25.
24 août 2009
Logiciel
Núcleo
Boîte à outils núcleo
CHAPUIS, Olivier
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - Suivant [Page 1 sur 8]