伊曼纽尔·海因里；伊曼纽尔·詹德尔；罗曼·佩乔；奥利维尔·泽恩 复杂性分析器：一个自动工具，用于证明Java程序的多时间复杂性。 （英语） Zbl 07500653号 Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。2021年9月8日至10日，哈萨克斯坦努尔苏尔坦，第18届国际学术讨论会，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 357-365 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.Hainry}等人，Lect。注释计算。科学。12819、357--365（2021；Zbl 07500653） 全文： 内政部
伊曼纽尔·海因里；达米亚诺·马扎；罗曼·佩乔 多项式时间在实数上具有简约性。 （英语） Zbl 07368084号 Nakano，Keisuke（编辑）等人，《功能和逻辑编程》。第十五届国际研讨会，FLOPS 2020，日本秋田，2020年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12073, 50-65 (2020).MSC公司：68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{E.Hainry}等人，Lect。注释计算。科学。12073，50-65（2020年；兹bl 07368084） 全文： 内政部 哈尔
伊曼纽尔·海因里；罗曼·佩乔 面向对象程序的基于类型的复杂性分析。 （英语） Zbl 1395.68087号 Inf.计算。 261，第1部分，78-115（2018）.MSC公司：68甲19 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Hainry}和\textit{R.Péchoux}，Inf.Compute。261，第1部分，78--115（2018；Zbl 1395.68087） 全文： 内政部 arXiv公司