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