停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

扬·霍夫曼0002

>主页 >珀森斯

人员信息

附属： 卡内基梅隆大学
隶属关系（前）： 耶鲁大学
隶属关系（前）： 德国慕尼黑大学

其他同名人员

请参阅常见问题解答

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[公元21年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/topc/MullerH24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/topc/MullerH24
斯特凡·K·穆勒,扬·霍夫曼:
CUDA内核评估成本建模与分析。 ACM事务处理。并行计算。 11(1):5:1-5:53(2024)
2023
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/DasWH23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/DasWH23
Ankush Das公司,狄王,扬·霍夫曼:
概率资源软件会话类型。程序。ACM计划。语言。 7(POPL公司):1925-1956(2023)
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GrosenK023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GrosenK023
杰西·格罗森,大卫·M·卡恩,扬·霍夫曼:
具有常规递归类型的自动摊销资源分析。低收入国家 2023:1-14
【i21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2304-13627
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2304-13627
杰西·格罗森,大卫·M·卡恩,扬·霍夫曼:
具有常规递归类型的自动摊销资源分析。 CoRR公司 abs/2304.13627(2023)
[i20]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-2309-01261
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2309-01261
长Pham,扬·霍夫曼:
非单调资源度量下并发程序的最坏情况输入生成。 CoRR公司 abs/2309.01261(2023)
2022
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/HoffmannSS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/HoffmannSS22
扬·霍夫曼,唐纳德·桑内拉,乌尔里希·舍普:
为纪念马丁·霍夫曼（Martin Hofmann）第二部分，特刊前言。数学。结构。计算。科学。 32(6):682-684(2022)
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/HoffmannJ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/HoffmannJ22
扬·霍夫曼,斯特芬·乔斯特:
二十年的自动摊销资源分析。数学。结构。计算。科学。 32(6):729-759(2022)
2021
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/HoffmannSS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/HoffmannSS21
扬·霍夫曼,唐纳德·桑内拉,乌尔里希·舍普:
为纪念马丁·霍夫曼（Martin Hofmann），特刊前言第1部分。数学。结构。计算。科学。 31(9):950-952(2021)
[公元16年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/KahnH21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/KahnH21
大卫·M·卡恩,扬·霍夫曼:
使用量子物理学家的方法进行自动摊销资源分析。程序。ACM计划。语言。 5(ICFP公司):1-29(2021)
[公元15年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/Muller021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/Muller021
斯特凡·K·穆勒,扬·霍夫曼:
CUDA内核评估成本建模与分析。程序。ACM计划。语言。 5(POPL公司):1-31(2021)
[公元14年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/RajaniG0021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/RajaniG0021
维尼特·拉贾尼,马可·加博阿迪,Deepak Garg公司,扬·霍夫曼:
用于高阶（摊销）成本分析的统一类型理论。程序。ACM计划。语言。 5(POPL公司):1-28(2021)
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/DasB0PS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/DasB0PS21
Ankush Das公司,斯蒂芬妮·巴尔泽,扬·霍夫曼,弗兰克·普芬宁,伊沙尼·桑图卡尔:
数字合同的资源软件会话类型。 CSF公司 2021:1-16
[公元31年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Pham021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Pham021
长Pham,扬·霍夫曼:
多项式自动摊销资源分析的可键入片段。 CSL公司 2021:34:1-34:19
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Wang0R21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Wang0R21
狄王,扬·霍夫曼,托马斯·W·代表:
概率程序中成本累加器的中心矩分析。 PLDI公司 2021:559-573
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Wang0R21a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Wang0R21a
狄王,扬·霍夫曼,托马斯·W·代表:
通过指南类型进行合理的概率推断。 PLDI公司 2021:788-803
[i19]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-2103-16105
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2103-16105
狄王,扬·霍夫曼,托马斯·W·代表:
概率程序的期望成本分析和可选停止定理的语义级调整。 CoRR公司 abs/2103.16105(2021)
[i18]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2104-03598
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2104-03598
狄王,扬·霍夫曼,托马斯·W·代表:
通过引导类型进行声音概率推断。 CoRR公司 abs/2104.03598(2021)
[i17]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-2106-13936
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2106-13936
大卫·M·卡恩,扬·霍夫曼:
用量子物理学家的方法进行自动摊销资源分析。 CoRR公司 abs/2106.13936(2021)
2020
[j13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/KnothWRHP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/KnothWRHP20
特里斯坦·诺思,狄王,亚当·雷诺兹,扬·霍夫曼,纳迪娅·波里卡波娃:
流动资源类型。程序。ACM计划。语言。 4(ICFP公司):106:1-106:29(2020)
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/WangKH20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/WangKH20
狄王,大卫·M·卡恩,扬·霍夫曼:
提高预期：使用类型自动进行预期成本分析。程序。ACM计划。语言。 4(ICFP公司):110:1-110:31(2020)
[公元28年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Kahn020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Kahn020
大卫·M·卡恩,扬·霍夫曼:
指数自动摊销资源分析。 FoSSaCS公司 2020:359-380
[i16]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2001-20150
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2001-20150
狄王,扬·霍夫曼,托马斯·W·代表:
基于中心矩的概率程序尾部约束分析。 CoRR公司 abs/2001.10150(2020)
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-2002-09519
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2002-09519
大卫·M·卡恩,扬·霍夫曼:
指数摊销资源分析。 CoRR公司 abs/2002.09519(2020)
[第14条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2006-14010
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2006-14010
狄王,大卫·M·卡恩,扬·霍夫曼:
提高预期：使用类型自动进行预期成本分析。 CoRR公司 abs/2006.14010(2020)
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2006-16233
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2006-16233
特里斯坦·诺思,狄王,亚当·雷诺兹,扬·霍夫曼,纳迪娅·波里卡波娃:
流动资源类型。 CoRR公司 abs/2006.16233(2020)
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2010-16353
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2010-16353
长Pham,扬·霍夫曼:
多项式自动摊销资源分析的可键入片段。 CoRR公司 abs/2010.16353(2020)
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2011-09037
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2011-09037
Ankush Das公司,狄王,扬·霍夫曼:
概率资源软件会话类型。 CoRR公司腹肌/2011.09037(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/WangH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/WangH19
狄王,扬·霍夫曼:
类型引导的最坏情况输入生成。程序。ACM计划。语言。三(POPL公司):13:1-13:30(2019)
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/KnothWP019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/KnothWP019
特里斯坦·诺思,狄王,纳迪娅·波里卡波娃,扬·霍夫曼:
资源引导的程序合成。 PLDI公司 2019:253-268
[公元26年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/WangHR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/WangHR19
狄王,扬·霍夫曼,托马斯·W·代表:
具有非确定性的低水平概率程序的表示语义。 MFPS公司 2019:303-324
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1902-06056
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1902-06056
Ankush Das公司,斯蒂芬妮·巴尔泽,扬·霍夫曼,弗兰克·普芬宁:
数字合同的资源软件会话类型。 CoRR公司 abs/1902.06056(2019)
[i9]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1904-07415
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1904-07415
特里斯坦·诺思,狄王,纳迪娅·波里卡波娃,扬·霍夫曼:
资源引导程序综合。 CoRR公司 abs/1904.07415(2019)
2018
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/Das0P18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/Das0P18
Ankush Das公司,扬·霍夫曼,弗兰克·普芬宁:
时间会话类型的并行复杂性分析。程序。ACM计划。语言。 2(ICFP公司):91:1-91:30(2018)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Das0P18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Das0P18
Ankush Das公司,扬·霍夫曼,弗兰克·普芬宁:
使用资源软件会话类型进行工作分析。低收入国家 2018:305-314
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/NiuH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/NiuH18
岳牛,扬·霍夫曼:
带垃圾收集功能程序的自动空间限制分析。 LPAR公司 2018:543-563
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/NgoC018文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/NgoC018
Van Chan Ngo先生,昆汀碳纤维,扬·霍夫曼:
有限期望：概率程序的资源分析。 PLDI公司 2018:496-512
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/WangHR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/WangHR18
狄王,扬·霍夫曼,托马斯·W·代表:
PMAF：概率程序静态分析的代数框架。 PLDI公司 2018:513-528
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1801-01896
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1801-01896
Van Chan Ngo先生,马里奥·德埃萨·阿佐拉,马修·弗雷德里克森,扬·霍夫曼:
使用类型验证和合成常量资源实现。 CoRR公司 abs/1801.01896(2018)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1804-06013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1804-06013
Ankush Das公司,扬·霍夫曼,弗兰克·普芬宁:
基于时间会话类型的并行复杂性分析。 CoRR公司 abs/1804.06013(2018)
2017
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/GieslH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/GieslH17
吉尔根·吉斯尔,扬·霍夫曼:
前言：自动资源边界分析专刊。 J.汽车。原因。 59(1):1-2(2017)
[c21]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/碳氧化物0RS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Carbonneaux0RS17
昆汀碳纤维,扬·霍夫曼,托马斯·W·代表,钟绍:
具有Coq证明对象的自动化资源分析。 CAV（2） 2017:64-85
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CicekBG0H17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CicekBG0H17
埃兹吉切克,吉尔斯·巴特,马可·加博阿迪,Deepak Garg公司,扬·霍夫曼:
关系成本分析。 POPL公司 2017:316-329
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/霍夫曼DW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HoffmanDW17
扬·霍夫曼,Ankush Das公司,Shu-Chun翁:
面向OCaml的自动资源边界分析。 POPL公司 2017:359-373
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/LichtmanH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/LichtmanH17网址
本杰明·利希特曼,扬·霍夫曼:
资源感知ML中的数组和引用。金融稳定与发展部 2017:26:1-26:20
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sp/NgoDFH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sp/NgoDFH17
Van Chan Ngo先生,马里奥·德埃萨·阿佐拉,马修·弗雷德里克森,扬·霍夫曼:
使用类型验证和合成常量资源实现。 IEEE安全与隐私研讨会 2017:710-728
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/Das017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/Das017
Ankush Das公司,扬·霍夫曼:
ML for ML：通过实验学习成本语义学。 TACAS（1） 2017:190-207
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1711-08847
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1711-08847
Van Chan Ngo先生,昆汀碳纤维,扬·霍夫曼:
有限期望：概率程序的资源分析。 CoRR公司 abs/1711.08847(2017)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1712-08310
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1712-08310
Ankush Das公司,扬·霍夫曼,弗兰克·普芬宁:
使用资源软件会话类型进行工作分析。 CoRR公司 abs/1712.08310(2017)
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dagstuhl-reports/GaboardiHWZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dagstuhl-reports/GaboardiHWZ17
马可·加博阿迪,扬·霍夫曼,莱因哈德·威廉姆,弗洛里安·祖勒格:
资源约束分析（Dagstuhl研讨会17291）。达格斯图尔报告 7(7):72-87(2017)
2016
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/HoffmanDW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HoffmannDW16
扬·霍夫曼,Ankush Das公司,Shu-Chun翁:
面向OCaml的自动资源约束分析。 CoRR公司 abs/1611.00692(2016)
2015
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/0002S15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/0002S15
扬·霍夫曼,钟绍:
使用整数和数组进行基于类型的摊销资源分析。 J.功能。程序。 25(2015)
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/0002S15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/002S15
扬·霍夫曼,钟绍:
并行程序的自动静态成本分析。员工持股计划 2015:132-157
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Carbonneaux0S15型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Carbonneaux0S15
昆汀碳纤维,扬·霍夫曼,钟绍:
合成认证的资源边界。 PLDI公司 2015:467-478
2014
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/0002S14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/0002S14
扬·霍夫曼,钟绍:
基于类型的整数和数组摊销资源分析。 FLOPS（浮动） 2014:152-168
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Carbonneaux0RS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Carbonneaux0RS14
昆汀碳纤维,扬·霍夫曼,塔希娜·拉马南安德罗,钟绍:
C程序堆栈空间边界的端到端验证。 PLDI公司 2014:270-281
2013
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/BaumeisterBF0R13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/BaumeisterBF0R13
多萝西娅·鲍迈斯特,费利克斯·勃兰特,费利克斯·A·菲舍尔,扬·霍夫曼,约格·罗特:
计算最小单向覆盖集的复杂性。理论计算。系统。 53(三):467-502(2013)
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/LiangHFS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/LiangHFS13
梁洪进,扬·霍夫曼,新余峰,钟绍:
通过上下文细化表征并发对象的进程属性。 CONCUR公司 2013:227-241
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Hoffmann MS13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HoffmannMS13
扬·霍夫曼,迈克尔·马尔马,钟绍:
证明锁自由的定量推理。低收入国家 2013:124-133
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SchererH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SchererH13
加布里埃尔·谢勒,扬·霍夫曼:
使用开放闭包类型跟踪数据流。 LPAR公司 2013:710-726
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/SchererH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SchererH13
加布里埃尔·谢勒,扬·霍夫曼:
使用开放闭包类型跟踪数据流。 CoRR公司腹肌/1312.0018(2013)
2012
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/0002AH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/0002AH12
扬·霍夫曼,克劳斯·埃利格,马丁·霍夫曼:
多元摊销资源分析。 ACM事务处理。程序。语言系统。 34(三):14:1-14:62(2012)
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/0002AH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/0002AH12
扬·霍夫曼,克劳斯·埃利格,马丁·霍夫曼:
资源感知ML。 CAV汽车 2012:781-786
[c7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KrishnaswamiBH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KrishnaswamiBH12
内拉坎坦·R·克里希纳斯瓦米,尼克·本顿,扬·霍夫曼:
有界空间中的高阶函数反应规划。 POPL公司 2012:45-58
2011
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/dnb/Hoffmann11b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/dnb/Hoffmann11b
扬·霍夫曼:
潜在类型：通过自动摊销分析的多项式资源边界。慕尼黑路德维希·马克西米利安大学，2011，十亿978-3-8442-1516-8，第1-179页
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/BrandtBFH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/BrandtBFH11
费利克斯·勃兰特,马库斯·布里尔,费利克斯·A·菲舍尔,扬·霍夫曼:
弱鞍的计算复杂性。理论计算。系统。 49(1):139-161(2011)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HoffmannAH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HoffmannAH11
扬·霍夫曼,克劳斯·埃利格,马丁·霍夫曼:
多元摊销资源分析。 POPL公司 2011:357-370
2010
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/HoffmannH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/HoffmannH10
扬·霍夫曼,马丁·霍夫曼:
基于多态递归和部分大步操作语义的摊销资源分析。阿普拉斯 2010:172-187
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ciac/BaumeisterBFHR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ciac/BaumeisterBFHR10
多萝西娅·鲍迈斯特,费利克斯·勃兰特,费利克斯·A·菲舍尔,扬·霍夫曼,约格·罗特:
计算最小单向覆盖集的复杂性。 CIAC公司 2010:299-310
[c3]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/Hoffmann10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Hoffmann10
扬·霍夫曼:
函数程序资源消耗的自动摊销分析。 AlgoSyn公司 2010:151
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/HoffmannH10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/HoffmannH10
扬·霍夫曼,马丁·霍夫曼:
多项式潜力的摊销资源分析。员工持股计划 2010:287-306

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigecom/BrandtBFHH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sige.com/BrandtBFHH09
费利克斯·勃兰特,马库斯·布里尔,费利克斯·A·菲舍尔,保罗·哈伦斯坦,扬·霍夫曼:
计算Shapley的鞍座。 SIGecom交易所。 8(2):三(2009)
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Hoffmann09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Hoffmann09
扬·霍夫曼:
在分辨率证明中找到树结构是NP完成的。理论。计算。科学。 410(21-23):2295-2300(2009)
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sagt/BrandtBFH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sagt/BrandtBFH09
费利克斯·勃兰特,马库斯·布里尔,费利克斯·A·菲舍尔,扬·霍夫曼:
弱鞍的计算复杂性。 SAGT公司 2009:238-249
2008
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BussHJ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BussHJ08
塞缪尔·巴斯,扬·霍夫曼,简·约翰森:
带引理的解析树：用子句学习表征DLL算法的解析优化。日志。方法计算。科学。 4(4)(2008)
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/tcs/BussH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BussH08
塞缪尔·巴斯,扬·霍夫曼:
找到正则分辨率的有向非循环图的NP-hardness。理论。计算。科学。 396(1-3):271-276(2008)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0811-1075
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0811-1075
塞缪尔·巴斯,扬·霍夫曼,简·约翰森:
带引理的解析树：用子句学习表征DLL算法的解析优化。 CoRR公司绝对值/0811.1075(2008)

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。