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