编辑配置文件（在新选项卡中打开） 汉内·里斯·尼尔森 合著者距离 作者ID： 瑞斯·尼尔森·哈内 发布日期： 尼尔森、汉内·里斯;汉内·里斯·尼尔森 编入索引的文档： 85出版物自1983年以来，包括6本书 3作为编辑的贡献 传记参考： 1出版物 合著者： 40位合著者具有85联合出版物 858位合作作者 全部的 前5名合著者 三 单作者的 80 尼尔森，弗莱明 7 亨利克·皮利加德 6 汉森、雷内·里多夫 5 博迪，恰拉 5 皮耶保罗·德加诺 5 赫尔穆特·塞德尔 4 李锡盟 4 塞巴斯蒂安·南兹 三 米凯尔·巴赫霍尔茨 三 尼尔森，克里斯托夫·罗森基勒 三 Vasilikos，泛神经炎 2 托尔本阿姆托夫特 2 克里斯·汉金。 2 阿尔贝托·卢什·拉富恩特 2 Midtgaard，一月 2 科拉多·普里亚米 2 穆利·萨吉夫 2 罗伯托·维戈 1 埃斯本·赫托夫特·安徒生 1 约格·鲍尔 1 米歇尔·柯蒂 1 De Nicola，罗科 1 冯新余 1 吉尔伯托·菲莱 1 高，韩 1 Kirsten L.Solberg Gasser 1 丹尼尔·戈拉 1 Ingólfsdóttir，安娜 1 雅各布·格利霍尔特·詹森 1 Kencana Ramli、Carroline Dewi Puspa 1 雨果·A·洛佩兹。 1 巴德·米什拉 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 克里斯蒂安·普罗布斯特。 1 罗萨里奥·普格利泽 1 Solberg Gasser、Kirsten Lackner 1 孙红艳 1 曾可斌 1 张福源 1 张，叶 全部的 前5名系列 6 计算机程序设计科学 4 理论计算机科学 4 北欧计算机杂志 2 信息处理信件 2 信息与计算 2 函数编程杂志 2 计算机科学课堂讲稿 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 倒排索引综述 1 信息学报 1 计算的形式方面 1 逻辑与计算杂志 1 FGCS。未来一代计算机系统 1 欧洲理论计算机科学协会公报 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 剑桥理论计算机科学丛书 1 计算机科学本科专题 全部的 前5名领域 88 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 7 信息与通信理论、电路（94-XX） 三 生物学和其他自然科学（92-XX） 2 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 68出版物有被引用484中的次312文件 引用人▼ 年份▼ 程序分析原则。 Zbl 0932.68013号 弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯·汉金 110 1999 应用程序的语义。正式介绍。 Zbl 0875.68626号 尼尔森、汉内·里斯;尼尔森，弗莱明 33 1992 程序分析原则。更正第二次打印。 Zbl 1069.68534号 弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯·汉金 23 2005 带安全应用程序的\（\pi\）演算的静态分析。 Zbl 1007.68118号 博迪，恰拉;皮耶保罗·德加诺;弗莱明·尼尔森;尼尔森、汉内·里斯 22 2001 流逻辑：静态分析的多仿生方法。 Zbl 1026.68029号 尼尔森、汉内·里斯;弗莱明·尼尔森 16 2002 移动环境的抽象解释。 Zbl 0957.68079号 汉森、雷内·里多夫;雅各布·格利霍尔特·詹森;尼尔森，弗莱明;尼尔森、汉内·里斯 15 1999 两级函数语言。 Zbl 0763.68023号 弗莱明·尼尔森;尼尔森、汉内·里斯 15 1992 生物环境的空间分析。 Zbl 1104.68420号 尼尔森、汉内·里斯;弗莱明·尼尔森;亨利克·皮利加德 13 2004 使用流逻辑验证防火墙。 Zbl 1016.68003号 弗莱明·尼尔森;尼尔森、汉内·里斯;汉森、雷内·里多夫 13 2002 BioAmbients的路径分析。 Zbl 1147.92002号 亨利克·皮利加德;弗莱明·尼尔森;尼尔森、汉内·里斯 12 2008 两级语义和代码生成。 兹比尔0632.68007 弗莱明·尼尔森;尼尔森、汉内·里斯 12 1988 移动环境的形状分析。 Zbl 1323.68414号 尼尔森、汉内·里斯;弗莱明·尼尔森 12 2000 语义与应用：开胃菜。 Zbl 1126.68052号 汉内·里斯·尼尔森;弗莱明·尼尔森 12 2007 ALFP的简洁求解器。 兹比尔1088.68774 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 9 2002 可规范化Horn子句、可强烈识别的关系和Spi。 Zbl 1015.68042号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 9 2002 CCS数据流分析。 Zbl 1149.68361号 尼尔森、汉内·里斯;弗莱明·尼尔森 8 2007 流逻辑和操作语义。 Zbl 0925.68293号 弗莱明·尼尔森;尼尔森、汉内·里斯 7 1997 严格性和整体性分析。 Zbl 0941.68021号 Solberg Gasser、Kirsten Lackner;尼尔森、汉内·里斯;弗莱明·尼尔森 7 1998 移动安全。 Zbl 1202.68173号 尼尔森、汉内·里斯;弗莱明·尼尔森;米凯尔·巴赫霍尔茨 7 2004 移动环境的抽象解释。 Zbl 1047.68080号 弗莱明·尼尔森;汉森、雷内·里多夫;尼尔森、汉内·里斯 7 2003 针对不可靠通信的稳健性的质量计算。 Zbl 1337.68041号 尼尔森、汉内·里斯;弗莱明·尼尔森;罗伯托·维戈 7 2015 LySa中规定的安全协议的性能评估。 Zbl 1272.68225号 博迪，恰拉;米歇尔·柯蒂;皮耶保罗·德加诺;Mikael Buchholtz公司;弗莱明·尼尔森;尼尔森、汉内·里斯;科拉多·普里亚米 7 2005 简洁的求解器套件。 Zbl 1126.68354号 弗莱明·尼尔森;尼尔森、汉内·里斯;孙红燕;米凯尔·巴赫霍尔茨;汉森、雷内·里多夫;亨里克·皮莱加德;赫尔穆特·塞德尔 6 2004 高阶并发程序的类型和行为重建。 Zbl 0881.68034号 托尔本阿姆托夫特;弗莱明·尼尔森;尼尔森、汉内·里斯 6 1997 并发行为的模式抽象。 Zbl 1149.68407号 塞巴斯蒂安·南兹;弗莱明·尼尔森;汉内·里斯·尼尔森 6 2008 在故障软件通信系统中增强可用性。 Zbl 1347.68060号 雨果·A·洛佩兹。;弗莱明·尼尔森;尼尔森、汉内·里斯 6 2016 从流逻辑到协调语言的静态类型系统。 Zbl 1192.68126号 德尼古拉，罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·普罗布斯特。;罗萨里奥·普格利泽 5 2010 移动环境的克莱恩分析。 Zbl 0971.68579号 弗莱明·尼尔森;汉内·里斯·尼尔森;穆利·萨吉夫 5 2000 面向交互规范的自由信息流控制。 Zbl 1321.68349号 阿尔贝托·卢什·拉富恩特;尼尔森，弗莱明;尼尔森、汉内·里斯 5 2015 从CML到它的进程代数。 Zbl 0873.68131号 弗莱明·尼尔森;尼尔森、汉内·里斯 4 1996 加密过程中Dolev-Yao保密的流逻辑。 Zbl 1046.68048号 博迪，C。;P.德加诺。;F.尼尔森。;Riis Nielson，H。 4 2002 用于分析程序计算时间的类Hoare证明系统。 Zbl 0622.68026号 尼尔森、汉内·里斯 4 1987 自动复杂性分析。 Zbl 1077.68610号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 4 2002 移动环境的形状分析。 Zbl 0985.68039号 尼尔森、汉内·里斯;弗莱明·尼尔森 三 2001 拓扑相关广播网络的静态分析。 Zbl 1191.68052号 塞巴斯蒂安·南兹;弗莱明·尼尔森;尼尔森、汉内·里斯 三 2010 计算系统生物学汇刊VII。 Zbl 1136.92300号 三 2006 相关性的关系分析。 Zbl 1149.68308号 约格·鲍尔;弗莱明·尼尔森;汉内·里斯·尼尔森;亨利克·皮利加德 三 2008 计算序列：一种描述属性语法类的方法。 Zbl 0514.68073号 尼尔森、汉内·里斯 三 1983 有界定点迭代。 Zbl 0783.68075号 尼尔森、汉内·里斯;弗莱明·尼尔森 三 1992 立方时间的密码分析。 Zbl 1268.94029号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 三 2002 质量计算中的安全与安全。 Zbl 1390.68484号 尼尔森、汉内·里斯;弗莱明·尼尔森 三 2013 Wadler列表分析中的张量积。 Zbl 0810.68092号 弗莱明·尼尔森;尼尔森、汉内·里斯 2 1994 终止类型的操作语义。 Zbl 0856.68095号 弗莱明·尼尔森;尼尔森、汉内·里斯 2 1996 广播网络的拓扑相关抽象。 Zbl 1151.68322号 塞巴斯蒂安·南兹;弗莱明·尼尔森;尼尔森、汉内·里斯 2 2007 随机质量演算的随机模型检验。 Zbl 1454.68079号 弗莱明·尼尔森;尼尔森、汉内·里斯;曾可斌 2 2015 定时自动机中的安全信息发布。 Zbl 1427.68038号 Vasilikos，泛神经炎;弗莱明·尼尔森;尼尔森、汉内·里斯 2 2018 CML控制流分析的系统实现。 Zbl 1369.68097号 Kirsten L.Solberg Gasser;弗莱明·尼尔森;尼尔森、汉内·里斯 2 1997 时间自动机的信息流。 Zbl 1431.68079号 弗莱明·尼尔森;尼尔森、汉内·里斯;Vasilikos，泛神经炎 2 2017 控制流分析的类型。 Zbl 1149.68360号 弗莱明·尼尔森;尼尔森、汉内·里斯 1 2007 使用流逻辑进行安全分析。 兹比尔1056.68083 博迪，恰拉;皮耶保罗·德加诺;弗莱明·尼尔森;尼尔森、汉内·里斯 1 2001 混合（λ）-演算和组合逻辑的函数完备性。 Zbl 0714.03014号 尼尔森、汉内·里斯;弗莱明·尼尔森 1 1990 进程代数中的自由名称是什么？ Zbl 1184.68346号 弗莱明·尼尔森;尼尔森、汉内·里斯;亨利克·皮利加德 1 2007 CaPiTo公司：服务的协议栈。 Zbl 1226.68029号 高，韩;弗莱明·尼尔森;尼尔森、汉内·里斯 1 2011 克莱恩的逻辑与平等。 Zbl 1032.68100号 F.尼尔森。;Riis Nielson，H。;萨吉夫，M。 1 2001 Horn子句的迭代专业化。 Zbl 1133.03335号 克里斯托弗·罗森基勒·尼尔森;弗莱明·尼尔森;汉内·里斯·尼尔森 1 2008 分离信息流的Hoare逻辑。 Zbl 1434.68095号 汉内·里斯·尼尔森;弗莱明·尼尔森;李锡盟 1 2015 数据库的协调语言。 Zbl 1398.68124号 李锡盟;吴熙;阿尔贝托·卢什·拉富恩特;弗莱明·尼尔森;尼尔森、汉内·里斯 1 2017 与内容相关的信息流控制。 Zbl 1359.68050号 尼尔森、汉内·里斯;弗莱明·尼尔森 1 2017 流程计算的流程逻辑。 Zbl 1293.68192号 尼尔森、汉内·里斯;弗莱明·尼尔森;亨利克·皮利加德 1 2012 CCS的单调框架。 Zbl 1387.68172号 尼尔森、汉内·里斯;尼尔森，弗莱明 1 2009 用于通信过程的分离信息流。 Zbl 1457.68017号 李锡盟;弗莱明·尼尔森;尼尔森、汉内·里斯;冯新余 1 2016 格值正则表达式的参数抽象域。 Zbl 1394.68080号 Midtgaard，一月;弗莱明·尼尔森;尼尔森、汉内·里斯 1 2016 答案集编程中的XACML 3.0。 兹比尔1395.68084 兰利、卡罗琳·德维·普斯帕·肯卡纳（Carroline Dewi Puspa Kencana）;尼尔森、汉内·里斯;弗莱明·尼尔森 1 2013 保护受保护的命令。 Zbl 1440.68036号 弗莱明·尼尔森;尼尔森、汉内·里斯 1 2020 懒惰的移动入侵者。 Zbl 1390.68280号 塞巴斯蒂安·莫德谢姆;弗莱明·尼尔森;尼尔森、汉内·里斯 1 2013 高阶并发语言的静态和动态处理器分配。 Zbl 1496.68113号 尼尔森、汉内·里斯;弗莱明·尼尔森 1 1995 并发ML多态行为的约束。 Zbl 1495.68028号 弗莱明·尼尔森;汉内·里斯·尼尔森 1 1994 轻量级信息流。 Zbl 07808795号 弗莱明·尼尔森;尼尔森、汉内·里斯 1 2019 保护受保护的命令。 Zbl 1440.68036号 弗莱明·尼尔森;尼尔森、汉内·里斯 1 2020 轻量级信息流。 Zbl 07808795号 弗莱明·尼尔森;尼尔森、汉内·里斯 1 2019 定时自动机中的安全信息发布。 Zbl 1427.68038号 Vasilikos，泛神经炎;弗莱明·尼尔森;尼尔森、汉内·里斯 2 2018 时间自动机的信息流。 Zbl 1431.68079号 尼尔森，弗莱明;尼尔森、汉内·里斯;Vasilikos，泛神经炎 2 2017 数据库的协调语言。 Zbl 1398.68124号 李锡盟;吴熙;阿尔贝托·卢什·拉富恩特;弗莱明·尼尔森;尼尔森、汉内·里斯 1 2017 与内容相关的信息流控制。 Zbl 1359.68050号 尼尔森、汉内·里斯;弗莱明·尼尔森 1 2017 在故障软件通信系统中增强可用性。 Zbl 1347.68060号 雨果·A·洛佩兹。;尼尔森，弗莱明;尼尔森、汉内·里斯 6 2016 用于通信过程的分离信息流。 Zbl 1457.68017号 李锡盟;弗莱明·尼尔森;尼尔森、汉内·里斯;冯新余 1 2016 格值正则表达式的参数抽象域。 Zbl 1394.68080号 Midtgaard，一月;弗莱明·尼尔森;尼尔森、汉内·里斯 1 2016 针对不可靠通信的稳健性的质量计算。 Zbl 1337.68041号 尼尔森、汉内·里斯;弗莱明·尼尔森;罗伯托·维戈 7 2015 面向交互规范的自由信息流控制。 Zbl 1321.68349号 阿尔贝托·卢什·拉富恩特;弗莱明·尼尔森;尼尔森、汉内·里斯 5 2015 随机质量演算的随机模型检验。 Zbl 1454.68079号 弗莱明·尼尔森;尼尔森、汉内·里斯;曾克斌 2 2015 分离信息流的Hoare逻辑。 Zbl 1434.68095号 汉内·里斯·尼尔森;弗莱明·尼尔森;李锡盟 1 2015 质量计算中的安全与安全。 Zbl 1390.68484号 尼尔森、汉内·里斯;弗莱明·尼尔森 三 2013 答案集编程中的XACML 3.0。 Zbl 1395.68084号 兰利、卡罗琳·德维·普斯帕·肯卡纳（Carroline Dewi Puspa Kencana）;尼尔森、汉内·里斯;弗莱明·尼尔森 1 2013 懒惰的移动入侵者。 Zbl 1390.68280号 塞巴斯蒂安·莫德谢姆;弗莱明·尼尔森;尼尔森、汉内·里斯 1 2013 流程计算的流程逻辑。 兹比尔1293.68192 尼尔森、汉内·里斯;弗莱明·尼尔森;亨利克·皮利加德 1 2012 CaPiTo公司：服务的协议栈。 Zbl 1226.68029号 高，韩;弗莱明·尼尔森;尼尔森、汉内·里斯 1 2011 从流逻辑到协调语言的静态类型系统。 Zbl 1192.68126号 德尼古拉，罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·普罗布斯特。;罗萨里奥·普格利泽 5 2010 拓扑相关广播网络的静态分析。 Zbl 1191.68052号 塞巴斯蒂安·南兹;尼尔森，弗莱明;尼尔森、汉内·里斯 三 2010 CCS的单调框架。 Zbl 1387.68172号 尼尔森、汉内·里斯;弗莱明·尼尔森 1 2009 BioAmbients的路径分析。 Zbl 1147.92002号 亨利克·皮利加德;弗莱明·尼尔森;尼尔森、汉内·里斯 12 2008 并发行为的模式抽象。 Zbl 1149.68407号 塞巴斯蒂安·南兹;弗莱明·尼尔森;汉内·里斯·尼尔森 6 2008 相关性的关系分析。 Zbl 1149.68308号 约格·鲍尔;弗莱明·尼尔森;汉内·里斯·尼尔森;亨利克·皮利加德 三 2008 Horn条款的迭代专业化。 Zbl 1133.03335号 克里斯托弗·罗森基尔·尼尔森;弗莱明·尼尔森;汉内·里斯·尼尔森 1 2008 语义与应用：开胃菜。 Zbl 1126.68052号 汉内·里斯·尼尔森;弗莱明·尼尔森 12 2007 CCS数据流分析。 Zbl 1149.68361号 尼尔森、汉内·里斯;弗莱明·尼尔森 8 2007 广播网络的拓扑相关抽象。 Zbl 1151.68322号 塞巴斯蒂安·南兹;弗莱明·尼尔森;尼尔森、汉内·里斯 2 2007 控制流分析的类型。 Zbl 1149.68360号 弗莱明·尼尔森;尼尔森、汉内·里斯 1 2007 过程代数中的自由名称是什么？ Zbl 1184.68346号 弗莱明·尼尔森;尼尔森、汉内·里斯;亨利克·皮利加德 1 2007 计算系统生物学汇刊VII。 Zbl 1136.92300号 三 2006 程序分析原则。更正第二次打印。 兹比尔1069.68534 弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯·汉金 23 2005 LySa中规定的安全协议的性能评估。 Zbl 1272.68225号 博迪，恰拉;米歇尔·柯蒂;皮耶保罗·德加诺;米凯尔·巴赫霍尔茨;弗莱明·尼尔森;尼尔森、汉内·里斯;科拉多·普里亚米 7 2005 生物环境的空间分析。 Zbl 1104.68420号 尼尔森、汉内·里斯;弗莱明·尼尔森;亨利克·皮利加德 13 2004 移动安全。 Zbl 1202.68173号 尼尔森、汉内·里斯;弗莱明·尼尔森;米凯尔·巴赫霍尔茨 7 2004 简洁的求解器套件。 Zbl 1126.68354号 弗莱明·尼尔森;尼尔森、汉内·里斯;孙红燕;米凯尔·巴赫霍尔茨;汉森、雷内·里多夫;亨利克·皮利加德;赫尔穆特·塞德尔 6 2004 移动环境的抽象解释。 Zbl 1047.68080号 弗莱明·尼尔森;汉森、雷内·里多夫;尼尔森、汉内·里斯 7 2003 流逻辑：静态分析的多仿生方法。 Zbl 1026.68029号 尼尔森、汉内·里斯;弗莱明·尼尔森 16 2002 使用流逻辑验证防火墙。 Zbl 1016.68003号 弗莱明·尼尔森;尼尔森、汉内·里斯;RenéRydhof汉森 13 2002 ALFP的简洁求解器。 Zbl 1088.68774号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 9 2002 可规范化Horn子句、可强烈识别的关系和Spi。 Zbl 1015.68042号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 9 2002 加密过程中Dolev-Yao保密的流逻辑。 Zbl 1046.68048号 博迪，C。;P.德加诺。;F.尼尔森。;Riis Nielson，H。 4 2002 自动化复杂性分析。 Zbl 1077.68610号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 4 2002 立方时间的密码分析。 Zbl 1268.94029号 弗莱明·尼尔森;尼尔森、汉内·里斯;赫尔穆特·塞德尔 三 2002 带安全应用程序的\（\pi\）演算的静态分析。 Zbl 1007.68118号 博迪，恰拉;皮耶保罗·德加诺;弗莱明·尼尔森;尼尔森、汉内·里斯 22 2001 移动环境的形状分析。 Zbl 0985.68039号 尼尔森、汉内·里斯;弗莱明·尼尔森 三 2001 使用流逻辑进行安全分析。 Zbl 1056.68083号 博迪，恰拉;皮耶保罗·德加诺;弗莱明·尼尔森;尼尔森、汉内·里斯 1 2001 克莱恩的平等逻辑。 Zbl 1032.68100号 F.尼尔森。;Riis Nielson，H。;萨吉夫，M。 1 2001 移动环境的形状分析。 Zbl 1323.68414号 尼尔森、汉内·里斯;弗莱明·尼尔森 12 2000 移动环境的克莱恩分析。 Zbl 0971.68579号 弗莱明·尼尔森;汉内·里斯·尼尔森;穆利·萨吉夫 5 2000 程序分析原则。 Zbl 0932.68013号 弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯·汉金 110 1999 移动环境的抽象解释。 Zbl 0957.68079号 汉森、雷内·里多夫;雅各布·格利霍尔特·詹森;尼尔森，弗莱明;尼尔森、汉内·里斯 15 1999 严格性和整体性分析。 Zbl 0941.68021号 Solberg Gasser、Kirsten Lackner;尼尔森、汉内·里斯;弗莱明·尼尔森 7 1998 流逻辑和操作语义。 Zbl 0925.68293号 弗莱明·尼尔森;尼尔森、汉内·里斯 7 1997 高阶并发程序的类型和行为重构。 Zbl 0881.68034号 托尔本阿姆托夫特;弗莱明·尼尔森;尼尔森、汉内·里斯 6 1997 CML控制流分析的系统实现。 Zbl 1369.68097号 Kirsten L.Solberg Gasser;弗莱明·尼尔森;尼尔森、汉内·里斯 2 1997 从CML到它的进程代数。 Zbl 0873.68131号 弗莱明·尼尔森;尼尔森、汉内·里斯 4 1996 终止类型的操作语义。 Zbl 0856.68095号 弗莱明·尼尔森;尼尔森、汉内·里斯 2 1996 高阶并发语言的静态和动态处理器分配。 Zbl 1496.68113号 尼尔森、汉内·里斯;弗莱明·尼尔森 1 1995 瓦德勒列表分析中的张量积。 Zbl 0810.68092号 弗莱明·尼尔森;尼尔森、汉内·里斯 2 1994 并发ML多态行为的约束。 Zbl 1495.68028号 弗莱明·尼尔森;汉内·里斯·尼尔森 1 1994 应用程序的语义。正式介绍。 Zbl 0875.68626号 尼尔森、汉内·里斯;弗莱明·尼尔森 33 1992 两级函数语言。 Zbl 0763.68023号 弗莱明·尼尔森;尼尔森、汉内·里斯 15 1992 有界定点迭代。 Zbl 0783.68075号 尼尔森、汉内·里斯;弗莱明·尼尔森 三 1992 混合\（\lambda\）演算和组合逻辑的函数完备性。 Zbl 0714.03014号 尼尔森、汉内·里斯;弗莱明·尼尔森 1 1990 两级语义和代码生成。 Zbl 0632.68007号 弗莱明·尼尔森;尼尔森、汉内·里斯 12 1988 用于分析程序计算时间的类Hoare证明系统。 Zbl 0622.68026号 尼尔森、汉内·里斯 4 1987 计算序列：一种表征属性语法类的方法。 Zbl 0514.68073号 尼尔森、汉内·里斯 三 1983 所有引用出版物 前5名被引用出版物 全部的 前5名530位作者引用 30 弗莱明·尼尔森 25 汉内·里斯·尼尔森 15 博迪，恰拉 9 亚历山德拉·迪·皮耶罗 9 罗伯塔·戈里 9 赫伯特，威克利基 8 弗朗西丝卡·列维 7 阿戈斯蒂诺·科尔特斯 7 皮耶保罗·德加诺 7 克里斯·汉金。 6 里卡多·福卡迪 6 赫尔穆特·塞德尔 5 奥利维尔·丹维 5 汉森、雷内·里多夫 5 曼努埃尔五世（Manuel V.Hermenegildo）。 5 亨利克·皮利加德 5 施密特，大卫·A。 4 艾尔维拉·阿尔伯特 4 琳达·布罗多 4 路易斯·克鲁兹·菲利佩 4 吉安·路易吉，法拉利 4 约翰·加拉赫（John P.Gallagher）。 4 斯特凡·基弗 4 金·古德斯特兰·拉森 4 法布里西奥·蒙泰西 4 大卫·皮哈迪 4 罗萨里奥·普格利泽 4 吉·斯尔巴 三 文森佐·阿塞里 三 吉尔·巴特 三 奇亚拉·布拉金 三 马里奥·科普 三 哈维尔·埃斯帕尔扎 三 萨米尔·根奈姆 三 安德鲁·戈登。 三 马克西米利亚诺·克莱门 三 直纪小林 三 巴巴拉·科尼格 三 李锡盟 三 阿尔贝托·卢什·拉富恩特 三 佩德罗·洛佩兹·加西亚 三 迈克尔·卢滕伯格 三 马可·佩雷索蒂 三 科拉多·普里亚米 三 安德烈亚斯·雷乌 三 曼弗雷德·施密特·沙乌 三 瓦利德·塔哈 三 塔尔莫乌斯塔卢 2 本杰明·阿齐兹 2 保罗·巴尔丹 2 尼古拉·贝内什 2 德克·拜尔 2 罗伯托·布鲁尼 2 弗洛里安·布鲁斯 2 卢卡·卡德利 2 曼纽尔·卡罗 2 纳撒尼尔·查尔顿 2 戴维·齐亚鲁吉 2 魏恩根·钦 2 费卢西奥·达米亚尼 2 朱塞佩·德贾科莫 2 De Nicola，罗科 2 玛丽亚·德尔马·加拉多 2 马里亚纽拉州Dezani-Ciancaglini 2 雷米·杜伦斯 2 El-Zawawy，Mohamed A。 2 皮埃特罗·费拉拉 2 帕斯卡·弗雷德特 2 高，韩 2 乔治·盖利 2 罗伯托·贾科巴齐 2 保拉·吉安尼尼 2 丹尼尔·戈拉 2 尤里安·黑格 2 杰夫·汉密尔顿。 2 戴安娜·赫米思 2 迈克尔·R·A·胡特。 2 雅各布·约翰森 2 比肖克桑·卡夫 2 胜本，Shin-ya 2 尼古拉斯·基德 2 约格·克里克 2 简·Křetínsk 2 阿卡什·拉尔 2 马丁·兰格 2 乌默·利卡特 2 雨果·A·洛佩兹。 2 格雷戈里·马莱查 2 恩里克·马丁·马汀 2 法比奥·马蒂内利 2 伊莎贝拉·马斯特罗埃尼 2 佩德罗·梅里诺 2 索莱内·米利亚兹 2 彼得·莫塞斯（Peter D.Mosses）。 2 塞巴斯蒂安·南兹 2 Nikitchenko、Mykola S。 2 德国普埃布拉 2 秦胜超 2 弗朗西斯科·兰扎托 2 代表，Thomas W。 …和430多位作者 全部的 前5名41篇连载文章中引用 30 理论计算机科学 19 信息与计算 16 逻辑与代数程序设计杂志 10 计算机语言、系统和结构 9 信息学报 9 函数编程杂志 8 程序设计中的逻辑和代数方法杂志 7 自动推理杂志 7 计算的形式方面 7 MSCS公司。计算机科学中的数学结构 6 信息处理信件 6 计算机程序设计科学 6 逻辑程序设计理论与实践 5 高阶和符号计算 4 符号计算杂志 4 系统设计中的形式化方法 4 计算机科学中的逻辑方法 三 人工智能 2 国际通用系统杂志 2 国际计算机科学基础杂志 2 埃及数学学会杂志 2 ACM计算逻辑事务 1 计算 1 信息科学 1 计算机与系统科学杂志 1 符号逻辑杂志 1 计算机科学与技术杂志 1 新一代计算 1 算法 1 国际近似推理杂志 1 实时系统 1 随机结构与算法 1 模式识别 1 数学与人工智能年鉴 1 摩尔多瓦计算机科学杂志 1 摘要与应用分析 1 RAIRO公司。理论信息学及其应用 1 科学基础 1 离散和连续动力系统。S系列 1 中欧计算机科学杂志 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 全部的 前5名18个领域被引用 304 计算机科学（68至XX） 29 数学逻辑和基础（03-XX） 12 生物学和其他自然科学（92-XX） 10 信息与通信理论、电路（94-XX） 8 阶、格、有序代数结构（06-XX） 6 范畴理论；同调代数（18-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 系统论；控制（93至XX） 2 数值分析（65-XX） 2 量子理论（81-XX） 2 运筹学、数学规划（90-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 结合环与代数（16-XX） 1 一般拓扑结构（54至XX） 1 概率论与随机过程（60-XX） 1 粒子和系统力学（70-XX） 1 数学教育（97-XX） 按年份列出的引文