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
126.
15 nov. 2012
Logiciel
BitDew
middleware OpenSource pour les grilles de données de bureau
FEDAK, Gilles
127.
15 oct. 2012
Logiciel
Metaphore
Metaphore
FALCOU, Joël
128.
03 oct. 2012
Logiciel
Coq.FP2
Coq.FP2
BOLDO, Sylvie
129.
25 juil. 2012
Logiciel
REISA
Controlled Knowledge Base Enrichment from Web documents
PERNELLE-MANSCOUR, Nathalie
130.
06 juin 2012
Logiciel
aSHIIP
A random topology generator of interdomain
WEISSER, Marc-Antoine
131.
25 avril 2012
Logiciel
TEXAN
Un service d'extraction de données tabulaires
REYNAUD, Chantal
132.
12 avril 2012
Logiciel
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
133.
10 févr. 2012
Logiciel
CDuce
CDuce an XML centric Functional Programmimg Language
BENZAKEN, Véronique
134.
01 janv. 2012
Logiciel
WMTRACE
Logging and visualizing user's window management activity
CHAPUIS, Olivier
135.
01 janv. 2012
Logiciel
XPIOT
XPIOT
COLAZZO, Dario
136.
01 janv. 2012
Logiciel
Parallel Solvers
for Solving Linear Systems of Equations
GRIGORI, Laura
137.
01 janv. 2012
Logiciel
CALU
for multicore architectures
GRIGORI, Laura
138.
24 nov. 2011
Logiciel
Krakatoa
Outil Krakatoa de vérification de programmes Java
MARCHÉ, Claude
139.
31 oct. 2011
Logiciel
BSP++
The C++ Bulk Synchronous Parallelism Library
FALCOU, Joël
140.
30 sept. 2011
Logiciel
KD2R
OWL2 key discovery on RDF datasets
PERNELLE-MANSCOUR, Nathalie
141.
30 sept. 2011
Logiciel
SHIRI-Annot
Incremental Ontology-based Extraction and Alignment in Semi-Structured Documents
THIAM, Mouhamadou
142.
25 juil. 2011
Logiciel
SHIRI-Querying
Semantic Search on Heterogeneous Semi-structured Documents
PERNELLE-MANSCOUR, Nathalie
143.
28 juin 2011
Brevet
FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé
AL AGHA, Khaldoun
144.
01 janv. 2011
Logiciel
TaxoMap Alignment
Un outil d'alignement de taxonomies
REYNAUD, Chantal
145.
01 janv. 2011
Logiciel
EAP Framework
EAP Framework
REYNAUD, Chantal
146.
01 janv. 2011
Logiciel
TaxoMap Refinement
TaxoMap Refinement
REYNAUD, Chantal
147.
01 janv. 2011
Logiciel
LN2R-LT
Une méthode Logique et une méthode Numérique pour la Réconciliation de Références
SAÏS, Fatiha
148.
01 janv. 2011
Logiciel
AlignViz
AlignViz
SAFAR, Brigitte
149.
01 janv. 2011
Logiciel
SpyWhere
SpyWhere
REYNAUD, Chantal
150.
01 janv. 2011
Logiciel
RUKIA
Random Uniform walK In Automata
GAUDEL, Marie-Claude
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 6 sur 9]