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
26.
22 sept. 2017
Brevet
Synchro CORAC
Procédé de synchronisation pour systèmes critiques
BOULANGER, Frédéric
27.
15 sept. 2017
Logiciel
Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles
MELQUIOND, Guillaume
28.
07 sept. 2017
Logiciel
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
29.
15 août 2017
Logiciel
HOL-OCL
Un systeme de preuve pour UML/OCL
WOLFF, Burkhart
30.
15 août 2017
Logiciel
GARN
Game Algorithms for RNa 3D sampling
COHEN, Johanne
31.
30 juin 2017
Logiciel
DIGISCAPE
Middleware de téléprésence
GLADIN, Olivier
32.
31 janv. 2017
Logiciel
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes
SAFAR, Brigitte
33.
09 janv. 2017
Logiciel
Gappa
Outil Gappa de certification de programmes numériques
MELQUIOND, Guillaume
34.
01 janv. 2017
Logiciel
OntoEvent-B
Générateur de contextes Event-B à partir des ontologies
AIT-SADOUNE, Idir
35.
01 sept. 2016
Logiciel
CQAPri
Consistent Query Answering with Priorities
BOURGAUX, Camille
36.
01 mars 2016
Logiciel
SMTCoq
Plug-in de communication entre Coq et prouveurs externes
KELLER, Chantal
37.
01 mars 2016
Logiciel
VICKEY
Mining Conditional Keys on Knowledge Bases
PERNELLE-MANSCOUR, Nathalie
38.
26 oct. 2015
Logiciel
Coq-Combi
Algebraic combinatorics in Coq
HIVERT, Florent
39.
10 juil. 2015
Logiciel
WildOS
Middleware pour salles interactives
BEAUDOUIN-LAFON, Michel
40.
01 juil. 2015
Logiciel
RBT solver
Random Butterfly Transformations
BABOULIN, Marc
41.
01 juin 2015
Logiciel
UnityCluster
Middleware pour applications Unity3D réparties
FLEURY, Cédric
42.
01 avril 2015
Logiciel
SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations
BABOULIN, Marc
43.
11 mars 2015
Logiciel
ZVTM
Zoomable Visual Transformation Machine
PIETRIGA, Emmanuel
44.
11 mars 2015
Logiciel
ZGRViewer
A GraphViz/DOT Viewer
PIETRIGA, Emmanuel
45.
27 janv. 2015
Logiciel
Orphea
Pseudo-knot RNA sequence finder
AMAR, Patrick
46.
01 janv. 2015
Logiciel
PigReuse
2 platform for specifying and exploiting warehouses of RDF data
CAMACHO RODRIGUEZ, Jesus
47.
04 déc. 2014
Logiciel
Why3
La plateforme Why3
FILLIÂTRE, Jean-Christophe
48.
24 nov. 2014
Logiciel
Voeux
Gestion des services d'enseignement
AMAR, Patrick
49.
03 oct. 2014
Logiciel
NT2
The Numerical Template Toolbox
FALCOU, Joël
50.
22 sept. 2014
Logiciel
Causalex
Causality Graph Explorer
PAULEVE, Loïc
Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 2 sur 9]