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