克里斯托夫·马提亚;詹斯·佩格尔;弗洛里安·祖勒格 保护分离逻辑的一种决策过程，用归纳定义完成分离逻辑的蕴涵检查。 （英语） Zbl 07650597号 ACM事务处理。计算。日志。 24，第1号，第1条，第76页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Matheja}等人，《美国医学杂志》。计算。日志。24，第1号，第1条，第76页（2023年；Zbl 07650597） 全文： DOI程序 arXiv公司 链接
托马斯·帕尼;乔治·威森巴赫;弗洛里安·祖勒格 参数化并发共享内存程序的可靠性保证界分析。通过应用证明非阻塞算法是有界无锁的。 （英语） Zbl 1522.68161号 形式方法系统。设计。 57，第2期，270-302（2021）.MSC公司：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Pani}等人，《形式方法系统》。设计。57，第2号，270--302（2021；Zbl 1522.68161） 全文： DOI程序 OA许可证
詹斯·佩格尔;弗洛里安·祖勒格 强大的分离逻辑。 （英语） Zbl 1473.03015号 Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12648, 664-692 (2021).MSC公司：03B70号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Pagel}和\textit{F.Zuleger}，莱克特。注释计算。科学。12648664--692（2021；Zbl 1473.03015） 全文： DOI程序 arXiv公司 OA许可证
克里斯蒂娜·詹森;Jens Katelaan公司;克里斯托夫·马提亚;诺尔，托马斯;弗洛里安·祖勒格 符号叠分离逻辑鲁棒性的统一推理。 （英语） Zbl 1485.68068号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。10201, 611-638 (2017).MSC公司：68号30 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Jansen}等人，Lect。注释计算。科学。10201、611--638（2017；Zbl 1485.68068） 全文： DOI程序 arXiv公司 链接