76.

15 nov. 2012

Logiciel

BitDew
middleware OpenSource pour les grilles de données de bureau

FEDAK, Gilles

77.

25 nov. 2012

Logiciel

POI-HELPER
Un service d'extraction de données issues de réseaux sociaux

REYNAUD, Chantal

78.

03 déc. 2012

Logiciel

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

79.

01 janv. 2013

Logiciel

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

CHAPUIS, Olivier

80.

01 janv. 2013

Logiciel

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

CONTEJEAN, Evelyne

81.

01 janv. 2013

Logiciel

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

82.

01 janv. 2013

Logiciel

PVC
Cluster virtuel Privé

CAPPELLO, Franck

83.

01 janv. 2013

Logiciel

V-DS
Virtualization environment for large-scale Distributed Systems

CAPPELLO, Franck

84.

01 janv. 2013

Logiciel

APMC
Approximate Probabilistic Model Checker

PEYRONNET, Sylvain

85.

01 janv. 2013

Logiciel

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

86.

01 janv. 2013

Logiciel

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

APPERT, Caroline

87.

01 janv. 2013

Logiciel

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

88.

01 janv. 2013

Logiciel

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

89.

01 janv. 2013

Logiciel

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

APPERT, Caroline

90.

01 janv. 2013

Logiciel

OpenWP
OpenWP

CAPPELLO, Franck

91.

01 janv. 2013

Logiciel

XupOp
XupOp

COLAZZO, Dario

92.

01 janv. 2013

Logiciel

XupIn
XML query-update independence tester

COLAZZO, Dario

93.

01 janv. 2013

Logiciel

ViP2P
views in peer-to-peer

MANOLESCU-GOUJOT, Ioana

94.

01 janv. 2013

Logiciel

RDFViews
RDFViews

MANOLESCU-GOUJOT, Ioana

95.

01 janv. 2013

Logiciel

SPIN
Scientific Programming InterNet

PETITON, Serge

96.

01 janv. 2013

Logiciel

jBricks
Toolkit Java pour plateformes de visualisation interactives

HUOT, Stéphane

97.

01 janv. 2013

Logiciel

Pff library
Pff library

BOLDO, Sylvie

98.

01 janv. 2013

Logiciel

XUpTe
XUpTe

COLAZZO, Dario

99.

01 janv. 2013

Logiciel

Glucose
The solver that looks for glue clauses

SIMON, Laurent

100.

01 janv. 2013

Logiciel

XPUQ
XML Partitioning for Updates and Queries

BIDOIT, Nicole