尼尔斯·洛曼；费比安·梅耶；吉尔根·吉斯尔 基于三角弱非线性循环的整数程序复杂性自动分析。 （英语） Zbl 07628219号 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13385, 734-754 (2022).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.Lommen}等人，Lect。票据计算。科学。13385734-754（2022年；兹bl 07628219） 全文： 内政部 arXiv公司
徐明；黄成超；冯、袁 测量量子马尔可夫链中的约束可达性。 （英语） 兹比尔1483.68140 学报信息。 58，第6号，653-674（2021）.MSC公司：2012年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人，《学报》第58期，第6期，第653--674页（2021年；Zbl 1483.68140） 全文： 内政部
弗洛里安·弗洛恩；马塞尔·哈克；吉尔根·吉斯尔 多项式循环的终止。 （英语） Zbl 1474.68049号 Pichardie，David（编辑）等人，《静态分析》。第27届国际研讨会，SAS 2020，虚拟活动，2020年11月18日至20日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12389, 89-112 (2020).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Frohn}等人，Lect。票据计算。科学。12389，89-112（2020年；兹比尔1474.68049） 全文： 内政部
徐明；黄成超；李志斌；曾振兵 分析可解系统的最终正性。 （英语） Zbl 1356.37035号 西奥。计算。科学。 609，第2部分，395-412（2016）.MSC公司：第37页第20页 03B25号 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人，Theor。计算。科学。609，第2部分，395--412（2016；Zbl 1356.37035） 全文： 内政部
刘江；徐明；詹乃军；赵恒军 发现多路径多项式程序的非终止输入。 （英语） Zbl 1327.68080号 J.系统。科学。复杂。 27，第6号，1286-1304（2014）.MSC公司：68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人，J.Syst。科学。复杂。27，第6号，1286--1304（2014；Zbl 1327.68080） 全文： 内政部