26.

22 Sep 2014

Software

Causalex
Causality Graph Explorer

PAULEVE, Loïc

27.

10 Feb 2012

Software

CDuce
CDuce an XML centric Programmimg Language

BENZAKEN, Véronique

28.

01 Sep 2009

Software

CELL-MPI
MPI Framework for the CELL Processor

FALCOU, Joël

29.

01 Jan 2014

Software

CFML
CFML

CHARGUERAUD, Arthur

30.

01 Jan 2013

Software

CiME
CiME: a tool box for automated deduction.

CONTEJEAN, Evelyne

31.

12 Apr 2012

Software

Clan
Chunky Loop Analyzer

BASTOUL, Cédric

32.

07 Nov 2013

Software

Clay
Clay

BASTOUL, Cédric

33.

01 Jan 2014

Software

CliqueSquare
CliqueSquare

ZAMPETAKIS, Stamatis

34.

11 Oct 2013

Software

CLooG
Chunky Loop Generator

BASTOUL, Cédric

35.

01 Jan 2014

Software

CMA-ES
Covariance Matrix Evolution Strategy

HANSEN, Nikolaus

36.

01 Jan 2014

Software

Coccinelle
Coccinelle

CONTEJEAN, Evelyne

37.

01 Jan 2014

Software

COCO
Comparing Continuous Optimizers

HANSEN, Nikolaus

38.

01 Jan 2021

Software

Codalab
Codalab

GUYON, Isabelle

39.

20 Oct 2017

Patent

CommandBoard
Computer system with improved touch-based interface

MACKAY, Wendy

40.

22 Jan 2018

Software

ConQuR-Bio
ConQuR-Bio

COHEN-BOULAKIA, Sarah

41.

01 Jan 2007

Software

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

42.

01 Jan 2010

Software

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

TEYTAUD, Olivier

43.

17 Feb 2018

Software

Coq
The Coq proof assistant

MELQUIOND, Guillaume

44.

26 Oct 2015

Software

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

45.

03 Oct 2012

Software

Coq.FP2
Coq.FP2

BOLDO, Sylvie

46.

15 Sep 2017

Software

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

MELQUIOND, Guillaume

47.

01 Jan 2014

Software

covTrack
Robust and realtime multitarget covariance tracking

LACASSAGNE, Lionel

48.

01 Sep 2016

Software

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

49.

01 Jan 2014

Software

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

FURSIN, Grigori

50.

01 Jan 2014

Software

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain