贝拉德，贝特里奇；帕特里夏·鲍耶；文森特·朱格 具有重叠轨迹的动力系统的有限互模拟。 （英语） Zbl 1528.68175号 Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第26条，第17页（2018年）。MSC公司：65年第68季度 03B25号 03C64号 60年第68季度 68问题85 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，LIPIcs--Leibniz Int.Proc。通知。119，第26条，第17页（2018；Zbl 1528.68175） 全文： 内政部
帕特里夏·鲍耶；尼古拉斯·马基；尼古拉斯·佩林；菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier） 使用控制不变量对切换动态系统进行时间自动机抽象。 （英语） Zbl 1425.68181号 实时系统。 53，第3号，327-353（2017）.MSC公司：65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，《实时系统》。53，第3号，327--353（2017；Zbl 1425.68181） 全文： 内政部 哈尔
帕特里夏·鲍耶；尼古拉斯·马基；尼古拉斯·佩林；菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier） 使用控制漏斗的切换动态系统的时间自动机抽象。 （英语） Zbl 1465.68136号 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 60-75 (2015).MSC公司：65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。9268，60-75（2015年；兹bl 1465.68136） 全文： 内政部 哈尔
帕特里夏·鲍耶；托马斯·布里海耶；Fabrice骑士 O-最小混合可达性游戏。 （英语） Zbl 1189.68070号 日志。方法计算。科学。 6，第1期，第1号论文，48页（2010年）.MSC公司：65年第68季度 60年第68季度 93个B03 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Log。方法计算。科学。6，第1期，第1号论文，48页（2010年；Zbl 1189.68070） 全文： 内政部
帕特里夏·鲍耶；托马斯·布里海耶；Fabrice骑士 加权o-最小混合系统。 （英语） Zbl 1219.68114号 Ann.纯粹应用。逻辑 161，第3期，268-288（2009）.MSC公司：60年第68季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Ann.Pure Appl。逻辑161，No.3，268--288（2009；Zbl 1219.68114） 全文： 内政部