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

Software

Smarties
The Smarties Input System

CHAPUIS, Olivier

179.

20 Oct 2017

Patent

CommandBoard
Computer system with improved touch-based interface

MACKAY, Wendy

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

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

187.

01 Jan 2018

Software

io.datascience
io.datascience

GERMAIN, Cécile

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

MapMosaic
Dynamic Layer Compositing for Interactive Geovisualization

PIETRIGA, Emmanuel

195.

29 Mar 2018

Software

Baia
Advanced animated transitions between before-and-after satellite images

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