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