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