大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 安全协议等价物的POR。超越行动决定。 （英语） Zbl 1496.68055号 Lopez，Javier（编辑）等人，《计算机安全》。第23届欧洲计算机安全研究研讨会，2018年ESORICS，西班牙巴塞罗那，2018年9月3-7日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11098, 385-405 (2018).MSC公司：68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}等人，Lect。注释计算。科学。11098，385--405（2018；Zbl 1496.68055） 全文： DOI程序 arXiv公司
大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 用于确定跟踪等价性的简化语义。 （英语） 兹比尔1448.68326 日志。方法计算。科学。 13，第2号，第8号论文，48页（2017年）.MSC公司：68问题85 60年第68季度 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}等人，日志。方法计算。科学。13，第2号，第8号论文，48页（2017；Zbl 1448.68326） 全文： DOI程序 arXiv公司
大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 安全协议的部分降阶。 （英语） 兹比尔1374.68318 Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，497-510（2015）。MSC公司：68问题85 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}等人，LIPIcs——莱布尼茨国际程序。通知。42、497--510（2015年；Zbl 1374.68318） 全文： DOI程序 arXiv公司