176.

15 sept. 2017

Logiciel

Coq.Interval
Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles

MELQUIOND, Guillaume

177.

22 sept. 2017

Brevet

Synchro CORAC
Procédé de synchronisation pour systèmes critiques

BOULANGER, Frédéric

178.

20 oct. 2017

Logiciel

Smarties
The Smarties Input System

CHAPUIS, Olivier

179.

20 oct. 2017

Brevet

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

MACKAY, Wendy

180.

01 nov. 2017

Logiciel

MAGMA
Contribution to numerical linear algebra libraries

BABOULIN, Marc

181.

13 nov. 2017

Logiciel

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

WOLFF, Burkhart

182.

01 déc. 2017

Logiciel

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

THIÉRY, Nicolas

183.

01 déc. 2017

Logiciel

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

THIÉRY, Nicolas

184.

15 déc. 2017

Logiciel

LiCoRNA
aLignment of Complex RNAs

DENISE, Alain

185.

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

186.

01 janv. 2018

Logiciel

Silicell Maker
Silicell Maker: computer aided synthetic bionetwork design system

AMAR, Patrick

187.

01 janv. 2018

Logiciel

io.datascience
Input Output Data Science

GERMAIN, Cécile

188.

11 janv. 2018

Logiciel

HP-Combi
High Performance Combinatorics

HIVERT, Florent

189.

22 janv. 2018

Logiciel

ConQuR-Bio
ConQuR-Bio

COHEN-BOULAKIA, Sarah

190.

17 févr. 2018

Logiciel

Coq
L'assistant de preuve Coq

MELQUIOND, Guillaume

191.

09 mars 2018

Logiciel

RiseClipse
IDM pour les standards de l'IEC

MARCADET, Dominique

192.

22 mars 2018

Logiciel

Pint
Static analyzer for dynamics of Automata Networks

PAULEVE, Loïc

193.

23 mars 2018

Logiciel

CaRNAval
Database of RNA Recurrent Interaction Networks

DENISE, Alain

194.

29 mars 2018

Logiciel

MapMosaic
Dynamic Layer Compositing for Interactive Geovisualization

PIETRIGA, Emmanuel

195.

29 mars 2018

Logiciel

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

PIETRIGA, Emmanuel

196.

20 avril 2018

Logiciel

TESL
Tagged Events Specification Language

BOULANGER, Frédéric

197.

03 mai 2018

Logiciel

BOLDR
Query Intermediate Representation Library

NGUYEN, Kim

198.

15 mai 2018

Logiciel

LODAtlas
Browsing Linked Data Catalogs with LODAtlas

PIETRIGA, Emmanuel

199.

24 mai 2018

Logiciel

TouchTokens
Low-cost Solution for Tangible Interfaces

APPERT, Caroline

200.

02 déc. 2019

Logiciel

CARTOLABE
CARTOLABE

CAILLOU, Philippe