Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Research highlights
Research results
Research highlights
#
Date
Title & description
Contact
1.
30/10/2020
Model Transformation as Conservative Theory-Transformation
Model transformations play a central role in model ...
2.
30/04/2013
3.
30/03/2011
EATCS Award for Best ETAPs Paper 2011
Sylvain Conchon, Evelyne Contejean and Mohamed Igu ...
4.
30/01/2013
Best application paper at EGC 2013 conference
Best application paper at EGC 2013 conference for ...
5.
29/11/2008
Automated motif extraction and classification in RNA tertiary structures
We used a novel graph-based approach to extract RN ...
6.
29/10/2012
7.
29/06/2012
8.
29/06/2011
Glucose 2 best SAT solveur (Applications,SAT+UNSAT-
More competitive than ever, with 67 solvers submit ...
9.
28/09/2014
Test selection for traces refinement, Ana Cavalcanti and Marie-Claude Gaudel
Theories for model-based testing identify exhausti ...
10.
28/01/2008
The Average Complexity of Tree Alignment
The same result holds for the average complexity o ...
11.
27/10/2014
12.
27/10/2013
Mapping Adaptation Actions for the Automatic Reconciliation of Dynamic Ontologies
J. C. Dos Reis, D. Dinh, C. Pruski, M. Da Silveira ...
13.
27/07/2017
14.
27/04/2018
15.
27/04/2013
16.
27/03/2011
Coverage-biased random explo-ration of large models and application to testing
This paper presents several randomised algorithms ...
17.
27/02/2014
Identifying change patterns of concept attributes in ontology evolution
Ontology versions are periodically released to ens ...
18.
26/10/2014
ICDE 2015: CliqueSquare: Flat Plans for Massively Parallel RDF Queries
As increasing volumes of RDF data are being produc ...
19.
26/03/2013
Almost-Linear Inclusion for XML Regular Expression Types
Type inclusion is a fundamental operation in every ...
20.
26/03/2009
21.
26/02/2013
22.
25/11/2004
EKAW2014: Logical Detection of Invalid SameAs Statements in RDF Data
In the last years, thanks to the standardization o ...
23.
25/06/2007
Formal Verification of Floating-Point Programs
This paper introduces a methodology to perform for ...
24.
25/03/2008
25.
24/10/2014
CIDR 2015: Invisible Glue: Scalable Self-Tuning Multi-Stores
Next-generation data centric applications often in ...
1 - 2 - 3 - 4 - 5 - Suivant [Page 1 sur 5]