编辑配置文件（在新选项卡中打开） 马修·罗比 合著者距离 作者ID： 罗比·马修 发布日期： 罗比;马修·罗比 已编制索引的文档： 6出版物自2000年起 合著者： 8位合著者具有6联合出版物 116位合作作者 全部的 前5名合著者 0 单作者的 6 马修·德怀尔。 6 约翰·哈特克利夫 1 詹姆斯·科贝特（James C.Corbett）。 1 马修·胡西尔 1 拉杜·奥西夫 1 科琳娜·s·佩斯勒诺。 1 Ranganath，文卡特什·普拉萨德 1 埃德温·罗德里格斯 系列 1 系统设计中的形式化方法 领域 6 计算机科学（68至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用14中的次12文件 引用人▼ 年份▼ 表示动态软件可检查属性的语言框架。 Zbl 0976.68536号 詹姆斯·科贝特（James C.Corbett）。;马修·德怀尔。;约翰·哈特克利夫;罗比 4 2000 在并行面向对象程序的部分顺序缩减中利用对象转义和锁定信息。 Zbl 1090.68020号 马修·德怀尔。;约翰·哈特克利夫;罗比;Ranganath，文卡特什·普拉萨德 4 2004 Bandera抽象工具的基础。 Zbl 1026.68511号 约翰·哈特克利夫;马修·德怀尔。;科琳娜·s·佩斯勒诺。;罗比 三 2002 模型检查动态软件的空间缩减策略。 兹比尔1271.68097 罗比;马修·德怀尔。;约翰·哈特克利夫;拉杜·奥西夫 2 2003 使用可扩展的软件模型检查框架检查强规范。 Zbl 1126.68356号 罗比;埃德温·罗德里格斯;马修·德怀尔。;约翰·哈特克利夫 1 2004 在并行面向对象程序的部分顺序缩减中利用对象转义和锁定信息。 Zbl 1090.68020号 马修·德怀尔。;约翰·哈特克利夫;罗比;Ranganath，文卡特什·普拉萨德 4 2004 使用可扩展的软件模型检查框架检查强规范。 Zbl 1126.68356号 罗比;埃德温·罗德里格斯;马修·德怀尔。;约翰·哈特克利夫 1 2004 模型检查动态软件的空间缩减策略。 Zbl 1271.68097号 罗比;马修·德怀尔。;约翰·哈特克利夫;拉杜·奥西夫 2 2003 Bandera抽象工具的基础。 Zbl 1026.68511号 约翰·哈特克利夫;马修·德怀尔。;科琳娜·s·佩斯勒诺。;罗比 三 2002 表示动态软件可检查属性的语言框架。 Zbl 0976.68536号 詹姆斯·科贝特（James C.Corbett）。;马修·德怀尔。;约翰·哈特克利夫;罗比 4 2000 所有引用的出版物 前5名被引用出版物 全部的 前5名30位作者引用 2 斯蒂芬·西格尔（Stephen F.Siegel）。 1 玛丽亚·阿尔普特 1 伯恩哈德·贝克特 1 玛丽亚·德尔马·加拉多 1 马修·德怀尔。 1 阿扎德法尔赞 1 奥尔纳·格伦伯格 1 亨宁·Günther 1 古罗夫，帝力 1 约翰·哈特克利夫 1 玛丽克·赫斯曼 1 Thuan Quang Huynh 1 拉杜·奥西夫 1 弗拉基米尔·克莱巴诺夫 1 阿尔芬斯·拉尔曼（Alfons W.Laarman）。 1 伦纳德·伦辛克 1 何塞·梅塞盖尔·瓜伊塔 1 埃内斯托·皮门特尔 1 阿比克·罗伊乔杜里 1 斯梅特泽斯，沙克 1 安娜·索科洛娃 1 克里斯托夫·斯普伦格 1 米格尔·瓦莱罗·埃斯帕达 1 范德波尔，扬·科内利斯 1 马克·范·埃克伦 1 伯纳德·范加斯特尔 1 艾丽西亚·维拉纽埃娃 1 乔治·威森巴赫 1 Karen约拉夫 1 蒂莫西·齐科尔。 全部的 前5名7篇连载文章中引用 4 系统设计中的形式化方法 1 理论计算机科学 1 计算机程序设计科学 1 信息与计算 1 计算的形式方面 1 逻辑与代数程序设计杂志 1 计算机科学中的数学 在3个字段中引用 12 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 按年份列出的引文