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/08/2006
MoGo: un joueur de Go artificiel
MoGo has been developped tackling specifically and ...
102.
01/01/2006
103.
23/10/2005
Metisse is not a 3d desktop!
Twenty years after the general adoption of overlap ...
104.
08/07/2005
A Verification Approach for Applied System Security
We present a method for the security analysis of r ...
105.
24/01/2005
A Verification Approach for Applied System Security
We report on a case study in applying different fo ...
106.
25/11/2004
EKAW2014: Logical Detection of Invalid SameAs Statements in RDF Data
In the last years, thanks to the standardization o ...
107.
11/11/2004
EKAW2014: Logical Detection of Invalid SameAs Statements in RDF Data
In the last years, thanks to the standardization o ...
108.
01/09/2004
VLDB 2014 : Similarity Search for Scientific Workflows
With the increasing popularity of scientific workf ...
109.
01/09/2004
VLDB paper: Similarity Search for Scientific Workflows
With the increasing popularity of scientific workf ...
110.
01/08/2004
111.
17/07/2004
112.
15/04/2004
113.
08/07/2003
HOL-Z 2.0: A Proof Environment for Z-Specifications.
We present a new proof environment for the specifi ...
114.
21/03/2003
115.
07/01/2003
116.
22/03/2002
117.
08/07/1999
118.
119.
120.
121.
SAKey: Scalable Almost Key discovery in RDF data
Exploiting identity links among RDF resources allo ...
122.
Première page - Précédant - 1 - 2 - 3 - 4 - 5 [Page 5 sur 5]