戴维·文霍克;约书亚·默曼;朱里安·罗特 有序标称集的快速计算。 (英语) Zbl 1518.68194号 西奥。计算。科学。 935, 82-104 (2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Venhoek}等人,Theor。计算。科学。935,82-104(2022;Zbl 1518.68194) 全文: DOI程序 arXiv公司
洛伦佐·克莱门特;萨沃米尔·拉索塔;拉多斯·瓦·皮奥科夫斯基 寄存器和时间自动机的可确定性。 (英语) Zbl 07566065号 日志。方法计算。科学。 18,第2号,第9号论文,37页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,日志。方法计算。科学。18,第2号,第9号文件,第37页(2022;Zbl 07566065) 全文: arXiv公司 链接
洛伦佐·克莱门特;萨沃米尔·拉索塔 定时下推自动机的可达性关系。 (英语) Zbl 1484.68079号 J.计算。系统。科学。 117, 202-241 (2021). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:65年第68季度 03B70号 05年3月 03英尺30英寸 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}和\textit{S.Lasota},J.Compute。系统。科学。117202-241(2021;Zbl 1484.68079) 全文: DOI程序 arXiv公司
洛伦佐·克莱门特;萨沃米尔·拉索塔;Piórkowski,拉多斯瓦夫 单时钟时间自动机的可确定性。 (英语) Zbl 07559498号 Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第42条,第17页(2020年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,LIPIcs——莱布尼茨国际程序。通知。171,第42条,第17页(2020;Zbl 07559498) 全文: DOI程序 arXiv公司
迭戈·菲格拉;彼得·霍夫曼;萨沃米尔·拉索塔 关联定时自动机和寄存器自动机。 (英语) Zbl 1362.68138号 数学。结构。计算。科学。 26,第6号,993-1021(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Figueira}等人,《数学》。结构。计算。科学。26,第6号,993--1021(2016;Zbl 1362.68138) 全文: DOI程序 arXiv公司