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
101.
01 févr. 2013
Logiciel
SPFlow
Rewriting a non SP workflow into an SP workflow while preserving provenance
COHEN-BOULAKIA, Sarah
102.
01 janv. 2013
Logiciel
SPIN
Scientific Programming InterNet
PETITON, Serge
103.
01 janv. 2013
Logiciel
XUpTe
XUpTe
COLAZZO, Dario
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
Rna3Dmotif
Software for extracting RNA tertiary motifs
DENISE, Alain
107.
01 janv. 2013
Logiciel
Pff library
Pff library
BOLDO, Sylvie
108.
01 janv. 2013
Logiciel
jBricks
Toolkit Java pour plateformes de visualisation interactives
HUOT, Stéphane
109.
01 janv. 2013
Logiciel
Touchstone
Plateforme de conception et d\'exécution d\'expérimentations contrôlées
APPERT, Caroline
110.
01 janv. 2013
Logiciel
XPUQ
XML Partitioning for Updates and Queries
BIDOIT, Nicole
111.
01 janv. 2013
Logiciel
Substance
Programming framework and middleware for developing distributed interactive application
BEAUDOUIN-LAFON, Michel
112.
01 janv. 2013
Logiciel
Metisse
Metisse: système de fenêtrage pour l\'exploration de nouveaux environnements graphiques interactifs
CHAPUIS, Olivier
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
ViP2P
views in peer-to-peer
MANOLESCU-GOUJOT, Ioana
115.
01 janv. 2013
Logiciel
XupOp
XupOp
COLAZZO, Dario
116.
01 janv. 2013
Logiciel
APMC
Approximate Probabilistic Model Checker
PEYRONNET, Sylvain
117.
01 janv. 2013
Logiciel
RDFViews
RDFViews
MANOLESCU-GOUJOT, Ioana
118.
01 janv. 2013
Logiciel
Glucose
The solver that looks for glue clauses
SIMON, Laurent
119.
01 janv. 2013
Logiciel
XupIn
XML query-update independence tester
COLAZZO, Dario
120.
01 janv. 2013
Logiciel
V-DS
Virtualization environment for large-scale Distributed Systems
CAPPELLO, Franck
121.
01 janv. 2013
Logiciel
OpenWP
OpenWP
CAPPELLO, Franck
122.
01 janv. 2013
Logiciel
PVC
Cluster virtuel Privé
CAPPELLO, Franck
123.
01 janv. 2013
Logiciel
Scotty
User Interface Programming at Run Time
BEAUDOUIN-LAFON, Michel
124.
03 déc. 2012
Logiciel
PoCC
the Polyhedral Compiler Collection
BASTOUL, Cédric
125.
25 nov. 2012
Logiciel
POI-HELPER
Un service d'extraction de données issues de réseaux sociaux
REYNAUD, Chantal
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 5 sur 9]