编辑配置文件（在新选项卡中打开） 朱尔斯·维拉德 合著者距离 作者ID： 朱尔斯别墅 发布日期： 朱尔斯·维拉德 外部链接： 管理程序 已编制索引的文档： 11出版物自2008年起 合著者： 16位合著者具有11联合出版物 329位联合作者 全部的 前5名合著者 0 单作者的 三 艾蒂安·洛兹 三 O'Hearn，Peter W。 三 杜鹃花拉德 2 詹姆斯·布罗瑟斯顿 2 菲利普·安·加德纳 2 阿奎那·霍伯 1 乔什·伯丁 1 黄海党 1 德里克·德雷尔（Derek R.Dreyer）。 1 C.A.R.Tony Hoare 1 阿克巴侯赛因 1 伯恩哈德·莫勒 1 Rasmus Lerchedahl彼得森 1 乔治·斯特鲁斯 1 范·斯塔登（Stephan van Staden） 1 朱慧彪 系列 1 分布式计算 1 程序设计中的逻辑和代数方法杂志 领域 10 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用62中的次46文件 引用人▼ 年份▼ 分离理论的参数完备性。 Zbl 1284.68112号 詹姆斯·布罗瑟斯顿；朱尔斯·维拉德 12 2014 关于缺陷存在的局部推理：不正确的分离逻辑。 Zbl 1478.68057号 杜鹃花拉德；乔什·伯丁；黄海党；德雷克·德雷尔；彼得·奥赫恩；朱尔斯·维拉德 11 2020 数据结构中共享的后果。 Zbl 1301.68180号 阿奎那·霍伯；朱尔斯·维拉德 8 2013 并发Kleene代数的发展。 Zbl 1344.68148号 你好，托尼；范·斯塔登（Stephan van Staden）；伯恩哈德·莫勒；乔治·斯特鲁斯；朱尔斯·维拉德；朱慧彪；彼得·奥赫恩 7 2014 验证并发图算法。 Zbl 1483.68203号 杜鹃花拉德；阿奎那·霍伯；朱尔斯·维拉德；菲利普·加德纳 6 2016 ColoSL：并发局部主观逻辑。 Zbl 1335.68064号 杜鹃花拉德；朱尔斯·维拉德；菲利普·加德纳 5 2015 亚经典布尔束逻辑及其par的含义。 Zbl 1373.03042号 詹姆斯·布罗瑟斯顿；朱尔斯维拉德 5 2015 并发分离逻辑与并发Kleene代数的关系。 Zbl 1330.03072号 O'Hearn，Peter W。；拉斯穆斯·彼得森。；朱尔斯·维拉德；阿克巴侯赛因 4 2015 应用（pi）演算的空间方程逻辑。 Zbl 1160.03313号 爱蒂安·洛兹；朱尔斯·维拉德 三 2008 共享的面向合同的端点。 Zbl 1433.68099号 爱蒂安·洛兹；朱尔斯维拉德 1 2012 关于缺陷存在的局部推理：不正确的分离逻辑。 Zbl 1478.68057号 杜鹃花拉德；乔什·伯丁；黄海党；德雷克·德雷尔；O＆rsquo的；彼得·赫恩；朱尔斯·维拉德 11 2020 验证并发图算法。 Zbl 1483.68203号 杜鹃花拉德；阿奎那·霍伯；朱尔斯·维拉德；菲利普·加德纳 6 2016 ColoSL：并发局部主观逻辑。 Zbl 1335.68064号 杜鹃花拉德；朱尔斯维拉德；菲利普·加德纳 5 2015 亚经典布尔束逻辑及其par的含义。 Zbl 1373.03042号 詹姆斯·布罗瑟斯顿；朱尔斯·维拉德 5 2015 并发分离逻辑与并发Kleene代数的关系。 Zbl 1330.03072号 O＆rsquo的；彼得·霍恩（Peter W.Hearn）。；拉斯穆斯·彼得森。；朱尔斯·维拉德；阿克巴侯赛因 4 2015 分离理论的参数完备性。 Zbl 1284.68112号 詹姆斯·布罗瑟斯顿；朱尔斯·维拉德 12 2014 并发Kleene代数的发展。 Zbl 1344.68148号 你好，托尼；范·斯塔登（Stephan van Staden）；伯恩哈德·莫勒；乔治·斯特鲁斯；朱尔斯·维拉德；朱慧彪；O＆rsquo的；彼得·赫恩 7 2014 数据结构中共享的后果。 Zbl 1301.68180号 阿奎那·霍伯；朱尔斯·维拉德 8 2013 共享的面向合同的端点。 Zbl 1433.68099号 爱蒂安·洛兹；朱尔斯·维拉德 1 2012 应用（pi）演算的空间方程逻辑。 Zbl 1160.03313号 爱蒂安·洛兹；朱尔斯·维拉德 三 2008 所有引用出版物 前5名被引用出版物 全部的 前5名被93位作者引用 4 伯恩哈德·莫勒 三 Stéphane P.德姆里。 三 C.A.R.Tony Hoare 三 侯哲 三 艾蒂安·洛兹 三 大卫·J·派姆。 三 乔治·斯特鲁斯 三 阿文·费南托（Alwen Fernanto Tiu） 三 朱尔斯·维拉德 2 安德鲁·W·阿佩尔。 2 曹勤祥 2 曹永志 2 佩德罗·达罗查·平托 2 托马斯·丁斯代尔·扬 2 西蒙·多尔蒂 2 菲利普·安·加德纳 2 玛丽克·赫斯曼 2 金，赵 2 Wytse Oortwijn公司 2 克里斯托弗·波斯基特。 2 王汉平 2 张博文 1 安徒生、克里斯托弗·贾斯特·阿恩达尔 1 弗拉维奥·阿斯卡里 1 卡勒姆·班尼斯特 1 鲍玉燕 1 杰斯珀·本特森 1 伦纳特·贝林格 1 Lars Birkedal公司 1 菲利普·布鲁克。 1 詹姆斯·布罗瑟斯顿 1 罗伯托·布鲁尼 1 曹天岳 1 陈，冉 1 科恩，西里尔 1 圣地亚哥库埃拉 1 弗雷德里克·达尔奎斯特 1 Dang，Han-Hing（韩红） 1 Deters，摩根 1 约西亚·多兹 1 吉登·恩斯特 1 乌里·法伦贝格 1 罗伯托·贾科巴齐 1 拉杰夫·普拉巴卡尔·戈尔 1 罗伯塔·戈里 1 塞缪尔·格吕特 1 何继峰 1 阿奎那·霍伯 1 彼得·霍夫纳 1 贾森·雅斯科尔卡 1 彼得·吉普森 1 克里斯蒂安·约翰森 1 Joosten，Sebastian J.C。 1 Max Iosifovich，卡诺维奇 1 乔纳斯·卡斯伯格·辛里奇森 1 里达·凯德里 1 德米特里·孔德拉特埃夫（Dmitri Kondrat’ev），阿列克桑德罗维奇（Aleksandrovich） 1 罗伯特·克雷伯斯 1 悉达哈·克里希纳 1 Gary T.Leavens。 1 刘伟祥 1 珍妮·雅克·利维 1 塔德乌兹·利塔克 1 刘，杨 1 阿莱西奥·曼苏蒂 1 伊莎贝拉·马斯特罗埃尼 1 Annabelle K.McIver。 1 马可·米兰尼斯 1 维克托·卡奇亚里·米拉尔多 1 安舒曼·莫汉 1 卡罗尔·C·摩根。 1 马丁·埃里克·米勒 1 彼得·米勒 1 戴维·诺曼（David A.Naumann）。 1 O'Hearn，Peter W。 1 何塞·努诺·奥利维拉 1 丰满，细节 1 秦胜超 1 杜鹃花拉德 1 塔希里·拉贝哈加。 1 弗朗西斯科·兰扎托 1 莫森野生动物园 1 大卫·萨南 1 马尔特·施韦霍夫 1 亚历山大·萨默斯。 1 塔帕，拉坦·巴哈杜尔 1 Laurent Théry 1 范德波尔，扬·科内利斯 1 朱利安·瓦内格 1 托马斯·怀斯 1 费利克斯·A·沃尔夫。 1 张磊 1 朱慧彪 全部的 前5名10篇连载文章中引用 6 程序设计中的逻辑和代数方法杂志 4 计算机科学中的逻辑方法 三 理论计算机科学 2 计算的形式方面 1 自动推理杂志 1 分布式计算 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 美国计算机学会期刊 1 Modelirovanie i Analiz信息系统 全部的 前5名在6个字段中引用 42 计算机科学（68至XX） 27 数学逻辑和基础（03-XX） 1 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 概率论与随机过程（60-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文