101.

04 Feb 2013

Software

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

102.

01 Feb 2013

Software

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

COHEN-BOULAKIA, Sarah

103.

01 Jan 2013

Software

Metisse
Windowing System to explore inovative window management techniques

CHAPUIS, Olivier

104.

01 Jan 2013

Software

CiME
CiME: a tool box for automated deduction.

CONTEJEAN, Evelyne

105.

01 Jan 2013

Software

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

106.

01 Jan 2013

Software

PVC
Private Virtual Cluster

CAPPELLO, Franck

107.

01 Jan 2013

Software

V-DS
Virtualization environment for large-scale Distributed Systems

CAPPELLO, Franck

108.

01 Jan 2013

Software

APMC
Approximate Probabilistic Model Checker

PEYRONNET, Sylvain

109.

01 Jan 2013

Software

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

110.

01 Jan 2013

Software

Touchstone
Software platform for designing and running controlled experiments

APPERT, Caroline

111.

01 Jan 2013

Software

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

112.

01 Jan 2013

Software

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

113.

01 Jan 2013

Software

FlowStates Toolkit
Programming Interactive Applications with Data Flow and State Machines

APPERT, Caroline

114.

01 Jan 2013

Software

OpenWP
OpenWP

CAPPELLO, Franck

115.

01 Jan 2013

Software

XupOp
XupOp

COLAZZO, Dario

116.

01 Jan 2013

Software

XupIn
XML query-update independence tester

COLAZZO, Dario

117.

01 Jan 2013

Software

ViP2P
views in peer-to-peer

MANOLESCU-GOUJOT, Ioana

118.

01 Jan 2013

Software

RDFViews
RDFViews

MANOLESCU-GOUJOT, Ioana

119.

01 Jan 2013

Software

SPIN
Scientific Programming InterNet

PETITON, Serge

120.

01 Jan 2013

Software

jBricks
Java toolkit for interactive visualization platforms

HUOT, Stéphane

121.

01 Jan 2013

Software

Pff library
Pff library

BOLDO, Sylvie

122.

01 Jan 2013

Software

XUpTe
XUpTe

COLAZZO, Dario

123.

01 Jan 2013

Software

Glucose
The solver that looks for glue clauses

SIMON, Laurent

124.

01 Jan 2013

Software

XPUQ
XML Partitioning for Updates and Queries

BIDOIT, Nicole

125.

03 Dec 2012

Software

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric