编辑配置文件（在新选项卡中打开） 维克托·瓦菲亚迪斯 合著者距离 作者ID： vafeiadis.viktor公司 发布日期： 维克托·瓦菲亚迪斯 已编制索引的文档： 36出版物自2005年以来 合著者： 45位合著者具有30联合出版物 683合作作者 全部的 前5名合著者 6 单作者的 7 德里克·德雷尔（Derek R.Dreyer）。 7 奥里·拉哈夫 5 中基尔胡尔 5 弗朗西斯科·扎帕·纳德利 4 马修·帕金森。 4 彼得·休厄尔 三 马可·多科 三 阿列克桑达尔·纳内夫斯基 三 乔治·奈斯 2 梅尔·艾伦·威廉姆斯 2 查克拉博蒂，索姆 2 皮埃尔·哈布泽特 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 苏雷什·贾甘纳森 2 Kang，吉勋 2 尼拉坎坦·R·克里希纳斯瓦米。 2 詹姆斯·J·莱弗。 2 杜鹃花拉德 2 什耶夫切克，雅罗斯拉夫 2 阿里·塞兹金 2 基思·旺斯堡 2 贝塔·齐利安尼 1 帕罗什·阿齐兹·阿卜杜拉 1 穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 蒂鲍特·巴拉邦斯基 1 乔什·伯丁 1 克里斯蒂亚诺·卡尔加诺 1 拜伦·库克 1 多兹，迈克 1 冯新余 1 伊凡·加夫兰 1 詹纳拉基斯，尼克 1 阿德韦特·阿米特·戈博莱 1 阿列克谢·戈茨曼 1 尼尔·赫默德 1 Jan-Oliver凯撒 1 阿迪蒂亚·卡纳德 1 金永生（Kim，Yoonseung） 1 鲁帕克·马朱姆达尔 1 克雷格·麦克劳林。 1 罗宾·莫里塞特 1 菲利普·尼克西奇 1 Jean Pichon-Pharabod 1 诺姆·里内茨基 1 卡斯珀·斯文森 系列 2 函数编程杂志 1 美国医学会杂志 1 计算机科学中的逻辑方法 领域 36 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 1 有序，格，有序代数结构（06-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用266次172文件 引用人▼ 年份▼ 依赖/保证和分离逻辑的结合。 Zbl 1151.68556号 维克托·瓦菲亚迪斯;马修·帕金森 39 2007 参数化在共推证明中的作用。 Zbl 1301.68220号 中基尔胡尔;乔治·奈斯;德雷克·德雷尔;维克托·瓦菲亚迪斯 28 2013 针对细粒度并发的模块化安全检查。 Zbl 1211.68082号 克里斯蒂亚诺·加尔卡尼奥;马修·帕金森;维克托·瓦菲亚迪斯 22 2007 一种有前途的松弛内存并发语义。 Zbl 1380.68103号 Kang、Jeehoon;中基尔胡尔;奥里·拉哈夫;维克托·瓦菲亚迪斯;德雷克·德雷尔 16 2017 Owicki-Gries对弱记忆模型的推理。 Zbl 1440.68046号 奥里·拉哈夫;维克托·瓦菲亚迪斯 14 2015 CompCertTSO:一个经过验证的编译器，用于松弛内存并发。 Zbl 1281.68072号 什耶夫切克，雅罗斯拉夫;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔 14 2013 拒绝担保理由。 Zbl 1234.68075号 多兹，迈克;冯新宇;马修·帕金森;维克托·瓦菲亚迪斯 12 2009 证明非阻塞算法不会阻塞。 兹比尔1315.68093 阿列克谢·戈茨曼;拜伦·库克;马修·帕金森;维克托·瓦菲亚迪斯 12 2009 相互模拟和克里普克逻辑关系的结合。 Zbl 1321.68198号 中基尔胡尔;德雷克·德雷尔;乔治·奈斯;维克托·瓦菲亚迪斯 11 2012 并发分离逻辑和操作语义。 Zbl 1342.68104号 维克托·瓦菲亚迪斯 9 2011 面向方面的线性化能力证明。 Zbl 1390.68213号 托马斯·亨辛格（Thomas A.Henzinger）。;阿里·塞兹金;维克托·瓦菲亚迪斯 8 2013 急性：分布式计算的高级编程语言设计。 Zbl 1125.68023号 彼得·休厄尔;詹姆斯·J·莱弗。;基思·旺斯堡;弗朗西斯科·扎帕·纳德利;梅尔·艾伦·威廉姆斯;皮埃尔·哈布泽特;维克托·瓦菲亚迪斯 7 2007 用于验证线性化能力的形值抽象。 Zbl 1206.68103号 维克托·瓦菲亚迪斯 7 2009 C11内存围栏的程序逻辑。 Zbl 1475.68083号 马可·多科;维克托·瓦菲亚迪斯 7 2016 缓和释放-获得一致性。 Zbl 1347.68086号 奥里·拉哈夫;尼克·吉安娜拉基斯;维克托·瓦菲亚迪斯 6 2016 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1323.68236号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 6 2013 一种有前途的语义的分离逻辑。 Zbl 1422.68037号 卡斯珀·斯文森;Jean Pichon-Pharabod;马可·多科;奥里·拉哈夫;维克托·瓦菲亚迪斯 6 2018 并发感知线性化能力的模块化验证。 Zbl 1394.68229号 大麻，尼尔;诺姆·里内茨基;维克托·瓦菲亚迪斯 5 2015 构造堆操作程序的验证。 Zbl 1312.68065号 阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯;乔什·伯丁 4 2010 Pilsner：一个经过合成验证的高阶命令式语言编译器。 Zbl 1360.68350号 乔治·奈斯;Chung Kil呼;Jan-Oliver凯撒;克雷格·麦克劳林;德雷克·德雷尔;维克托·瓦菲亚迪斯 4 2015 使用FSL++处理真实的放松并发。 Zbl 1485.68061号 马可·多科;维克托·瓦菲亚迪斯 4 2017 常见的编译器优化在C11内存模型中无效，我们可以做些什么。 Zbl 1345.68087号 维克托·瓦菲亚迪斯;蒂鲍特·巴拉邦斯基;查克拉博蒂，索姆;罗宾·莫里塞特;弗朗西斯科·扎帕·纳德利 三 2015 用程序转换解释放松的内存模型。 Zbl 1427.68048号 奥里·拉哈夫;维克托·瓦菲亚迪斯 三 2016 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1420.68189号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 三 2015 放松内存并发和验证编译。 Zbl 1284.68152号 雅罗斯拉夫·埃夫切克;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔 三 2011 急性：分布式计算的高级编程语言设计。 Zbl 1302.68071号 彼得·休厄尔;詹姆斯·J·莱弗。;基思·旺斯堡;弗朗西斯科·扎帕·纳德利;梅尔·艾伦·威廉姆斯;皮埃尔·哈布泽特;维克托·瓦菲亚迪斯 2 2005 单独编译的轻量级验证。 Zbl 1347.68085号 Kang、Jeehoon;金永生（Kim，Yoonseung）;中基尔胡尔;德雷克·德雷尔;维克托·瓦菲亚迪斯 2 2016 RGSep动作推断。 Zbl 1273.68243号 维克托·瓦菲亚迪斯 2 2010 面向方面的线性化能力证明。 Zbl 1391.68023号 查克拉博蒂，索姆;托马斯·亨辛格（Thomas A.Henzinger）。;阿里·塞兹金;维克托·瓦菲亚迪斯 2 2015 可调参考。 Zbl 1317.68234号 维克托·瓦菲亚迪斯 2 2013 异步程序的可靠性/保证推理。 兹比尔1374.68104 伊凡·加夫兰;菲利普·尼克西奇;阿迪蒂亚·卡纳德;鲁帕克·马朱姆达尔;维克托·瓦菲亚迪斯 1 2015 PS 2.0下验证的可判定性。 兹比尔1474.68187 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;阿德瓦伊·戈博莱;克里希纳，S。;维克托·瓦菲亚迪斯 1 2021 关于快照隔离的语义。 Zbl 1522.68290号 杜鹃花拉德;奥里·拉哈夫;维克托·瓦菲亚迪斯 1 2019 PS 2.0下验证的可判定性。 Zbl 1474.68187号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;阿德瓦伊·戈博莱;克里希纳，S。;维克托·瓦菲亚迪斯 1 2021 关于快照隔离的语义。 Zbl 1522.68290号 杜鹃花拉德;奥里·拉哈夫;维克托·瓦菲亚迪斯 1 2019 一种有前途的语义的分离逻辑。 Zbl 1422.68037号 卡斯珀·斯文森;Jean Pichon-Pharabod;马可·多科;奥里·拉哈夫;维克托·瓦菲亚迪斯 6 2018 一种有前途的松弛内存并发语义。 Zbl 1380.68103号 Kang、Jeehoon;中基尔胡尔;奥里·拉哈夫;维克托·瓦菲亚迪斯;德雷克·德雷尔 16 2017 使用FSL++处理真实的放松并发。 Zbl 1485.68061号 马可·多科;维克托·瓦菲亚迪斯 4 2017 C11内存围栏的程序逻辑。 Zbl 1475.68083号 马可·多科;维克托·瓦菲亚迪斯 7 2016 缓和释放-获得一致性。 Zbl 1347.68086号 奥里·拉哈夫;尼克·吉安娜拉基斯;维克托·瓦菲亚迪斯 6 2016 用程序转换解释放松的内存模型。 Zbl 1427.68048号 奥里·拉哈夫;维克托·瓦菲亚迪斯 三 2016 单独编译的轻量级验证。 Zbl 1347.68085号 Kang、Jeehoon;金永成;中基尔胡尔;德雷克·德雷尔;维克托·瓦菲亚迪斯 2 2016 Owicki-Gries对弱记忆模型的推理。 兹比尔1440.68046 奥里·拉哈夫;维克托·瓦菲亚迪斯 14 2015 并发感知线性化能力的模块化验证。 兹比尔1394.68229 尼尔·赫默德;诺姆·里内茨基;维克托·瓦菲亚迪斯 5 2015 Pilsner：一种用于高阶命令式语言的经过组合验证的编译器。 Zbl 1360.68350号 乔治·奈斯;中基尔胡尔;Jan-Oliver凯撒;克雷格·麦克劳林;德雷克·德雷尔;维克托·瓦菲亚迪斯 4 2015 常见的编译器优化在C11内存模型中无效，我们可以做些什么。 Zbl 1345.68087号 维克托·瓦菲亚迪斯;蒂鲍特·巴拉邦斯基;查克拉博蒂，索姆;罗宾·莫里塞特;弗朗西斯科·扎帕·纳德利 三 2015 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1420.68189号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 三 2015 面向方面的线性化能力证明。 Zbl 1391.68023号 查克拉博蒂，索姆;托马斯·亨辛格（Thomas A.Henzinger）。;阿里·塞兹金;维克托·瓦菲亚迪斯 2 2015 异步程序的可靠性/保证推理。 Zbl 1374.68104号 伊凡·加夫兰;菲利普·尼克西奇;阿迪蒂亚·卡纳德;鲁帕克·马朱姆达尔;维克托·瓦菲亚迪斯 1 2015 参数化在共推证明中的作用。 Zbl 1301.68220号 中基尔胡尔;乔治·奈斯;德雷克·德雷尔;维克托·瓦菲亚迪斯 28 2013 CompCertTSO:一个经过验证的编译器，用于松弛内存并发。 Zbl 1281.68072号 什耶夫切克，雅罗斯拉夫;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔 14 2013 面向方面的线性化能力证明。 Zbl 1390.68213号 托马斯·亨辛格（Thomas A.Henzinger）。;阿里·塞兹金;维克托·瓦菲亚迪斯 8 2013 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1323.68236号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 6 2013 可调参考。 Zbl 1317.68234号 维克托·瓦菲亚迪斯 2 2013 共刺激和克里普克逻辑关系的结合。 Zbl 1321.68198号 中基尔胡尔;德雷克·德雷尔;格奥尔格·奈斯;维克托·瓦菲亚迪斯 11 2012 并发分离逻辑和操作语义。 Zbl 1342.68104号 维克托·瓦菲亚迪斯 9 2011 宽松的内存并发性和经过验证的编译。 Zbl 1284.68152号 雅罗斯拉夫·埃夫切克;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔 三 2011 构造堆操作程序的验证。 Zbl 1312.68065号 阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯;乔什·伯丁 4 2010 RGSep动作推断。 Zbl 1273.68243号 维克托·瓦菲亚迪斯 2 2010 拒绝保证推理。 Zbl 1234.68075号 多兹，迈克;冯新余;马修·帕金森;维克托·瓦菲亚迪斯 12 2009 证明非阻塞算法不会阻塞。 Zbl 1315.68093号 阿列克谢·戈茨曼;拜伦·库克;马修·帕金森;维克托·瓦菲亚迪斯 12 2009 用于验证线性化能力的形值抽象。 Zbl 1206.68103号 维克托·瓦菲亚迪斯 7 2009 依赖/保证和分离逻辑的结合。 Zbl 1151.68556号 维克托·瓦菲亚迪斯;马修·帕金森 39 2007 针对细粒度并发的模块化安全检查。 Zbl 1211.68082号 克里斯蒂亚诺·加尔卡尼奥;马修·帕金森;维克托·瓦菲亚迪斯 22 2007 急性：分布式计算的高级编程语言设计。 Zbl 1125.68023号 彼得·休厄尔;詹姆斯·J·莱弗。;基思·旺斯堡;弗朗西斯科·扎帕·纳德利;梅尔·艾伦·威廉姆斯;皮埃尔·哈布泽特;维克托·瓦菲亚迪斯 7 2007 急性：分布式计算的高级编程语言设计。 Zbl 1302.68071号 彼得·休厄尔;詹姆斯·J·莱弗。;基思·旺斯堡;弗朗西斯科·扎帕·纳德利;Allen Williams，梅尔;皮埃尔·哈布泽特;维克托·瓦菲亚迪斯 2 2005 所有引用出版物 前5名被引用出版物 全部的 前5名354位作者引用 9 康斯坦丁·埃纳 8 艾哈迈德·博阿贾尼 8 海克·卫尔海姆 7 布里杰什·多戈尔 6 Lars Birkedal公司 6 克利夫·琼斯。 6 格哈德·谢尔霍恩 5 佩德罗·达罗查·平托 5 德里克·德雷尔（Derek R.Dreyer）。 5 维克托·瓦菲亚迪斯 4 罗伯特·J·科尔文。 4 约翰·德里克 4 托马斯·丁斯代尔·扬 4 西蒙·多尔蒂 4 冯新余 4 菲利普·安·加德纳 4 侯哲 4 罗伯特·克雷伯斯 4 塞尔盖·伦格利特 4 斯科特·欧文斯 4 Damien Pous 4 阿文·费南托（Alwen Fernanto Tiu） 三 Beillahi、Sidi Mohamed 三 瑟·特凡·乔巴赫 三 弗朗西斯科·达尼诺 三 埃米，迈克尔 三 雅克·亨利·乔尔丹 三 拉尔夫·荣格 三 巴巴拉·科尼格 三 戴维·桑吉奥吉 三 彼得·休厄尔 三 乔治·斯特鲁斯 三 奥列格·特拉夫金 三 张瑜 2 帕罗什·阿齐兹·阿卜杜拉 2 安德烈亚斯·阿贝尔（Andreas M.Abel）。 2 哈桑·阿姆贾德 2 穆罕默德·法乌齐（Mohamed Faouzi Atig） 2 杰斯珀·本特森 2 弗雷德里克·贝松 2 Dariusz Biernacki 2 阿列舍·比兹亚克 2 布兰奇，桑德琳 2 菲利波·邦奇 2 理查德·博纳特 2 詹姆斯·布罗瑟斯顿 2 大卫·卡切拉 2 阿曼多·卡斯塔涅达 2 肯塔·乔 2 萨迪·达尔瓦迪 2 德尔芬·德曼吉 2 Stéphane P.德姆里。 2 Deters，摩根 2 Daniel Schnetzer，法瓦 2 傅明 2 阿列克谢·戈茨曼 2 贾德·哈姆扎 2 一郎·哈索 2 伊恩·海斯。 2 彼得·霍夫纳 2 苏雷什·贾甘纳森 2 Toshiki Kataoka 2 奥里·拉哈夫 2 刘，杨 2 安德烈亚斯·洛赫比勒 2 格雷戈里·马莱查 2 伯恩哈德·莫勒 2 托比·默里 2 阿列克桑达尔·纳内夫斯基 2 马可·帕特里格纳尼 2 古斯塔沃·佩特里 2 Daniela Luan Petrisan 2 大卫·皮哈迪 2 碧姬·品特卡 2 Ken G.皮尔斯。 2 彼得·波列修克 2 沃尔夫冈·雷夫 2 安德烈亚斯·罗斯伯格 2 格里高·罗什乌 2 弗拉德·鲁苏 2 大卫·萨南 2 亚历杭德罗·桑切斯。 2 塞萨尔·桑切斯 2 史蒂文·施费尔 2 阿兰·施密特 2 邵，钟 2 格雷姆·史密斯 2 索索、马蒂厄 2 Jean-Bernard斯特凡尼 2 马丁·斯特芬 2 沃尔克·斯托尔茨 2 博格丹·托凡 2 维泰克，简 2 皮埃尔·威尔克 2 尼桑萨拉·亚塔帕纳奇 2 扬尼克·扎科夫斯基 2 弗朗西斯科·扎帕·纳德利 2 贝塔·齐利安尼 2 埃琳娜·祖卡 1 卡明·阿巴特 …还有254名作者 全部的 前5名26篇连载文章中引用 12 自动推理杂志 11 计算的形式方面 10 函数编程杂志 9 程序设计中的逻辑和代数方法杂志 8 计算机科学中的逻辑方法 4 理论计算机科学 三 信息与计算 三 系统设计中的形式化方法 三 ACM计算逻辑事务 2 信息学报 2 MSCS公司。计算机科学中的数学结构 2 数学与人工智能年鉴 2 计算机语言、系统和结构 2 计算机科学前沿 1 哲学逻辑杂志 1 计算机程序设计科学 1 新一代计算 1 国际计算机科学基础杂志 1 分布式计算 1 应用非经典逻辑杂志 1 美国医学会杂志 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 算法 1 RAIRO公司。理论信息学及其应用 1 中国计算机科学前沿 全部的 前5名在7个字段中引用 168 计算机科学（68至XX） 57 数学逻辑和基础（03-XX） 三 有序，格，有序代数结构（06-XX） 三 范畴理论；同调代数（18-XX） 2 一般代数系统（08-XX） 2 信息与通信理论、电路（94-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文