斯坦芬·邦多夫；陈彬彬；斯佳丽、乔纳森；于海峰；赵宇达 通过位混合编码使用\（O（k\log n）\）测试的子线性时间非自适应组测试。 （英语） Zbl 1473.62065号 IEEE传输。Inf.理论 67，第3期，1559-1570（2021）.MSC公司：62F03型 第60页 68瓦20 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{S.Bondorf}等人，IEEE Trans。《信息论》67，第3期，1559--1570（2021；Zbl 1473.62065） 全文： 内政部 arXiv公司
克里斯托夫·纽；巴沙尔·易卜拉欣；彼得·迪特里克 大型代谢网络中的分子代码。 （英语） Zbl 1468.92038号 匹配Commun。数学。计算。化学。 80，第3期，587-604（2018）.MSC公司：92C45型 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Neu}等人，MATCH Commun。数学。计算。化学。80，编号3，587-604（2018；兹bl 1468.92038）
米勒，克里斯蒂安；马林，保罗；贝恩德·贝克尔 使用增量QBF验证部分设计。 （英语） Zbl 1373.68382号 AI通讯。 28，第2期，283-307（2015）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Miller}等人，AI Commun。28，第2号，283--307（2015；Zbl 1373.68382） 全文： 内政部
Stefan Kupferschmid；马修·刘易斯；托拜厄斯·舒伯特；贝恩德·贝克尔 BMC中使用的增量预处理方法。 （英语） Zbl 1247.68167号 形式方法系统。设计。 39，第2期，185-204（2011）.MSC公司：60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kupferschmid}等人，《形式方法系统》。设计。39，第2号，185--204（2011；Zbl 1247.68167） 全文： 内政部
Stefan Kupferschmid；贝恩德·贝克尔 非线性约束条件下的克雷格插值。 （英语） Zbl 1348.68141号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，240-255（2011）。MSC公司：60年第68季度 03C40号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Kupferschmid}和\textit{B.Becker}，莱克特。注释计算。科学。6919240-255（2011年；Zbl 1348.68141） 全文： 内政部
克里斯蒂安·米勒；Stefan Kupferschmid；马修·刘易斯；贝恩德·贝克尔 编码技术、克雷格插值和不完整设计的有界模型检查。 （英语） Zbl 1306.68168号 Strichman，Ofer（编辑）等人，《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日在英国爱丁堡举行的2010年SAT第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14185-0/pbk）。计算机科学讲义6175194-208（2010）。MSC公司：68T20型 03C40号 60年第68季度 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{C.Miller}等人，Lect。注释计算。科学。6175，194--208（2010；Zbl 1306.68168） 全文： 内政部
艾丽卡·阿尔布拉汉姆；马克·赫伯斯特里特；贝恩德·贝克尔；马丁·斯特芬 使用参数化数据结构检查有界模型。 （英语） Zbl 1277.68129号 Strichman，Ofer（编辑）等人，《第四届有界模型检验国际研讨会论文集》（BMC 2006），西雅图，华盛顿州，美国，2006年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第3期，3-16页（2007年）。MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，《电子》。注释Theor。计算。科学。174，编号3，3--16（2007；Zbl 1277.68129） 全文： 内政部
于、方；王，弯腰 区域自动机的无界模型检验。 （英语） Zbl 1108.68531号 Wang，Farn（编辑），验证和分析自动化技术。2004年10月31日至11月3日，第二届国际会议，ATVA 2004，中华民国台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23610-4/pbk）。计算机科学课堂讲稿3299，20-33（2004）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}和\textit{B.-Y.Wang}，Lect。注释计算。科学。3299，20-33（2004；Zbl 1108.68531） 全文： 内政部