51.

01 Jan 2014

Software

AMADA
AMADA

CAMACHO RODRIGUEZ, Jesus

52.

01 Jan 2013

Software

V-DS
Virtualization environment for large-scale Distributed Systems

CAPPELLO, Franck

53.

01 Jan 2013

Software

PVC
Private Virtual Cluster

CAPPELLO, Franck

54.

01 Jan 2013

Software

OpenWP
OpenWP

CAPPELLO, Franck

55.

05 May 2008

Software

XtremWeb
Open Source Platform for Desktop Grid Computing

CAPPELLO, Franck

56.

01 Jan 2012

Software

WMTRACE
Logging and visualizing user's window management activity

CHAPUIS, Olivier

57.

20 Oct 2017

Software

Smarties
The Smarties Input System

CHAPUIS, Olivier

58.

01 Jan 2013

Software

Metisse
Windowing System to explore inovative window management techniques

CHAPUIS, Olivier

59.

24 Aug 2009

Software

Núcleo
Video toolkit

CHAPUIS, Olivier

60.

01 Jan 2014

Software

CFML
CFML

CHARGUERAUD, Arthur

61.

01 Jan 2010

Software

SomeWhere+
Paraconsistent Peer-to-Peer Consequence Finding algorithm

CHATALIC, Philippe

62.

15 Aug 2017

Software

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

63.

01 Feb 2013

Software

SPFlow
Rewriting a non SP workflow into an SP workflow while preserving provenance

COHEN-BOULAKIA, Sarah

64.

01 Jan 2013

Software

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

65.

01 Jan 2014

Software

GeneValorization
Gene List significance at-a-glance

COHEN-BOULAKIA, Sarah

66.

04 Feb 2013

Software

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

67.

22 Jan 2018

Software

ConQuR-Bio
ConQuR-Bio

COHEN-BOULAKIA, Sarah

68.

01 Jan 2012

Software

XPIOT
XPIOT

COLAZZO, Dario

69.

01 Jan 2013

Software

XUpTe
XUpTe

COLAZZO, Dario

70.

01 Jan 2013

Software

XupOp
XupOp

COLAZZO, Dario

71.

01 Jan 2013

Software

XupIn
XML query-update independence tester

COLAZZO, Dario

72.

01 Jan 2014

Software

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

73.

01 Jan 2014

Software

Alt-Ergo
The Alt-Ergo theorem prover

CONCHON, Sylvain

74.

01 Jan 2014

Software

Coccinelle
Coccinelle

CONTEJEAN, Evelyne

75.

12 Apr 2014

Software

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

CONTEJEAN, Evelyne