Emmanuel Hainry
Scholar

Emmanuel Hainry

Google Scholar ID: 3mcjZt0AAAAJ
Université de Lorraine & LORIA
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
209
 
H-index
9
 
i10-index
5
 
Publications
20
 
Co-authors
3
list available
Contact
No contact links provided.
Publications
6 items
Resource-Aware Hybrid Quantum Programming with General Recursion and Quantum Control
2025
Cited
0
Quantum Programming in Polylogarithmic Time
2025
Cited
0
Expectation-based Analysis of Higher-Order Quantum Programs
2025
Cited
0
Branch Sequentialization in Quantum Polytime
arXiv.org · 2024
Cited
0
A programming language characterizing quantum polynomial time
Foundations of Software Science and Computation Structure · 2022
Cited
9
Complete and tractable machine-independent characterizations of second-order polytime
Foundations of Software Science and Computation Structure · 2022
Cited
3
Resume (English only)
Co-authors
3 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Mathieu Hoyrup
Mathieu Hoyrup
Chargé de recherche Inria, Nancy