利奥·利伯蒂 距离几何和数据科学。 （英语） Zbl 1511.51006号 顶部 28，第2期，271-339（2020）. 审核人：Frank Plastria（布鲁塞尔） MSC公司：51千5 90C26型 90C22型 68兰特 68T07型 68瓦20 62H30型 62兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.Liberti}，Top 28，No.2，271--339（2020；Zbl 1511.51006） 全文： DOI程序 arXiv公司 哈尔
埃里克·古堡;勒鲁（Le Roux，Stéphane）;杰里米·勒孔特;利奥·利伯蒂;法布里西奥·马里内利 通过抽象解释进行静态分析：一种数学规划方法。 （英语） Zbl 1342.68086号 Miné，Antoine（ed.）等人，第二届数字和符号抽象域国际研讨会论文集：NSAD 2010，法国佩皮尼昂，2010年9月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》267，第1期，73-87（2010）。MSC公司：68号30 68问题55 90C57型 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人，《电子》。理论注释。计算。科学。267，编号1，73--87（2010；Zbl 1342.68086） 全文： DOI程序