Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Les résultats majeurs
Production scientifique
Les résultats majeurs
#
Date
Titre et Description
Contact
101.
01/01/2006
102.
23/10/2005
Metisse is not a 3d desktop!
Twenty years after the general adoption of overlap ...
103.
08/07/2005
A Verification Approach for Applied System Security
We present a method for the security analysis of r ...
104.
24/01/2005
A Verification Approach for Applied System Security
We report on a case study in applying different fo ...
105.
25/11/2004
EKAW2014: Logical Detection of Invalid SameAs Statements in RDF Data
In the last years, thanks to the standardization o ...
106.
11/11/2004
EKAW2014: Logical Detection of Invalid SameAs Statements in RDF Data
In the last years, thanks to the standardization o ...
107.
01/09/2004
VLDB 2014 : Similarity Search for Scientific Workflows
With the increasing popularity of scientific workf ...
108.
01/09/2004
VLDB paper: Similarity Search for Scientific Workflows
With the increasing popularity of scientific workf ...
109.
01/08/2004
110.
17/07/2004
111.
15/04/2004
112.
08/07/2003
HOL-Z 2.0: A Proof Environment for Z-Specifications.
We present a new proof environment for the specifi ...
113.
21/03/2003
114.
07/01/2003
115.
22/03/2002
116.
08/07/1999
117.
118.
119.
120.
SAKey: Scalable Almost Key discovery in RDF data
Exploiting identity links among RDF resources allo ...
121.
Première page - Précédant - 1 - 2 - 3 - 4 - 5 [Page 5 sur 5]