Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciels et brevets
#
Date
Type
Nom et Titre
Responsable
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.
01 janv. 2013
Logiciel
Metisse
Metisse: système de fenêtrage pour l\'exploration de nouveaux environnements graphiques interactifs
CHAPUIS, Olivier
57.
24 août 2009
Logiciel
Núcleo
Boîte à outils núcleo
CHAPUIS, Olivier
58.
20 oct. 2017
Logiciel
Smarties
The Smarties Input System
CHAPUIS, Olivier
59.
01 janv. 2012
Logiciel
WMTRACE
Logging and visualizing user's window management activity
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
XupOp
XupOp
COLAZZO, Dario
69.
01 janv. 2013
Logiciel
XUpTe
XUpTe
COLAZZO, Dario
70.
01 janv. 2013
Logiciel
XupIn
XML query-update independence tester
COLAZZO, Dario
71.
01 janv. 2012
Logiciel
XPIOT
XPIOT
COLAZZO, Dario
72.
01 janv. 2014
Logiciel
Alt-Ergo
Démonstrateur automatique Alt-Ergo
CONCHON, Sylvain
73.
01 janv. 2014
Logiciel
CUBICLE
A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
CONCHON, Sylvain
74.
01 janv. 2014
Logiciel
Coccinelle
Coccinelle
CONTEJEAN, Evelyne
75.
12 avril 2014
Logiciel
Datacert
DataCert: A coq library for Data Intensive Languages and Systems Certification
CONTEJEAN, Evelyne
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 3 sur 9]