乔泽夫·格鲁斯卡
人员信息
附属: 捷克共和国布尔诺Masaryk大学 奖项(1996年): 计算机先锋奖
优化列表
2020年–今天
2024 [公元44年] 郑生根 , 李雅桥 , 潘明华 , 乔泽夫·格鲁斯卡 , 李绿洲 :
将双向有限自动机的查询复杂性提升到时空复杂性。 J.计算。 系统。 科学。 141 : 103494 ( 2024 ) 2023 [i10] 郑生根 , 李雅桥 , 潘明华 , 乔泽夫·格鲁斯卡 , 李绿洲 :
将双向有限自动机的查询复杂性提升到时空复杂性。 CoRR公司 腹肌/2311.18220 ( 2023 ) 2021 [公元43年] 谢正伟 , 邱道文 , 蔡光亚 , 乔泽夫·格鲁斯卡 , 保罗·马特乌斯 :
测试布尔函数属性。 芬丹。 信息学 182 ( 4 ) : 321-344 ( 2021 ) 2020 [公元42年] 陈刚(音译) , Le Wang(乐王) , 魏丽 , 杨钊 , 赵圣美 , 乔泽夫·格鲁斯卡 :
多脉冲相位匹配量子密钥分配。 量子信息处理。 19 ( 11 ) : 416 ( 2020 ) [j41] 方瑜 , 邱道文 , 王晓明 , 秦丽 , 李绿洲 , 乔泽夫·格鲁斯卡 :
几种具有O(log N)通信复杂性的基本量子专用查询协议的安全性改进。 西奥。 计算。 科学。 807 : 330-340 ( 2020 ) [第九章] 方瑜 , 邱道文 , 王晓明 , 秦丽 , 李绿洲 , 乔泽夫·格鲁斯卡 :
具有O(log N)通信复杂性的几种基本量子私有查询协议的安全改进。 CoRR公司 abs/2005.13382 ( 2020 )
2010 – 2019
2019 [j40] 石屏渡 , 邱道文 , 乔泽夫·格鲁斯卡 , 保罗·马特乌斯 :
使用相位旋转合成量子图像。 量子信息处理。 18 ( 9 ) : 286 ( 2019 ) [公元39年] 潘明华 , 邱道文 , 保罗·马特乌斯 , 乔泽夫·格鲁斯卡 :
Grover搜索算法中的纠缠和解纠缠。 西奥。 计算。 科学。 773 : 138-152 ( 2019 ) 2018 [第3页] 徐国良 , 邱道文 , 邹祥福 , 乔泽夫·格鲁斯卡 :
提高Shor分解算法的成功概率。 可逆性和普遍性 2018 : 447-462 2017 [公元38年] 乔泽夫·格鲁斯卡 , 邱道文 , 郑生根 :
分布式Deutsch-Jozsa承诺问题的推广。 数学。 结构。 计算。 科学。 27 ( 三 ) : 311-331 ( 2017 ) [公元37年] 郑生根 , 李绿洲 , 邱道文 , 乔泽夫·格鲁斯卡 :
量子有限自动机和经典有限自动机解决的有希望问题。 西奥。 计算。 科学。 666 : 48-64 ( 2017 ) [公元30年] 郑生根 , 邱道文 , 乔泽夫·格鲁斯卡 :
量子计算的时空复杂性优势。 TPNC公司 2017 : 305-317 2016 [公元36年] 乔泽夫·格鲁斯卡 :
RásiņšMártiೃsh Freivalds(Rásiೂsh Márt iŅFreivalds.)。 杰出的学者、独特的老师和伟人。 平衡。 J.修订版。 计算。 4 ( 4 ) ( 2016 ) 2015 [j35] 郑生根 , 邱道文 , 乔泽夫·格鲁斯卡 :
用半量子双向有限自动机建模的带有验证器的交互式证明系统的威力。 Inf.计算。 241 : 197-214年 ( 2015 ) [公元34年] 乔泽夫·格鲁斯卡 , 邱道文 , 郑生根 :
精确可接受的量子有限自动机的潜力。 发现的国际期刊。 计算。 科学。 26 ( 三 ) : 381-398年 ( 2015 ) [公元33年] 安德里斯·安巴尼斯 , 乔泽夫·格鲁斯卡 , 郑生根 :
精确量子算法对几乎所有布尔函数都有优势。 量子信息计算。 15 ( 5&6 ) : 435-452 ( 2015 ) 2014 [公元32年] 郑生根 , 乔泽夫·格鲁斯卡 , 邱道文 :
半量子有限自动机的状态复杂性。 RAIRO提奥。 信息学应用。 48 ( 2 ) : 187-207 ( 2014 ) [公元29年] 乔泽夫·格鲁斯卡 :
信息学的重大挑战。 使用新资源进行计算 2014 : 449-461 [c28] 郑生根 , 乔泽夫·格鲁斯卡 , 邱道文 :
关于半量子有限自动机的状态复杂性。 拉丁美洲旅游协会 2014 : 601-612 [i8] 乔泽夫·格鲁斯卡 , 邱道文 , 郑生根 :
分布式Deutsch-Jozsa承诺问题的推广。 CoRR公司 abs/1402.7254 ( 2014 ) [i7] 安德里斯·安巴尼斯 , 乔泽夫·格鲁斯卡 , 郑生根 :
一些特殊布尔函数类的精确查询复杂性。 CoRR公司 abs/1404.1684 ( 2014 ) [i6] 乔泽夫·格鲁斯卡 , 邱道文 , 郑生根 :
精确接受的量子有限自动机的潜力。 CoRR公司 abs/1404.1689 ( 2014 ) [i5] 乔泽夫·格鲁斯卡 , 李绿洲 , 郑生根 :
有限、经典和量子自动机框架中承诺问题的可识别性与可解性。 CoRR公司 abs/1411.3870 ( 2014 ) 2013 [公元31年] 乔泽夫·格鲁斯卡 :
信息学的新愿景和目标以及人类面临的巨大挑战。 扩展摘要。 计算。 科学。 J.摩尔多瓦 21 ( 三 ) : 309-319 ( 2013 ) 【j30】 郑生根 , 邱道文 , 乔泽夫·格鲁斯卡 , 李绿洲 , 保罗·马特乌斯 :
具有量子态和经典态的双向有限自动机的状态简洁性。 西奥。 计算。 科学。 499 : 98-112 ( 2013 ) [公元27年] 乔泽夫·格鲁斯卡 :
信息学新的重大挑战之路-(扩展摘要)。 膜计算国际会议 2013 : 10-18 [i4] 郑生根 , 乔泽夫·格鲁斯卡 , 邱道文 :
用半量子双向有限自动机建模的带有验证器的交互式证明系统的威力。 CoRR公司 abs/1304.3876 ( 2013 ) [i3] 郑生根 , 乔泽夫·格鲁斯卡 , 邱道文 :
半量子有限自动机的状态复杂性。 CoRR公司 abs/1307.2499 ( 2013 ) [i2] 乔泽夫·格鲁斯卡 , 邱道文 , 郑生根 :
承诺问题的通信复杂性及其在有限自动机中的应用。 CoRR公司 abs/1309.7739 ( 2013 ) 2012 [公元26年] 郑生根 , 邱道文 , 李绿洲 , 乔泽夫·格鲁斯卡 :
具有量子和经典状态的单向有限自动机。 活的语言 2012 : 273-290 【r1】 邱道文 , 李绿洲 , 保罗·马特乌斯 , 乔泽夫·格鲁斯卡 :
量子有限自动机。 有限状态模型和应用手册 2012 : 113-144 2011 [公元29年] 邱道文 , 李绿洲 , 邹祥福 , 保罗·马特乌斯 , 乔泽夫·格鲁斯卡 :
多字母量子有限自动机:等价性的可判定性和状态最小化。 信息学报 48 ( 5-6 ) : 271-290 ( 2011 ) [公元25年] 乔泽夫·格鲁斯卡 :
信息学新观念的根源与激励。 计算机科学彩虹 2011 : 184-199
2000 – 2009
2008 [第2页] 乔泽夫·格鲁斯卡 :
量子计算。 威利计算机科学与工程百科全书 2008 2007 [公元28年] 乔泽夫·格鲁斯卡 , 萨尔瓦托雷·拉托雷 , Mimmo父母 :
方形、圆环和环上的射击队同步问题。 发现的国际期刊。 计算。 科学。 18 ( 三 ) : 637-654 ( 2007 ) [公元27年] 乔泽夫·格鲁斯卡 :
对信息处理和通信本质上的局限性有更广泛的看法。 自然计算。 6 ( 2 ) : 75-112 ( 2007 ) [公元24年] 乔泽夫·格鲁斯卡 :
量子信息学中的代数方法。 计算机辅助教学 2007 : 87-111 2006 [j26] 乔泽夫·格鲁斯卡 :
量子信息学的出现和挑战(Entstehung der Quanteninformatik und ihre Herausforderungen)。 信息技术。 48 ( 6 ) : 336- ( 2006 ) [公元25年] 乔泽夫·格鲁斯卡 , 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 :
基本网格网络上行刑队同步问题的不同时间解决方案。 RAIRO提奥。 信息学应用。 40 ( 2 ) : 177-206 ( 2006 ) 【c23】 乔泽夫·格鲁斯卡 :
量子信息处理原语的通用集及其最佳使用。 GTIT-C公司 2006 : 425-451 [公元22年] 乔泽夫·格鲁斯卡 :
从信息学到量子信息学。 IFIP TCS 2006 : 5 【c21】 乔泽夫·格鲁斯卡 :
从信息学到量子信息学。 IFIP TCS 2006 : 17-46 [第1页] 乔泽夫·格鲁斯卡 :
量子有限自动机。 形式语言及其应用的最新进展 2006 : 81-117 2005 [公元24年] 乔泽夫·格鲁斯卡 :
量子信息处理原语的通用集及其最佳使用。 电子。 注释谨慎。 数学。 21 : 285-289 ( 2005 ) [i1] 乔泽夫·格鲁斯卡 , 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo父母 :
射击队同步问题的各种解决方案。 CoRR公司 abs/cs/0511044 ( 2005 ) 2004 [公元20年] 乔泽夫·格鲁斯卡 , 萨尔瓦托雷拉托雷 , Mimmo父母 :
方阵、圆环和环上射击队同步问题的最佳时间和通信解决方案。 语言理论的发展 2004 : 200-211 2003 [公元23年] 乔泽夫·格鲁斯卡 :
受邀论文。 量子纠缠作为一种新的信息处理资源。 新一代。 计算。 21 ( 4 ) : 279-295 ( 2003 ) [第19条] 乔泽夫·格鲁斯卡 :
量子信息处理的简洁性。 DCFS公司 2003 : 15-25 2002 [第18条] 乔泽夫·格鲁斯卡 , Hiroshi Imai先生 , 松本庆二 :
量子纠缠的力量。 IFIP TCS 2002 : 3-22 2001 [第17条] 乔泽夫·格鲁斯卡 , Hiroshi Imai先生 :
纠缠的力量、困惑和属性。 MCU(微控制器) 2001 : 25-68 2000 [公元22年] 乔泽夫·格鲁斯卡 :
书评:计算的基础。 XRDS公司 6 ( 5 ) : 5 ( 2000 ) [公元21年] 乔泽夫·格鲁斯卡 :
量子计算中的描述复杂性问题。 J.汽车。 语言梳。 5 ( 三 ) : 191-218 ( 2000 ) [第16条] 乔泽夫·格鲁斯卡 , 罗兰·沃尔玛 :
量子有限自动机。 单词、语言和组合数学 2000 : 192-211 [第15条] 乔泽夫·格鲁斯卡 :
理论计算机科学面临的新挑战。 IFIP TCS 2000 : 599-601 [第14条] 乔泽夫·格鲁斯卡 :
理论信息学的量化。 IFIP TCS 2000 : 604-608
1990 – 1999
1999 [第13条] 乔泽夫·格鲁斯卡 :
计算的量子挑战。 ARCS公司 1999 : 2 [第12条] 乔泽夫·格鲁斯卡 :
量子挑战。 SOFSEM公司 1999 : 1-28 1998 [电子4] 卢博斯·布里姆 , 乔泽夫·格鲁斯卡 , 吉尔·兹拉图斯卡 :
1998年计算机科学数学基础,第23届国际研讨会,MFCS’98,捷克共和国布尔诺,1998年8月24日至28日,会议记录。 计算机科学讲义 1450, 施普林格 1998 ,十亿 3-540-64827-5 [目录] 1997 [公元20年] 乔泽夫·格鲁斯卡 , 伊雷娜·盖萨里安 :
同步系统的不动点语义及其基本变换的正确性。 J.汽车。 语言梳。 2 ( 2 ) : 93-133 ( 1997 ) [公元19年] 乔泽夫·格鲁斯卡 , 安吉洛·蒙蒂 , 玛格丽塔·那不勒斯 , 多梅尼科家长 :
SBTA语言描述简洁。 西奥。 计算。 科学。 179 ( 1-2 ) : 251-271 ( 1997 ) [第11条] 乔泽夫·格鲁斯卡 , 罗兰·沃尔玛 :
走向信息学教育适应信息时代。 计算机科学基础:潜能-理论-认知 1997 : 49-67 [第10条] 罗兰·沃尔玛 , 乔泽夫·格鲁斯卡 :
非信息类学生的信息学课程:工程和科学。 高等教育信息学 1997 : 203-211 1995 [公元18年] 埃马努埃拉·法希尼 , 乔泽夫·格鲁斯卡 , 玛格丽塔·那不勒斯 , 多梅尼科家长 :
正则Y树收缩自动机中的相互联系和不确定性的幂。 数学。 系统。 理论 28 ( 三 ) : 245-266 ( 1995 ) 【c9】 乔泽夫·格鲁斯卡 , 安吉洛·蒙蒂 , 玛格丽塔·那不勒斯 , 多梅尼科家长 :
SBTA语言的状态复杂性。 拉丁语 1995 : 346-357年 1994 【c8】 乔泽夫·格鲁斯卡 , 玛格丽塔·那不勒斯 , 多梅尼科家长 :
收缩树自动机的优化。 IFIP大会(1) 1994 : 247-252 【c7】 乔泽夫·格鲁斯卡 , 伊雷恩·盖萨里安 :
基本收缩系统转换的正确性。 IFIP大会(1) 1994 : 315-321 1993 [公元17年] 乔泽夫·格鲁斯卡 , 玛格丽塔·那不勒斯 , 多梅尼科家长 :
收缩二叉树自动机的最小化和简洁性。 科学。 安·库扎大学。 2 : 13-26 ( 1993 ) 1990 [公元16年] 伊曼纽拉·法希尼 , 乔泽夫·格鲁斯卡 , 安德烈亚·马吉奥洛·谢蒂尼 , 戴维德·桑吉奥吉 :
基于格子自动机的收缩树自动机仿真。 发现的国际期刊。 计算。 科学。 1 ( 2 ) : 87-110 ( 1990 ) [公元15年] 乔泽夫·格鲁斯卡 :
收缩计算的合成、结构和能力。 西奥。 计算。 科学。 71 ( 1 ) : 47-77 ( 1990 )
1980 – 1989
1988 【c6】 乔泽夫·格鲁斯卡 :
收缩架构、系统和计算。 ICALP公司 1988 : 254-270 1986 [公元14年] 卡雷尔·库利克二世 , 乔泽夫·格鲁斯卡 , 阿尔托·萨洛马 :
收缩网格自动机:稳定性、可判定性和复杂性。 信息控制。 71 ( 三 ) : 218-230 ( 1986 ) [c5] 乔泽夫·格鲁斯卡 :
复杂性理论的语用方面(小组)。 IFIP大会 1986 : 1-2 [电子3] 乔泽夫·格鲁斯卡 , 布拉尼斯拉夫·罗万 , 尤拉杰·维德曼 :
《1986年计算机科学数学基础》,布拉迪斯拉发,捷克斯洛伐克,1996年8月25日至29日,论文集。 计算机科学课堂讲稿 233, 施普林格 1986 ,十亿 3-540-16783-8 [目录] 1984 【c4】 乔泽夫·格鲁斯卡 :
收缩自动机-功率,特征,非均质性。 MFCS公司 1984 : 32-49 1983 [j13] 卡雷尔·库利克二世 , 乔泽夫·格鲁斯卡 , 阿尔托·萨洛马 :
收缩树自动机生成的L语言族。 西奥。 计算。 科学。 23 : 231-242 ( 1983 ) 1982 [公元12年] 卡雷尔·库利克二世 , 乔泽夫·格鲁斯卡 , 阿尔托·萨洛马 :
平衡树上VLSI的收缩自动机。 信息学报 18 : 335-344 ( 1982 ) 1981 [电子2] 乔泽夫·格鲁斯卡 , Michal Chytil公司 :
1981年计算机科学数学基础,捷克斯洛伐克Strbske Pleso,1981年8月31日至9月4日,会议记录。 计算机科学课堂讲稿 118, 施普林格 1981 ,十亿 3-540-10856-4 [目录]
1970 – 1979
1977 [e1] 乔泽夫·格鲁斯卡 :
1977年计算机科学数学基础,第六届研讨会,塔特兰斯卡·隆尼卡,捷克斯洛伐克,1977年9月5日至9日,会议记录。 计算机科学课堂讲稿 53, 施普林格 1977 ,十亿 0-387-08353-7 [目录] 1976 [c3] 乔泽夫·格鲁斯卡 :
描述复杂性(语言)——一个简短的调查。 MFCS公司 1976 : 65-80 1975 [公元11年] 乔泽夫·格鲁斯卡 :
关于无上下文文法中ε-规则的注记。 凯贝内提卡 11 ( 1 ) : 26-31 ( 1975 ) 1973 [公元10年] 乔泽夫·格鲁斯卡 :
广义上下文无关文法。 《网络学报》。 2 ( 1 ) : 35-37 ( 1973 ) [公元9年] 乔泽夫·格鲁斯卡 :
无上下文语言的星形层次结构。 凯贝内提卡 9 ( 4 ) : 231-236 ( 1973 ) [j8] 乔泽夫·格鲁斯卡 :
更正为:“无上下文语言的星高等级”。 凯贝内提卡 9 ( 6 ) : 519 ( 1973 ) 【c2】 乔泽夫·格鲁斯卡 :
上下文无关语言的描述复杂性。 MFCS公司 1973 : 71-83 1972 [j7] 乔泽夫·格鲁斯卡 :
关于上下文无关语法的大小。 凯贝内提卡 8 ( 三 ) : 213-218 ( 1972 ) 1971 [j6] 乔泽夫·格鲁斯卡 :
上下文无关语法和语言的复杂性和无歧义性。 信息控制。 18 ( 5 ) : 502-519 ( 1971 ) [j5] 乔泽夫·格鲁斯卡 :
关于上下文无关语法和语言索引的几点评论。 信息控制。 19 ( 三 ) : 216-223 ( 1971 ) 【j4】 乔泽夫·格鲁斯卡 :
语境无关语言的特征。 J.计算。 系统。 科学。 5 ( 4 ) : 353-364 ( 1971 )
1960 – 1969
1969 [j3] 乔泽夫·格鲁斯卡 :
上下文无关语言的一些分类。 信息控制。 14 ( 2 ) : 152-179 ( 1969 ) 1968 【c1】 乔泽夫·格鲁斯卡 :
无上下文语法和语言的无歧义性和模糊性。 IFIP大会(1) 1968 : 265-268 1967 [注2] 乔泽夫·格鲁斯卡 :
关于无语境语言的分类。 凯贝内提卡 三 ( 1 ) : 22-29 ( 1967 ) 1966 [j1] 乔泽夫·格鲁斯卡 :
由无上下文语法生成的集合。 凯贝内提卡 2 ( 6 ) : 483-493 ( 1966 )