西蒙，多尔蒂;萨迪·达尔瓦迪;布里杰什·多戈尔;海克·卫尔海姆 统一操作弱内存验证：一种公理化方法。 （英语） Zbl 1508.68216号 ACM事务处理。计算。日志。 23，第4条，第27条，第39页（2022年）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人，《美国医学杂志》。计算。日志。23，第4号，第27条，第39页（2022年；Zbl 1508.68216） 全文： 内政部
萨迪·达尔瓦迪;布里杰什·多戈尔;西蒙·多尔蒂;海克·卫尔海姆 将Owicki-Gries for C11风格内存模型集成到Isabelle/HOL中。 （英语） Zbl 07498610号 J.汽车。推理 66，编号1，141-171（2022）.MSC公司：60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Dalvandi}等人，J.Autom。推理66，No.1，141--171（2022；Zbl 07498610） 全文： 内政部 arXiv公司
西蒙·多尔蒂;布里杰什·多戈尔;海克·卫尔海姆;约翰·德里克 使部分有序执行的线性化能力合成。 （英语） Zbl 1514.68164号 Furia，Carlo A.（编辑）等，《综合形式方法》。2018年9月5日至7日，第14届国际会议，2018年国际单项体育联合会，爱尔兰Maynooth。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11023, 110-129 (2018).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人，莱克特。注释计算。科学。11023，110-129（2018年；兹bl 1514.68164） 全文： 内政部 arXiv公司 链接