51.

01 janv. 2015

Logiciel

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

52.

01 janv. 2013

Logiciel

V-DS
Virtualization environment for large-scale Distributed Systems

CAPPELLO, Franck

53.

01 janv. 2013

Logiciel

PVC
Cluster virtuel Privé

CAPPELLO, Franck

54.

01 janv. 2013

Logiciel

OpenWP
OpenWP

CAPPELLO, Franck

55.

05 mai 2008

Logiciel

XtremWeb
plateforme de calcul global pair à pair

CAPPELLO, Franck

56.

24 août 2009

Logiciel

Núcleo
Boîte à outils núcleo

CHAPUIS, Olivier

57.

01 janv. 2012

Logiciel

WMTRACE
Logging and visualizing user's window management activity

CHAPUIS, Olivier

58.

01 janv. 2013

Logiciel

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

CHAPUIS, Olivier

59.

20 oct. 2017

Logiciel

Smarties
The Smarties Input System

CHAPUIS, Olivier

60.

01 janv. 2014

Logiciel

CFML
Program Verification for ML through Characteristic Formula

CHARGUERAUD, Arthur

61.

01 janv. 2010

Logiciel

SomeWhere+
Calcul paraconsistant de conséquents en mode pair à pair

CHATALIC, Philippe

62.

15 août 2017

Logiciel

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

63.

01 janv. 2014

Logiciel

GeneValorization
L'importance des gènes en un clin d'oeil

COHEN-BOULAKIA, Sarah

64.

04 févr. 2013

Logiciel

SPChecker
SPChecker

COHEN-BOULAKIA, Sarah

65.

01 janv. 2013

Logiciel

BioGuide
Guiding scientists through biological sources

COHEN-BOULAKIA, Sarah

66.

22 janv. 2018

Logiciel

ConQuR-Bio
ConQuR-Bio

COHEN-BOULAKIA, Sarah

67.

01 févr. 2013

Logiciel

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

COHEN-BOULAKIA, Sarah

68.

01 janv. 2013

Logiciel

XupIn
XML query-update independence tester

COLAZZO, Dario

69.

01 janv. 2012

Logiciel

XPIOT
XPIOT

COLAZZO, Dario

70.

01 janv. 2013

Logiciel

XupOp
XupOp

COLAZZO, Dario

71.

01 janv. 2013

Logiciel

XUpTe
XUpTe

COLAZZO, Dario

72.

01 janv. 2014

Logiciel

CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS

CONCHON, Sylvain

73.

01 janv. 2014

Logiciel

Alt-Ergo
Démonstrateur automatique Alt-Ergo

CONCHON, Sylvain

74.

01 janv. 2013

Logiciel

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

CONTEJEAN, Evelyne

75.

12 avril 2014

Logiciel

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

CONTEJEAN, Evelyne