达纳·菲斯曼;萨吉·萨登 学习和刻画全序格自动机。 （英文） 兹比尔1522.68267 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13505, 266-282 (2022).MSC公司：65年第68季度 68问题32 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}和\textit{S.Saadon}，莱克特。注释计算。科学。13505，266--282（2022；Zbl 1522.68267） 全文： 内政部
巴德·阿布·拉迪;奥尔纳·库普弗曼 基于GFG转换的自动机的最小化和标准化。 （英文） Zbl 07577580号 日志。方法计算。科学。 18，第3号，第16号论文，33页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Radi}和\textit{O.Kupferman}，日志。方法计算。科学。18，第3号，第16号论文，33页（2022；Zbl 07577580） 全文： arXiv公司 链接
阿布·拉迪·巴德;奥尔纳·库普弗曼 最小化基于GFG转换的自动机。 （英文） Zbl 1527.68120号 Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第100条，第16页（2019年）。MSC公司：65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.B.Abu}和\textit{O.Kupferman}，LIPIcs——莱布尼茨国际程序。通知。132，第100条，第16页（2019年；Zbl 1527.68120） 全文： 内政部
戈恩，希拉;奥尔纳·库普弗曼 格自动机中的固有真空。 （英文） Zbl 1465.68178号 Beklemishev，Lev D.（编辑）等人，《逻辑与计算领域II》。在尤里·古雷维奇75岁生日之际为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。9300, 174-192 (2015).MSC公司：60年第68季度 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gonen}和\textit{O.Kupferman}，莱克特。注释计算。科学。9300174-192（2015年；Zbl 1465.68178） 全文： 内政部