126.

01 Jan 2010

Software

BPEL2CPN
BPEL2CPN

DAGUE, Philippe

127.

01 Jan 2013

Software

CiME
CiME: a tool box for automated deduction.

CONTEJEAN, Evelyne

128.

01 Jan 2014

Software

Coccinelle
Coccinelle

CONTEJEAN, Evelyne

129.

12 Apr 2014

Software

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

CONTEJEAN, Evelyne

130.

01 Jan 2014

Software

Alt-Ergo
The Alt-Ergo theorem prover

CONCHON, Sylvain

131.

01 Jan 2014

Software

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

132.

01 Jan 2013

Software

XupIn
XML query-update independence tester

COLAZZO, Dario

133.

01 Jan 2012

Software

XPIOT
XPIOT

COLAZZO, Dario

134.

01 Jan 2013

Software

XUpTe
XUpTe

COLAZZO, Dario

135.

01 Jan 2013

Software

XupOp
XupOp

COLAZZO, Dario

136.

01 Jan 2014

Software

GeneValorization
Gene List significance at-a-glance

COHEN-BOULAKIA, Sarah

137.

04 Feb 2013

Software

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

138.

22 Jan 2018

Software

ConQuR-Bio
ConQuR-Bio

COHEN-BOULAKIA, Sarah

139.

01 Jan 2013

Software

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

140.

01 Feb 2013

Software

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

COHEN-BOULAKIA, Sarah

141.

15 Aug 2017

Software

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

142.

01 Jan 2010

Software

SomeWhere+
Paraconsistent Peer-to-Peer Consequence Finding algorithm

CHATALIC, Philippe

143.

01 Jan 2014

Software

CFML
CFML

CHARGUERAUD, Arthur

144.

24 Aug 2009

Software

Núcleo
Video toolkit

CHAPUIS, Olivier

145.

01 Jan 2012

Software

WMTRACE
Logging and visualizing user's window management activity

CHAPUIS, Olivier

146.

01 Jan 2013

Software

Metisse
Windowing System to explore inovative window management techniques

CHAPUIS, Olivier

147.

20 Oct 2017

Software

Smarties
The Smarties Input System

CHAPUIS, Olivier

148.

01 Jan 2013

Software

V-DS
Virtualization environment for large-scale Distributed Systems

CAPPELLO, Franck

149.

01 Jan 2013

Software

PVC
Private Virtual Cluster

CAPPELLO, Franck

150.

01 Jan 2013

Software

OpenWP
OpenWP

CAPPELLO, Franck