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
151.
20 juil. 2014
Logiciel
TemporalOCL
Temporal OCL Plugin for Eclipse
TAHA, Safouan
152.
16 août 2014
Logiciel
Quaff
Quaff: Dataflow EDSL for Parallel Programming
FALCOU, Joël
153.
22 sept. 2014
Logiciel
Causalex
Causality Graph Explorer
PAULEVE, Loïc
154.
03 oct. 2014
Logiciel
NT2
The Numerical Template Toolbox
FALCOU, Joël
155.
24 nov. 2014
Logiciel
Voeux
Gestion des services d'enseignement
AMAR, Patrick
156.
04 déc. 2014
Logiciel
Why3
La plateforme Why3
FILLIÂTRE, Jean-Christophe
157.
01 janv. 2015
Logiciel
PigReuse
2 platform for specifying and exploiting warehouses of RDF data
CAMACHO RODRIGUEZ, Jesus
158.
27 janv. 2015
Logiciel
Orphea
Pseudo-knot RNA sequence finder
AMAR, Patrick
159.
11 mars 2015
Logiciel
ZVTM
Zoomable Visual Transformation Machine
PIETRIGA, Emmanuel
160.
11 mars 2015
Logiciel
ZGRViewer
A GraphViz/DOT Viewer
PIETRIGA, Emmanuel
161.
01 avril 2015
Logiciel
SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations
BABOULIN, Marc
162.
01 juin 2015
Logiciel
UnityCluster
Middleware pour applications Unity3D réparties
FLEURY, Cédric
163.
01 juil. 2015
Logiciel
RBT solver
Random Butterfly Transformations
BABOULIN, Marc
164.
10 juil. 2015
Logiciel
WildOS
Middleware pour salles interactives
BEAUDOUIN-LAFON, Michel
165.
26 oct. 2015
Logiciel
Coq-Combi
Algebraic combinatorics in Coq
HIVERT, Florent
166.
01 mars 2016
Logiciel
VICKEY
Mining Conditional Keys on Knowledge Bases
PERNELLE-MANSCOUR, Nathalie
167.
01 mars 2016
Logiciel
SMTCoq
Plug-in de communication entre Coq et prouveurs externes
KELLER, Chantal
168.
01 sept. 2016
Logiciel
CQAPri
Consistent Query Answering with Priorities
BOURGAUX, Camille
169.
01 janv. 2017
Logiciel
OntoEvent-B
Générateur de contextes Event-B à partir des ontologies
AIT-SADOUNE, Idir
170.
09 janv. 2017
Logiciel
Gappa
Outil Gappa de certification de programmes numériques
MELQUIOND, Guillaume
171.
31 janv. 2017
Logiciel
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes
SAFAR, Brigitte
172.
30 juin 2017
Logiciel
DIGISCAPE
Middleware de téléprésence
GLADIN, Olivier
173.
15 août 2017
Logiciel
HOL-OCL
Un systeme de preuve pour UML/OCL
WOLFF, Burkhart
174.
15 août 2017
Logiciel
GARN
Game Algorithms for RNa 3D sampling
COHEN, Johanne
175.
07 sept. 2017
Logiciel
The Coquelicot library
The Coquelicot library
BOLDO, Sylvie
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 7 sur 9]