51.

01 janv. 2011

Logiciel

TaxoMap Alignment
Un outil d'alignement de taxonomies

REYNAUD, Chantal

52.

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

53.

01 janv. 2011

Logiciel

TaxoMap Refinement
TaxoMap Refinement

REYNAUD, Chantal

54.

01 janv. 2011

Logiciel

SpyWhere
SpyWhere

REYNAUD, Chantal

55.

01 janv. 2011

Logiciel

LiquidXML
LiquidXML

MANOLESCU-GOUJOT, Ioana

56.

01 janv. 2011

Logiciel

EAP Framework
EAP Framework

REYNAUD, Chantal

57.

01 janv. 2011

Logiciel

AnnoVip
AnnoVip

MANOLESCU-GOUJOT, Ioana

58.

01 janv. 2011

Logiciel

AlignViz
AlignViz

SAFAR, Brigitte

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

WMTRACE
Logging and visualizing user's window management activity

CHAPUIS, Olivier

66.

01 janv. 2012

Logiciel

Parallel Solvers
for Solving Linear Systems of Equations

GRIGORI, Laura

67.

01 janv. 2012

Logiciel

CALU
for multicore architectures

GRIGORI, Laura

68.

01 janv. 2012

Logiciel

XPIOT
XPIOT

COLAZZO, Dario

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