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.
24 mai 2018
Logiciel
TouchTokens
Low-cost Solution for Tangible Interfaces
APPERT, Caroline
2.
15 mai 2018
Logiciel
LODAtlas
Browsing Linked Data Catalogs with LODAtlas
PIETRIGA, Emmanuel
3.
03 mai 2018
Logiciel
BOLDR
Query Intermediate Representation Library
NGUYEN, Kim
4.
20 avril 2018
Logiciel
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
5.
29 mars 2018
Logiciel
Baia
Advanced animated transitions between before-and-after satellite images
PIETRIGA, Emmanuel
6.
29 mars 2018
Logiciel
MapMosaic
Dynamic Layer Compositing for Interactive Geovisualization
PIETRIGA, Emmanuel
7.
23 mars 2018
Logiciel
CaRNAval
Database of RNA Recurrent Interaction Networks
DENISE, Alain
8.
22 mars 2018
Logiciel
Pint
Static analyzer for dynamics of Automata Networks
PAULEVE, Loïc
9.
09 mars 2018
Logiciel
RiseClipse
IDM pour les standards de l'IEC
MARCADET, Dominique
10.
17 févr. 2018
Logiciel
Coq
L'assistant de preuve Coq
MELQUIOND, Guillaume
11.
22 janv. 2018
Logiciel
ConQuR-Bio
ConQuR-Bio
COHEN-BOULAKIA, Sarah
12.
11 janv. 2018
Logiciel
HP-Combi
High Performance Combinatorics
HIVERT, Florent
13.
01 janv. 2018
Logiciel
CARTOLABE
CARTOLABE
CAILLOU, Philippe
14.
01 janv. 2018
Logiciel
io.datascience
Input Output Data Science
GERMAIN, Cécile
15.
01 janv. 2018
Logiciel
Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system
AMAR, Patrick
16.
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
17.
15 déc. 2017
Logiciel
LiCoRNA
aLignment of Complex RNAs
DENISE, Alain
18.
01 déc. 2017
Logiciel
SageMath
Un logiciel open-source de mathématiques générales
THIÉRY, Nicolas
19.
01 déc. 2017
Logiciel
Sage-Combinat
Améliorer les fonctionnalités combinatoires de Sage
THIÉRY, Nicolas
20.
13 nov. 2017
Logiciel
HOL-TestGen
Générateur de tests à partir de spécifications HOL
WOLFF, Burkhart
21.
01 nov. 2017
Logiciel
Codalab
open source framework for running competitions
GUYON, Isabelle
22.
01 nov. 2017
Logiciel
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
23.
20 oct. 2017
Brevet
CommandBoard
Dispositif informatique à interface tactile améliorée et procédé correspondant
MACKAY, Wendy
24.
20 oct. 2017
Logiciel
Smarties
The Smarties Input System
CHAPUIS, Olivier
25.
22 sept. 2017
Brevet
Synchro CORAC
Procédé de synchronisation pour systèmes critiques
BOULANGER, Frédéric
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 1 sur 9]