编辑配置文件（在新选项卡中打开） Ondřej Lengál 合著者距离 作者ID： 纵向.ondrej 发布方式： Ondřej Lengál 外部链接： ORCID公司 已编制索引的文档： 19出版物自2011年起 合著者： 25位合著者具有19联合出版物 469名合著者 全部的 前5名合著者 0 单作者的 13 汤姆·沃纳 11 卢卡什·霍利克 6 哈夫莱纳，沃伊特奇 三 陈玉芳 三 汤姆·菲多尔 2 帕罗什·阿齐兹·阿卜杜拉 2 康斯坦丁·埃纳 2 本特·琼森 2 尤拉吉·西奇 2 米哈埃拉·西希雷亚努 2 Šimáckek，Jiří 2 聪奎·特里恩 1 弗兰蒂舍克·布拉胡德克 1 乔利亚特，大卫 1 马丁·赫鲁斯卡 1 彼得·扬克 1 Anthony Widjaja林 1 鲁帕克·马朱姆达尔 1 亚当·罗加列维奇 1 菲利普·吕默 1 什马利科娃，巴博拉 1 托尼·谭 1 安德烈亚·图里尼 1 玛格斯·维纳斯 1 吴志林 系列 2 信息学报 1 自动推理杂志 1 系统设计中的形式化方法 领域 19 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用45中的次35文件 引用人▼ 年份▼ 分离逻辑片段的合成蕴涵检查。 兹比尔1453.68046 康斯坦丁·埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳 7 2014 参数化概率并发系统的公平终止。 Zbl 1452.68127号 Ondřej Lengál;Lin，Anthony W。;鲁帕克·马朱姆达尔;菲利普·吕默 6 2017 VATA：用于有效操作非确定性树自动机的库。 兹比尔1352.68135 Ondřej Lengál;Šimáckek，Jiří;汤姆·沃纳 4 2012 分离逻辑片段的合成蕴涵检查。 Zbl 1377.68073号 康斯坦丁·埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳 4 2017 WS1S的嵌套反链。 Zbl 1420.68186号 汤姆·菲多尔;卢卡什·霍利克;Ondřej Lengál;汤姆·沃纳 4 2015 用Ranker补充Büchi自动机。 Zbl 1514.68100号 哈夫莱纳，沃伊特奇;Ondřej Lengál;什马利科娃，巴博拉 4 2022 WS1S的惰性自动机技术。 Zbl 1452.03090号 汤姆·菲多尔;卢卡什·霍利克;彼得·扬克;Ondřej Lengál;汤姆·沃纳 三 2017 用线性算法注册自动机。 Zbl 1458.68095号 陈玉芳;Ondřej Lengál;托尼·谭;吴志林 三 2017 降低（到）等级：基于等级的高效Büchi自动机互补。 Zbl 07730604号 哈夫莱纳，沃伊特奇;Ondřej Lengál 三 2021 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68135号 帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 2 2013 自动使用惰性\（\mathrm中的术语{WS}k\mathrm{S}\）决策程序。 Zbl 07178983号 哈夫莱纳，沃伊特奇;卢卡什·霍利克;Ondřej Lengál;汤姆·沃纳 2 2019 森林自动机的反例验证和基于插值的精化。 Zbl 1484.68103号 卢卡什·霍利克;马丁·赫鲁斯卡;Ondřej Lengál;亚当·罗加列维奇;汤姆·沃纳 1 2017 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68136号 帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 1 2016 字符串约束求解中case-split规则的符号算法。 Zbl 1476.68312号 陈玉芳;哈夫莱纳，沃伊特奇;Ondřej Lengál;安德烈亚·图里尼 1 2020 用Ranker补充Büchi自动机。 Zbl 1514.68100号 哈夫莱纳，沃伊特奇;Ondřej Lengál;什马利科娃，巴博拉 4 2022 降秩：基于秩的Büchi自动机的高效互补。 Zbl 07730604号 哈夫莱纳，沃伊特奇;Ondřej Lengál 三 2021 字符串约束求解中case-split规则的符号算法。 Zbl 1476.68312号 陈玉芳;哈夫莱纳，沃伊特奇;Ondřej Lengál;安德烈亚·图里尼 1 2020 惰性\（\mathrm）中的自动机术语{WS}k\mathrm{S}\）决策程序。 Zbl 07178983号 哈夫莱纳，沃伊特奇;卢卡什·霍利克;Ondřej Lengál;汤姆·沃纳 2 2019 参数化概率并发系统的公平终止。 Zbl 1452.68127号 Ondřej Lengál;Lin，Anthony W。;鲁帕克·马朱姆达尔;菲利普·吕默 6 2017 分离逻辑片段的合成蕴涵检查。 Zbl 1377.68073号 康斯坦丁·埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳 4 2017 WS1S的惰性自动机技术。 Zbl 1452.03090号 汤姆·菲多尔;卢卡什·霍利克;彼得·扬克;Ondřej Lengál;汤姆·沃纳 三 2017 用线性算法注册自动机。 Zbl 1458.68095号 陈玉芳;Ondřej Lengál;托尼·谭;吴志林 三 2017 森林自动机的反例验证和基于插值的精化。 Zbl 1484.68103号 卢卡什·霍利克;马丁·赫鲁斯卡;Ondřej Lengál;亚当·罗加列维奇;汤姆·沃纳 1 2017 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68136号 帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 1 2016 WS1S的嵌套反链。 Zbl 1420.68186号 汤姆·菲多尔;卢卡什·霍利克;Ondřej Lengál;汤姆·沃纳 4 2015 分离逻辑片段的合成蕴涵检查。 Zbl 1453.68046号 康斯坦丁·埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳 7 2014 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68135号 帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 2 2013 VATA：用于有效操作非确定性树自动机的库。 Zbl 1352.68135号 Ondřej Lengál;Šimáckek，Jiří;汤姆·沃纳 4 2012 所有引用出版物 前5名被引用出版物 全部的 前5名91位作者引用 9 Ondřej Lengál 8 卢卡什·霍利克 7 汤姆·沃纳 4 哈夫莱纳，沃伊特奇 2 陈、陶璐 2 西蒙·迪尔 2 哈维尔·埃斯帕尔扎 2 汤姆·菲多尔 2 福尔克·豪尔 2 大辅木村 2 Le，Quang Loc公司 2 李勇 2 Makoto Tatsuta 2 莫西·亚亚科夫·瓦尔迪 2 吴志林 1 帕罗什·阿齐兹·阿卜杜拉 1 埃齐奥·巴托西 1 Nathalie Bertrand 1 尼古拉·S·比约纳。 1 弗兰蒂舍克·布拉胡德克 1 陈玉芳 1 魏恩根·钦 1 乔利亚特，大卫 1 马克西米连·科兰热 1 安德烈亚·科拉迪尼 1 奇诺维·迪斯金 1 杰罗姆·杜波伊斯 1 亚历山大·杜雷特·卢茨 1 穆纳乔·埃切宁 1 康斯坦丁·埃纳 1 冯伟志 1 塞斯·福格蒂。 1 格巴吉迪·艾塞，亚历山大 1 Clément吉拉德 1 顾新才 1 马丁·赫鲁斯卡 1 奥马尔·因弗索 1 贾克斯，斯特凡 1 彼得·扬克 1 克里斯蒂娜·詹森 1 本特·琼森 1 Jens Katelaan公司 1 Joost-Pieter卡托恩 1 邱小成 1 芭芭拉·柯尼格 1 伊戈尔·康诺夫（Igor V.Konnov）。 1 科瓦奇，劳拉·伊尔迪科 1 悉达哈·克里希纳 1 亨利克·劳科 1 马里亚娜·拉齐奇 1 Le，Ton Chanh先生 1 Le，Xuan-Bach D。 1 Anthony Widjaja林 1 托马斯·斯蒂芬·爱德华·迈鲍姆 1 安托万·马丁 1 克里斯托夫·马提亚 1 托马斯·梅迪奥尼 1 埃尔南·梅尔格拉蒂 1 马塞尔·穆斯布鲁克 1 诺尔，托马斯 1 丹尼斯·诺尔特 1 卢卡·帕多瓦尼 1 尼古拉斯·佩尔蒂埃 1 米哈伊尔·拉斯金 1 艾蒂安·雷诺 1 弗洛里安·伦金 1 亚当·罗加列维奇 1 菲利普·吕默 1 阿利亚克巴尔·萨菲连 1 菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier） 1 弘久世奇（Hiroyuki Seki） 1 龙马仙达 1 尤拉吉·西奇 1 米哈埃拉·西希雷亚努 1 什马利科娃，巴博拉 1 宋，傅 1 亚历山大·萨默斯。 1 Ta、Quang-Trung 1 吉崎隆田 1 聪奎·特里恩 1 卡蒂亚·特鲁比亚尼 1 蔡义权 1 埃米利奥·托斯托 1 安德烈亚·图里尼 1 瓦尔戈维克，帕沃尔 1 玛格斯·维纳斯 1 查纳·韦尔·肯尼迪 1 约瑟夫·威德 1 托马斯·怀斯 1 张丽君 1 弗洛里安·祖勒格 全部的 前5名9篇连载文章中引用 2 信息学报 2 自动推理杂志 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 信息与计算 1 计算的形式方面 1 分布式计算 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 在3个字段中引用 35 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文