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
176.
15 sept. 2017
Logiciel
Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles
MELQUIOND, Guillaume
177.
22 sept. 2017
Brevet
Synchro CORAC
Procédé de synchronisation pour systèmes critiques
BOULANGER, Frédéric
178.
20 oct. 2017
Brevet
CommandBoard
Dispositif informatique à interface tactile améliorée et procédé correspondant
MACKAY, Wendy
179.
20 oct. 2017
Logiciel
Smarties
The Smarties Input System
CHAPUIS, Olivier
180.
01 nov. 2017
Logiciel
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
181.
13 nov. 2017
Logiciel
HOL-TestGen
Générateur de tests à partir de spécifications HOL
WOLFF, Burkhart
182.
01 déc. 2017
Logiciel
Sage-Combinat
Améliorer les fonctionnalités combinatoires de Sage
THIÉRY, Nicolas
183.
01 déc. 2017
Logiciel
SageMath
Un logiciel open-source de mathématiques générales
THIÉRY, Nicolas
184.
15 déc. 2017
Logiciel
LiCoRNA
aLignment of Complex RNAs
DENISE, Alain
185.
18 déc. 2017
Logiciel
Iris
Une logique de séparation d'ordre supérieur implémentée dasn l'assistant de preuve Coq
JOURDAN, Jacques-Henri
186.
01 janv. 2018
Logiciel
io.datascience
Input Output Data Science
GERMAIN, Cécile
187.
01 janv. 2018
Logiciel
Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system
AMAR, Patrick
188.
11 janv. 2018
Logiciel
HP-Combi
High Performance Combinatorics
HIVERT, Florent
189.
22 janv. 2018
Logiciel
ConQuR-Bio
ConQuR-Bio
COHEN-BOULAKIA, Sarah
190.
17 févr. 2018
Logiciel
Coq
L'assistant de preuve Coq
MELQUIOND, Guillaume
191.
09 mars 2018
Logiciel
RiseClipse
IDM pour les standards de l'IEC
MARCADET, Dominique
192.
22 mars 2018
Logiciel
Pint
Static analyzer for dynamics of Automata Networks
PAULEVE, Loïc
193.
23 mars 2018
Logiciel
CaRNAval
Database of RNA Recurrent Interaction Networks
DENISE, Alain
194.
29 mars 2018
Logiciel
Baia
Advanced animated transitions between before-and-after satellite images
PIETRIGA, Emmanuel
195.
29 mars 2018
Logiciel
MapMosaic
Dynamic Layer Compositing for Interactive Geovisualization
PIETRIGA, Emmanuel
196.
20 avril 2018
Logiciel
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
197.
03 mai 2018
Logiciel
BOLDR
Query Intermediate Representation Library
NGUYEN, Kim
198.
15 mai 2018
Logiciel
LODAtlas
Browsing Linked Data Catalogs with LODAtlas
PIETRIGA, Emmanuel
199.
24 mai 2018
Logiciel
TouchTokens
Low-cost Solution for Tangible Interfaces
APPERT, Caroline
200.
02 déc. 2019
Logiciel
CARTOLABE
CARTOLABE
CAILLOU, Philippe
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 8 sur 9]