编辑配置文件（在新选项卡中打开） 萨姆·奥雷 合著者距离 作者ID： 欧弗雷萨姆 发布日期： 萨姆·奥雷;Owre，S。 已编制索引的文档： 12出版物自2000年起 合著者： 25位合著者具有12联合出版物 440位合作作者 全部的 前5名合著者 0 单作者的 8 Natarajan Shankar 4 哈拉尔街 2 莱昂纳多·德·莫拉 2 布里兰·希塔吉 2 约翰·拉什比 2 是的，埃里克 1 安德鲁·亚当斯（Andrew A.Adams）。 1 萨德克·本萨勒姆 1 西蒙·克鲁恩斯 1 马丁·邓斯坦 1 Jean-Christophe Filliátre 1 汉内·戈特利布森 1 约翰·海丝特 1 斯迪恩·海曼斯 1 汤姆·凯尔西 1 迈克尔·科尔哈斯 1 亚辛·拉赫内奇 1 乌苏拉·马丁 1 伊恩·梅森。 1 米勒，丹尼斯 1 帕斯莫尔，格兰特·奥尼 1 梅纳·奎梅纳 1 弗洛里安·拉贝 1 玛丽亚·索里亚 1 阿什什·库马尔·蒂瓦里 系列 领域 12 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用79次76文件 引用人▼ 年份▼ ICS：集成标准化器和求解器。 Zbl 0996.68559号 Jean-Christophe Filliátre;萨姆·奥雷;哈拉尔德街;Natarajan Shankar 19 2001 计算机代数满足自动定理证明：集成Maple和PVS。 Zbl 1005.68997号 亚当斯，安德鲁;马丁·邓斯坦;汉内·戈特利布森;汤姆·凯尔西;乌苏拉·马丁;萨姆·奥雷 14 2001 SAL 2。 Zbl 1103.68644号 莱昂纳多·德·莫拉;萨姆·奥雷;哈拉尔德街;约翰·拉什比;北卡罗来纳州Shankar。;玛丽亚·索里亚;蒂瓦里，阿什 13 2004 内嵌扣除的ICS决策程序。 Zbl 1126.68575号 莱昂纳多·德·莫拉;萨姆·奥雷;哈拉尔德街;约翰·拉什比;Natarajan Shankar 12 2004 PVS中的分型原则和语用学。 Zbl 0966.68515号 Natarajan Shankar;萨姆·奥雷 7 2000 PVS的简要概述。 Zbl 1165.68468号 萨姆·奥雷;Natarajan Shankar 7 2008 通过抽象进行增量验证。 Zbl 0978.68543号 Y.Lakhnech。;Bensalem，S。;S·别列津。;Owre，S。 三 2001 将WS1S与PVS集成。 Zbl 0974.68557号 萨姆·奥雷;哈拉尔德街 2 2000 通过通用格式的口译，使通用服务可以访问PVS。 Zbl 1484.68311号 迈克尔·科尔哈斯;米勒，丹尼斯;萨姆·奥雷;弗洛里安·拉贝 2 2017 通过通用格式的口译，使通用服务可以访问PVS。 Zbl 1484.68311号 迈克尔·科尔哈斯;米勒，丹尼斯;萨姆·奥雷;弗洛里安·拉贝 2 2017 PVS的简要概述。 Zbl 1165.68468号 萨姆·奥雷;Natarajan Shankar 7 2008 SAL 2。 Zbl 1103.68644号 莱昂纳多·德·莫拉;萨姆·奥雷;哈拉尔德街;约翰·拉什比;Shankar，北卡罗来纳州。;玛丽亚·索里亚;阿什什·蒂瓦里 13 2004 内嵌扣除的ICS决策程序。 Zbl 1126.68575号 莱昂纳多·德·莫拉;萨姆·奥雷;哈拉尔德街;约翰·拉什比;Natarajan Shankar 12 2004 ICS：集成的规范化器和求解器。 Zbl 0996.68559号 Jean-Christophe Filliátre;萨姆·奥雷;哈拉尔街;Natarajan Shankar 19 2001 计算机代数满足自动定理证明：集成Maple和PVS。 Zbl 1005.68997号 安德鲁·亚当斯;马丁·邓斯坦;汉内·戈特利布森;汤姆·凯尔西;乌苏拉·马丁;萨姆·奥雷 14 2001 通过抽象进行增量验证。 Zbl 0978.68543号 Y.Lakhnech。;Bensalem，S。;S·别列津。;Owre，S。 三 2001 PVS中的分型原则和语用学。 Zbl 0966.68515号 Natarajan Shankar;萨姆·奥雷 7 2000 将WS1S与PVS集成。 Zbl 0974.68557号 萨姆·奥雷;哈拉尔德街 2 2000 所有引用出版物 前5名被引用出版物 全部的 前5名158位作者引用 9 克里希纳·苏布拉马尼 5 Natarajan Shankar 三 罗伯特·布鲁托梅索 三 亚历山德罗·西马蒂 三 罗伯托·塞巴斯蒂亚尼 三 斯特里赫曼（Ofer Strichman） 三 Wojciechowski，Piotr J。 2 亚历山德罗·阿曼多 2 克拉克·W·巴雷特。 2 马尔科·博扎诺 2 拉玛斯瓦米·钱德拉塞卡兰 2 Sylvain Conchon公司 2 恩里科·金西格里亚 2 汉内·戈特利布森 2 汤米·A·琼蒂拉。 2 迈克尔·科尔哈斯 2 丹尼尔·科宁 2 李丽明 2 马可·马拉提亚 2 马丁·厄休拉 2 贾纳丹·库马尔·米斯拉 2 弗洛里安·拉贝 2 罗伊，苏曼 2 玛丽亚·索里亚 2 索菲涅·塔哈尔 2 彼得·范·罗苏姆 2 马修·威廉姆森 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 保罗·C·阿蒂。 1 安德烈亚·博尔赫斯·艾弗拉尔 1 毛里西奥·阿亚拉·林科恩 1 巴哈雷赫巴德班 1 珍妮特·巴恩斯 1 布鲁诺·巴拉斯 1 David A.Basin。 1 萨德克·本萨勒姆 1 布鲁诺·伯纳多 1 阿明·比尔 1 安·布兰德福德 1 马吕斯·博兹加 1 塞尔默布林斯乔尔 1 迈克尔·巴特勒。 1 安德烈亚·卡尔瓦格纳 1 克劳迪奥·卡斯泰里尼 1 罗德里克·查普曼 1 伊芙琳·孔特让 1 安德鲁·库克。 1 蒂埃里·科昆德 1 大卫·J·柯里。 1 保罗·库松 1 德利马，塔纳拉·阿里利 1 莱昂纳多·德·莫拉 1 大卫·德拉哈耶 1 吉莉安·多比 1 加布里埃尔·多斯·里斯 1 Gilles Dowek 1 Cvetan Dunchev公司 1 比尔·J·埃利斯。 1 埃斯特勒·H·克里斯蒂安 1 尼尔·D·埃文斯。 1 方，易 1 冯秀山 1 安德斯·弗朗森 1 马丁·范策尔 1 藤田正弘 1 安德烈·路易斯·加尔迪诺 1 安吉洛·加甘蒂尼 1 克里斯·乔治（Chris W.George）。 1 本杰明·戈德伯格 1 戈文达拉哈卢鲁，纳文森达尔 1 阿尔贝托·格里乔 1 林赛·格罗夫斯。 1 顾，明 1 顾晓峰 1 关勇 1 苏米特·古尔瓦尼 1 露丝·哈迪 1 何开多 1 马蒂亚斯·海兹曼 1 凯乔·赫尔扬科 1 乔纳森·赫拉斯 1 克里斯蒂安·赫尔德 1 Jochen Hoenicke公司 1 胡亚伦·J·。 1 胡，英 1 艾达、铁雄 1 爱尔兰，安德鲁 1 塞萨里·卡利西克 1 约翰内斯·卡尼格 1 汤姆·凯尔西 1 萨纳兹·汗·阿夫沙尔 1 萨瓦斯·科努尔 1 萨瓦·A·克里斯蒂。 1 拉马纳·库马尔 1 Kuruma、Hironobu 1 马克·关 1 李，斯科特·尤金 1 莱斯库耶，圣菲 1 罗伯特·刘易斯。 1 李，李 …还有58位作者 全部的 前5名23篇连载文章中引用 8 自动推理杂志 6 计算的形式方面 6 系统设计中的形式化方法 4 理论计算机科学 4 信息与计算 4 数学与人工智能年鉴 2 符号计算杂志 1 离散应用数学 1 计算机与系统科学杂志 1 符号逻辑杂志 1 合成 1 计算机程序设计科学 1 国际并行程序设计杂志 1 工程、通信和计算中的应用代数 1 应用非经典逻辑杂志 1 函数编程杂志 1 工程中的数学问题 1 逻辑与代数程序设计杂志 1 离散优化 1 浙江大学学报。科学A 1 计算机科学前沿 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在16个字段中引用 70 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 6 运筹学、数学规划（90-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 有序，格，有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 结合环与代数（16-XX） 1 范畴理论；同调代数（18-XX） 1 群论与推广（20-XX） 1 数值分析（65-XX） 1 相对论和引力理论（83至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文