76.

15 Nov 2012

Software

BitDew
Middleware for Large Scale Data Management and Distribution

FEDAK, Gilles

77.

25 Nov 2012

Software

POI-HELPER
An extraction service of data from social networking sites

REYNAUD, Chantal

78.

03 Dec 2012

Software

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

79.

01 Jan 2013

Software

Metisse
Windowing System to explore inovative window management techniques

CHAPUIS, Olivier

80.

01 Jan 2013

Software

CiME
CiME: a tool box for automated deduction.

CONTEJEAN, Evelyne

81.

01 Jan 2013

Software

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

82.

01 Jan 2013

Software

PVC
Private Virtual Cluster

CAPPELLO, Franck

83.

01 Jan 2013

Software

V-DS
Virtualization environment for large-scale Distributed Systems

CAPPELLO, Franck

84.

01 Jan 2013

Software

APMC
Approximate Probabilistic Model Checker

PEYRONNET, Sylvain

85.

01 Jan 2013

Software

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

86.

01 Jan 2013

Software

Touchstone
Software platform for designing and running controlled experiments

APPERT, Caroline

87.

01 Jan 2013

Software

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

88.

01 Jan 2013

Software

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

89.

01 Jan 2013

Software

FlowStates Toolkit
Programming Interactive Applications with Data Flow and State Machines

APPERT, Caroline

90.

01 Jan 2013

Software

OpenWP
OpenWP

CAPPELLO, Franck

91.

01 Jan 2013

Software

XupOp
XupOp

COLAZZO, Dario

92.

01 Jan 2013

Software

XupIn
XML query-update independence tester

COLAZZO, Dario

93.

01 Jan 2013

Software

ViP2P
views in peer-to-peer

MANOLESCU-GOUJOT, Ioana

94.

01 Jan 2013

Software

RDFViews
RDFViews

MANOLESCU-GOUJOT, Ioana

95.

01 Jan 2013

Software

SPIN
Scientific Programming InterNet

PETITON, Serge

96.

01 Jan 2013

Software

jBricks
Java toolkit for interactive visualization platforms

HUOT, Stéphane

97.

01 Jan 2013

Software

Pff library
Pff library

BOLDO, Sylvie

98.

01 Jan 2013

Software

XUpTe
XUpTe

COLAZZO, Dario

99.

01 Jan 2013

Software

Glucose
The solver that looks for glue clauses

SIMON, Laurent

100.

01 Jan 2013

Software

XPUQ
XML Partitioning for Updates and Queries

BIDOIT, Nicole