Hugo Fre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM. | Hugo Fre, Ian Shillito |
| 2024 | IJCAR | Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL. | Hugo Fre, Iris van der Giessen, Sam van Gool, Ian Shillito |
| 2023 | CPP | Formalizing and Computing Propositional Quantifiers. | Hugo Fre, Sam van Gool |
| 2019 | ICSE | Rotor: a tool for renaming values in OCaml's module system. | Reuben N. S. Rowe, Hugo Fre, Simon J. Thompson, Scott Owens |
| 2019 | PLDI | Characterising renaming within OCaml's module system: theory and implementation. | Reuben N. S. Rowe, Hugo Fre, Simon J. Thompson, Scott Owens |
| 2018 | CPP | Formal proof of polynomial-time complexity with quasi-interpretations. | Hugo Fre, Samuel Hym, Micaela Mayero, Jean-Yves Moyen, David Nowak |
| 2013 | LICS | On the Query Complexity of Real Functionals. | Hugo Fre, Mathieu Hoyrup, Walid Gomaa |
| 2010 | ISAAC | Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity. | Hugo Fre, Emmanuel Hainry, Mathieu Hoyrup, Romain Pchoux |