兹德内克·萨瓦
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [j8] 彼得·詹卡尔 , 彼得·奥西卡 , 兹德内克·萨瓦 :
倒计时游戏和(简洁的)单计数器网络模拟。 日志。 方法计算。 科学。 19 ( 1 ) ( 2023 ) 2020 [i2] 彼得·詹卡尔 , 彼得·奥西卡 , 兹德内克·萨瓦 :
倒计时游戏和(简洁的)单计数器网络模拟。 CoRR公司 abs/2008.11753 ( 2020 )
2010 – 2019
2018 【c9】 彼得·詹卡尔 , 彼得·奥西卡 , 兹德内克·萨瓦 :
EXPSPACE—倒计时游戏的完整变体,以及在简洁的单计数器网络上的模拟。 RP公司 2018 : 59-74 [i1] 彼得·詹卡尔 , 彼得·奥西卡 , 兹德内克·萨瓦 :
简洁的单计数器网络的行为等效性的EXPSPACE特性。 CoRR公司 abs/1801.01073 ( 2018 ) 2013 [j7] 兹德内克·萨瓦 :
一元非确定性有限自动机所接受语言的半线性表示的高效构造。 芬丹。 信息学 123 ( 1 ) : 97-106 ( 2013 ) 【c8】 沃伊切赫·切尔温斯基(Wojciech Czerwinski) , 彼得·詹卡尔 , 马丁·科特 , 兹德内克·萨瓦 :
检查顺序进程和并行进程之间相似性的复杂性。 MFCS公司 2013 : 302-313 2010 [j6] Sibylle B.Fröschle先生 , 彼得·詹卡尔 , 斯拉沃米尔·拉索塔 , 兹德内克·萨瓦 :
基本并行进程上的不相交互模拟等价。 Inf.计算。 208 ( 1 ) : 42-62 ( 2010 ) [j5] 彼得·詹卡尔 , 马丁·科特 , 兹德内克·萨瓦 :
确定规范BPA和规范BPP之间的双相似性的复杂性。 Inf.计算。 208 ( 10 ) : 1193-1205 ( 2010 ) 【c7】 兹德内克·萨瓦 :
一元NFA所接受语言的半线性表示的有效构造。 RP公司 2010 : 176-182
2000 – 2009
2009 【j4】 兹德内克·萨瓦 , 彼得·詹卡尔 :
组合有限状态系统等价性检查的困难。 信息学报 46 ( 三 ) : 169-191 ( 2009 ) 2008 【c6】 彼得·詹卡尔 , 马丁·科特 , 兹德内克·萨瓦 :
重新审视规范BPA与规范BPP。 CONCUR公司 2008 : 434-446 2007 [j3] 彼得·詹卡尔 , 兹德内克·萨瓦 :
关于有限自动机与单字母字母交替的空性的注记。 信息处理。 莱特。 104 ( 5 ) : 164-167 ( 2007 ) 2005 [注2] 兹德内克·萨瓦 , 彼得·詹卡尔 :
有限状态系统上的行为等效是PTIME-hard。 计算。 Artif公司。 因特尔。 24 ( 5 ) : 513-528 ( 2005 ) 2004 [j1] 彼得·詹卡尔 , 安东·库塞拉 , 法伦·莫勒 , 兹德内克·萨瓦 :
单计数器自动机等价性检查和模型检查的DP下界。 Inf.计算。 188 ( 1 ) : 1-19 ( 2004 ) 【c5】 马丁·科特 , 兹德内克·萨瓦 :
BPP和有限状态系统的互模拟等价性可以在多项式时间内确定。 无穷 2004 : 49-60 2003 【c4】 兹德内克·萨瓦 :
非平面系统的等价性检查是EXPTIME-hard。 CONCUR公司 2003 : 233-248 2002 【c3】 彼得·詹卡尔 , 安东·库塞拉 , 法伦·莫勒 , 兹德内克·萨瓦 :
用单计数器自动机进行等价性检验:证明下限的通用方法。 FoSSaCS公司 2002 : 172-186 2001 【c2】 兹德内克·萨瓦 , 彼得·詹卡尔 :
P-有限状态过程等效性测试的硬度。 SOFSEM公司 2001 : 326-335
1990 – 1999
1999 [c1] 彼得·詹卡尔 , 法伦·莫勒 , 兹德内克·萨瓦 :
单计数器机器的仿真问题。 SOFSEM公司 1999 : 404-413
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)