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