> Research highlights
Contracts & grants
Software & patents
Ph.D. dissertations & faculty habilitations
Title & description
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking
The inclusion of Regular Expressions (REs) is the ...
EATCS Award for Best ETAPs Paper 2011
Sylvain Conchon, Evelyne Contejean and Mohamed Igu ...
Best application paper at EGC 2013 conference
Best application paper at EGC 2013 conference for ...
Automated motif extraction and classification in RNA tertiary structures
We used a novel graph-based approach to extract RN ...
Chromosome Replication in Escherichia coli: Life on the Scales. Vic NORRIS and Patrick AMAR
At all levels of Life, systems evolve on the 'scal ...
Distributed tree decomposition with privacy
Glucose 2 best SAT solveur (Applications,SAT+UNSAT-
More competitive than ever, with 67 solvers submit ...
Test selection for traces refinement, Ana Cavalcanti and Marie-Claude Gaudel
Theories for model-based testing identify exhausti ...
The Average Complexity of Tree Alignment
The same result holds for the average complexity o ...
ICDE 2015 tutorial: RDF Data Management: Reasoning on Web Data
Mapping Adaptation Actions for the Automatic Reconciliation of Dynamic Ontologies
J. C. Dos Reis, D. Dinh, C. Pruski, M. Da Silveira ...
Honorable Mention Award at CHI 2013 - 'A Body-centric Design Space for Multi-surface Interaction'
Coverage-biased random explo-ration of large models and application to testing
This paper presents several randomised algorithms ...
Identifying change patterns of concept attributes in ontology evolution
Ontology versions are periodically released to ens ...
ICDE 2015: CliqueSquare: Flat Plans for Massively Parallel RDF Queries
As increasing volumes of RDF data are being produc ...
Almost-Linear Inclusion for XML Regular Expression Types
Type inclusion is a fundamental operation in every ...
Genome-wide haplotype association study identifies the SLC22A3-LPAL2-LPA gene cluster as a risk locus for coronary artery disease
Brief Communication abstract:
Sensor potency of the moonlighting enzyme-decorated cytoskeleton: the cytoskeleton as a metabolic sensor
Background There is extensive evidence for the ...
EKAW2014: Logical Detection of Invalid SameAs Statements in RDF Data
In the last years, thanks to the standardization o ...
Formal Verification of Floating-Point Programs
This paper introduces a methodology to perform for ...
A stochastic automaton shows how enzyme assemblies may contribute to metabolic efficiency
The advantages of grouping enzymes into metabolons ...
CIDR 2015: Invisible Glue: Scalable Self-Tuning Multi-Stores
Next-generation data centric applications often in ...
A Verification Approach for Applied System Security
We report on a case study in applying different fo ...
Metisse is not a 3d desktop!
Twenty years after the general adoption of overlap ...
Web Data Indexing in the Cloud: Efficiency and Cost Reductions
CAMACHO RODRIGUEZ Jesus
[Page 1 sur 5]