编辑配置文件（在新选项卡中打开） 西蒙·多尔蒂 合著者距离 作者ID： 多赫蒂·西蒙 发布日期： 西蒙·多尔蒂 已编制索引的文档： 15出版物自2004年起 合著者： 14合著者具有15联合出版物 206合著作者 全部的 前5名合著者 0 单作者的 10 Dongol，布里耶什 9 海克·卫尔海姆 7 约翰·德里克 6 格哈德·谢尔霍恩 三 林赛·格罗夫斯。 三 马克·莫尔 2 埃利尼·比拉 2 萨迪·达尔瓦迪 2 维克托·卢昌科 1 阿拉斯代尔·阿姆斯特朗 1 罗伯特·J·科尔文。 1 詹姆斯·克兰奇 1 乔治·斯特鲁斯 1 奥列格·特拉夫金 系列 三 计算的形式方面 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 领域 15 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 有序，格，有序代数结构（06-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用52中的次26文件 引用人▼ 年份▼ 一种实用的无锁队列算法的形式化验证。 Zbl 1110.68410号 西蒙·多尔蒂;格罗夫斯，林赛;维克托·卢昌科;马克·莫尔 12 2004 正式指定和验证事务内存。 Zbl 1298.68168号 西蒙·多尔蒂;格罗夫斯，林赛;维克托·卢昌科;马克·莫尔 10 2013 通过模拟验证并发数据结构。 Zbl 1276.68062号 罗伯特·科尔文;西蒙·多尔蒂;格罗夫斯，林赛 4 2005 将Owicki-Gries for C11风格内存模型集成到Isabelle/HOL中。 Zbl 07498610号 萨迪·达尔瓦迪;Dongol，布里耶什;西蒙·多尔蒂;海克·卫尔海姆 4 2022 验证持久并发数据结构的正确性：一种完善的方法。 Zbl 1519.68133号 约翰·德里克;西蒙·多尔蒂;Dongol，布里耶什;格哈德·谢尔霍恩;海克·卫尔海姆 4 2021 证明悲观STM的不透明度。 兹比尔1432.68070 西蒙·多尔蒂;Dongol，布里耶什;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 三 2017 通过线性化证明不透明性：一种完善的方法。 Zbl 1489.68138号 阿拉斯代尔·阿姆斯特朗;Dongol，布里耶什;西蒙·多尔蒂 三 2017 定义和验证持久不透明度：持久软件事务内存的正确性。 Zbl 1511.68072号 埃利尼·比拉;西蒙·多尔蒂;Dongol，布里耶什;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 三 2020 非阻塞算法和反向模拟。 Zbl 1261.68166号 西蒙·多尔蒂;马克·莫尔 2 2009 不透明的机械化证明：两种技术的比较。 Zbl 1395.68186号 约翰·德里克;西蒙·多尔蒂;Dongol，布里耶什;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 2 2018 卷积和并发。 Zbl 1490.68139号 詹姆斯·克兰奇;西蒙·多尔蒂;乔治·斯特鲁斯 2 2021 统一操作弱内存验证：公理方法。 兹比尔1508.68216 西蒙·多尔蒂;萨迪·达尔瓦迪;Dongol，布里耶什;海克·卫尔海姆 2 2022 使部分有序执行的线性化能力合成。 Zbl 1514.68164号 西蒙·多尔蒂;Dongol，布里耶什;海克·卫尔海姆;约翰·德里克 1 2018 将Owicki-Gries for C11风格内存模型集成到Isabelle/HOL中。 Zbl 07498610号 萨迪·达尔瓦迪;Dongol，布里耶什;西蒙·多尔蒂;海克·卫尔海姆 4 2022 统一操作弱内存验证：公理方法。 Zbl 1508.68216号 西蒙·多尔蒂;萨迪·达尔瓦迪;Dongol，布里耶什;海克·卫尔海姆 2 2022 验证持久并发数据结构的正确性：一种完善的方法。 Zbl 1519.68133号 约翰·德里克;西蒙·多尔蒂;Dongol，布里耶什;格哈德·谢尔霍恩;海克·卫尔海姆 4 2021 卷积和并发。 Zbl 1490.68139号 詹姆斯·克兰奇;西蒙·多尔蒂;乔治·斯特鲁斯 2 2021 定义和验证持久不透明度：持久软件事务内存的正确性。 兹比尔1511.68072 埃利尼·比拉;西蒙·多尔蒂;Dongol，布里耶什;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 三 2020 不透明的机械化证明：两种技术的比较。 Zbl 1395.68186号 约翰·德里克;西蒙·多尔蒂;Dongol，布里耶什;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 2 2018 使部分有序执行的线性化能力合成。 Zbl 1514.68164号 西蒙·多尔蒂;Dongol，布里耶什;海克·卫尔海姆;约翰·德里克 1 2018 证明了悲观STM的不透明性。 Zbl 1432.68070号 西蒙·多尔蒂;Dongol，布里耶什;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 三 2017 通过线性化证明不透明性：一种完善的方法。 Zbl 1489.68138号 阿拉斯代尔·阿姆斯特朗;Dongol，布里耶什;西蒙·多尔蒂 三 2017 正式指定和验证事务内存。 Zbl 1298.68168号 西蒙·多尔蒂;格罗夫斯，林赛;维克托·卢昌科;马克·莫尔 10 2013 非阻塞算法和反向模拟。 Zbl 1261.68166号 西蒙·多尔蒂;马克·莫尔 2 2009 通过模拟验证并发数据结构。 Zbl 1276.68062号 罗伯特·科尔文;西蒙·多尔蒂;格罗夫斯，林赛 4 2005 一种实用的无锁队列算法的形式化验证。 Zbl 1110.68410号 西蒙·多尔蒂;格罗夫斯，林赛;维克托·卢昌科;马克·莫尔 12 2004 所有引用出版物 前5名被引用出版物 全部的 前5名35位作者引用 10 Dongol，布里耶什 10 格哈德·谢尔霍恩 10 海克·卫尔海姆 7 约翰·德里克 7 西蒙·多尔蒂 4 罗伯特·J·科尔文。 4 沃尔夫冈·雷夫 三 博格丹托凡 2 埃利尼·比拉 2 林赛·格罗夫斯。 2 康拉德·锡克 2 格雷姆·史密斯 2 奥列格·特拉夫金 2 PawełT，Wojciechowski。 1 劳拉·巴格曼 1 西蒙·巴姆勒 1 马丁·比特利希 1 Stefan Bodenmüller 1 萨迪·达尔瓦迪 1 吉登·恩斯特 1 乌里·法伦贝格 1 克里斯蒂安·约翰森 1 库尔根·科尼 1 杰·勒·佩宾 1 维克托·卢昌科 1 马克·莫尔 1 托马斯·帕尼 1 萨提亚佩里 1 约格·佩勒 1 乔治·斯特鲁斯 1 维迪亚桑卡（Vidyasankar）、克里希纳穆尔西（Krishnamurthy） 1 乔治·威森巴赫 1 克尔斯滕·温特 1 Krzysztof，Zimiañski 1 弗洛里安·祖勒格 全部的 前5名10篇连载文章中引用 6 计算的形式方面 2 ACM计算逻辑事务 1 代数普遍性 1 理论计算机科学 1 计算机程序设计科学 1 分布式计算 1 计算与决策科学基础 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 计算机科学中的逻辑方法 在4个字段中引用 25 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 1 有序，格，有序代数结构（06-XX） 1 群论与推广（20-XX） 按年份列出的引文