编辑配置文件(在新选项卡中打开) 加文·洛 合著者距离 作者ID: 低格文 发布日期: 加文·洛 已编制索引的文档: 22出版物自1995年起 1名编辑贡献 合著者: 16位合著者具有12联合出版物 244位合作作者 全部的 前5名合著者 11 单作者的 2 克里斯蒂·博尔顿 2 托马斯·马祖 1 亚历山德罗·阿曼多 1 盖伊·H·布罗德富特。 1 菲利普·布罗德富特 1 古斯塔沃·卡瓦略 1 莎朗·柯蒂斯(Sharon A.Curtis)。 1 吉姆·戴维斯 1 托马斯·吉布森·罗宾逊 1 菲利普·霍普克罗夫特。 1 托比·默里 1 西德尼·诺盖拉 1 科林·奥哈洛兰 1 乔尔·欧·瓦克宁。 1 戈登·托马斯·罗尔梅尔 1 奥古斯托·桑帕约。 全部的 前5名系列 4 理论计算机科学 2 计算的形式方面 1 信息处理信件 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 分布式计算 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 领域 22 计算机科学(68至XX) 三 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用87中的次85文件 引用人▼ 年份▼ 对Needham-Schoreder公钥身份验证协议的攻击。 Zbl 0875.94114号 加文·洛 35 1995 用图表证明。 兹比尔0852.68070 莎朗·柯蒂斯;加文·洛 12 1996 定时CSP的概率和优先级模型。 Zbl 0874.68163号 加文·洛 12 1995 通信过程规范:时序逻辑与基于拒绝的细化。 Zbl 1149.68056号 加文·洛 8 2008 关于时间模型和完全抽象。 兹比尔1273.68262 加文·洛;约尔·瓦克宁 7 2006 基于故障的模型层次结构。 兹比尔1271.68129 克里斯蒂·博尔顿;加文·洛 三 2004 信息流的语义模型。 Zbl 1072.68060号 加文·洛 2 2004 基于失效模型的层次结构:理论与应用。 Zbl 1078.68104号 克里斯蒂·博尔顿;加文·洛 2 2005 使用CSP分析无锁线性化数据类型。 Zbl 1485.68153号 加文·洛 2 2017 无锁并发二项式堆。 Zbl 1400.68063号 加文·洛 1 2018 关于精化闭安全属性和不确定性组合。 Zbl 1335.68179号 托比·默里;加文·洛 1 2009 运行进程的多个副本的CSP优化测试。 Zbl 1339.68169号 加文·洛 1 2009 具有组件标识的系统的视图抽象。 Zbl 1460.68063号 加文·洛 1 2018 无锁并发二项式堆。 Zbl 1400.68063号 加文·洛 1 2018 具有组件标识的系统的视图抽象。 Zbl 1460.68063号 加文·洛 1 2018 使用CSP分析无锁线性化数据类型。 Zbl 1485.68153号 加文·洛 2 2017 关于精化的闭安全性质和不确定性组合。 Zbl 1335.68179号 托比·默里;洛维,加文 1 2009 运行进程的多个副本的CSP优化测试。 Zbl 1339.68169号 加文·洛 1 2009 通信过程规范:时序逻辑与基于拒绝的细化。 Zbl 1149.68056号 加文·洛 8 2008 关于时间模型和完全抽象。 Zbl 1273.68262号 加文·洛;约尔·瓦克宁 7 2006 基于失效模型的层次结构:理论与应用。 Zbl 1078.68104号 克里斯蒂·博尔顿;加文·洛 2 2005 基于故障的模型层次结构。 Zbl 1271.68129号 克里斯蒂·博尔顿;加文·洛 三 2004 信息流的语义模型。 Zbl 1072.68060号 加文·洛 2 2004 用图表证明。 Zbl 0852.68070号 莎朗·柯蒂斯;加文·洛 12 1996 对Needham-Schoreder公钥身份验证协议的攻击。 Zbl 0875.94114号 洛维,加文 35 1995 定时CSP的概率和优先级模型。 Zbl 0874.68163号 加文·洛 12 1995 所有引用出版物 前5名被引用出版物 全部的 前5名149位作者引用 7 安德鲁·威廉·罗斯科 7 Paulo Augusto S.维洛索。 7 Sheila R.M.维洛索。 6 加文·洛 5 彼得鲁西奥·维亚纳 4 de Freitas、Renata P。 三 安娜·卡瓦尔坎蒂 三 安德烈亚·福米萨诺 三 杰里米·吉本斯 三 拉尔夫·库斯特斯 三 Peter Y.H.Wong。 2 卡梅尔·阿迪 2 詹姆斯·巴克斯特 2 贝内维特斯,马里奥·R·F·。 2 马可·贝尔纳多 2 穆拉德·德巴比 2 约翰·德里克 2 高基町五指 2 卡罗尔·C·摩根。 2 托比·默里 2 玛丽安娜·尼科洛西·阿斯蒙多 2 Kazuhiro绪方 2 施耐德(Steve A.Schneider)。 2 埃米利奥·托斯托 2 托马斯·威尔克 2 詹姆斯·C·P·伍德科克。 1 阿卜杜拉扎克·阿巴 1 毛里西奥·阿亚拉·林科恩 1 白英才 1 卡尔蒂基扬·巴尔干 1 阿比舍克省比什哈瓦特 1 吉安卡洛·比吉 1 Eerke A.Boiten。 1 博尔顿,克里斯蒂 1 马可·波扎诺 1 安德烈亚·克拉克,布拉切利 1 兰·卡内蒂 1 塞缪尔·卡纳姆 1 坎通纳,多梅尼科 1 马西娅·塞里奥利。 1 哈利勒·查利塔 1 陈火旺 1 詹姆斯·切尼 1 亚尼克·骑士 1 兰斯·克莱维兰 1 鲍勃·科克 1 科菲,汤姆 1 休伯特·科蒙·隆德 1 洛科·德尼古拉 1 斯特凡尼德劳恩 1 乔治·德尔扎诺 1 邓玉欣 1 雷纳·多扬 1 布里杰什·多戈尔 1 丹尼尔·多尔蒂(Daniel J.Dougherty)。 1 尼尔·D·埃文斯。 1 Mehran S·法拉。 1 卡斯滕·弗里茨 1 马西耶·加兹达。 1 罗伯托·戈里埃里 1 让·古鲍特·拉雷克 1 克劳迪奥·古铁雷斯 1 约书亚·D·古特曼。 1 科内利亚·戈罗迪 1 菲利普·哈勒 1 轩尼诗,Matthew C.B。 1 霍尔格·赫尔曼斯 1 乔纳森·赫尔佐格。 1 乌尔里希·赫尔佐格 1 罗伯特·马克·海伦斯 1 托马斯·希尔德布兰特。 1 Hoang,泰国儿子 1 菲利普·霍普克罗夫特。 1 佩德拉姆·霍塞尼 1 黄、健 1 奥马尔·因弗索 1 杰里米·雅各布。 1 罗曼·贾维尔 1 安卡·尤尔克特 1 康·恩苏克 1 尼兰·卡尼克。 1 Joost-Pieter卡托恩 1 Marta Z.Kwiatkowska。 1 帕斯卡·拉福卡德 1 亚辛·拉赫内奇 1 杰·勒·佩宾 1 李孟军 1 李晓勇 1 李周军 1 刘东溪 1 雨果·A·洛佩兹。 1 米歇尔·洛雷蒂 1 丹尼斯·卢吉兹 1 伊拉里亚·马特尤奇 1 劳伦特·马扎雷 1 Annabelle K.McIver。 1 乔瓦尼·米奇 1 穆罕默德·梅杰里 1 埃尔南·梅尔格拉蒂 1 安德鲁·米罗诺夫。 …还有49位作者 全部的 前5名19篇连载文章中引用 16 理论计算机科学 6 计算的形式方面 4 信息与计算 4 逻辑与代数程序设计杂志 三 计算机程序设计科学 2 信息学报 2 RAIRO公司。理论信息学及其应用 2 程序设计中的逻辑和代数方法杂志 1 信息科学 1 符号逻辑杂志 1 软件。实践与经验 1 符号计算杂志 1 计算机科学与技术杂志 1 密码学杂志 1 应用非经典逻辑杂志 1 洛巴切夫斯基数学杂志 1 ACM计算逻辑事务 1 年鉴大学玛丽亚·居里-斯科·奥杜斯卡。第A1节。Informatica公司 1 形式化推理杂志 全部的 前5名在7个字段中引用 74 计算机科学(68至XX) 20 信息与通信理论、电路(94-XX) 16 数学逻辑和基础(03-XX) 2 范畴理论;同调代数(18-XX) 1 总体主题;集合(00-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文