Hugo Férée

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 8

Top Venues

CPP

VSTTE

J. Comput. Syst. Sci.

CoRR

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL. IJCAR (2) (2024)
Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
Mechanised uniform interpolation for modal logics K, GL and iSL. CoRR (2024)
Hugo Férée, Sam van Gool
Formalizing and Computing Propositional Quantifiers. CPP (2023)
Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens
Rotor: a tool for renaming values in OCaml's module system. IWOR@ICSE (2019)
Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens
Characterising renaming within OCaml's module system: theory and implementation. PLDI (2019)
Hugo Férée, Samuel Hym, Micaela Mayero, Jean-Yves Moyen, David Nowak
Formal proof of polynomial-time complexity with quasi-interpretations. CPP (2018)
Hugo Férée, Johannes Åman Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, Son Ho
Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications. VSTTE (2018)
Hugo Férée
Game semantics approach to higher-order complexity. J. Comput. Syst. Sci. 87 (2017)
Hugo Férée, Martin Ziegler
[0;1]. MACIS (2015)
Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup, Romain Péchoux
Characterizing polynomial time complexity of stream programs using interpretations. Theor. Comput. Sci. 585 (2015)
Hugo Férée, Walid Gomaa, Mathieu Hoyrup
Analytical properties of resource-bounded real functionals. J. Complex. 30 (5) (2014)
Hugo Férée, Mathieu Hoyrup, Walid Gomaa
On the Query Complexity of Real Functionals. LICS (2013)
Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup, Romain Péchoux
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity. ISAAC (1) (2010)

Hugo Férée.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hugo Férée