艾曼纽·菲利奥特;莎拉·温特 从无限单词上的有理规范合成可计算函数。 (英语) Zbl 07805943号 发现的国际期刊。计算。科学。 35,编号1-2,179-214(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}和\textit{S.Winter},国际期刊发现。计算。科学。35,编号1--2,179-214(2024;Zbl 07805943) 全文: 内政部
莱奥·埃克巴德;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔 数据字换能器的合成。 (英语) Zbl 1509.68132号 日志。方法计算。科学。 17,第1号,第22号论文,第25页(2021年).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,日志。方法计算。科学。17,第1号,第22号论文,25页(2021;Zbl 1509.68132) 全文: arXiv公司 链接
莱奥·埃克巴德;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔 传感器定义的数据字函数的可计算性。 (英语) Zbl 07250940号 Goubault-Larrecq,Jean(编辑)等人,《软件科学和计算结构基础》。第23届国际会议,FOSSACS 2020,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2020,2020年4月25日至30日,爱尔兰都柏林。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12077, 217-236 (2020).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,Lect。注释计算。科学。12077,217--236(2020;Zbl 07250940) 全文: 内政部 arXiv公司
莱奥·埃克巴德;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔 数据字换能器的合成。 (英语) 兹比尔07649932 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第24条,第15页(2019年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,LIPIcs——莱布尼茨国际程序。通知。140,第24条,第15页(2019年;Zbl 07649932) 全文: 内政部
莱奥·埃克巴德;艾曼纽·菲利奥特;伊斯马·杰克 多序列规格换能器综合的复杂性。 (英语) Zbl 1512.68138号 Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第46条,第16页(2018年)。MSC公司:第68季度第45季度 03B25号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,LIPIcs——莱布尼茨国际程序。通知。117,第46条,第16页(2018;Zbl 1512.68138) 全文: 内政部 arXiv公司
艾曼纽·菲利奥特;Jin、Naiyong;让-弗朗索瓦·拉斯金 LTL合成的反链和合成算法。 (英语) Zbl 1258.03046号 形式方法系统。设计。 39,第3期,261-296(2011).MSC公司:05年3月 03B44号 第68季度第45季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,《形式方法系统》。设计。39,第3号,261--296(2011;Zbl 1258.03046) 全文: 内政部