编辑配置文件（在新选项卡中打开） 斯科特·欧文斯 合著者距离 作者ID： 欧文斯·斯科特 发布日期： 斯科特·欧文斯 外部链接： MGP公司·ORCID公司 已编制索引的文档： 20出版物自2005年以来 1名编辑贡献 合著者： 29位合著者具有19联合出版物 360位合作作者 全部的 前5名合著者 1 单作者的 7 玛格努斯·奥·米林。 5 拉马纳·库马尔 5 彼得·休厄尔 4 康拉德·斯林德 三 托马斯·里奇 三 萨卡，苏斯米特 三 弗朗西斯科·扎帕·纳德利 2 罗布·D·阿尔森。 2 马克·巴蒂 2 李国栋 2 迈克尔·诺里什 2 吉尔斯·佩斯金 2 斯特尼萨，洛克 1 伯恩，彼得 1 西蒙·库克西 1 段建军 1 马修·弗拉特 1 Anthony C.J.福克斯。 1 凯瑟琳·格雷（Kathryn E.Gray）。 1 赫德，乔 1 朱利亚诺·伊尤达 1 多米尼克·P·穆利根。 1 阿努克·帕拉迪斯 1 马尔科·帕维奥蒂 1 约翰·雷皮。 1 Tan，Yong Kiam先生 1 亚伦·约瑟夫·图伦 1 韦伯，特贾克 1 张俊兴 系列 4 函数编程杂志 1 自动推理杂志 1 计算的形式方面 1 高阶和符号计算 1 计算机科学讲义 领域 21 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用197中的次152文件 引用人▼ 年份▼ Cakeml，ML的验证实现。 Zbl 1284.68405号 拉马纳·库马尔;玛格努斯·奥·米林。;迈克尔·诺里什;斯科特·欧文斯 46 2014 重新检查正则表达式衍生工具。 Zbl 1163.68317号 斯科特·欧文斯;约翰·雷皮;亚伦·图伦 19 2009 对C++并发进行数学化。 Zbl 1284.68165号 马克·巴蒂;斯科特·欧文斯;萨卡，苏斯米特;彼得·休厄尔;韦伯，特贾克 18 2011 Ott：对工作语义的有效工具支持。 Zbl 1185.68201号 彼得·休厄尔;弗朗西斯科·扎帕·纳德利;斯科特·欧文斯;吉尔斯·佩斯金;托马斯·里奇;萨卡，苏斯米特;斯特尼萨，洛克 17 2010 高阶逻辑的自形式化。语义、可靠性和经过验证的实现。 Zbl 1356.68194号 拉马纳·库马尔;罗布·阿尔森;玛格努斯·奥·米林。;斯科特·欧文斯 13 2016 具有定义的HOL：语义、可靠性和经过验证的实现。 Zbl 1416.68167号 拉马纳·库马尔;罗布·阿尔森;玛格努斯·奥·米林。;斯科特·欧文斯 13 2014 将高阶逻辑转换为纯有状态ML的证明性翻译。 Zbl 1297.68053号 玛格努斯·奥·米林。;斯科特·欧文斯 13 2014 已验证的CakeML编译器后端。 Zbl 1493.68091号 金丹（Kiam Tan，Yong）;玛格努斯·奥·米林。;拉马纳·库马尔;安东尼·福克斯;斯科特·欧文斯;迈克尔·诺里什 12 2019 使功能程序适应高阶逻辑。 Zbl 1175.68103号 斯科特·欧文斯;康拉德·斯林德 8 2008 Ott，有效的工具支持工作语义。 Zbl 1291.68238号 彼得·休厄尔;弗朗西斯科·扎帕·纳德利;斯科特·欧文斯;吉尔斯·佩斯金;托马斯·里奇;萨卡，苏斯米特;斯特尼萨，洛克 8 2007 OCaml（_{light}）的合理语义。 Zbl 1133.68308号 斯科特·欧文斯 6 2008 算术和密码硬件的证明生成综合。 兹比尔1125.68048 康拉德·斯林德;斯科特·欧文斯;朱利亚诺·伊尤达;戈登，迈克 6 2007 弱内存并发中的模块化松散依赖。 Zbl 1508.68045号 马尔科·帕维奥蒂;西蒙·库克西;阿努克·帕拉迪斯;丹尼尔·赖特;斯科特·欧文斯;马克，巴蒂 5 2020 高阶逻辑子集的证明编译器的结构。 Zbl 1187.68141号 李国栋;斯科特·欧文斯;康拉德·斯林德 5 2007 加密算法的功能正确性证明。 Zbl 1143.68391号 段建军;赫德，乔;李国栋;斯科特·欧文斯;康拉德·斯林德;张俊兴 2 2005 Lem：真实世界语义的可重用工程。 Zbl 1346.68123号 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷（Kathryn E.Gray）。;汤姆·里奇;彼得·休厄尔 2 2014 验证HOL Light实现的步骤。 Zbl 1317.68225号 玛格努斯·奥·米林。;斯科特·欧文斯;拉马纳·库马尔 2 2013 从高阶逻辑证明ML的合成。 Zbl 1291.68364号 玛格努斯·奥·米林。;斯科特·欧文斯 2 2012 弱内存并发中的模块化松散依赖。 Zbl 1508.68045号 马可·帕维奥蒂;西蒙·库克西;阿努克·帕拉迪斯;丹尼尔·赖特;斯科特·欧文斯;马克，巴蒂 5 2020 已验证的CakeML编译器后端。 Zbl 1493.68091号 金丹（Kiam Tan，Yong）;玛格努斯·奥·米林。;拉马纳·库马尔;安东尼·福克斯;斯科特·欧文斯;迈克尔·诺里什 12 2019 高阶逻辑的自形式化。语义、可靠性和经过验证的实现。 Zbl 1356.68194号 拉马纳·库马尔;罗布·阿尔森;玛格努斯·奥·米林。;斯科特·欧文斯 13 2016 Cakeml，ML的验证实现。 Zbl 1284.68405号 拉马纳·库马尔;玛格努斯·奥·米林。;迈克尔·诺里什;斯科特·欧文斯 46 2014 带定义的HOL：语义、可靠性和经过验证的实现。 Zbl 1416.68167号 拉马纳·库马尔;罗布·阿尔森;玛格努斯·奥·米林。;斯科特·欧文斯 13 2014 将高阶逻辑转换为纯有状态ML的证明性翻译。 Zbl 1297.68053号 玛格努斯·奥·米林。;斯科特·欧文斯 13 2014 Lem：真实世界语义的可重用工程。 Zbl 1346.68123号 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷（Kathryn E.Gray）。;汤姆·里奇;彼得·休厄尔 2 2014 验证HOL Light实现的步骤。 Zbl 1317.68225号 玛格努斯·奥·米林。;斯科特·欧文斯;拉马纳·库马尔 2 2013 从高阶逻辑生成ML的证明合成。 Zbl 1291.68364号 玛格努斯·奥·米林。;斯科特·欧文斯 2 2012 对C++并发进行数学化。 Zbl 1284.68165号 马克·巴蒂;斯科特·欧文斯;萨卡，苏斯米特;彼得·休厄尔;韦伯，特贾克 18 2011 Ott：对工作语义的有效工具支持。 Zbl 1185.68201号 彼得·休厄尔;弗朗西斯科·扎帕·纳德利;斯科特·欧文斯;吉尔斯·佩斯金;托马斯·里奇;萨卡，苏斯米特;斯特尼萨，洛克 17 2010 重新检查正则表达式衍生工具。 Zbl 1163.68317号 斯科特·欧文斯;约翰·雷皮;亚伦·图伦 19 2009 使功能程序适应高阶逻辑。 Zbl 1175.68103号 斯科特·欧文斯;康拉德·斯林德 8 2008 OCaml（_{light}）的合理语义。 Zbl 1133.68308号 斯科特·欧文斯 6 2008 Ott，有效的工具支持工作语义。 兹比尔1291.68238 彼得·休厄尔;弗朗西斯科·扎帕·纳德利;斯科特·欧文斯;吉尔斯·佩斯金;托马斯·里奇;萨卡，苏斯米特;斯特尼萨，洛克 8 2007 算术和密码硬件的证明生成综合。 兹比尔1125.68048 康拉德·斯林德;斯科特·欧文斯;朱利亚诺·伊尤达;戈登，迈克 6 2007 高阶逻辑子集的证明编译器的结构。 Zbl 1187.68141号 李国栋;斯科特·欧文斯;康拉德·斯林德 5 2007 加密算法的功能正确性证明。 Zbl 1143.68391号 段建军;赫德，乔;李国栋;斯科特·欧文斯;康拉德·斯林德;张俊兴 2 2005 所有引用出版物 前5名被引用出版物 全部的 前5名279位作者引用 12 玛格努斯·奥·米林。 9 托比亚斯·尼普科 7 斯科特·欧文斯 7 安德烈·波佩斯库 6 拉马纳·库马尔 5 城市，基督教 4 布里杰什·多戈尔 4 托比·默里 4 迈克尔·诺里什 4 安德斯·施利奇特克鲁尔 4 康拉德·斯林德 4 彼得·蒂曼。 4 海克·卫尔海姆 三 奥斯卡·亚伯拉罕森 三 罗伯特·J·科尔文。 三 西蒙·多尔蒂 三 Cezary卡利西克 三 加布里埃尔·科妮莉亚·凯勒 三 亚历山大·克劳斯 三 罗伯特·克雷伯斯 三 昆查尔，Ondřej 三 彼得·兰米奇 三 泽维尔·勒罗伊 三 劳伦斯·查尔斯·保尔森 三 克里斯汀·里兹卡拉 三 杰夫·萨特克利夫 三 Tan，Yong Kiam先生 三 维克托·瓦菲亚迪斯 三 斯蒂芬妮·威里奇 2 卡明·阿巴特 2 奥曼·波霍拉，约翰内斯 2 罗布·D·阿尔森。 2 托马斯·博埃里 2 布兰奇，桑德琳 2 布兰登·伯勒 2 约阿希姆·布雷特纳 2 斯蒂芬·布鲁克斯。 2 陈子林 2 马蒂奥·奇米尼 2 萨迪·达尔瓦迪 2 阿基姆·德迈勒 2 Anthony C.J.福克斯。 2 洛伦佐·盖里 2 伊恩·海耶斯。 2 费比安·伊姆勒 2 瑞安·卡瓦纳 2 格温·克莱恩 2 吕毅 2 阿尔贝托·莫米利亚诺 2 利亚姆·奥康纳 2 阿曼多·佩森提·格里蒂 2 佛朗哥·雷蒙迪 2 西蒙·罗科普夫 2 格里高·罗什乌 2 亚当·桑德伯格·爱立信 2 托马斯·D·休厄尔。 2 马丁·苏尔兹曼 2 约瑟夫·乌尔班 2 马卡里乌斯·温泽尔 2 弗里克·威迪杰克 2 吴春汉 2 张兴元 1 穆罕默德·阿卜杜勒·阿齐兹 1 帕罗什·阿齐兹·阿卜杜拉 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 马克·亚当斯 1 纪尧姆·阿拉伊斯 1 奥曼，波霍拉·约翰内斯 1 西德尼·阿曼尼 1 丹尼尔·安尼科夫 1 杰苏斯·阿兰塞 1 穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 法哈德·奥萨夫 1 阿泽夫多·阿莫林 1 回来了，拉尔夫·约翰 1 克莱门斯·巴拉林 1 理查德·巴纳赫 1 劳拉·巴格曼 1 马克，巴蒂 1 格特鲁德·鲍尔 1 贝拉德，贝特里奇 1 洛伦佐·贝蒂尼 1 罗伯托·布兰科 1 Joshua A.Bockenek。 1 彼得·博姆 1 西尔维·博尔多 1 贝内迪克特·博利格 1 理查德·博尔顿。 1 安娜·波夫 1 托马斯·布雷班特 1 布林科普，豪克 1 乍得·布朗·爱德华 1 阿兰·邦迪 1 Busi，Matteo公司 1 Manuel M.T.查克拉瓦蒂。 1 陈燕 1 詹姆斯·切尼 1 史蒂文·程 1 Adam J.Chlipala。 1 瑟·特凡·乔巴赫 …还有179位作者 全部的 前5名22篇连载文章中引用 30 自动推理杂志 12 函数编程杂志 7 程序设计中的逻辑和代数方法杂志 5 计算的形式方面 三 AI通信 2 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 2 计算机科学中的数学 2 计算机科学中的逻辑方法 1 信息学报 1 计算机与系统科学杂志 1 信息与计算 1 分布式计算 1 系统设计中的形式化方法 1 自动机、语言和组合数学杂志 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 形式化推理期刊 1 数学论坛，Pi 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名11个领域引用 149 计算机科学（68至XX） 31 数学逻辑和基础（03-XX） 三 范畴理论；同调代数（18-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 信息与通信理论、电路（94-XX） 2 历史和传记（01-XX） 2 数值分析（65-XX） 1 总体主题；集合（00-XX） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37-XX） 1 凸和离散几何（52至XX） 按年份列出的引文