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