Florent Garnier

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 1

Top Topics

Top Venues

National Polytechnic Institute of Lorraine, Nancy, France (PHD)

Education History

National Polytechnic Institute of Lorraine, Nancy, France

PHD

Publications

Florent Garnier, Marion Bocquet, Sara Fleury, Jérôme Bouffard, Michel Tsamados, Frédérique Rémy, Gilles Garric, Aliette Chenal
Latest Altimetry-Based Sea Ice Freeboard and Volume Inter-Annual Variability in the Antarctic over 2003-2020. Remote. Sens. 14 (19) (2022)
Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rümmer
A Verification Toolkit for Numerical Transition Systems - Tool Paper. FM (2012)
Olivier Bournez, Florent Garnier
Proving Positive Almost Sure Termination Under Strategies. RTA (2006)
Olivier Bournez, Florent Garnier
Proving Positive Almost-Sure Termination. RTA (2005)