彼得·赫特林
人员信息
附属: 德国纽比堡联邦国防军慕尼黑大学
优化列表
2020年–今天
2024 [公元36年] 彼得·赫特林 , 菲利普·贾尼基 :
几乎可以计算的实数。 计算。 13 ( 1 ) : 57-88 ( 2024 ) 2023 [j35] 彼得·赫特林 :
关于有效Jordan分解的备注。 西奥。 计算。 科学。 940 ( 零件 ) : 176-188 ( 2023 ) [i8] 彼得·赫特林 , 菲利普·贾尼基 :
几乎可计算实数。 CoRR公司 abs/2301.08124 ( 2023 ) 2021 [公元34年] 彼得·赫特林 , 吉塞拉·克罗姆斯 :
EXPSPACE——逻辑K4×S5和S4×S5的完备性以及子集空间的逻辑。 ACM事务处理。 计算。 日志。 22 ( 4 ) : 24:1-24:71 ( 2021 ) 2020 [公元33年] 彼得·赫特林 :
描述某些类函数和关系的Wadge度和拓扑Weihrauch度的森林。 计算。 9 ( 3-4 ) : 249-307 ( 2020 )
2010 – 2019
2019 [i7] 彼得·赫特林 , 吉塞拉·克罗姆斯 :
逻辑K4xS5和S4xS5的EXPSPACE完备性和子集空间的逻辑,第1部分:ESPACE算法。 CoRR公司 abs/1908.03501 ( 2019 ) [i6] 彼得·赫特林 , 吉塞拉·克罗姆斯 :
逻辑K4xS5和S4xS5的EXPSPACE完备性和子集空间的逻辑,第2部分:EXPSPACE硬度。 CoRR公司 abs/1908.03509 ( 2019 ) 2017 [公元32年] 彼得·赫特林 :
克拉克的广义梯度和Edalat的L导数。 J.日志。 分析。 9 ( 2017 ) 2016 [i5] 彼得·赫特林 :
关于偏序上Scott拓扑的两个反例。 CoRR公司 abs/1607.04128 ( 2016 ) 2015 [公元31年] 沃尔克·博塞尔霍夫 , 彼得·赫特林 :
R同胚下的有效子集 n个 。 Inf.计算。 245 : 197-212 ( 2015 ) 2014 【j30】 彼得·赫特林 , 克里斯托夫·斯潘德尔 :
计算多项式时间内Feigenbaum函数方程的解。 日志。 方法计算。 科学。 10 ( 4 ) ( 2014 ) [第1页] 彼得·赫特林 , 维克托·塞利瓦诺夫 :
有限标记林上预订单的复杂性问题。 逻辑、计算、层次结构 2014 : 165-190年 2011 [第14条] 彼得·赫特林 , 维克托·塞利瓦诺夫 :
有限标记森林上预订单的复杂性问题。 CiE公司 2011 : 112-121 2010 [公元29年] 安德烈·鲍尔 , 彼得·赫特林 , Ker-I Ko公司 :
分析中的可计算性和复杂性。 J.大学。 计算。 科学。 16 ( 18 ) : 2495 ( 2010 )
2000 – 2009
2009 [第13条] 安德烈·鲍尔 , 彼得·赫特林 , Ker-I Ko公司 :
CCA 2009年前沿问题——第六届国际分析可计算性和复杂性会议记录。 CCA公司 2009 [第12条] 安德烈·鲍尔 , 彼得·赫特林 , Ker-I Ko公司 :
2009年CCA前言——第六届国际分析可计算性和复杂性会议记录。 CCA公司 2009 [电子6] 安德烈·鲍尔 , 彼得·赫特林 , Ker-I Ko公司 :
第六届国际可计算性和分析复杂性会议,2009年8月18日至22日,斯洛文尼亚卢布尔雅那,CCA 2009。 OASIcs公司 11之间, 德国莱布尼兹·泽特鲁姆·福尔·Informatik Schloss Dagstuhl 2009 [目录] 2008 [公元28年] 彼得·赫特林 , 克里斯托夫·斯潘德尔 :
用可判定语言和非可计算熵进行变换。 自由裁量权。 数学。 西奥。 计算。 科学。 10 ( 三 ) ( 2008 ) [j27] 彼得·赫特林 , 克里斯托夫·斯潘德尔 :
间隙位移熵的可计算性理论性质。 芬丹。 信息学 83 ( 1-2 ) : 141-157 ( 2008 ) [电子5] 彼得·赫特林 , 克里斯托夫·霍夫曼 , 沃尔夫拉姆·路德 , Nathalie Revol公司 :
《实数算法的可靠实现:理论与实践》,德国达格斯图尔城堡国际研讨会,2006年1月8日至13日,修订论文。 计算机科学课堂讲稿 5045, 施普林格 2008 ,国际标准图书编号 978-3-540-85520-0 [目录] [电子4] 彼得·赫特林 , 维克托·塞利瓦诺夫 , 沃尔夫冈·托马斯 , 威廉·沃奇 , 克劳斯·瓦格纳 :
无限计算的拓扑和博弈论方面,29.06.- 04.07.2008. 达格斯图尔研讨会记录 08271中, 德国莱布尼兹·泽特鲁姆·福尔·Informatik Schloss Dagstuhl 2008 [目录] [i4] 彼得·赫特林 , 维克多·L·塞利瓦诺夫 , 沃尔夫冈·托马斯 , 威廉·沃奇 , 克劳斯·瓦格纳 :
08271摘要集-无限计算的拓扑和博弈论方面。 无限计算的拓扑和博弈论方面 2008 [i3] 彼得·赫特林 , 维克托·塞利瓦诺夫 , 沃尔夫冈·托马斯 , 威廉·沃奇 , 克劳斯·瓦格纳 :
08271执行摘要-无限计算的拓扑和博弈论方面。 无限计算的拓扑和博弈论方面 2008 2006 [公元26年] 瓦斯科·布拉特卡 , 彼得·赫特林 , Ker-I Ko公司 , Hideki Tsuiki先生 :
分析的可计算性和复杂性。 J.复杂。 22 ( 6 ) : 728 ( 2006 ) [公元25年] 彼得·赫特林 :
一种顺序可计算的函数,在任何点上都不是有效连续的。 J.复杂。 22 ( 6 ) : 752-767 ( 2006 ) [电子3] 彼得·赫特林 , 克里斯托夫·霍夫曼 , 沃尔夫拉姆·路德 , Nathalie Revol公司 :
实数算法的可靠实现:理论与实践,08.01.- 13.01.2006. 达格斯图尔研讨会记录 06021, 德国达格斯图尔宫国际展览中心-und Forschungszentrum fuer Informatik(IBFI) 2006 [目录] [i2] 彼得·赫特林 , 克里斯托夫·霍夫曼 , 沃尔夫拉姆·路德 , Nathalie Revol公司 :
06021摘要——实数算法的可靠实现:理论与实践。 实数算法的可靠实现 2006 [i1] 彼得·赫特林 , 克里斯托夫·霍夫曼 , 沃尔夫拉姆·路德 , Nathalie Revol公司 :
06021摘要集——实数算法的可靠实现:理论与实践。 实数算法的可靠实现 2006 2005 [公元24年] 彼得·赫特林 :
可计算实数上的Banach-Mazur可计算但非Markov可计算函数。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 227至246 ( 2005 ) [公元23年] 彼得·赫特林 :
随机序列之间的非随机序列。 J.大学。 计算。 科学。 11 ( 12 ) : 1970-1985 ( 2005 ) [公元22年] 彼得·赫特林 :
Mandelbrot集是可计算的吗? 数学。 日志。 问:。 51 ( 1 ) : 5-18 ( 2005 ) [第11条] 彼得·赫特林 :
在任何点上都不是有效连续的顺序可计算函数。 CCA公司 2005 : 131-148 [第10条] 彼得·赫特林 :
通过表示进行可计算分析。 CCA公司 2005 : 377 [电子2] 坦尼娅·格拉巴 , 彼得·赫特林 , Hideki Tsuiki先生 , 克劳斯·维赫劳赫(Klaus Weihrauch) :
2005年CCA:第二届国际可计算性和分析复杂性会议,2005年8月25日至29日,日本京都。 Informatik Berichte公司 326-7/2005, 德国FernUniversität Hagen 2005 [目录] 2004 [公元21年] 瓦斯科·布拉特卡 , 彼得·赫特林 , Ker-I Ko公司 , 宁钟 :
前言:MLQ-数学。 日志。 夸脱。 4-5/2004. 数学。 日志。 问:。 50 ( 4-5 ) : 327-328 ( 2004 ) 2003 [公元20年] 彼得·赫特林 , 克劳斯·维赫劳赫(Klaus Weihrauch) :
具有测度的有效拓扑空间中的随机元。 Inf.计算。 181 ( 1 ) : 32-56 ( 2003 ) 2002 [公元19年] 彼得·赫特林 :
代数运算寻零的拓扑复杂性。 J.复杂。 18 ( 4 ) : 912-942 ( 2002 ) [公元18年] 彼得·赫特林 :
不同基数的简单正规数。 J.大学。 计算。 科学。 8 ( 2 ) : 235-242 ( 2002 ) [公元17年] 瓦斯科·布拉特卡 , 彼得·赫特林 , 马里科·亚苏吉 , 宁忠 :
前言:MLQ-数学。 日志。 夸脱。 补编1/2002。 数学。 日志。 问:。 48 ( S1(第一阶段) ) ( 2002 ) [公元16年] 彼得·赫特林 :
区间算术中范围封闭的下限。 西奥。 计算。 科学。 279 ( 1-2 ) : 83-95 ( 2002 ) [公元15年] 瓦斯科·布拉特卡 , 彼得·赫特林 :
实数表示的拓扑特性。 西奥。 计算。 科学。 284 ( 2 ) : 241-257 ( 2002 ) 【c9】 彼得·赫特林 :
可计算实数上的Banach-Mazur可计算但非Markov可计算函数。 ICALP公司 2002 : 962-972年 【c8】 彼得·赫特林 :
正则闭集某些表示的比较。 CCA公司 2002 : 65-78 2001 [公元14年] 彼得·赫特林 :
高复杂性非线性Lebesgue和Ito积分问题。 J.复杂。 17 ( 2 ) : 366-387 ( 2001 ) [j13] 彼得·赫特林 :
通过双运算低估的限制。 Reliab公司。 计算。 7 ( 2 ) : 157-169 ( 2001 ) [公元12年] 克里斯蒂安·卡鲁德 , 彼得·赫特林 , 巴哈迪尔·库萨诺夫 , 王永革 :
递归可枚举实数和Chaitin Omega数。 西奥。 计算。 科学。 255 ( 1-2 ) : 125-149 ( 2001 ) [电子1] 延斯·布兰克 , 瓦斯科·布拉特卡 , 彼得·赫特林 :
《分析中的可计算性和复杂性》,第四届国际研讨会,2000年CCA,英国斯旺西,2000年9月17日至19日,论文集。 计算机科学课堂讲稿 2064, 施普林格 2001 ,国际标准图书编号 3-540-42197-1 [目录] 2000 【c7】 彼得·赫特林 :
度量空间上的Banach-Mazur可计算函数。 CCA公司 2000 : 69-81
1990 – 1999
1999 [j11] 彼得·赫特林 :
一种实际上是范畴性的实数结构。 数学。 日志。 问:。 45 : 147-182 ( 1999 ) [公元10年] 彼得·赫特林 :
有效黎曼映射定理。 西奥。 计算。 科学。 219 ( 1-2 ) : 225至265 ( 1999 ) 1998 [公元9年] 克里斯蒂安·卡鲁德 , 彼得·赫特林 :
实的可计算近似:信息论分析。 芬丹。 信息学 33 ( 2 ) : 105-120 ( 1998 ) [j8] 瓦斯科·布拉特卡 , 彼得·赫特林 :
可行的真正随机存取机器。 J.复杂。 14 ( 4 ) : 490-526 ( 1998 ) 【c6】 彼得·赫特林 , 克劳斯·维赫劳赫(Klaus Weihrauch) :
随机性空间。 ICALP公司 1998 : 796-807 【c5】 克里斯蒂安·卡卢德 , 彼得·赫特林 , 巴哈迪尔·库萨诺夫 , 王永革 :
递归可枚举实数和链式欧米茄数。 STACS公司 1998 : 596-606 1997 [j7] 克里斯蒂安·卡鲁德 , 彼得·赫特林 , 巴哈迪尔·库萨诺夫 :
黎曼齐塔函数的零点是否构成随机序列? 牛市。 EATCS公司 62 ( 1997 ) [j6] 乌尔里希·孔瑟 , 彼得·赫特林 , 拉杜·尼科尔斯库 , 马克·提契纳 :
在编码器和解码器中以固定长度T消耗格式表示可变长度代码。 J.大学。 计算。 科学。 三 ( 11 ) : 1207-1225 ( 1997 ) [j5] 彼得·赫特林 :
可计算增长康托集上的满射函数。 J.大学。 计算。 科学。 三 ( 11 ) : 1226-1240 ( 1997 ) 【j4】 彼得·赫特林 , 王永革 :
随机序列的不变性。 J.大学。 计算。 科学。 三 ( 11 ) : 1241-1249年 ( 1997 ) 1996 【b1】 彼得·赫特林 :
在有效分析中未对冯·芬克提翁进行分级。 德国黑根大学, 1996 ,第1-157页 [j3] 彼得·赫特林 :
具有连续操作的拓扑复杂性。 J.复杂。 12 ( 4 ) : 315-338 ( 1996 ) [注2] 彼得·赫特林 :
析取ω-单词和实数。 J.大学。 计算。 科学。 2 ( 7 ) : 549-568 ( 1996 ) [j1] 彼得·赫特林 , 拉尔斯猪 , 鲁恩·拉森 , 约翰·佩拉姆 , 亨利克·戈登·彼得森 :
喷漆机器人的任务曲线规划。 I.过程建模和校准。 IEEE传输。 机器人自动化。 12 ( 2 ) : 324-330 ( 1996 ) 【c4】 彼得·赫特林 :
可计算实函数:类型1可计算性与类型2可计算性。 CCA公司 1996 【c3】 彼得·赫特林 :
可计算度量空间之间函数的有效性和有效连续性。 DMTCS公司 1996 : 264-275 [c2] 瓦斯科·布拉特卡 , 彼得·赫特林 :
可行的真正随机存取机器。 SOFSEM公司 1996 : 335至342 1994 【c1】 彼得·赫特林 , 克劳斯·维赫劳赫(Klaus Weihrauch) :
几何算法的退化程度和精确的复杂度下限。 中建集团 1994 : 237-242