简·Křetínsk;托拜厄斯·梅根多夫;克拉拉·沃尔德曼;马克西米利安·韦宁格 用预购单索引外观记录。 （英语） Zbl 07592344号 学报信息。 59，编号5，585-618（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk曬}et al.，Acta Inf.59，No.5，585--618（2022；Zbl 07592344） 全文： 内政部
简·Křetínsk;托拜厄斯·梅根多夫;克拉拉·沃尔德曼;马克西米利安·韦宁格 用于将拉宾自动机转换为奇偶自动机的索引外观记录。 （英语） Zbl 1452.68108号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 443-460 (2017).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínskඃ}et al.，Lect。注释计算。科学。10205、443--460（2017；Zbl 1452.68108） 全文： 内政部 arXiv公司
马里亚·斯沃雷奥娃;简·Křetínsk;马丁·切梅里克;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔 随机线性系统的时间逻辑控制，使用概率对策的抽象精化。 （英语） Zbl 1351.93138号 非线性分析。，混合系统。 23, 230-253 (2017).MSC公司：93E03型 93立方厘米05 93C55美元 91A15型 93E25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Svoreňová}等人，《非线性分析》。，混合系统。23、230-253（2017年；Zbl 1351.93138） 全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎;简·Křetínsk;所罗门·西克特 从LTL到确定性自动机。一种不安全的合成方法。 （英语） 兹比尔1368.68233 形式方法系统。设计。 49，第3期，219-271（2016）.MSC公司：65年第68季度 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人，《形式方法系统》。设计。49，第3号，219--271（2016；Zbl 1368.68233） 全文： 内政部 arXiv公司