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 oct. 2012
Logiciel
Metaphore
Metaphore
FALCOU, Joël
127.
03 oct. 2012
Logiciel
Coq.FP2
Coq.FP2
BOLDO, Sylvie
128.
25 juil. 2012
Logiciel
REISA
Controlled Knowledge Base Enrichment from Web documents
PERNELLE-MANSCOUR, Nathalie
129.
06 juin 2012
Logiciel
aSHIIP
A random topology generator of interdomain
WEISSER, Marc-Antoine
130.
25 avril 2012
Logiciel
TEXAN
Un service d'extraction de données tabulaires
REYNAUD, Chantal
131.
12 avril 2012
Logiciel
Clan
Chunky Loop Analyzer
BASTOUL, Cédric
132.
10 févr. 2012
Logiciel
CDuce
CDuce an XML centric Functional Programmimg Language
BENZAKEN, Véronique
133.
01 janv. 2012
Logiciel
WMTRACE
Logging and visualizing user's window management activity
CHAPUIS, Olivier
134.
01 janv. 2012
Logiciel
CALU
for multicore architectures
GRIGORI, Laura
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.
24 nov. 2011
Logiciel
Krakatoa
Outil Krakatoa de vérification de programmes Java
MARCHÉ, Claude
138.
31 oct. 2011
Logiciel
BSP++
The C++ Bulk Synchronous Parallelism Library
FALCOU, Joël
139.
30 sept. 2011
Logiciel
SHIRI-Annot
Incremental Ontology-based Extraction and Alignment in Semi-Structured Documents
THIAM, Mouhamadou
140.
30 sept. 2011
Logiciel
KD2R
OWL2 key discovery on RDF datasets
PERNELLE-MANSCOUR, Nathalie
141.
25 juil. 2011
Logiciel
SHIRI-Querying
Semantic Search on Heterogeneous Semi-structured Documents
PERNELLE-MANSCOUR, Nathalie
142.
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
143.
01 janv. 2011
Logiciel
SpyWhere
SpyWhere
REYNAUD, Chantal
144.
01 janv. 2011
Logiciel
TaxoMap Alignment
Un outil d'alignement de taxonomies
REYNAUD, Chantal
145.
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
146.
01 janv. 2011
Logiciel
AlignViz
AlignViz
SAFAR, Brigitte
147.
01 janv. 2011
Logiciel
EAP Framework
EAP Framework
REYNAUD, Chantal
148.
01 janv. 2011
Logiciel
RUKIA
Random Uniform walK In Automata
GAUDEL, Marie-Claude
149.
01 janv. 2011
Logiciel
TaxoMap Refinement
TaxoMap Refinement
REYNAUD, Chantal
150.
01 janv. 2011
Logiciel
LiquidXML
LiquidXML
MANOLESCU-GOUJOT, Ioana
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 6 sur 9]