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
1.
02/05/2017
2.
21/04/2016
Formal mutation testing for Circus
We present a formal definition for fault-based tes ...
3.
09/02/2016
4.
13/05/2015
Computing with Synthetic Protocells
In this article we present a new kind of computing ...
5.
27/10/2014
6.
26/10/2014
7.
24/10/2014
8.
19/10/2014
ISWC'14: SAKey: Scalable Almost Key discovery in RDF data
Exploiting identity links among RDF resources allo ...
9.
28/09/2014
Test selection for traces refinement, Ana Cavalcanti and Marie-Claude Gaudel
Theories for model-based testing identify exhausti ...
10.
01/09/2014
11.
01/07/2014
Ontology-Aware Prediction from Rules: A Reconciliation-Based Approach
Our work is related to the general problem of cons ...
12.
06/06/2014
Effects of Display Size and Navigation Type on a Classification Task
The advent of ultra-high resolution wall-size disp ...
13.
15/04/2014
14.
07/04/2014
ESOP 2014 : A Coq Formalization of the Relational Data Model
A first Coq certified course in relational databas ...
15.
27/02/2014
Identifying change patterns of concept attributes in ontology evolution
Ontology versions are periodically released to ens ...
16.
10/01/2014
WWW 2014: RDF Analytics: Lenses over Semantic Graphs
The development of Semantic Web (RDF) brings new r ...
17.
27/10/2013
18.
07/10/2013
PVLDB 2014: Delta: Scalable Data Dissemination under Capacity Constraints
In content-based publish-subscribe (pub/sub) syste ...
19.
05/09/2013
20.
08/08/2013
ACM TODS 2013: Algebraic Incremental Maintenance for XML Views
Materialized views can bring important performance ...
21.
16/07/2013
Glucose 2.3 meilleur SAT solver 2013 (Application, certifié UNSAT)
Glucose 2.3, un solveur SAT développé partiellemen ...
22.
22/05/2013
23.
02/05/2013
24.
30/04/2013
25.
27/04/2013
1 - 2 - 3 - 4 - 5 - Suivant [Page 1 sur 5]