弗莱明·尼尔森;汉森、雷内·里多夫;汉内·里斯·尼尔森 安全域的良性交互。 （英文） 兹比尔1498.68055 Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。13066, 312-331 (2021).MSC公司：68平方米25 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人，Lect。注释计算。科学。13066、312--331（2021；Zbl 1498.68055） 全文： 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯 保护受保护的命令。 （英文） Zbl 1440.68036号 Di Pierro，Alessandra（编辑）等人，《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际献给他的散文。查姆：斯普林格。勒克特。注释计算。科学。12065, 201-215 (2020).MSC公司：68平方米25 68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森，莱克特。注释计算。科学。12065，201-215（2020；Zbl 1440.68036） 全文： 内政部
李锡盟;吴熙;卢赫·拉富恩特，阿尔贝托;弗莱明·尼尔森;尼尔森、汉内·里斯 数据库的协调语言。 （英文） Zbl 1398.68124号 日志。方法计算。科学。 13，第1号，第10号论文，51页（2017年）.MSC公司：第68页，共15页 68米14 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人，Log。方法计算。科学。13，第1号，第10号论文，51页（2017；Zbl 1398.68124） 全文： 内政部 arXiv公司
尼尔森、汉内·里斯;弗莱明·尼尔森 与内容相关的信息流控制。 （英文） Zbl 1359.68050号 J.日志。阿尔盖布。方法计划。 87, 6-32 (2017).MSC公司：68号30 03B70号 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Nielson}和\textit{F.Nielson}，J.Log。阿尔盖布。方法计划。87、6--32（2017年；Zbl 1359.68050） 全文： 内政部
汉内·里斯·尼尔森;弗莱明·尼尔森;李锡盟 分离信息流的Hoare逻辑。 （英文） Zbl 1434.68095号 Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。9465, 47-65 (2015).MSC公司：68甲19 03B70号 68M10个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛H.Riis Nielson｝等人，Lect。注释计算。科学。9465，47-65（2015；Zbl 1434.68095） 全文： 内政部
亨利克·皮利加德;弗莱明·尼尔森;尼尔森、汉内·里斯 反应语义的主动评估上下文。 （英文） Zbl 1277.68127号 van Glabbeek，R.（ed.）等人，《结构操作语义第三次研讨会论文集》（SOS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第1期，57-70（2007）。MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Pilegaard}等人，《电子》。注释Theor。计算。科学。175，第1号，57--70（2007；Zbl 1277.68127） 全文： 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯 安全和安保约束的启发式。 （英文） Zbl 1277.68250号 Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，523-543（2007）。MSC公司：68T20型 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛F.Nielson｝和\textit｛H.R.Nielson｝，电子。注释Theor。计算。科学。172523--543（2007年；Zbl 1277.68250） 全文： 内政部
尼尔森、汉内·里斯;弗莱明·尼尔森 在实现高阶函数时使用变换。 （英文） Zbl 0941.68543号 J.功能。程序。 1，第4期，459-494（1991）.MSC公司：68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和textit{F.尼尔森，J.芬克。程序。1，编号4，459–494（1991年；Zbl 0941.68543） 全文： 内政部
弗莱明·尼尔森 两级语义和抽象解释。 （英文） Zbl 0696.68093号 西奥。计算。科学。 69，第2期，117-242（1989）. 审核人：N.Curteanu公司 MSC公司：68问题55 60年第68季度 68N99型 68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{F.尼尔森}，Theor。计算。科学。69，No.2，117--242（1989；Zbl 0696.68093） 全文： 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯 两级语义和代码生成。 （英文） 兹比尔0632.68007 西奥。计算。科学。 56，第1号，59-133（1988）.MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森，Theor。计算。科学。56，第1号，59--133（1988；Zbl 0632.68007） 全文： 内政部