101.

04 févr. 2013

Logiciel

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

102.

01 févr. 2013

Logiciel

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

COHEN-BOULAKIA, Sarah

103.

01 janv. 2013

Logiciel

Metisse
Metisse: système de fenêtrage pour l\'exploration de nouveaux environnements graphiques interactifs

CHAPUIS, Olivier

104.

01 janv. 2013

Logiciel

CiME
CiME: une boîte à outils pour la démonstration automatique.

CONTEJEAN, Evelyne

105.

01 janv. 2013

Logiciel

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

106.

01 janv. 2013

Logiciel

PVC
Cluster virtuel Privé

CAPPELLO, Franck

107.

01 janv. 2013

Logiciel

V-DS
Virtualization environment for large-scale Distributed Systems

CAPPELLO, Franck

108.

01 janv. 2013

Logiciel

APMC
Approximate Probabilistic Model Checker

PEYRONNET, Sylvain

109.

01 janv. 2013

Logiciel

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

110.

01 janv. 2013

Logiciel

Touchstone
Plateforme de conception et d\'exécution d\'expérimentations contrôlées

APPERT, Caroline

111.

01 janv. 2013

Logiciel

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

112.

01 janv. 2013

Logiciel

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

113.

01 janv. 2013

Logiciel

FlowStates Toolkit
Programmer des applications interactives avec des flots de données et des machines à états

APPERT, Caroline

114.

01 janv. 2013

Logiciel

OpenWP
OpenWP

CAPPELLO, Franck

115.

01 janv. 2013

Logiciel

XupOp
XupOp

COLAZZO, Dario

116.

01 janv. 2013

Logiciel

XupIn
XML query-update independence tester

COLAZZO, Dario

117.

01 janv. 2013

Logiciel

ViP2P
views in peer-to-peer

MANOLESCU-GOUJOT, Ioana

118.

01 janv. 2013

Logiciel

RDFViews
RDFViews

MANOLESCU-GOUJOT, Ioana

119.

01 janv. 2013

Logiciel

SPIN
Scientific Programming InterNet

PETITON, Serge

120.

01 janv. 2013

Logiciel

jBricks
Toolkit Java pour plateformes de visualisation interactives

HUOT, Stéphane

121.

01 janv. 2013

Logiciel

Pff library
Pff library

BOLDO, Sylvie

122.

01 janv. 2013

Logiciel

XUpTe
XUpTe

COLAZZO, Dario

123.

01 janv. 2013

Logiciel

Glucose
The solver that looks for glue clauses

SIMON, Laurent

124.

01 janv. 2013

Logiciel

XPUQ
XML Partitioning for Updates and Queries

BIDOIT, Nicole

125.

03 déc. 2012

Logiciel

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric