Clément伯特兰；汉娜·克劳代尔；马蒂厄·拉塔比；弗雷德里克·佩申斯基 链接流中的模式匹配：一种基于标记的方法。 （英语） Zbl 1427.68182号 Khomenko，Victor（编辑）等人，Petri网和并发的应用和理论。第39届国际会议，PETRI NETS 2018，斯洛伐克布拉迪斯拉发，2018年6月24-29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10877227-247（2018年）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bertrand}等人，Lect。注释计算。科学。10877，227--247（2018；Zbl 1427.68182） 全文： DOI程序 哈尔
Clément伯特兰；弗雷德里克·佩申斯基；汉娜·克劳代尔；马蒂厄·拉塔比 链路流中的模式匹配：具有有限内存的时间自动机。 （英语） Zbl 1424.68083号 科学。Ann.计算。科学。 28，第2期，161-198（2018）.MSC公司：65年第68季度 68问题85 68吨10 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{C.Bertrand}等人，科学。Ann.计算。科学。28，第2号，161--198（2018；Zbl 1424.68083） 全文： DOI程序
雷蒙德·魔鬼队；汉娜·克劳代尔 计算时间自动机网络中旅行或循环持续时间的抽象策略。 （英语） Zbl 1433.68248号 Fränzle，Martin（编辑）等人，《时间系统的形式化建模和分析》。2016年8月24日至26日，加拿大魁北克省魁北克FORMATS 2016第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9884, 140-156 (2016).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}和\textit{H.Klaudel}，莱克特。注释计算。科学。9884、140-156（2016年；Zbl 1433.68248） 全文： DOI程序 哈尔