Home
> Research results
About LRI
Research themes
Collaborations
Research results
Highlights
Contracts & grants
Software & patents
Ph.D. dissertations & faculty habilitations
LRI - HAL Publications
Internal Publications
Open positions
Teaching
Useful informations
Research highlights
HOL-BOOGIE - AN INTERACTIVE PROVER-BACKEND FOR THE VERIFIED C COMPILER
1 February 2010
The paper describes a combined proof-environment for verification conditions generated for annotated
NON-CONSERVATIVE EXTENSION OF A PEER IN A P2P INFERENCE SYSTEM
1 December 2009
Nada Abdallah and François Goasdoué. AI Communications (AICOM), 2009.
> more highlights
Contracts & grants
IOMCA
- ANR
INCLUDING ONTOLOGIES IN MONTE CARLO TREE SEARCH WITH APPLICATIONS
INNOV NATION
- Subvention
UN SERIOUS GAME POUR ENCOURAGER L'INNOVATION OUVERTE ET PARTICIPATIVE
ASAP
- ANR
APPRENTISSAGE STATISTIQUE PAR UNE ARCHITECTURE PROFONDE
ITOC
- DIGITEO
ITOC
PACTOLE
- DIGITEO
PACTOLE
> more contracts & grants
Software & patents
CELL-MPI
MPI Framework for the CELL Processor
NPI 09 58 890
A method for quality-based routing in a multi-hop network
POCC
the Polyhedral Compiler Collection
RUKIA
Random Uniform walK In Automata
> more software & patents
Ph.D. dissertations & Faculty habilitations
Variable Metrics in Evolutionary Computation
Variable Metrics in Evolutionary Computation
.
.
> more Ph.Ds and habilitations
CNRS
Alain Fuchs has been appointed as the new president of CNRS.
