1.

01 janv. 2021

Logiciel

Codalab
open source framework for running competitions

GUYON, Isabelle

2.

20 juin 2020

Logiciel

DNADNA
Deep Neural Architectures for DNA

JAY, Flora

3.

02 déc. 2019

Logiciel

CARTOLABE
CARTOLABE

CAILLOU, Philippe

4.

24 mai 2018

Logiciel

TouchTokens
Low-cost Solution for Tangible Interfaces

APPERT, Caroline

5.

15 mai 2018

Logiciel

LODAtlas
Browsing Linked Data Catalogs with LODAtlas

PIETRIGA, Emmanuel

6.

03 mai 2018

Logiciel

BOLDR
Query Intermediate Representation Library

NGUYEN, Kim

7.

20 avril 2018

Logiciel

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

8.

29 mars 2018

Logiciel

MapMosaic
Dynamic Layer Compositing for Interactive Geovisualization

PIETRIGA, Emmanuel

9.

29 mars 2018

Logiciel

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

PIETRIGA, Emmanuel

10.

23 mars 2018

Logiciel

CaRNAval
Database of RNA Recurrent Interaction Networks

DENISE, Alain

11.

22 mars 2018

Logiciel

Pint
Static analyzer for dynamics of Automata Networks

PAULEVE, Loïc

12.

09 mars 2018

Logiciel

RiseClipse
IDM pour les standards de l'IEC

MARCADET, Dominique

13.

17 févr. 2018

Logiciel

Coq
L'assistant de preuve Coq

MELQUIOND, Guillaume

14.

22 janv. 2018

Logiciel

ConQuR-Bio
ConQuR-Bio

COHEN-BOULAKIA, Sarah

15.

11 janv. 2018

Logiciel

HP-Combi
High Performance Combinatorics

HIVERT, Florent

16.

01 janv. 2018

Logiciel

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

17.

01 janv. 2018

Logiciel

io.datascience
Input Output Data Science

GERMAIN, Cécile

18.

18 déc. 2017

Logiciel

Iris
Une logique de séparation d'ordre supérieur implémentée dasn l'assistant de preuve Coq

JOURDAN, Jacques-Henri

19.

15 déc. 2017

Logiciel

LiCoRNA
aLignment of Complex RNAs

DENISE, Alain

20.

01 déc. 2017

Logiciel

Sage-Combinat
Améliorer les fonctionnalités combinatoires de Sage

THIÉRY, Nicolas

21.

01 déc. 2017

Logiciel

SageMath
Un logiciel open-source de mathématiques générales

THIÉRY, Nicolas

22.

13 nov. 2017

Logiciel

HOL-TestGen
Générateur de tests à partir de spécifications HOL

WOLFF, Burkhart

23.

01 nov. 2017

Logiciel

MAGMA
Contribution to numerical linear algebra libraries

BABOULIN, Marc

24.

20 oct. 2017

Logiciel

Smarties
The Smarties Input System

CHAPUIS, Olivier

25.

20 oct. 2017

Brevet

CommandBoard
Dispositif informatique à interface tactile améliorée et procédé correspondant

MACKAY, Wendy