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
51.
01 janv. 2011
Logiciel
AlignViz
AlignViz
SAFAR, Brigitte
52.
01 janv. 2011
Logiciel
TaxoMap Alignment
Un outil d'alignement de taxonomies
REYNAUD, Chantal
53.
01 janv. 2011
Logiciel
RUKIA
Random Uniform walK In Automata
GAUDEL, Marie-Claude
54.
01 janv. 2011
Logiciel
AnnoVip
AnnoVip
MANOLESCU-GOUJOT, Ioana
55.
01 janv. 2011
Logiciel
EAP Framework
EAP Framework
REYNAUD, Chantal
56.
01 janv. 2011
Logiciel
LiquidXML
LiquidXML
MANOLESCU-GOUJOT, Ioana
57.
01 janv. 2011
Logiciel
SpyWhere
SpyWhere
REYNAUD, Chantal
58.
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
59.
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
60.
25 juil. 2011
Logiciel
SHIRI-Querying
Semantic Search on Heterogeneous Semi-structured Documents
PERNELLE-MANSCOUR, Nathalie
61.
30 sept. 2011
Logiciel
KD2R
OWL2 key discovery on RDF datasets
PERNELLE-MANSCOUR, Nathalie
62.
30 sept. 2011
Logiciel
SHIRI-Annot
Incremental Ontology-based Extraction and Alignment in Semi-Structured Documents
THIAM, Mouhamadou
63.
31 oct. 2011
Logiciel
BSP++
The C++ Bulk Synchronous Parallelism Library
FALCOU, Joël
64.
24 nov. 2011
Logiciel
Krakatoa
Outil Krakatoa de vérification de programmes Java
MARCHÉ, Claude
65.
01 janv. 2012
Logiciel
CALU
for multicore architectures
GRIGORI, Laura
66.
01 janv. 2012
Logiciel
XPIOT
XPIOT
COLAZZO, Dario
67.
01 janv. 2012
Logiciel
Parallel Solvers
for Solving Linear Systems of Equations
GRIGORI, Laura
68.
01 janv. 2012
Logiciel
WMTRACE
Logging and visualizing user's window management activity
CHAPUIS, Olivier
69.
10 févr. 2012
Logiciel
CDuce
CDuce an XML centric Functional Programmimg Language
BENZAKEN, Véronique
70.
12 avril 2012
Logiciel
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
71.
25 avril 2012
Logiciel
TEXAN
Un service d'extraction de données tabulaires
REYNAUD, Chantal
72.
06 juin 2012
Logiciel
aSHIIP
A random topology generator of interdomain
WEISSER, Marc-Antoine
73.
25 juil. 2012
Logiciel
REISA
Controlled Knowledge Base Enrichment from Web documents
PERNELLE-MANSCOUR, Nathalie
74.
03 oct. 2012
Logiciel
Coq.FP2
Coq.FP2
BOLDO, Sylvie
75.
15 oct. 2012
Logiciel
Metaphore
Metaphore
FALCOU, Joël
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 3 sur 9]