Florent Garnier

According to our database, Florent Garnier authored at least 5 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Latest Altimetry-Based Sea Ice Freeboard and Volume Inter-Annual Variability in the Antarctic over 2003-2020.

Florent Garnier, Marion Bocquet, Sara Fleury, Jérôme Bouffard, Michel Tsamados, Frédérique Rémy, Gilles Garric, Aliette Chenal

Remote. Sens., 2022

2012

A Verification Toolkit for Numerical Transition Systems - Tool Paper.

Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer

Proceedings of the FM 2012: Formal Methods, 2012

2007

Terminaison en temps moyen fini de systèmes de règles probabilistes. (Termination within a finite mean time of probabilistic rules based systems).

Florent Garnier

PhD thesis, 2007

2006

Proving Positive Almost Sure Termination Under Strategies.

Olivier Bournez, Florent Garnier

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

2005

Proving Positive Almost-Sure Termination.

Olivier Bournez, Florent Garnier

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005