285 citations
- Centre National de la Recherche ScientifiqueFR8 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR5 papers
- Centre Inria de l'université de BordeauxFR3 papers
- CERMICSFR3 papers
- École Normale Supérieure de LyonFR3 papers
- Université de LorraineFR3 papers
- Université Grenoble AlpesFR3 papers
- Institut Élie Cartan de LorraineFR2 papers
- Laboratoire d'Informatique de GrenobleFR2 papers
- RMIT UniversityAU2 papers
- California Institute of TechnologyUS1 paper
- Cancer et génome: Bioinformatique, biostatistiques et épidémiologie des systèmes complexes1 paper
40 papers · 1 filter
A TLA+ Proof System
Kaustuv C. Chaudhuri, Damien Doligez, Leslie Lamport +1
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The l…
Étude longitudinale d'une procédure de modélisation de connaissances en matière de gestion du territoire agricole
Florence Le Ber, Christian Brassac
This paper gives an introduction to this issue, and presents the framework and the main steps of the Rosa project. Four teams of researchers, agronomists, computer scientists, psyc…
Parallel multi-objective algorithms for the molecular docking problem
Jean-Charles Boisson, Laetitia Jourdan, El-Ghazali Talbi +1
Molecular docking is an essential tool for drug design. It helps the scientist to rapidly know if two molecules, respectively called ligand and receptor, can be combined together t…
Edhibou: a Customizable Interface for Decision Support in a Semantic Portal
Fadi Badra, Mathieu D'Aquin, Jean Lieber +1
The Semantic Web is becoming more and more a reality, as the required technologies have reached an appropriate level of maturity. However, at this stage, it is important to provide…
A new distance for high level RNA secondary structure comparison
Julien Allali, Marie-France Sagot
We describe an algorithm for comparing two RNA secondary structures coded in the form of trees that introduces two new operations, called node fusion and edge fusion, besides the t…
Structural abstract interpretation, A formal study using Coq
Yves Bertot
interpreters are tools to compute approximations for behaviors of a program. These approximations can then be used for optimisation or for error detection. In this paper, we show h…