弗里茨·亨利恩
人员信息
附属: 丹麦哥本哈根大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年-今天
2024 [公元48年] 弗里茨·亨利恩 :
纪念尼尔·迪顿·琼斯。 政治公众人物 2024 : 14-15 2023 [公元47年] 亨利克·阿克塞尔森 , 乌里克·特普·拉斯穆森 , 约翰内斯·鲁德·詹森 , 奥姆里·罗斯 , 弗里茨·亨利恩 :
使用分布式分类帐技术交易绿色债券。 ECIS公司 2023 [i4] 亨利克·阿克塞尔森 , 乌里克·特普·拉斯穆森 , 约翰内斯·鲁德·詹森 , 奥姆里·罗斯 , 弗里茨·亨利恩 :
使用分布式账本技术交易绿色债券。 CoRR公司 abs/2304.08154 ( 2023 ) 2022 [公元23年] 刘一忠 , 刘建伟 , 马科斯·安东尼奥·瓦兹·萨尔斯 , 张宗阳 , 童丽 , 胡斌(Bin Hu) , 弗里茨·亨利恩 , 陆荣兴 :
分割区块链系统的构建块:概念、方法和开放问题。 计算。 科学。 版次。 46 : 100513 ( 2022 ) [公元22年] 西蒙·巴格尔 , 鲍里斯·杜德尔 , 弗里茨·亨利恩 , 胡安·曼努埃尔·赫伯特 , 吴海琴 :
基于事件的供应链网络建模:优质咖啡的区块链。 前沿区块链 5 : 846783 ( 2022 ) [公元46年] 弗里茨·亨利恩 , 罗宾·卡斯加德 , 米克尔·克拉·马蒂森 :
代数:可逆性的代数方法。 钢筋混凝土 2022 : 128-145 [公元45年] 马丁·埃尔斯曼 , 弗里茨·亨利恩 , 罗宾·卡斯加德 , 米克尔·克拉·马蒂森 , 罗伯特·申克 :
组合副词和分化。 MSFP@ETAPS 2022 : 1-26 [公元44年] 弗里茨·亨利恩 , 罗宾·卡斯加德 , 米克尔·克拉·马蒂森 :
代数编程。 MSFP@ETAPS 2022 : 71-92 [i3] 瑟伦·德布瓦 , 弗里茨·亨利恩 , 莫滕·尼尔森 , 克里斯蒂安·奥尔森 , 格特·西尔维斯特 :
合同支持的数字现金。 CoRR公司 abs/2211.14442 ( 2022 ) 2021 [电子4] 弗里茨·亨利恩 , 沙伦·肖姆 , 亚基尔·维泽尔 :
验证、模型检查和抽象解释——第22届国际会议,VMCAI 2021,丹麦哥本哈根,2021年1月17日至19日,会议记录。 计算机科学课堂讲稿 12597, 施普林格 2021 ,国际标准图书编号 978-3-030-67066-5 [目录] [i2] 刘一忠 , 刘建伟 , 马科斯·安东尼奥·瓦兹·萨尔斯 , 张宗阳 , 童丽 , 胡斌(Bin Hu) , 弗里茨·亨利恩 , 陆荣兴 :
分割区块链系统的构建块:概念、方法和开放问题。 CoRR公司 abs/2102.13364 ( 2021 ) 2020 [公元43年] 弗里茨·亨利恩 , 克里斯蒂安·凯杰·拉森 , 阿加塔·穆拉夫斯卡 :
正式验证的组合合同静态分析框架。 金融加密研讨会 2020 : 599-619
2010 – 2019
2018 [公元21年] 加布里埃尔·凯勒 , 弗里茨·亨利恩 :
并行和并发函数编程专刊编辑。 J.功能。 程序。 28 : e6(电子6) ( 2018 ) [公元20年] 杰里米·吉本斯 , 弗里茨·亨利恩 , 拉尔夫·欣泽 , 尼古拉斯·吴 :
通过附加的关系代数。 程序。 ACM计划。 语言。 2 ( ICFP公司 ) : 86:1-86:28 ( 2018 ) [电子3] 弗里茨·亨利恩 , 香樟柯 :
2018年1月8日至9日,美国加利福尼亚州洛杉矶市,ACM SIGPLAN部分评估和程序操作研讨会会议记录。 ACM公司 2018 ,国际标准图书编号 978-1-4503-5587-2 [目录] 2017 [公元19年] 本杰明·埃格兰·米勒 , 马丁·埃尔斯曼 , 弗里茨·亨利恩 , 奥姆里·罗斯 :
区块链上金融合同的自动执行。 公共汽车。 信息系统。 工程师。 59 ( 6 ) : 457-467 ( 2017 ) [公元18年] 尼尔斯·比约恩·布格·格雷斯沃尔 , 弗里茨·亨利恩 , 德克斯特·科赞 :
上下文无关语言等式理论的无限公理化。 芬丹。 信息学 150 ( 3-4 ) : 241-257 ( 2017 ) [公元42年] 弗里茨·亨利恩 , 乌里克·特普·拉斯穆森 :
使用渐进表和动态分析在较小的空间中进行PEG解析。 政治公众人物 2017 : 35-46 [公元41年] 特洛伊尔斯·亨利克森 , 尼尔斯·G·W·塞鲁普 , 马丁·埃尔斯曼 , 弗里茨·亨利恩 , Cosmin E.Oancea公司 :
Futhark:纯功能GPU编程,具有嵌套并行和就地阵列更新。 PLDI公司 2017 : 556-571 2016 [公元17年] 弗里茨·亨利恩 :
2016年POPL印象。 ACM SIGLOG新闻 三 ( 2 ) : 79-81 ( 2016 ) [公元16年] 克里斯蒂安·安德列塔 , 薇薇安·贝格特 , 乔斯特·伯特霍尔德 , 马丁·埃尔斯曼 , 弗里茨·亨利恩 , 特洛伊尔斯·亨利克森 , Maj-Britt Nordfang少校 , Cosmin E.Oancea公司 :
FinPar:平行财务基准。 ACM事务处理。 阿基特。 代码优化。 13 ( 2 ) : 18:1-18:27 ( 2016 ) [公元40年] 弗里茨·亨利恩 , 雅各布·雷霍夫 :
模态交集类型、两级语言和阶段合成。 语义学、逻辑学和微积分 2016 : 289-312 [公元39年] 尼尔斯·比约恩·布格·格雷斯沃尔 , 弗里茨·亨利恩 , 乌里克·特普·拉斯穆森 , 克里斯托弗·阿隆德·瑟霍姆 , 塞巴斯蒂安·帕斯克·托勒姆 :
Kleenex:将非确定性传感器编译为确定性流式传感器。 POPL公司 2016 : 284-297 2014 [公元38年] 尼尔斯·比约恩·布格·格雷斯沃尔 , 弗里茨·亨利恩 , 乌里克·特普·拉斯穆森 :
最佳流式处理贪婪正则表达式解析。 ICTAC公司 2014 : 224-240 [公元37年] 杰斯帕·安德森 , 帕特里克·巴尔 , 弗里茨·亨利恩 , 汤姆·赫维特 :
企业系统的领域特定语言。 ISoLA(1) 2014 : 73-95 [i1] 弗里茨·亨利恩 , 兰吉特·贾拉 , 克里希纳穆西神社 , 彼得·蒂曼 :
脚本语言和框架:分析和验证(达格斯图尔研讨会14271)。 达格斯图尔报告 4 ( 6 ) : 84-107 ( 2014 ) 2013 [公元36年] 弗里茨·亨利恩 , 拉尔夫·欣泽 :
按分布排序和搜索:从类属歧视到类属尝试。 阿普拉斯 2013 : 315-332 [公元35年] 尼尔斯·比约恩·布格·格雷斯沃尔 , 弗里茨·亨利恩 , 拉斯.尼尔森 , 乌里克·特普·拉斯穆森 :
双向贪婪正则表达式解析。 CIAA公司 2013 : 60-71 [公元34年] 尼尔斯·比约恩·布格·格雷斯沃尔 , 弗里茨·亨利恩 , 德克斯特·科赞 :
上下文无关语言等式理论的无限公理化。 菲莎国际学院 2013 : 44-55 [电子2] 克莱门斯·格雷克 , 弗里茨·亨利恩 , Umut A.Acar公司 , 乔斯特·伯特霍尔德 :
美国马萨诸塞州波士顿第二届ACM SIGPLAN功能性高性能计算研讨会会议记录, FHPC@ICFP 2013年9月25日至27日。 ACM公司 2013 ,国际标准图书编号 978-1-4503-2381-9 [目录] 2012 [公元15年] 弗里茨·亨利恩 :
线性时间中排序和分区的一般自上而下的区分。 J.功能。 程序。 22 ( 三 ) : 300-374 ( 2012 ) [公元33年] 弗里茨·亨利恩 :
摇滚计算机科学。 逻辑和程序语义 2012 : 354-355 [公元32年] 安德斯·斯塔克·亨里克森 , 拉斯.尼尔森 , 托马斯·希尔德布兰特 , 吉田信子 , 弗里茨·亨利恩 :
通过多方会话类型提供值得信赖的普及医疗服务。 FHIES公司 2012 : 124-141 [公元31年] Cosmin E.Oancea公司 , 克里斯蒂安·安德列塔 , 乔斯特·伯特霍尔德 , 阿兰·弗里希 , 弗里茨·亨利恩 :
GPU上的财务软件:介于Haskell和Fortran之间。 FHPC@ICFP 2012 : 61-72 [公元30年] 米克尔-琼森-汤姆森 , 弗里茨·亨利恩 :
使用滚动哈希、后缀树和数据化的克隆检测:一个案例研究。 IWSC公司 2012 : 22-28 2011 [公元29年] 拉斯.尼尔森 , 弗里茨·亨利恩 :
位编码正则表达式分析。 拉丁美洲旅游协会 2011 : 402-413 [公元28年] 弗里茨·亨利恩 :
领域特定语言实现的动态符号计算。 洛普斯特 2011 : 4-24 [公元27年] 弗里茨·亨利恩 , 拉斯.尼尔森 :
正则表达式包含:共导公理化和计算解释。 POPL公司 2011 : 385-398 [c26] 乔斯特·伯特霍尔德 , 安杰伊·菲林斯基 , 弗里茨·亨利恩 , 肯·弗里斯·拉森 , 莫根斯·斯特芬森 , 布赖恩·温特 :
功能性高性能财务IT。 函数式编程趋势 2011 : 98-113 2010 [公元14年] 弗里茨·亨利恩 :
大规模的声音和精确的节目分析:技术观点。 Commun公司。 ACM公司 53 ( 8 ) : 114 ( 2010 ) [j13] 弗里茨·亨利恩 , 肯·弗里斯·拉森 :
具有基于判别的连接和符号笛卡尔积的通用多集编程。 高。 订购符号。 计算。 23 ( 三 ) : 337-370 ( 2010 ) [公元25年] 弗里茨·亨利恩 , 肯·弗里斯·拉森 :
语言集成查询的通用多集编程。 ICFP-WGP公司 2010 : 49-60 [c24] 弗里茨·亨利恩 :
使用通用等价鉴别器和惰性积优化关系代数操作。 政治公众人物 2010 : 73-82 【c23】 蒂姆·霍维尔 , 弗里茨·亨利恩 , 托马斯·希尔德布兰特 :
WS-BPEL 2.0的标准驱动实现。 囊 2010 : 2472-2476
2000 – 2009
2009 [公元12年] 弗里茨·亨利恩 , 肯·弗里斯·拉森 , 雅各布·格鲁·西蒙森 , 克里斯蒂安·斯特凡森 :
POETS:面向流程的事件驱动事务系统。 J.日志。 代数方法课程。 78 ( 5 ) : 381-401 ( 2009 ) [公元11年] 弗里茨·亨利恩 :
什么是排序函数? J.日志。 代数方法课程。 78 ( 7 ) : 552-572 ( 2009 ) 2008 [公元22年] 弗里茨·亨利恩 :
通用识别:在线性时间内对非共享数据进行排序和分区。 ICFP公司 2008 : 91-102 2006 [公元10年] 杰斯帕·安德森 , 埃比·埃尔斯堡 , 弗里茨·亨利恩 , 雅各布·格鲁·西蒙森 , 克里斯蒂安·斯特凡森 :
商业合同的组成规范。 国际期刊软件。 技术工具。 Transf公司。 8 ( 6 ) : 485-516 ( 2006 ) 2005 [公元9年] 奥利维尔·丹维 , 弗里茨·亨利恩 , 哈里·梅森 , 阿尔贝托·佩托罗西 :
编辑。 高。 订购符号。 计算。 18 ( 1-2 ) : 5-6 ( 2005 ) 2004 【c21】 杰斯帕·安德森 , 埃比·埃尔斯堡 , 弗里茨·亨利恩 , 雅各布·格鲁·西蒙森 , 克里斯蒂安·斯特凡森 :
商业合同的构成规范。 ISoLA(初步程序) 2004 : 103-110 2003 [j8] 奥利维尔·丹维 , 弗里茨·亨利恩 , 哈里·梅森 , 阿尔贝托·佩托罗西 :
编辑:鲍勃·佩奇专刊。 高。 订购符号。 计算。 16 ( 1-2 ) : 5-6 ( 2003 ) 2001 [公元20年] 弗里茨·亨利恩 , 亨宁·马克霍姆 , 海宁日产 :
基于控制流敏感区域的内存管理的直接方法。 PPDP公司 2001 : 175-186
1990 – 1999
1999 [j7] 弗里茨·亨利恩 :
突破n 三 屏障:更快的对象类型推断。 理论实践。 对象系统。 5 ( 1 ) : 57-72 ( 1999 ) [第19条] 彼得·哈里·艾多夫 , 弗里茨·亨利恩 , 克里斯蒂安·莫辛 , 海宁日产 , 莫滕·海因·瑟伦森 , 疯子托夫特 :
AnnoDomini:从类型理论到2000年转换工具。 POPL公司 1999 : 1-14 [第18条] 彼得·哈里·艾多夫 , 弗里茨·亨利恩 , 克里斯蒂安·莫辛 , 海宁日产 , 莫滕·海因·瑟伦森 , 疯子托夫特 :
AnnoDomini实践:2000年问题的类型理论方法。 薄层色谱分析 1999 : 6-13 1998 [j6] 布兰特 , 弗里茨·亨利恩 :
递归类型等式和子类型的共同公理化。 芬丹。 信息学 33 ( 4 ) : 309-338 ( 1998 ) [j5] 弗里茨·亨利恩 :
SIGPLAN和世界系列赛。 ACM SIGPLAN通知 33 ( 1 ) : 1-2 ( 1998 ) [第17条] 弗里茨·亨利恩 , 雅各布·雷霍夫 :
约束自动机和递归子类型蕴涵的复杂性。 ICALP公司 1998 : 616-627 1997 [第16条] 弗里茨·亨利恩 , 雅各布·雷霍夫 :
简单类型的子类型蕴涵的复杂性。 低收入国家 1997 : 352-361 [第15条] 布兰特 , 弗里茨·亨利恩 :
递归类型等式和子类型的共同公理化。 薄层色谱分析 1997 : 63-81 [电子1] 李忠琛 , 弗里茨·亨利恩 , 尼尔·D·琼斯 :
1997年POPL会议记录:第24届ACM SIGPLAN-SIGACT编程语言原理研讨会,1997年1月15日至17日在法国巴黎举行的研讨会上发表的论文。 美国计算机协会出版社 1997 ,国际标准图书编号 0-89791-853-3 [目录] 1995 [第14条] 弗里茨·亨利恩 , 雅各布·雷霍夫 :
方案的安全多态类型推断:将方案转换为ML。 FPCA公司 1995 : 192-203 [第13条] 弗里茨·亨利恩 , 大卫·桑德斯 :
用于安全部分评估的绑定时间的语义模型。 PLILP公司 1995 : 299-320 [第12条] 德克·杜沙特 , 弗里茨·亨利恩 , 克里斯蒂安·莫辛 :
多态递归和子类型限定:多项式时间中的多态结合时间分析。 SAS公司 1995 : 118-135 1994 【j4】 弗里茨·亨利恩 , 哈里·梅森 :
高阶类型lambda演算类型推理的复杂性。 J.功能。 程序。 4 ( 4 ) : 435-477 ( 1994 ) [j3] 弗里茨·亨利恩 :
动态打字:语法和证明理论。 科学。 计算。 程序。 22 ( 三 ) : 197-230 ( 1994 ) [第11条] 弗里茨·亨利恩 , 克里斯蒂安·莫辛 :
多态结合时间分析。 员工持股计划 1994 : 287-301 [第10条] 弗里茨·亨利恩 , 杰斯珀·约根森 :
形式上的最佳拳击。 POPL公司 1994 : 213-226 【c9】 弗里茨·亨利恩 :
基于类型的严格性分析的迭代不动点计算。 SAS公司 1994 : 395-407 1993 [注2] 弗里茨·亨利恩 :
具有多态递归的类型推断。 ACM事务处理。 程序。 语言系统。 15 ( 2 ) : 253-289 ( 1993 ) 1992 【c8】 弗里茨·亨利恩 :
动态键入。 员工持股计划 1992 : 233-253 【c7】 弗里茨·亨利恩 :
通过类型推断进行全局标记优化。 LISP与函数编程 1992 : 205-215 1991 【c6】 弗里茨·亨利恩 :
用于高阶绑定时间分析的高效类型推断。 FPCA公司 1991 : 448-472 【c5】 汉斯·雷 , 弗里茨·亨利恩 :
半统一问题的一个可判定案例。 MFCS公司 1991 : 318-327 【c4】 弗里茨·亨利恩 , 哈里·梅森 :
高阶类型Lambda演算类型推理的复杂性。 POPL公司 1991 : 119-130 1990 【c3】 弗里茨·亨利恩 :
快速左线性半统一。 国际协调委员会 1990 : 82-91
1980 – 1989
1988 [c2] 弗里茨·亨利恩 :
类型推理和半统一。 LISP与函数编程 1988 : 184-197 1987 [j1] 罗伯特·佩奇 , 弗里茨·亨利恩 :
集合论问题规范到有效RAM代码的机械翻译——案例研究。 J.塞姆。 计算。 4 ( 2 ) : 207-232 ( 1987 ) 1985 【c1】 罗伯特·佩奇 , 弗里茨·亨利恩 :
集合论问题规范到有效RAM代码的机械翻译——案例研究。 欧洲计算机代数会议(2) 1985 : 554-567
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)