Hector Suzanne

Orcid: 0000-0002-7761-8779

According to our database¹, Hector Suzanne authored at least 2 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Reusable static resource analyses for high level languages. (Analyses statiques de ressources réutilisables pour langages de haut niveau).

[DOI]

PhD thesis, 2025

2023

A Reusable Machine-Calculus for Automated Resource Analyses.

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023