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
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
OpenWP
OpenWP
CAPPELLO, Franck
80.
01 janv. 2013
Logiciel
XupOp
XupOp
COLAZZO, Dario
81.
01 janv. 2013
Logiciel
XupIn
XML query-update independence tester
COLAZZO, Dario
82.
01 janv. 2013
Logiciel
Touchstone
Plateforme de conception et d\'exécution d\'expérimentations contrôlées
APPERT, Caroline
83.
01 janv. 2013
Logiciel
FlowStates Toolkit
Programmer des applications interactives avec des flots de données et des machines à états
APPERT, Caroline
84.
01 janv. 2013
Logiciel
ViP2P
views in peer-to-peer
MANOLESCU-GOUJOT, Ioana
85.
01 janv. 2013
Logiciel
CiME
CiME: une boîte à outils pour la démonstration automatique.
CONTEJEAN, Evelyne
86.
01 janv. 2013
Logiciel
RDFViews
RDFViews
MANOLESCU-GOUJOT, Ioana
87.
01 janv. 2013
Logiciel
Scotty
User Interface Programming at Run Time
BEAUDOUIN-LAFON, Michel
88.
01 janv. 2013
Logiciel
Substance
Programming framework and middleware for developing distributed interactive application
BEAUDOUIN-LAFON, Michel
89.
01 janv. 2013
Logiciel
XUpTe
XUpTe
COLAZZO, Dario
90.
01 janv. 2013
Logiciel
APMC
Approximate Probabilistic Model Checker
PEYRONNET, Sylvain
91.
01 janv. 2013
Logiciel
Pff library
Pff library
BOLDO, Sylvie
92.
01 janv. 2013
Logiciel
jBricks
Toolkit Java pour plateformes de visualisation interactives
HUOT, Stéphane
93.
01 janv. 2013
Logiciel
SPIN
Scientific Programming InterNet
PETITON, Serge
94.
01 janv. 2013
Logiciel
XPUQ
XML Partitioning for Updates and Queries
BIDOIT, Nicole
95.
01 janv. 2013
Logiciel
Glucose
The solver that looks for glue clauses
SIMON, Laurent
96.
01 janv. 2013
Logiciel
V-DS
Virtualization environment for large-scale Distributed Systems
CAPPELLO, Franck
97.
01 janv. 2013
Logiciel
PVC
Cluster virtuel Privé
CAPPELLO, Franck
98.
01 janv. 2013
Logiciel
Rna3Dmotif
Software for extracting RNA tertiary motifs
DENISE, Alain
99.
01 janv. 2013
Logiciel
Metisse
Metisse: système de fenêtrage pour l\'exploration de nouveaux environnements graphiques interactifs
CHAPUIS, Olivier
100.
01 janv. 2013
Logiciel
BioGuide
Guiding scientists through biological sources
COHEN-BOULAKIA, Sarah
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 4 sur 9]