Error 404

Error in query: No results found.

The path you selected does not seem to be valid. Please return to the previous page and verify the information provided.

Select

New publications

Recent Publications
- Victor Magron, Alexandre Rocca, Thao Dang: Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
- Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Manuel de savoir-prouver à l'usage des roboteux et des distributeux
- Cristina Serban: Automated reasoning in separation logic with inductive definitions
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs

Contact | Site Map | Site powered by SPIP 3.0.28 + AHUNTSIC [CC License]

info visites 1263210

CNRS

INP Grenoble