编辑配置文件（在新选项卡中打开） 阿姆托夫特，托本 合著者距离 作者ID： amtoft.torben公司 发布日期： 阿姆托夫特，托本 已编制索引的文档： 19出版物自1992年起 合著者： 27位合著者具有17联合出版物 577合著者 全部的 前5名合著者 2 单作者的 5 安妮迪亚·班纳吉 三 约翰·哈特克利夫 2 凯莉·安德罗索普洛斯 2 大卫·克拉克 2 阿萨夫·科福里。 2 弗莱明·尼尔森 2 圣地亚哥·M·佩里卡斯·格特森。 2 汉内·里斯·尼尔森 1 安德鲁·W·阿佩尔。 1 斯鲁蒂，班达卡维 1 Lennart贝林格 1 查尔斯·康塞尔 1 安德鲁·库西诺 1 奥利维尔·丹维 1 乔赛亚·多兹 1 马修·B·德怀尔。 1 马克·哈曼 1 李，郑 1 亨宁·马克霍姆 1 Malmkjr，卡罗琳 1 欧新明 1 文卡特斯·普拉萨德·兰加纳思 1 埃德温·罗德里格斯 1 杰斯珀·拉尔森·特雷夫 1 Franklyn A.Turbak。 1 Wells，Joe B。 1 张志 全部的 前5名系列 2 信息处理信件 1 理论计算机科学 1 计算机程序设计科学 1 函数编程杂志 1 高阶和符号计算 1 计算机语言、系统和结构 领域 19 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用87中的次61文件 引用人▼ 年份▼ 现代程序结构的控制依赖性和切片的新基础。 Zbl 1108.68429号 文卡特斯·普拉萨德·兰加纳思;阿姆托夫特，托本;安妮迪亚·班纳吉;马修·B·德怀尔。;约翰·哈特克利夫 15 2005 面向对象程序中信息流的逻辑。 Zbl 1369.68127号 阿姆托夫特，托本;斯鲁西·班达卡维;安妮迪亚·班纳吉 13 2006 什么是多态型环境？ Zbl 0977.68525号 阿姆托夫特，托本;阿萨夫·科福里。;圣地亚哥·M·佩里卡斯·格特森。 11 2001 现代程序结构的切片：消除不相关循环的理论。 Zbl 1186.68120号 阿姆托夫特，托本 8 2008 逻辑形式的信息流分析。 Zbl 1104.68405号 阿姆托夫特，托本;安妮迪亚·班纳吉 8 2004 一种用于信息流分析的逻辑，应用于简单命令式程序的前向切片。 Zbl 1171.68538号 阿姆托夫特，托本;安妮迪亚·班纳吉 7 2007 高阶并发程序的类型和行为重建。 兹伯利0881.68034 托尔本阿姆托夫特;弗莱明·尼尔森;尼尔森、汉内·里斯 6 1997 Polya：流动环境的真型多态性。 Zbl 1088.68653号 托尔本阿姆托夫特;亨宁·马克霍姆;威尔斯，J.B。 4 2004 多变量流和多态类型之间的忠实转换。 Zbl 0971.68028号 阿姆托夫特，托本;弗兰克林·图尔巴克 4 2000 字符串匹配程序的抽象和实例化。 Zbl 1026.68508号 阿姆托夫特，托本;查尔斯·康塞尔;奥利维尔·丹维;Malmkjr，卡罗琳 三 2002 用于条件信息流的机器检查证明的证书基础结构。 Zbl 1353.68046号 阿姆托夫特，托本;约西亚·多兹;张志;安德鲁·阿佩尔;伦纳特·贝林格;约翰·哈特克利夫;欧新明;安德鲁·库西诺 2 2012 环境微积分中的有序通信。 Zbl 1051.68029号 阿姆托夫特，托本;阿萨夫·科福里。;圣地亚哥·M·佩里卡斯·格特森。 2 2002 概率控制流图的切片理论。 Zbl 1475.68074号 阿姆托夫特，托本;安妮迪亚·班纳吉 2 2016 基于契约的精确自动推理，用于验证和认证带有数组的程序的信息流属性。 Zbl 1260.68048号 阿姆托夫特，托本;约翰·哈特克利夫;埃德温·罗德里格斯 1 2010 流敏感型系统和环境演算。 Zbl 1175.68268号 托尔本阿姆托夫特 1 2008 概率控制流图的切片理论。 Zbl 1475.68074号 阿姆托夫特，托本;安妮迪亚·班纳吉 2 2016 用于条件信息流的机器检查证明的证书基础结构。 Zbl 1353.68046号 阿姆托夫特，托本;约西亚·多兹;张志;安德鲁·阿佩尔;伦纳特·贝林格;约翰·哈特克利夫;欧新明;安德鲁·库西诺 2 2012 基于契约的精确自动推理，用于验证和认证带有数组的程序的信息流属性。 Zbl 1260.68048号 阿姆托夫特，托本;约翰·哈特克利夫;埃德温·罗德里格斯 1 2010 现代程序结构的切片：消除不相关循环的理论。 Zbl 1186.68120号 阿姆托夫特，托本 8 2008 流敏感型系统和环境演算。 Zbl 1175.68268号 阿姆托夫特，托本 1 2008 一种用于信息流分析的逻辑，应用于简单命令式程序的前向切片。 Zbl 1171.68538号 阿姆托夫特，托本;安妮迪亚·班纳吉 7 2007 面向对象程序中信息流的逻辑。 Zbl 1369.68127号 阿姆托夫特，托本;斯鲁西·班达卡维;安妮迪亚·班纳吉 13 2006 现代程序结构的控制依赖性和切片的新基础。 Zbl 1108.68429号 文卡特斯·普拉萨德·兰加纳思;阿姆托夫特，托本;安妮迪亚·班纳吉;马修·B·德怀尔。;约翰·哈特克利夫 15 2005 逻辑形式的信息流分析。 Zbl 1104.68405号 阿姆托夫特，托本;安妮迪亚·班纳吉 8 2004 Polya：流动环境的真型多态性。 兹比尔1088.68653 托尔本阿姆托夫特;亨宁·马克霍姆;威尔斯，J.B。 4 2004 字符串匹配程序的抽象和实例化。 兹比尔1026.68508 阿姆托夫特，托本;查尔斯·康塞尔;奥利维尔·丹维;Malmkjr，卡罗琳 三 2002 环境微积分中的有序通信。 Zbl 1051.68029号 阿姆托夫特，托本;阿萨夫·科福里。;圣地亚哥·M·佩里卡斯·格特森。 2 2002 什么是多态型环境？ Zbl 0977.68525号 阿姆托夫特，托本;阿萨夫·科福里。;圣地亚哥·M·佩里卡斯·格特森。 11 2001 多变量流和多态类型之间的忠实转换。 Zbl 0971.68028号 阿姆托夫特，托本;弗兰克林·图尔巴克 4 2000 高阶并发程序的类型和行为重建。 Zbl 0881.68034号 阿姆托夫特，托本;弗莱明·尼尔森;尼尔森、汉内·里斯 6 1997 所有引用出版物 前5名被引用出版物 全部的 前5名115位作者引用 6 阿姆托夫特，托本 4 弗莱明·尼尔森 4 汉内·里斯·尼尔森 三 马克·哈曼 三 Miner More，萨拉 三 帕维尔·G·瑙莫夫。 2 凯莉·安德罗索普洛斯 2 理查德·W·巴拉克劳（Richard W.Barraclough）。 2 吉尔·巴特 2 伦纳特·贝林格 2 大卫·克拉克 2 克雷斯波、胡安·曼努埃尔 2 塞巴斯蒂安·达尼西奇 2 罗伯特·格莱克 2 管旭东 2 雷纳·哈内尔 2 阿萨夫·科福里。 2 吻，阿科斯 2 尼古拉·科马托夫 2 塞萨尔昆兹 2 帕斯卡尔·勒加尔 2 莱切内特，Jean-Christophe 2 弗朗西丝卡·列维 2 阿布·纳赛尔，马苏德 2 菲利普·吕默 1 迈克尔·D·亚当斯。 1 毛里西奥·阿尔巴·卡斯特罗 1 玛丽亚·阿尔普特 1 安妮迪亚·班纳吉 1 巴博萨、路易斯·索亚雷斯 1 尼古拉·贝蒂埃 1 戴夫·宾克利 1 托马斯·博兰德 1 爱荷华州博内娃 1 理查德·布贝尔 1 米歇尔·布格列西 1 卢卡·卡德利 1 朱塞佩·卡斯塔尼亚 1 马雷克·查卢帕 1 魏恩根·钦 1 奥利维尔·丹维 1 佩德罗·鲁宾·达吉尼奥 1 尼科莱塔·德·弗朗西斯科 1 圣地亚哥埃斯科瓦尔 1 大流士·富 1 福村义彦 1 珍妮·皮尔·加洛瓦 1 乔治·盖利 1 托马斯·吉尔雷 1 安德鲁·戈登。 1 汉森、雷内·里多夫 1 罗伯特·马克·海伦斯 1 约翰·霍罗伊德。 1 塞巴斯蒂安·亨特 1 Atsushi Igarashi 1 Khakpour、Narges 1 亚历山大·基特尔曼 1 大卫·克拉斯卡 1 弗拉基米尔·克莱巴诺夫 1 直纪小林 1 曾次郎科尼西 1 Korsholm Rohde，海宁 1 瓦西里欧斯·库塔瓦斯 1 塞巴斯蒂安·拉布 1 劳德，皮特 1 迈克尔·劳伦斯。 1 迈克·劳伦斯 1 李希孟 1 李，郑 1 安德烈亚斯·洛赫比勒 1 多雷尔·卢卡努 1 塞尔吉奥·马菲斯 1 卢卡·马提尼 1 伊莎贝拉·马斯特罗埃尼 1 Annabelle K.McIver。 1 可能吧，马修 1 尤利亚·莫拉鲁 1 卡罗尔·C·摩根。 1 妮卡，米哈伊 1 拉肯乌尔巴亚 1 潘靖 1 圣地亚哥·M·佩里卡斯·格特森。 1 亚历克斯·波坦 1 塔马拉·雷兹克 1 罗德里格斯，努诺F。 1 托拜厄斯·隆格 1 弗拉德·鲁苏 1 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 1 大卫·桑兹 1 伊娜·谢弗 1 马可·塞韦托 1 任思奇 1 克里斯蒂安·斯卡尔卡 1 宋亚辉 1 卡洛·斯帕卡萨西 1 福斯托·斯波托 1 斯特雷切克，简 1 Kohei Suenaga公司 1 Jean-Marc Talbot 1 Jean-Pierre塔宾 …还有15位作者 全部的 前5名18篇连载文章中引用 8 理论计算机科学 5 信息与计算 4 信息处理信件 4 计算的形式方面 三 高阶和符号计算 2 逻辑与代数程序设计杂志 2 计算机语言、系统和结构 2 程序设计中的逻辑和代数方法杂志 1 信息学学报 1 信息科学 1 Studia Logica公司 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 新一代计算 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 函数编程杂志 1 ACM计算逻辑事务 在3个字段中引用 59 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文