编辑配置文件(在新选项卡中打开) Jean Pichon-Pharabod 合著者距离 作者ID: 比雄-巴拉博德牛仔 发布日期: Jean Pichon-Pharabod 已编制索引的文档: 3出版物自2015年起 合著者: 7合著者具有3联合出版物 174位合作作者 全部的 前5名合著者 0 单作者的 2 卡斯珀·斯文森 1 Lars Birkedal公司 1 马可·多科 1 奥里·拉哈夫 1 彼得·休厄尔 1 菲利普·西奇科夫斯基 1 维克托·瓦菲亚迪斯 系列 字段 三 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用16中的次15文件 引用人▼ 年份▼ 放松原子的并发语义,允许优化并避免执行thin-air。 Zbl 1347.68091号 皮琼·法拉博德;彼得·休厄尔 8 2016 一种有前途的语义的分离逻辑。 Zbl 1422.68037号 卡斯珀·斯文森;皮琼·法拉博德;马可·多科;奥里·拉哈夫;维克托·瓦菲亚迪斯 6 2018 虚构序列一致性的分离逻辑。 Zbl 1335.68068号 菲利普·西奇科夫斯基;卡斯珀·斯文森;Lars Birkedal公司;Jean Pichon-Pharabod 2 2015 一种有前途的语义的分离逻辑。 Zbl 1422.68037号 卡斯珀·斯文森;Jean Pichon-Pharabod;马可·多科;奥里·拉哈夫;维克托·瓦菲亚迪斯 6 2018 放松原子的并发语义,允许优化并避免执行thin-air。 Zbl 1347.68091号 Jean Pichon-Pharabod;彼得·休厄尔 8 2016 虚构序列一致性的分离逻辑。 Zbl 1335.68068号 菲利普·西奇科夫斯基;卡斯珀·斯文森;Lars Birkedal公司;Jean Pichon-Pharabod 2 2015 所有引用出版物 前5名被引用出版物 全部的 前5名31位作者引用 4 Dongol,布里耶什 4 海克·卫尔海姆 三 保罗·巴尔丹 三 西蒙·多尔蒂 三 维克托·瓦菲亚迪斯 2 萨迪·达尔瓦迪 2 Daniel Schnetzer,法瓦 2 马丁·斯特芬 2 沃尔克·斯托尔茨 1 帕罗什·阿齐兹·阿卜杜拉 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 劳拉·巴格曼 1 马克·巴蒂 1 罗伯特·J·科尔文。 1 西蒙·库克西 1 安德烈亚·科拉迪尼 1 约翰·德里克 1 马可·多科 1 法比奥·加杜奇 1 阿德韦特·阿米特·戈博莱 1 丹尼尔·戈拉 1 桑卡拉·纳拉亚南·克里希纳 1 奥里·拉哈夫 1 亨德里克·马兰德 1 斯科特·欧文斯 1 托马索·帕多安 1 阿努克·帕拉迪斯 1 马尔科·帕维奥蒂 1 亚历山德拉·拉斐塔 1 伊万诺·萨尔沃 1 塔尔莫乌斯塔卢 5篇连载文章中引用 2 信息与计算 2 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 1 自动推理杂志 1 ACM计算逻辑事务 在2个字段中引用 15 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 按年份列出的引文