弗雷德里克·赫布雷托;Srivathsan，B。;Tran，Thanh-Tung镇;伊戈尔·瓦卢基维奇 为什么时间自动机的活性很难，以及我们能做些什么。 （英语） Zbl 1446.68068号 ACM事务处理。计算。日志。 21，第3号，第17条，28页（2020年）.MSC公司：2017年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人，ACM翻译。计算。日志。21，第3号，第17条，第28页（2020年；Zbl 1446.68068） 全文： 内政部 链接
R.戈文德。;弗雷德里克·赫布雷托;Srivathsan，B。;伊戈尔·瓦卢基维奇 重温时间自动机网络的局部时间语义。 （英语） Zbl 07649924号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第16条，第15页（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Govind}等人，LIPIcs——莱布尼茨国际程序。通知。140，第16条，第15页（2019年；Zbl 07649924） 全文： 内政部 arXiv公司
弗雷德里克·赫布雷托;Srivathsan，B。;Tran，Thanh-Tung镇;伊戈尔·瓦卢基维奇 为什么时间自动机的活性很难，以及我们能做些什么。 （英语） 兹比尔1391.68071 Lal，Akash（ed.）等人，第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-027-9）。LIPIcs–莱布尼茨国际信息学论文集65，第48条，第14页。(2016).MSC公司：65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人，LIPIcs——莱布尼茨国际程序。通知。65，第48条，14~p.（2016；Zbl 1391.68071） 全文： 内政部
弗雷德里克·赫布雷托;Srivathsan，B。;伊戈尔·瓦卢基维奇 更好的时间自动机抽象。 （英语） Zbl 1353.68166号 Inf.计算。 251, 67-90 (2016).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人，《基础计算》。251、67-90（2016年；Zbl 1353.68166） 全文： 内政部
弗雷德里克·赫布雷托;Srivathsan，B。;伊戈尔·瓦卢基维奇 定时Büchi自动机的有效空性检查。 （英语） Zbl 1247.68143号 形式方法系统。设计。 40，第2期，122-146（2012）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人，《形式方法系统》。设计。40、第2号、第122号——146（2012；Zbl 1247.68143） 全文： 内政部 arXiv公司
帕里斯（Pawe Parys）;伊戈尔·瓦卢基维奇 弱交替时间自动机。 （英语） Zbl 1258.03047号 日志。方法计算。科学。 8，第3号，第18号论文，27页（2012年）.MSC公司：05年3月 03B25号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Parys}和\textit{I.Walukiewicz}，日志。方法计算。科学。8，第3号，第18号文件，第27页（2012年；Zbl 1258.03047） 全文： 内政部 arXiv公司
弗雷德里克·赫布雷托;基尼，迪利普;Srivathsan，B。;伊戈尔·瓦卢基维奇 使用非凸近似对时间自动机进行有效分析。 （英语） Zbl 1246.68145号 Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，78-89，仅电子版（2011年）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人，LIPIcs——莱布尼茨国际程序。通知。13、78——89（2011；Zbl 1246.68145） 全文： 内政部 arXiv公司
斯拉沃米尔·拉索塔;伊戈尔·瓦卢基维奇 交替定时自动机。 （英语） Zbl 1367.68172号 ACM事务处理。计算。日志。 第9号第2条第10条第27页（2008年）.MSC公司：65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lasota}和\textit{I.Walukiewicz}，ACM Trans。计算。日志。9，第2号，第10条，第27页（2008年；Zbl 1367.68172） 全文： 内政部 哈尔