Hugo Férée
Orcid: 0000-0003-3103-5612
According to our database1,
Hugo Férée
authored at least 13 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
2023
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the 3rd International Workshop on Refactoring, 2019
2018
Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
2017
2015
Theor. Comput. Sci., 2015
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015
2014
Complexité d'ordre supérieur et analyse récursive. (Higher order complexity and computable analysis).
PhD thesis, 2014
2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
2010
Proceedings of the Algorithms and Computation - 21st International Symposium, 2010