沃伊特·哈夫勒纳；卢卡什，霍利克；Ondřej Lengál；汤姆·沃纳 自动使用惰性\（\mathrm中的术语{WS}k\mathrm{S}\）决策程序。 （英语） Zbl 07433025号 J.汽车。推理 65，第7号，971-999（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{V.Havelena}等人，J.Autom。推理65，No.7，971-999（2021；Zbl 07433025） 全文： 内政部
沃伊特·哈夫勒纳；卢卡什，霍利克；Ondřej Lengál；汤姆·沃纳 惰性\（\mathrm）中的自动机术语{WS}k\mathrm{S}\）决策程序。 （英语） Zbl 07178983号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11716, 300-318 (2019).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{V.Havelena}等人，Lect。票据计算。科学。11716，300-318（2019；Zbl 07178983） 全文： 内政部 arXiv公司
汤姆·菲多尔；卢卡什，霍利克；Ondřej Lengál；汤姆·沃纳 WS1S的嵌套反链。 （英语） Zbl 1417.68182号 学报信息。 56，第3号，205-228（2019）.MSC公司：68吨15 03B25号 03立方厘米35 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Fiedor}等人，《信息学报》56，第3期，205-228（2019年；Zbl 1417.68182） 全文： 内政部 arXiv公司
汤姆·菲多尔；卢卡什，霍利克；彼得·扬克；Ondřej Lengál；汤姆·沃纳 WS1S的惰性自动机技术。 （英语） Zbl 1452.03090号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。票据计算。科学。10205, 407-425 (2017).MSC公司：05年3月 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛T.Fiedor｝等人，Lect。票据计算。科学。10205，407——425（2017年；兹bl 1452.03090） 全文： 内政部 arXiv公司
康斯坦丁埃纳；Ondřej Lengál；米哈埃拉·西希雷亚努；汤姆·沃纳 分离逻辑片段的合成蕴涵检查。 （英语） Zbl 1377.68073号 形式方法系统。设计。 51，第3期，575-607（2017）.MSC公司：68号30 03B70号 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}等人，《形式方法系统》。设计。51，第3号，575--607（2017；Zbl 1377.68073） 全文： 内政部 哈尔
帕罗什·阿齐兹·阿卜杜拉；卢卡什，霍利克；本特·琼森；Ondřej Lengál；聪奎·特里恩；汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 （英语） Zbl 1344.68136号 学报信息。 53，第4期，357-385（2016）.MSC公司：60年第68季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Acta Inf.53，No.4，357--385（2016；Zbl 1344.68136） 全文： 内政部 链接
波胡斯拉夫·科埃纳；汤姆·沃纳 自动化形式分析和验证：概述。 （英语） Zbl 1286.68318号 国际通用系统杂志。 42，第4期，335-365（2013）.MSC公司：60年第68季度 68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Křena}和\textit{T.Vojnar}，《国际遗传学》。42，第4号，335--365（2013；Zbl 1286.68318） 全文： 内政部
科什卡，米兰；帕维尔·埃尔勒巴赫；汤姆·沃纳 线性链接结构程序的通用多模式验证。 （英语） Zbl 1125.68072号 正式Asp。计算。 19，第3期，363-374（2007）.MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.采什卡}等人，《正式Asp》。计算。19，第3号，363--374（2007；Zbl 1125.68072） 全文： 内政部