赫尔穆特·塞德尔;拉尔夫·福格勒 自顶向下解算器的三个改进。 （英语） Zbl 1489.68053号 数学。结构。计算。科学。 31，第9期，1090-1134（2021）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}和\textit{R.Vogler}，数学。结构。计算。科学。31，第9号，1090--1134（2021；Zbl 1489.68053） 全文： 内政部
赫尔穆特·塞德尔;朱利安·埃哈德;拉尔夫·福格勒 增量抽象解释。 （英语） Zbl 1440.68047号 Di Pierro，Alessandra（编辑）等人，《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12065, 132-148 (2020).MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}等人，Lect。注释计算。科学。12065、132--148（2020；Zbl 1440.68047） 全文： 内政部
斯特凡·舒尔泽·弗里林豪斯;赫尔穆特·塞德尔;拉尔夫·福格勒 强制终止过程间分析。 （英语） 兹比尔1425.68083 形式方法系统。设计。 53，编号2131-338（2018）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Schulze Frielinghaus}等人，《形式方法系统》。设计。53，No.2，313--338（2018；Zbl 1425.68083） 全文： 内政部 arXiv公司
毛罗·贾斯克利奥夫;罗素·奥康纳 二阶泛函的表示定理。 （英语） Zbl 1420.68041号 J.功能。程序。 25，论文编号e13，36 p.（2015）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Jaskelioff}和\textit{R.O'Connor}，J.Funct。程序。25，论文编号e13，36 p.（2015；Zbl 1420.68041） 全文： 内政部 arXiv公司