克劳斯·梅尔
人员信息
附属: 德国科特布斯勃兰登堡科技大学
其他同名人员
优化列表
2020年–今天
2021 [公元34年] 克劳斯·梅尔 :
实代数多项式的一个逼近PCP。 企业社会责任 2021 : 264-282
2010 – 2019
2019 [公元34年] 马蒂恩·巴尔茨 , 克劳斯·梅尔 :
实数计算的交互式证明和Shamir-like结果。 计算。 复杂。 28 ( 三 ) : 437-469 ( 2019 ) [公元33年] 克劳斯·梅尔 , 阿梅恩·奈夫 :
实域上的周期广义自动机。 Inf.计算。 269 ( 2019 ) [公元33年] 克劳斯·梅尔 , 阿梅恩·奈夫 :
无限实序列上的自动机。 拉丁美洲旅游协会 2019 : 121-133 2018 [电子4] 安德烈亚斯·布兰德斯特 , 埃克哈德·科勒 , 克劳斯·梅尔 :
计算机科学中的图论概念-第44届国际研讨会,2018年工作组,德国科特布斯,2018年6月27日至29日,会议记录。 计算机科学课堂讲稿 11159, 施普林格 2018 ,国际标准图书编号 978-3-030-00255-8 [目录] 2017 [公元32年] 马蒂恩·巴尔茨 , 克劳斯·梅尔 :
实数PCP定理的代数证明。 J.复杂。 40 : 34-77 ( 2017 ) 2016 [公元32年] 克劳斯·梅尔 , 阿梅恩·奈夫 :
实域上的周期广义自动机。 拉丁美洲旅游协会 2016 : 168-180 [公元31年] 马蒂恩·巴尔茨 , 克劳斯·梅尔 :
VPSPACE的真实交互式证明。 MFCS公司 2016 : 14:1-14:13 2015 [公元31年] 马蒂恩·巴尔茨 , 克劳斯·梅尔 :
实上NP的PCP定理。 已找到。 计算。 数学。 15 ( 三 ) : 651-680 ( 2015 ) 【j30】 克劳斯·梅尔 , 阿梅恩·奈夫 :
实数和复数上的广义有限自动机。 西奥。 计算。 科学。 591 : 85-98 ( 2015 ) [公元30年] 马蒂恩·巴尔茨 , 克劳斯·梅尔 :
关于实际计算的交互式证明的一些结果。 CiE公司 2015 : 107-116 [公元29年] 马蒂恩·巴尔茨 , 克劳斯·梅尔 :
实数PCP定理的代数证明。 MFCS(2) 2015 : 50-61 [电子3] 道格拉斯·坎宁安 , 佩特拉·霍夫斯特德 , 克劳斯·梅尔 , 英戈·施密特 :
45.2015年9月28日至10月2日,德国科特布斯,《信息技术、能源与世界》,《信息技术》。 液化天然气 P-246, GI公司 2015 ,国际标准图书编号 978-3-88579-640-4 [目录] 2014 [公元29年] 克劳斯·梅尔 :
与永久数计算相关的有向图的扩展树宽概念。 理论计算。 系统。 55 ( 2 ) : 330-346 ( 2014 ) [公元28年] 马蒂恩·巴尔茨 , 克劳斯·梅尔 :
测试低阶三角多项式。 企业社会责任 2014 : 77-96 [公元27年] 克劳斯·梅尔 , 阿梅恩·奈夫 :
实数和复数上的广义有限自动机。 TAMC公司 2014 : 168-187 [电子2] 阿诺德·贝克曼 , Erzébet Csuhaj-Varjú , 克劳斯·梅尔 :
语言、生命、极限——2014年6月23日至27日在匈牙利布达佩斯举行的第十届欧洲可计算性会议。 诉讼程序。 计算机科学课堂讲稿 8493, 施普林格 2014 ,国际标准图书编号 978-3-319-08018-5 [目录] 2013 [公元26年] 马蒂恩·巴尔茨 , 克劳斯·梅尔 :
实上NP的PCP定理。 STACS公司 2013 : 104-115 2012 [公元28年] 克劳斯·梅尔 :
关于一类限制使用常数的实机器的Ladner结果。 Inf.计算。 210 : 13-20 ( 2012 ) [j27] 克劳斯·梅尔 :
关于实域上有界查询计算的初步思考。 发现的国际期刊。 计算。 科学。 23 ( 7 ) : 1499-1510 ( 2012 ) 2011 [公元26年] 艾伦·布里克尔 , 帕斯卡·科伊兰 , 克劳斯·梅尔 :
关于有界树和剪接宽度的CNF公式的表达能力。 谨慎。 应用。 数学。 159 ( 1 ) : 1-14 ( 2011 ) [公元25年] 克劳斯·梅尔 :
与永久数计算有关的有向图的一个扩展树宽概念。 企业社会责任 2011 : 247-260 [公元24年] 克劳斯·梅尔 :
NPℝ的几乎透明的简短证明。 FCT公司 2011 : 41-52 2010 [j25] 克劳斯·梅尔 :
代数复杂性中的树宽度。 芬达姆。 信息学 98 ( 4 ) : 391-409 ( 2010 )
2000 – 2009
2009 [公元24年] 克劳斯·梅尔 , 迪特尔·劳滕巴赫 :
关于有界树和剪接宽度图的OBDD大小。 谨慎。 数学。 309 ( 4 ) : 843-851 ( 2009 ) [公元23年] 克劳斯·梅尔 , 马丁·齐格勒 :
真实计算普遍性:一类具有无限表示的群的单词问题。 已找到。 计算。 数学。 9 ( 5 ) : 599-609 ( 2009 ) 【c23】 克劳斯·梅尔 :
关于一类限制常数使用的实机器的Ladner结果。 CiE公司 2009 : 352-361 2008 [公元22年] 克劳斯·梅尔 , 马丁·齐格勒 :
Post问题在现实中的明确解决方案。 J.复杂。 24 ( 1 ) : 3-15 ( 2008 ) [公元22年] 帕斯卡·科伊兰 , 克劳斯·梅尔 :
关于有界树和Clique宽度的CNF公式的表达能力。 工作组 2008 : 252-263 2007 [公元21年] 克劳斯·梅尔 :
TSP实例的模拟退火与Metropolis。 信息处理。 莱特。 104 ( 6 ) : 216-219 ( 2007 ) [公元20年] 格雷戈里奥·马拉乔维奇 , 克劳斯·梅尔 :
计算最小多齐次Bezout数很困难。 理论计算。 系统。 40 ( 4 ) : 553-570 ( 2007 ) [j19] 克劳斯·梅尔 :
逼近问题与实数上PCP的一些关系。 理论计算。 系统。 41 ( 1 ) : 107-118 ( 2007 ) 【c21】 马科·高里 , 克劳斯·梅尔 :
连续时间系统复杂性理论的一些方面。 CiE公司 2007 : 554-565 [公元20年] 克劳斯·梅尔 , 马丁·齐格勒 :
真实计算普遍性:一类具有无限表示的群的单词问题。 MFCS公司 2007 : 726-737 2006 [公元18年] Uffe Flarup汉森 , 克劳斯·梅尔 :
实数优化问题的两个逻辑层次。 数学。 日志。 问:。 52 ( 1 ) : 37-50 ( 2006 ) [第19条] 克劳斯·梅尔 :
多项式系统求解相关的优化和逼近问题。 CiE公司 2006 : 360-367 [第18条] 克劳斯·梅尔 , 马丁·齐格勒 :
真实停机问题下的不可计算性。 CiE公司 2006 : 368-377 [第17条] 克劳斯·梅尔 , 迪特尔·劳滕巴赫 :
关于有界树和Clique-Width图的OBDD大小。 IWPEC公司 2006 : 72-83 [第16条] Uffe Flarup汉森 , 克劳斯·梅尔 :
实数优化问题的近似类。 加州大学 2006 : 86-100 [电子1] 托马斯·利克泰格 , 克劳斯·梅尔 , 路易斯·米盖尔·帕尔多 :
真实计算与复杂性,1-6。 2004年2月。 达格斯图尔研讨会记录 04061, 德国达格斯图尔宫国际展览中心(IBFI) 2006 [目录] [i7] 克劳斯·梅尔 , 马丁·齐格勒 :
真正的计算普遍性:一类具有无限表示的群的单词问题。 连续问题的算法和复杂性 2006 [i6] 克劳斯·梅尔 , 马丁·齐格勒 :
波斯特在雷亚尔问题的明确解决方案。 CoRR公司 abs/cs/0603071 ( 2006 ) [i5] 马丁·齐格勒 , 克劳斯·梅尔 :
真正的计算普遍性:一类具有无限表示的群的单词问题。 CoRR公司 abs/cs/0604032 ( 2006 ) 2005 [公元17年] 克劳斯·梅尔 :
透明长证明:NP的第一个PCP定理 R(右) . 已找到。 计算。 数学。 5 ( 三 ) : 231-255 ( 2005 ) [第15条] 克劳斯·梅尔 :
关于逼近问题与实数上PCP的一些关系。 CiE公司 2005 : 322-331 [第14条] 克劳斯·梅尔 , 马丁·齐格勒 :
波斯特在雷亚尔问题的明确解决方案。 FCT公司 2005 : 467-478 [第13条] Uffe Flarup汉森 , 克劳斯·梅尔 :
实数优化问题的两个逻辑层次。 MFCS公司 2005 : 459-470 [第12条] 格雷戈里奥·马拉乔维奇 , 克劳斯·梅尔 :
计算最小多宿主Bézout数很困难。 STACS公司 2005 : 244-255 2004 【b2】 休伯特·琼根 , 克劳斯·梅尔 , 埃伯哈德·特里斯 :
最优化理论。 Kluwer公司 2004 ,国际标准图书编号 978-1-4020-8098-2 第I-XI页,1-443页 [公元16年] 克劳斯·梅尔 :
利用实数复杂性理论对区间算法中的一些问题进行了精细分析。 Reliab公司。 计算。 10 ( 三 ) : 209-225 ( 2004 ) [第11条] 克劳斯·梅尔 :
透明长证明:NP的第一个PCP定理 R(右) . ICALP公司 2004 : 959-970 [第10条] 克劳斯·梅尔 :
关于区间函数的逼近。 探测与辨认自动装置 2004 : 169-178 【c9】 克劳斯·梅尔 :
雷亚尔的概率可检查证据。 沃尔利克 2004 : 165-177 [i4] 托马斯·利克泰格 , 克劳斯·梅尔 , 路易斯·米盖尔·帕尔多 :
04061摘要-真实计算和复杂性。 真实计算和复杂性 2004 [i3] 托马斯·利克泰格 , 克劳斯·梅尔 , 路易斯·米盖尔·帕尔多 :
04061摘要集-实际计算和复杂性。 真实计算和复杂性 2004 [i2] 克劳斯·梅尔 , 格雷戈里奥·马拉乔维奇 :
关于计算多均匀Bézout数的复杂性。 连续问题的算法和复杂性 2004 [i1] 格雷戈里奥·马拉乔维奇 , 克劳斯·梅尔 :
计算多重齐次Bezout数很困难。 CoRR公司 反恐精英。 抄送:0405021 ( 2004 ) 2003 【c8】 克劳斯·梅尔 :
区间算术中若干问题的复杂性。 MFCS公司 2003 : 582-591 2002 [公元15年] 克劳斯·梅尔 , 格哈德·威廉·韦伯 :
研究不同计算模型中的优化或决策问题的一些方面。 欧洲药典。 物件。 143 ( 2 ) : 406-418 ( 2002 ) [公元14年] 马科·高里 , 克劳斯·梅尔 :
走向模拟系统复杂性理论的一步。 数学。 日志。 问:。 48 ( S1(第一阶段) ) : 45-58 ( 2002 ) 【c7】 克劳斯·梅尔 :
代数约束约束程序的一致性和宽度概念。 FLOPS(浮动) 2002 : 88-102 2000 [j13] 谢本·达维德 , 克劳斯·梅尔 , 克里斯蒂安·米肖 :
关于NPImage中非完全问题的注记。 J.复杂。 16 ( 1 ) : 324-332 ( 2000 ) [公元12年] 克劳斯·梅尔 :
计算现实中的问题。 西奥。 计算。 科学。 242 ( 1-2 ) : 41-58 ( 2000 ) 【c6】 约翰·马科斯基 , 克劳斯·梅尔 :
关于Blum、Shub和Smale计算模型中图形属性的组合生成函数和亚有限生成函数的复杂性。 CSL公司 2000 : 399-410
1990 – 1999
1999 [公元11年] 马丁·马塔马拉 , 克劳斯·梅尔 :
关于一个困难问题的连通分量的计算结构。 信息处理。 莱特。 72 ( 3-4 ) : 83-90 ( 1999 ) [公元10年] 菲利佩·库克 , 克劳斯·梅尔 :
在实域上捕获复杂类的逻辑。 J.塞姆。 日志。 64 ( 1 ) : 363-390 ( 1999 ) 【c5】 克劳斯·梅尔 :
基于R上描述复杂性的实数数据库查询语言。 MFCS公司 1999 : 12-22 1998 [公元9年] 格雷戈里奥·马拉乔维奇 , 克劳斯·梅尔 :
关于NP_C的结构。 SIAM J.计算。 28 ( 1 ) : 27-35 ( 1998 ) 1997 [j8] 托马斯·利克泰格 , 克劳斯·梅尔 :
半代数复杂性——矩阵计算任务的加性复杂性。 J.复杂。 13 ( 1 ) : 83-107 ( 1997 ) 【c4】 菲利佩·库克 , 克劳斯·梅尔 :
在实域上捕获复杂类的逻辑。 FCT公司 1997 : 157-167 【c3】 克劳斯·梅尔 :
计算雷亚尔的问题。 MFCS公司 1997 : 398-407 1996 【c2】 克劳斯·梅尔 :
不可数结构中的对角线集。 CCA公司 1996 1995 [j7] 托马斯·利克泰格 , 克劳斯·梅尔 :
关于测试结果的注释。 J.复杂。 11 ( 三 ) : 344-351 ( 1995 ) [j6] 克劳斯·梅尔 :
离散复杂性理论与连续复杂性理论的关系。 数学。 日志。 问:。 41 : 281-286 ( 1995 ) 【c1】 埃里希·格拉德尔 , 克劳斯·梅尔 :
实数上的描述性复杂性理论。 STOC公司 1995 : 315-324 1994 [j5] 克劳斯·梅尔 :
实数计算:关于信息的使用。 J.塞姆。 计算。 18 ( 三 ) : 199-206 ( 1994 ) 【j4】 克劳斯·梅尔 :
实数计算模型中二次规划的复杂性。 西奥。 计算。 科学。 133 ( 1 ) : 85-84 ( 1994 ) 1993 【b1】 克劳斯·梅尔 :
Komplexitätsbetrachtungen für卷轴机器模型。 德国亚琛RWTH大学, 振动筛 1993 ,国际标准图书编号 978-3-86111-385-0 ,第1-105页 [j3] 克劳斯·梅尔 :
各种运算集下的实数模型。 J.复杂。 9 ( 三 ) : 366-372 ( 1993 ) 1992 [注2] 克劳斯·梅尔 :
上的注释 P(P) NP公司 限制类真实机器的结果。 J.复杂。 8 ( 4 ) : 451-453 ( 1992 ) 1990 [j1] 克劳斯·梅尔 :
Z和R上的计算:比较。 J.复杂。 6 ( 三 ) : 256-263 ( 1990 )