151.

30 Jun 2017

Software

DIGISCAPE
Telepresence middleware

GLADIN, Olivier

152.

12 Apr 2014

Software

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

CONTEJEAN, Evelyne

153.

01 Jan 2014

Software

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

154.

01 Jan 2014

Software

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

FURSIN, Grigori

155.

01 Sep 2016

Software

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

156.

01 Jan 2014

Software

covTrack
Robust and realtime multitarget covariance tracking

LACASSAGNE, Lionel

157.

15 Sep 2017

Software

Coq.Interval
The Coq.Interval library for automatically proving bounds of real-valued expressions

MELQUIOND, Guillaume

158.

03 Oct 2012

Software

Coq.FP2
Coq.FP2

BOLDO, Sylvie

159.

26 Oct 2015

Software

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

160.

17 Feb 2018

Software

Coq
The Coq proof assistant

MELQUIOND, Guillaume

161.

01 Jan 2010

Software

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

TEYTAUD, Olivier

162.

01 Jan 2007

Software

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

163.

22 Jan 2018

Software

ConQuR-Bio
ConQuR-Bio

COHEN-BOULAKIA, Sarah

164.

20 Oct 2017

Patent

CommandBoard
Computer system with improved touch-based interface

MACKAY, Wendy

165.

01 Jan 2021

Software

Codalab
Codalab

GUYON, Isabelle

166.

01 Jan 2014

Software

COCO
Comparing Continuous Optimizers

HANSEN, Nikolaus

167.

01 Jan 2014

Software

Coccinelle
Coccinelle

CONTEJEAN, Evelyne

168.

01 Jan 2014

Software

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

169.

11 Oct 2013

Software

CLooG
Chunky Loop Generator

BASTOUL, Cédric

170.

01 Jan 2014

Software

CliqueSquare
CliqueSquare

ZAMPETAKIS, Stamatis

171.

07 Nov 2013

Software

Clay
Clay

BASTOUL, Cédric

172.

12 Apr 2012

Software

Clan
Chunky Loop Analyzer

BASTOUL, Cédric

173.

01 Jan 2013

Software

CiME
CiME: a tool box for automated deduction.

CONTEJEAN, Evelyne

174.

01 Jan 2014

Software

CFML
CFML

CHARGUERAUD, Arthur

175.

01 Sep 2009

Software

CELL-MPI
MPI Framework for the CELL Processor

FALCOU, Joël