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