Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
1.
01 Jan 2021
Software
Codalab
Codalab
GUYON, Isabelle
2.
20 Jun 2020
Software
DNADNA
Deep Neural Architectures for DNA
JAY, Flora
3.
02 Dec 2019
Software
CARTOLABE
CARTOLABE
CAILLOU, Philippe
4.
24 May 2018
Software
TouchTokens
Low-cost Solution for Tangible Interfaces
APPERT, Caroline
5.
15 May 2018
Software
LODAtlas
Browsing Linked Data Catalogs with LODAtlas
PIETRIGA, Emmanuel
6.
03 May 2018
Software
BOLDR
Query Intermediate Representation Library
NGUYEN, Kim
7.
20 Apr 2018
Software
TESL
Tagged Events Specification Language
BOULANGER, Frédéric
8.
29 Mar 2018
Software
MapMosaic
Dynamic Layer Compositing for Interactive Geovisualization
PIETRIGA, Emmanuel
9.
29 Mar 2018
Software
Baia
Advanced animated transitions between before-and-after satellite images
PIETRIGA, Emmanuel
10.
23 Mar 2018
Software
CaRNAval
Database of RNA Recurrent Interaction Networks
DENISE, Alain
11.
22 Mar 2018
Software
Pint
Static analyzer for dynamics of Automata Networks
PAULEVE, Loïc
12.
09 Mar 2018
Software
RiseClipse
MDE for IEC standards
MARCADET, Dominique
13.
17 Feb 2018
Software
Coq
The Coq proof assistant
MELQUIOND, Guillaume
14.
22 Jan 2018
Software
ConQuR-Bio
ConQuR-Bio
COHEN-BOULAKIA, Sarah
15.
11 Jan 2018
Software
HP-Combi
High Performance Combinatorics
HIVERT, Florent
16.
01 Jan 2018
Software
Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system
AMAR, Patrick
17.
01 Jan 2018
Software
io.datascience
io.datascience
GERMAIN, Cécile
18.
18 Dec 2017
Software
Iris
A Higher-Order Concurrent Separation Logic Framework implemented and verified in the proof assistant Coq.
JOURDAN, Jacques-Henri
19.
15 Dec 2017
Software
LiCoRNA
aLignment of Complex RNAs
DENISE, Alain
20.
01 Dec 2017
Software
Sage-Combinat
To improve the open source mathematical system Sage
THIÉRY, Nicolas
21.
01 Dec 2017
Software
SageMath
A free open-source mathematics software system
THIÉRY, Nicolas
22.
13 Nov 2017
Software
HOL-TestGen
A generator of test-data from HOL specifications
WOLFF, Burkhart
23.
01 Nov 2017
Software
MAGMA
Contribution to numerical linear algebra libraries
BABOULIN, Marc
24.
20 Oct 2017
Software
Smarties
The Smarties Input System
CHAPUIS, Olivier
25.
20 Oct 2017
Patent
CommandBoard
Computer system with improved touch-based interface
MACKAY, Wendy
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 1 sur 9]