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