编辑配置文件(在新选项卡中打开) 尤拉吉·西奇 合著者距离 作者ID: 侏罗纪 发布日期: 尤拉吉·西奇 已编制索引的文档: 6出版物自2018年起 合著者: 17位合著者具有6联合出版物 200名Co-Co作者 全部的 前5名合著者 0 单作者的 4 卢卡什·霍利克 2 Ondřej省Lengál 2 汤姆·沃纳 1 弗兰蒂舍克·布拉胡德克 1 陈玉芳 1 乔利亚特,大卫 1 汤姆·菲多尔 1 艾尔·格恩斯特 1 沃伊特·哈夫勒纳 1 马丁·赫鲁斯卡 1 亚当·罗加列维奇 1 克里斯托夫·斯科尔 1 斯特雷切克,简 1 伦卡·图罗·奥瓦 1 瓦尔戈维克,帕沃尔 1 玛格斯·维纳斯 1 拉尔夫·维默(Ralf D.Wimmer)。 系列 1 理论计算机科学 领域 6 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用2中的次2文件 引用人▼ 年份▼ 符号自动机的模拟算法。 Zbl 1517.68196号 卢卡什·霍利克;Ondřej Lengál;尤拉吉·西奇;玛格斯·维纳斯;汤姆·沃纳 1 2018 DQBDD:一种高效的基于BDD的DQBF求解器。 Zbl 07495596号 尤拉吉·西奇;斯特雷切克,简 1 2021 DQBDD:一种高效的基于BDD的DQBF求解器。 Zbl 07495596号 尤拉吉·西奇;斯特雷切克,简 1 2021 符号自动机的模拟算法。 Zbl 1517.68196号 卢卡什·霍利克;Ondřej Lengál;尤拉吉·西奇;玛格斯·维纳斯;汤姆·沃纳 1 2018 全部的 前5名9位作者引用 2 尤拉吉·西奇 1 汤姆·菲多尔 1 艾尔·格恩斯特 1 卢卡什·霍利克 1 马丁·赫鲁什卡 1 亚当·罗加列维奇 1 克里斯托夫·斯科尔 1 瓦尔戈维克,帕沃尔 1 拉尔夫·维默(Ralf D.Wimmer)。 连载1篇 1 理论计算机科学 在2个字段中引用 2 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 按年份列出的引文