扬·奥布德扎勒克
人员信息
优化列表
2020年–今天
2023 【c21】 扬·图西尔 , Traian塞尔维亚人 , 扬·奥布德扎勒克 :
笛卡尔可达逻辑:用于验证k-安全属性的语言参数逻辑。 LPAR公司 2023 : 405-456 2020 [公元15年] 雅库布·加亚尔斯克 , 彼得·赫莱宁(Petr Hlinen) , 扬·奥布德扎勒克 , 丹尼尔·洛克斯塔诺夫 , M.S.Ramanujan先生 :
稠密图类FO模型检验的新视角。 ACM事务处理。 计算。 日志。 21 ( 4 ) : 28:1-28:23 ( 2020 )
2010 – 2019
2019 [公元14年] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 雅罗斯拉夫·内塞特里 , 扬·奥布德扎勒克 , 帕特里斯·奥斯纳·德门德斯 :
灌木深度:捕捉密集图形的高度。 日志。 方法计算。 科学。 15 ( 1 ) ( 2019 ) 2018 [i12] 雅库布·加亚尔斯克 , 彼得·赫莱宁(Petr Hlinen) , 丹尼尔·洛克斯塔诺夫 , 扬·奥布德扎勒克 , M.S.Ramanujan先生 :
稠密图类FO模型检验的新视角。 CoRR公司 abs/1805.01823 ( 2018 ) 2017 [j13] 雅库布·加亚尔斯克 , 彼得·赫莱宁(Petr Hlinen) , 扬·奥布德扎勒克 , 塞巴斯蒂安·奥德尼亚克 , 费利克斯·雷德尔 , 彼得·罗斯马尼思 , 费尔南多·桑切斯·维拉米尔 , Somnath Sikdar公司 :
稀疏图类上使用结构参数的核化。 J.计算。 系统。 科学。 84 : 219-242 ( 2017 ) [公元12年] 雅库布·加亚尔斯克 , 彼得·赫莱宁(Petr Hlinen) , 托马斯·凯撒 , 丹尼尔·克拉尔 , 马丁·库佩克 , 扬·奥布德扎勒克 , 塞巴斯蒂安·奥德尼亚克 , Vojtech Tuma公司 :
稀疏图的一阶极限:平面树和路宽。 随机结构。 算法 50 ( 4 ) : 612-635 ( 2017 ) [i11] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 雅罗斯拉夫·内塞特里 , 扬·奥布德扎勒克 , 帕特里斯·奥斯纳·德门德斯 :
灌木深度:捕捉密集图形的高度。 CoRR公司 abs/1707.00359 ( 2017 ) 2016 [公元11年] 彼得·赫莱宁(Petr Hlinen) , O-joung Kwon先生 , 扬·奥布德扎勒克 , 塞巴斯蒂安·奥德尼亚克 :
树深度和顶点子节点。 Eur.J.库姆。 56 : 46-56 ( 2016 ) [公元10年] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 约阿希姆·克奈斯 , 丹尼尔·梅斯特 , 扬·奥布德扎勒克 , 彼得·罗斯马尼思 , Somnath Sikdar公司 :
有没有好的有向图宽度度量? J.库姆。 理论,Ser。 B类 116 : 250-286 ( 2016 ) [公元20年] 雅库布·加亚尔斯克 , 彼得·赫莱宁(Petr Hlinen) , 扬·奥布德扎勒克 , 丹尼尔·洛克斯塔诺夫 , M.S.Ramanujan先生 :
稠密图类FO模型检验的新视角。 低收入国家 2016 : 176-184 2015 [公元9年] 雅库布·加亚尔斯克 , 彼得·赫莱宁(Petr Hlinen) , 扬·奥布德扎勒克 , 塞巴斯蒂安·奥德尼亚克 :
基于Poset的快速FO模型检测。 日志。 方法计算。 科学。 11 ( 4 ) ( 2015 ) [j8] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 丹尼尔·克拉尔 , 扬·奥布德扎勒克 , 贾雷特·施瓦茨 , 雅库布·特斯卡 :
区间图的FO模型检验。 日志。 方法计算。 科学。 11 ( 4 ) ( 2015 ) [第19条] 雅库布·加亚尔斯克 , 彼得·赫莱宁(Petr Hlinen) , 丹尼尔·洛克斯塔诺夫 , 扬·奥布德扎勒克 , 塞巴斯蒂安·奥尔迪尼亚克 , M.S.Ramanujan先生 , Saket Saurabh公司 :
有界宽度姿态的FO模型检验。 光纤通信系统 2015 : 963-974 [i10] 雅库布·加亚尔斯克 , 彼得·赫莱宁(Petr Hlinen) , 丹尼尔·洛克斯塔诺夫 , 扬·奥布德扎勒克 , 塞巴斯蒂安·奥德尼亚克 , M.S.Ramanujan先生 , Saket Saurabh公司 :
有界宽度姿态的FO模型检验。 CoRR公司 abs/1504.04115 ( 2015 ) 2014 [j7] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 约阿希姆·克奈斯 , 亚历山大·兰格 , 扬·奥布德扎勒克 , 彼得·罗斯马尼思 :
参数化算法中的有向图宽度度量。 谨慎。 申请。 数学。 168 : 88-107 ( 2014 ) [j6] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 亚历山大·兰格 , 扬·奥布德扎勒克 , 彼得·罗斯马尼思 , Somnath Sikdar公司 :
MSO复杂性的下限 1 模型检查。 J.计算。 系统。 科学。 80 ( 1 ) : 180-194 ( 2014 ) [第18条] 雅库布·加亚尔斯克 , 彼得·赫莱宁(Petr Hlinen) , 扬·奥布德扎勒克 , 塞巴斯蒂安·奥德尼亚克 :
基于Poset的快速FO模型检测。 国际会计准则委员会 2014 : 441-451 [第17条] 雅库布·加亚尔斯克 , 扬·奥布德扎勒克 , 塞巴斯蒂安·奥德尼亚克 , 费利克斯·雷德尔 , 彼得·罗斯马尼斯 , 费尔南多·桑切斯·维拉米尔 , Somnath Sikdar公司 :
路径宽度和树宽度的有限整数索引。 IPEC公司 2014 : 258-269 [第九章] 彼得·赫莱宁(Petr Hlinen) , O-joung Kwon先生 , 扬·奥布德扎勒克 , 塞巴斯蒂安·奥德尼亚克 :
树深度和顶点子节点。 CoRR公司 abs/1403.7024 ( 2014 ) 2013 [j5] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 扬·奥布德扎勒克 :
有界(双)秩宽图上多项式算法的统一方法。 Eur.J.库姆。 34 ( 三 ) : 680-701 ( 2013 ) 【j4】 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 扬·奥布德扎勒克 :
有界秩宽公式可满足性问题的更好算法。 芬丹。 信息学 123 ( 1 ) : 59-76 ( 2013 ) [第16条] 雅库布·加亚尔斯克 , 彼得·赫莱宁(Petr Hlinen) , 扬·奥布德扎勒克 , 塞巴斯蒂安·奥德尼亚克 , 费利克斯·雷德尔 , 彼得·罗斯马尼思 , 费尔南多·桑切斯·维拉米尔 , Somnath Sikdar公司 :
稀疏图类上使用结构参数的核化。 欧洲航天局 2013 : 529-540 [第15条] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 丹尼尔·克拉尔 , 扬·奥布德扎勒克 , 贾雷特·施瓦茨 , 雅库布·特斯卡 :
区间图的FO模型检验。 ICALP(二) 2013 : 250至262 [第14条] 罗伯特·加尼安 , 扬·奥布德扎勒克 :
扩展一元二阶逻辑在限制图类上的表达能力。 IWOCA公司 2013 : 164-177 [i8] 雅库布·加亚尔斯克 , 彼得·赫莱宁(Petr Hlinen) , 扬·奥布德扎勒克 , 塞巴斯蒂安·奥德尼亚克 , 费利克斯·雷德尔 , 彼得·罗斯马尼思 , 费尔南多·桑切斯·维拉米尔 , Somnath Sikdar公司 :
稀疏图类上使用结构参数的核化。 CoRR公司 abs/1302.6863 ( 2013 ) [i7] 罗伯特·加尼安 , 扬·奥布德扎勒克 :
在受限图类上扩展一元二阶逻辑的表达能力。 CoRR公司 abs/1306.5571 ( 2013 ) 2012 [j3] 迪特马尔·伯旺格 , 阿努杰·达瓦尔 , 保罗·亨特 , 斯蒂芬·克鲁泽 , 扬·奥布德扎勒克 :
有向图的数据宽度。 J.库姆。 理论,Ser。 B类 102 ( 4 ) : 900-923 ( 2012 ) [第13条] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 雅罗斯拉夫·内塞特里 , 扬·奥布德扎勒克 , 帕特里斯·奥斯纳·德门德斯 , 雷希玛·拉马杜赖 :
当树木生长缓慢时:灌木和快速MSO1。 多功能控制系统 2012 : 419-430 [第12条] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 亚历山大·兰格 , 扬·奥布德扎勒克 , 彼得·罗斯马尼思 , Somnath Sikdar公司 :
MSO_1模型检查复杂性的下限。 STACS公司 2012 : 326-337 [i6] 扬·奥布德扎勒克 , 吉里·斯拉比 , 马雷克·特里克 :
STANSE:C程序的错误查找框架。 CoRR公司 abs/1202.0788 ( 2012 ) 2011 [注2] 托马斯·布拉兹迪尔 , 瓦克拉夫·布罗泽克 , 安东·库塞拉 , 扬·奥布德扎勒克 :
随机BPA博弈中的定性可达性。 Inf.计算。 209 ( 8 ) : 1160-1183年 ( 2011 ) [第11条] 扬·奥布德扎勒克 , 马雷克·特里克 :
符号执行的高效循环导航。 ATVA公司 2011 : 453-462 [第10条] 扬·奥布德扎勒克 , 吉里·斯拉比 , 马雷克·特里克 :
STANSE:C程序的错误查找框架。 MEMICS公司 2011 : 167-178 【c9】 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 扬·奥布德扎勒克 :
Clique-width:困难并不意味着不可能。 STACS公司 2011 : 404-415 [i5] 扬·奥布德扎勒克 , 马雷克·特里克 :
符号执行的高效循环导航。 CoRR公司 腹肌/11071398 ( 2011 ) [i4] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 亚历山大·兰格 , 扬·奥布德扎勒克 , 彼得·罗斯马尼思 , Somnath Sikdar公司 :
MSO1模型检查复杂性的下限。 CoRR公司 abs/1109.5804 ( 2011 ) 2010 【c8】 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 扬·奥布德扎勒克 :
有界秩宽公式可满足性问题的更好算法。 FSTTCS公司 2010 : 73-83 【c7】 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 约阿希姆·克奈斯 , 丹尼尔·梅斯特 , 扬·奥布德扎勒克 , 彼得·罗斯马尼思 , Somnath Sikdar公司 :
有什么好的有向图宽度度量方法吗? IPEC公司 2010 : 135-146 [i3] 托马斯·布拉兹迪尔 , 瓦克拉夫·布罗泽克 , 安东·库塞拉 , 扬·奥布德扎勒克 :
随机BPA博弈中的定性可达性。 CoRR公司 abs/1003.0118 ( 2010 ) [i2] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 约阿希姆·克奈斯 , 丹尼尔·梅斯特 , 扬·奥布德扎勒克 , 彼得·罗斯马尼思 , Somnath Sikdar公司 :
有没有好的有向图宽度度量? CoRR公司 abs/1004.1485 ( 2010 ) [i1] 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 扬·奥布德扎勒克 :
有界秩宽公式可满足性问题的更好算法。 CoRR公司 abs/1006.5621 ( 2010 )
2000 – 2009
2009 【c6】 罗伯特·加尼安 , 彼得·赫莱宁(Petr Hlinen) , 约阿希姆·克奈斯 , 亚历山大·兰格 , 扬·奥布德扎勒克 , 彼得·罗斯马尼思 :
参数化算法中的有向图宽度度量。 IWPEC公司 2009 : 185-197 【c5】 托马斯·布拉兹迪尔 , 瓦克拉夫·布罗泽克 , 安东·库塞拉 , 扬·奥布德扎勒克 :
随机BPA博弈中的定性可达性。 STACS公司 2009 : 207-218 2007 【c4】 扬·奥布德扎勒克 :
集团宽度和平价博弈。 CSL公司 2007 : 54-68 2006 【c3】 扬·奥布德扎勒克 :
DAG-width:有向图的连通性度量。 SODA公司 2006 : 814-821 2003 【c2】 扬·奥布德扎勒克 :
树宽有界时的快速Mu-Calculus模型检查。 CAV汽车 2003 : 80-92 2001 [j1] 马克·E·坎比特 , 扬·奥布德扎勒克 , J.马克·布尔 :
用于Java并行编程的类似OpenMP的接口。 同意。 计算。 实际。 支出。 13 ( 8-9 ) : 793-814 ( 2001 ) 【c1】 洛杉矶·史密斯 , J.马克·布尔 , 扬·奥布德扎勒克 :
一个并行的javagrand基准测试套件。 联合国安全理事会 2001 : 8