151.

30 juin 2017

Logiciel

DIGISCAPE
Middleware de téléprésence

GLADIN, Olivier

152.

12 avril 2014

Logiciel

Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification

CONTEJEAN, Evelyne

153.

01 janv. 2014

Logiciel

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

154.

01 janv. 2014

Logiciel

cTuning
public repository and tools for collaborative and statistical program and architecture characterization and optimization

FURSIN, Grigori

155.

01 sept. 2016

Logiciel

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

156.

01 janv. 2014

Logiciel

covTrack
Robust and realtime multitarget covariance tracking

LACASSAGNE, Lionel

157.

15 sept. 2017

Logiciel

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

MELQUIOND, Guillaume

158.

03 oct. 2012

Logiciel

Coq.FP2
Coq.FP2

BOLDO, Sylvie

159.

26 oct. 2015

Logiciel

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

160.

17 févr. 2018

Logiciel

Coq
L'assistant de preuve Coq

MELQUIOND, Guillaume

161.

01 janv. 2010

Logiciel

Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library

TEYTAUD, Olivier

162.

01 janv. 2007

Logiciel

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

163.

22 janv. 2018

Logiciel

ConQuR-Bio
ConQuR-Bio

COHEN-BOULAKIA, Sarah

164.

20 oct. 2017

Brevet

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

MACKAY, Wendy

165.

01 janv. 2021

Logiciel

Codalab
open source framework for running competitions

GUYON, Isabelle

166.

01 janv. 2014

Logiciel

COCO
Comparing Continuous Optimizers

HANSEN, Nikolaus

167.

01 janv. 2014

Logiciel

Coccinelle
Coccinelle

CONTEJEAN, Evelyne

168.

01 janv. 2014

Logiciel

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

169.

11 oct. 2013

Logiciel

CLooG
Chunky Loop Generator

BASTOUL, Cédric

170.

01 janv. 2014

Logiciel

CliqueSquare
CliqueSquare

ZAMPETAKIS, Stamatis

171.

07 nov. 2013

Logiciel

Clay
Clay

BASTOUL, Cédric

172.

12 avril 2012

Logiciel

Clan
Chunky Loop Analyzer

BASTOUL, Cédric

173.

01 janv. 2013

Logiciel

CiME
CiME: une boîte à outils pour la démonstration automatique.

CONTEJEAN, Evelyne

174.

01 janv. 2014

Logiciel

CFML
Program Verification for ML through Characteristic Formula

CHARGUERAUD, Arthur

175.

01 sept. 2009

Logiciel

CELL-MPI
Cadriciel MPI pour le processeur CELL

FALCOU, Joël