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.
01 janv. 2013
Logiciel
OpenWP
OpenWP
CAPPELLO, Franck
77.
01 janv. 2013
Logiciel
XupOp
XupOp
COLAZZO, Dario
78.
01 janv. 2013
Logiciel
XupIn
XML query-update independence tester
COLAZZO, Dario
79.
01 janv. 2013
Logiciel
ViP2P
views in peer-to-peer
MANOLESCU-GOUJOT, Ioana
80.
01 janv. 2013
Logiciel
SPIN
Scientific Programming InterNet
PETITON, Serge
81.
01 janv. 2013
Logiciel
Pff library
Pff library
BOLDO, Sylvie
82.
01 janv. 2013
Logiciel
RDFViews
RDFViews
MANOLESCU-GOUJOT, Ioana
83.
01 janv. 2013
Logiciel
RBT solver
Random Butterfly Transformations
BABOULIN, Marc
84.
01 janv. 2013
Logiciel
XPUQ
XML Partitioning for Updates and Queries
BIDOIT, Nicole
85.
01 janv. 2013
Logiciel
Substance
Programming framework and middleware for developing distributed interactive application
BEAUDOUIN-LAFON, Michel
86.
01 janv. 2013
Logiciel
Touchstone
Plateforme de conception et d\'exécution d\'expérimentations contrôlées
APPERT, Caroline
87.
01 janv. 2013
Logiciel
PVC
Cluster virtuel Privé
CAPPELLO, Franck
88.
01 janv. 2013
Logiciel
BioGuide
Guiding scientists through biological sources
COHEN-BOULAKIA, Sarah
89.
01 janv. 2013
Logiciel
V-DS
Virtualization environment for large-scale Distributed Systems
CAPPELLO, Franck
90.
01 janv. 2013
Logiciel
Metisse
Metisse: système de fenêtrage pour l\'exploration de nouveaux environnements graphiques interactifs
CHAPUIS, Olivier
91.
01 janv. 2013
Logiciel
CiME
CiME: une boîte à outils pour la démonstration automatique.
CONTEJEAN, Evelyne
92.
01 janv. 2013
Logiciel
Rna3Dmotif
Software for extracting RNA tertiary motifs
DENISE, Alain
93.
03 déc. 2012
Logiciel
PoCC
the Polyhedral Compiler Collection
BASTOUL, Cédric
94.
25 nov. 2012
Logiciel
POI-HELPER
Un service d'extraction de données issues de réseaux sociaux
REYNAUD, Chantal
95.
19 nov. 2012
Logiciel
HOL-TestGen
Générateur de tests à partir de spécifications HOL
WOLFF, Burkhart
96.
15 nov. 2012
Logiciel
BitDew
middleware OpenSource pour les grilles de données de bureau
FEDAK, Gilles
97.
15 oct. 2012
Logiciel
Metaphore
Metaphore
FALCOU, Joël
98.
03 oct. 2012
Logiciel
Coq.FP2
Coq.FP2
BOLDO, Sylvie
99.
25 juil. 2012
Logiciel
REISA
Controlled Knowledge Base Enrichment from Web documents
PERNELLE-MANSCOUR, Nathalie
100.
20 juil. 2012
Logiciel
TemporalOCL
Temporal OCL Plugin for Eclipse
TAHA, Safouan
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - Suivant [Page 4 sur 7]