编辑配置文件（在新选项卡中打开） 詹·菲利普·霍夫曼 合著者距离 作者ID： 霍夫曼·詹·菲利普 发布日期： 霍夫曼，简;詹·菲利普·霍夫曼;霍夫曼博士。 更多。。。较少的 已编制索引的文档： 32出版物自1984年以来，包括2本书 3作为编辑的贡献·1进一步贡献 合著者： 33位合著者具有28联合出版物 838位联合作者 全部的 前5名合著者 4 单作者的 6 邵，钟 4 费利克斯·勃兰特 4 费利克斯·费舍尔 2 多萝西娅·鲍迈斯特 2 马库斯·布里尔 2 Samuel R.巴斯。 2 达斯，安库什 2 马丁·霍夫曼 2 尼拉巴，P。 2 代表，Thomas W。 2 约格·马提亚斯·罗特 2 唐纳德·桑内拉。 2 乌尔里希·舍普 1 克劳斯·埃利格 1 吉尔·巴特 1 尼克·本顿 1 卡博诺，昆廷 1 埃兹吉·切克 1 迈克尔，德雷尔 1 费格，克劳斯·迪特 1 冯新余 1 Franzrahe，K。 1 马可·加博阿迪 1 迪帕克·加尔格 1 盖斯勒，H.G。 1 吉尔根·吉斯尔 1 约翰·格林利斯。 1 沃尔克·吉亚德 1 亨斯勒，P。 1 格恩特·赫伦德·弗尔（Günter Herrendörfer） 1 约翰森，简 1 斯特芬·乔斯特 1 B.朱利希。 1 大卫·M·卡恩。 1 弗里德哈特·克里克斯 1 沃纳·克劳斯 1 尼拉坎坦·R·克里希纳斯瓦米。 1 F.库克拉。 1 梁洪进 1 本杰明·利希特曼 1 迈克尔·马尔马 1 牛、岳 1 弗兰克·芬宁 1 迪特·拉什 1 加布里埃尔·谢勒 1 斯特里普，W。 1 罗兰·斯特罗贝尔 1 休伯特·西多 1 塔·维特曼。 1 翁淑春 全部的 前5名系列 三 MSCS公司。计算机科学中的数学结构 2 理论计算机科学 2 计算系统理论 1 国际控制杂志 1 自动推理杂志 1 函数编程杂志 1 计算机科学中的逻辑方法 全部的 前5名领域 30 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 4 总体主题；集合（00-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 历史和传记（01-XX） 2 拓扑群、李群（22日至XX日） 2 统计力学，物质结构（82-XX） 1 \（K\）理论（19-XX） 1 代数拓扑（55-XX） 1 数值分析（65-XX） 1 可变形固体力学（74-XX） 1 量子理论（81-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用154次93文件 引用人▼ 年份▼ 多元摊销资源分析。 Zbl 1284.68132号 霍夫曼，简;克劳斯·埃利格;马丁·霍夫曼 30 2011 面向OCaml的自动资源边界分析。 Zbl 1380.68123号 霍夫曼，简;达斯，安库什;翁淑春 18 2017 多项式潜力摊销资源分析。函数程序多项式界的静态推断。 Zbl 1260.68074号 霍夫曼，简;马丁·霍夫曼 17 2010 使用资源软件会话类型进行工作分析。 Zbl 1497.68111号 达斯，安库什;霍夫曼，简;弗兰克·芬宁 15 2018 带引理的解析树：通过子句学习对DLL算法进行解析优化。 Zbl 1159.03009号 Samuel R.巴斯。;霍夫曼，简;约翰森，简 14 2008 并行程序的自动静态成本分析。 Zbl 1335.68056号 霍夫曼，简;邵，钟 11 2015 有界空间中的高阶函数反应规划。 Zbl 1321.68171号 尼拉坎坦·R·克里希纳斯瓦米。;尼克·本顿;霍夫曼，简 6 2012 使用Coq证明对象进行自动资源分析。 Zbl 1494.68051号 二氧化碳、昆汀;霍夫曼，简;代表，托马斯;邵，钟 6 2017 证明锁自由的定量推理。 Zbl 1366.68171号 霍夫曼，简;迈克尔·马尔马;邵，钟 4 2013 关系成本分析。 Zbl 1380.68118号 埃兹吉·切克;吉尔·巴特;马可·加博阿迪;迪帕克·加尔格;霍夫曼，简 4 2017 使用整数和数组进行基于类型的摊销资源分析。 Zbl 1420.68068号 霍夫曼，简;邵，钟 4 2015 资源感知ML中的数组和引用。 Zbl 1441.68018号 本杰明·利希特曼;霍夫曼，简 4 2017 使用整数和数组进行基于类型的摊销资源分析。 Zbl 1416.68038号 霍夫曼，简;邵，钟 三 2014 计算最小单向覆盖集的复杂性。 Zbl 1286.68179号 多萝西娅·鲍迈斯特;费利克斯·勃兰特;费利克斯·费舍尔;霍夫曼，简;约尔格·罗特 三 2013 指数自动摊销资源分析。 Zbl 07250947号 大卫·M·卡恩。;霍夫曼，简 三 2020 AR系统可控性的代数方面。 Zbl 0814.93016号 霍夫曼，J。 2 1994 计算最小单向覆盖集的复杂性。 Zbl 1284.68288号 多萝西娅·鲍迈斯特;费利克斯·勃兰特;费利克斯·费舍尔;霍夫曼，简;约尔格·罗特 2 2010 找到正则分辨率的有向非循环图的NP-hardness。 Zbl 1145.03034号 Samuel R.巴斯。;霍夫曼，简 2 2008 具有垃圾收集功能的程序的自动空间边界分析。 Zbl 1415.68058号 牛、岳;霍夫曼，简 2 2018 具有不确定性的低级概率程序的指称语义。 Zbl 07515966号 王迪;霍夫曼，简;代表，托马斯 2 2019 纳米系统中的相变、结构和量子效应。 Zbl 1026.82500号 德雷尔，M。;D.菲舍尔。;Franzrahe，K。;亨斯勒，P。;霍夫曼，J。;斯特里普，W。;尼拉巴，P。 1 2003 在分辨率证明中找到树结构是NP完成的。 兹比尔1166.68038 霍夫曼，简 1 2009 前言：自动资源边界分析专题。 Zbl 1368.00054号 1 2017 弱鞍座的计算复杂性。 Zbl 1278.91009号 费利克斯·勃兰特;马库斯·布里尔;费利克斯·费舍尔;霍夫曼，简 1 2011 通过上下文细化描述并发对象的进度属性。 Zbl 1390.68480号 梁洪进;霍夫曼，简;冯新余;邵，钟 1 2013 指数自动摊销资源分析。 Zbl 07250947号 大卫·M·卡恩。;霍夫曼，简 三 2020 具有不确定性的低级概率程序的指称语义。 Zbl 07515966号 王迪;霍夫曼，简;代表，托马斯 2 2019 使用资源软件会话类型进行工作分析。 Zbl 1497.68111号 达斯，安库什;霍夫曼，简;弗兰克·芬宁 15 2018 带垃圾收集功能程序的自动空间界限分析。 兹比尔1415.68058 牛、岳;霍夫曼，简 2 2018 面向OCaml的自动资源边界分析。 Zbl 1380.68123号 霍夫曼，简;达斯，安库什;翁淑春 18 2017 使用Coq证明对象进行自动资源分析。 Zbl 1494.68051号 二氧化碳、昆汀;霍夫曼，简;代表，托马斯;邵，钟 6 2017 关系成本分析。 Zbl 1380.68118号 埃兹吉·切克;吉尔·巴特;马可·加博阿迪;迪帕克·加尔格;霍夫曼，简 4 2017 资源感知ML中的数组和引用。 Zbl 1441.68018号 本杰明·利希特曼;霍夫曼，简 4 2017 前言：自动资源边界分析专题。 Zbl 1368.00054号 1 2017 并行程序的自动静态成本分析。 Zbl 1335.68056号 霍夫曼，简;邵，钟 11 2015 使用整数和数组进行基于类型的摊销资源分析。 Zbl 1420.68068号 霍夫曼，简;邵，钟 4 2015 使用整数和数组进行基于类型的摊销资源分析。 兹伯利1416.68038 霍夫曼，简;邵，钟 三 2014 证明锁自由的定量推理。 Zbl 1366.68171号 霍夫曼，简;迈克尔·马尔马;邵，钟 4 2013 计算最小单向覆盖集的复杂性。 Zbl 1286.68179号 多萝西娅·鲍迈斯特;费利克斯·勃兰特;费利克斯·费舍尔;霍夫曼，简;约尔格·罗特 三 2013 通过上下文细化描述并发对象的进度属性。 Zbl 1390.68480号 梁洪进;霍夫曼，简;冯新余;邵，钟 1 2013 有界空间中的高阶函数反应规划。 Zbl 1321.68171号 尼拉坎坦·R·克里希纳斯瓦米。;尼克·本顿;霍夫曼，简 6 2012 多元摊销资源分析。 Zbl 1284.68132号 霍夫曼，简;克劳斯·埃利格;马丁·霍夫曼 30 2011 弱鞍座的计算复杂性。 Zbl 1278.91009号 费利克斯·勃兰特;马库斯·布里尔;费利克斯·费舍尔;霍夫曼，简 1 2011 具有多项式潜力的摊销资源分析。函数程序多项式界的静态推断。 Zbl 1260.68074号 霍夫曼，简;马丁·霍夫曼 17 2010 计算最小单向覆盖集的复杂性。 Zbl 1284.68288号 多萝西娅·鲍迈斯特;费利克斯·勃兰特;费利克斯·费舍尔;霍夫曼，简;约尔格·罗特 2 2010 在分辨率证明中找到树结构是NP完成的。 Zbl 1166.68038号 霍夫曼，简 1 2009 带引理的解析树：通过子句学习对DLL算法进行解析优化。 Zbl 1159.03009号 Samuel R.巴斯。;霍夫曼，简;约翰森，简 14 2008 对于正则分辨率，找到有向无环图的NP硬度。 Zbl 1145.03034号 Samuel R.巴斯。;霍夫曼，简 2 2008 纳米系统中的相变、结构和量子效应。 Zbl 1026.82500号 德雷尔，M。;D.菲舍尔。;Franzrahe，K。;亨斯勒，P。;霍夫曼，J。;斯特里普，W。;尼拉巴，P。 1 2003 AR系统可控性的代数方面。 Zbl 0814.93016号 霍夫曼，J。 2 1994 所有引用出版物 前5名被引用出版物 全部的 前5名被204位作者引用 7 詹·菲利普·霍夫曼 6 艾尔维拉·阿尔伯特 5 帕特里克·贝洛特 4 吉尔根·吉斯尔 4 乔治·莫瑟 4 弗洛里安·祖勒格 三 费利克斯·勃兰特 三 Samuel R.巴斯。 三 亚瑟·查古埃罗 三 达斯，安库什 三 约翰·加拉赫（John P.Gallagher）。 三 萨米尔·根奈姆 三 亚历克西斯·盖塞伦 三 曼努埃尔五世（Manuel V.Hermenegildo）。 三 约翰森，简 三 弗兰克·芬宁 三 弗朗索瓦·波蒂埃 2 吉尔·巴特 2 马库斯·布里尔 2 乌戈·达尔拉戈 2 费利克斯·费舍尔 2 阿德里安·弗兰卡兰扎 2 弗洛里安·弗洛恩 2 卡斯滕·福斯 2 雷纳·哈内尔 2 杰拉·亨塞尔 2 斯特芬·乔斯特 2 迪莉娅·凯斯纳 2 马克西米利亚诺·克莱门 2 马西莫·劳里亚 2 洛伦茨，Leutgeb 2 佩德罗·洛佩兹·加西亚 2 马丁·马丁，恩里克 2 艾丽西亚·梅拉约 2 费比安·梅耶 2 托比亚斯·尼普科 2 雅各布诺德斯特伦 2 吉列尔莫·罗曼·迪兹 2 约格·马提亚斯·罗特 2 保拉·加布里埃拉·塞维利 2 杰勒德·塔博内 1 贝尼亚米·阿卡托利 1 穆罕默德·里兹万·阿里 1 桑德拉·阿尔维斯 1 Attrapadung、Nuttapong 1 马丁·阿文齐尼 1 帕特里克·巴尔 1 泰斯·波顿 1 多萝西娅·鲍迈斯特 1 阿尔伯特·本文尼斯特 1 奥拉夫·拜尔斯多夫 1 Lars Birkedal公司 1 阿列舍·比兹亚克 1 乔舒亚·布林霍恩 1 本杰明·伯姆 1 托马斯·布拉兹迪尔 1 布林科普，豪克 1 马克·布罗克施米特 1 安东尼奥·布罗吉 1 理查德·布贝尔 1 Chang，Bor-Yuh Evan先生 1 克里希南德·查特吉 1 Cheng，车 1 拉纳德·A·克鲁斯顿。 1 安德烈亚·科拉迪尼 1 马修斯·霍珀·科斯塔。 1 约翰·Cyphert 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 花冈、果一郎 1 马塞尔·哈克 1 罗伯特·哈珀 1 马丁·霍夫曼 1 胡、秦和平 …还有104位作者 全部的 前5名23篇连载文章中引用 6 自动推理杂志 6 程序设计中的逻辑和代数方法杂志 5 函数编程杂志 4 计算机科学中的逻辑方法 三 理论计算机科学 三 信息与计算 2 人工智能 2 SIAM计算机杂志 2 MSCS公司。计算机科学中的数学结构 2 计算系统理论 2 逻辑程序设计理论与实践 1 计算机程序设计科学 1 数学社会科学 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 离散事件动态系统 1 游戏与经济行为 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 ACM计算逻辑事务 1 可满足性、布尔建模与计算杂志 全部的 前5名在7个字段中引用 88 计算机科学（68至XX） 27 数学逻辑和基础（03-XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 范畴理论；同调代数（18-XX） 1 系统论；控制（93至XX） 按年份列出的引文