Emmanuel Hainry
3
Documents
Affiliations actuelles
- 529408
- 413289
- 206040
Identifiants chercheurs
- emmanuel-hainry
- 0000-0002-9750-0460
- IdRef : 114622396
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Characterizing polynomial time complexity of stream programs using interpretationsTheoretical Computer Science, 2015, 585, pp.41-54. ⟨10.1016/j.tcs.2015.03.008⟩
Article dans une revue
hal-01112160v1
|
|
ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java ProgramsICTAC 2021 - 18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan/Virtual, Kazakhstan. pp.357-365, ⟨10.1007/978-3-030-85315-0_20⟩
Communication dans un congrès
hal-03337755v1
|
|
Higher-order interpretations for higher-order complexityLPAR 2017 - International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Geoff Sutcliffe, May 2017, Maun, Botswana. pp.269-285
Communication dans un congrès
hal-01529170v2
|