迈克尔·约翰逊;罗伯特·罗斯布鲁 腿越多越好：对称（多）透镜的新组合。 （英语） 兹比尔1477.18007 Spivak，David I.（编辑）等人，《2020年第三届国际应用范畴理论年会论文集》，ACT 2020，美国剑桥，2020年7月6日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）33392-107（2021）。MSC公司：18B20型 90B06型 PDF格式BibTeX公司 XML格式引用 \textit{M.Johnson}和\textit{R.Rosebrugh}，电子。程序。西奥。计算。科学。（EPTCS）333、92--107（2021；Zbl 1477.18007） 全文： arXiv公司 链接
费比安·梅耶;马塞尔·哈克;吉尔根·吉斯尔 使用预期大小推断概率整数程序的预期运行时间。 （英语） Zbl 1467.68066号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 250-269 (2021).MSC公司：65年第68季度 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Meyer}等人，Lect。注释计算。科学。12651，250-269（2021；Zbl 1467.68066） 全文： 内政部 arXiv公司
弗罗恩。;M.纳夫。;亨塞尔，J。;布罗克施米特，M。;J·吉斯尔。 整数程序的运行时下限。 （英语） Zbl 1475.68134号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日，在葡萄牙科英布拉举行的第八届国际联合会议，IJCAR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 550-567 (2016).MSC公司：2017年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Frohn}等人，Lect。注释计算。科学。9706550-567（2016；Zbl 1475.68134） 全文： 内政部 arXiv公司