Larsen，Kim G。;克里斯蒂安·席林;吉·斯尔巴 形式化方法中的模拟关系和应用。 （英语） 兹比尔1528.68188 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 272-291 (2022).MSC公司：65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，Lect。注释计算。科学。13660272--291（2022年；Zbl 1528.68188） 全文： 内政部
约翰娜·比约克隆德;洛克·克利奥帕斯 有限状态自动机的基于聚合的最小化。 （英语） Zbl 1490.68125号 学报信息。 58，第3期，177-194（2021）. 审核人：安德烈亚斯·马莱蒂（莱比锡） MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Björklund}和\textit{L.Cleophas}，《学报》第58期，第3期，177--194（2021年；Zbl 1490.68125） 全文： 内政部 OA许可证
玛丽亚姆·古拉尼 基于完全剩余格值逻辑的树自动机：约简算法和决策问题。 （英语） Zbl 1407.68254号 伊朗。J.模糊系统。 15，第7号，103-119（2018）.MSC公司：65年第68季度 03B52号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Ghorani}，伊朗。J.模糊系统。15、第7号、第103--119（2018；Zbl 1407.68254） 全文： 内政部
约翰娜·比约克隆德;洛克·克利奥帕斯 通过分区聚合最小化有限状态自动机。 （英语） Zbl 1485.68134号 Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 223-235 (2017).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛J.Björklund｝和\textit｛L.Cleophas｝，Lect。注释计算。科学。10168、223--235（2017；Zbl 1485.68134） 全文： 内政部
亨利克·比约克隆德;约翰娜·比约克隆德;尼古拉斯·泽切纳 通过故障转换压缩有限状态自动机。 （英语） Zbl 1338.68139号 西奥。计算。科学。 557, 87-100 (2014).MSC公司：65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Björklund}等人，Theor。计算。科学。557、87--100（2014年；Zbl 1338.68139） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;陈玉芳;卢卡什·霍利克;汤姆·沃纳 简化中介（最小化交替Büchi自动机）。 （英语） Zbl 1360.68536号 西奥。计算。科学。 552, 26-43 (2014).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Theor。计算。科学。552、26-43（2014年；Zbl 1360.68536） 全文： 内政部