帕特里夏·鲍耶;尤索夫·乌阿尔哈德;米凯尔·兰多尔;皮埃尔·范登霍夫 随机博弈中与竞技场无关的有限记忆确定性。 （英语） 兹比尔07788990 日志。方法计算。科学。 19，第4号，第18号论文，51页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Log。方法计算。科学。19，第4号，第18号论文，51页（2023；Zbl 07788990） 全文： 内政部 arXiv公司
贝拉德，贝特里奇;贝内迪克特·博利格;帕特里夏·鲍耶;马蒂亚斯·福格尔;纳塔利·斯兹纳杰德 存在动态链接时的合成。 （英语） Zbl 07629163号 Inf.计算。 289，B部分，文章ID 104856，28 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《信息计算》。289，B部分，文章ID 104856，28 p.（2022；Zbl 07629163） 全文： 内政部
帕特里夏·鲍耶;勒鲁（Le Roux，Stéphane）;尤索夫·乌阿尔哈德;米凯尔·兰多尔;皮埃尔·范登霍夫 游戏中，您可以使用与竞技场无关的有限内存进行最佳游戏。 （英语） Zbl 07559480号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。171，第24条，第22页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，LIPIcs——莱布尼茨国际程序。通知。171，第24条，22 p.（2020；Zbl 07559480） 全文： 内政部
贝拉德，贝特里奇;贝内迪克特·博利格;帕特里夏·鲍耶;马蒂亚斯·福格尔;纳塔利·斯兹纳杰德 存在动态链接的合成。 （英语） Zbl 07455739号 Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32633-49（2020年）。MSC公司：65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛B.Bérard｝等人，电子。程序。西奥。计算。科学。（EPTCS）326、33-49（2020；Zbl 07455739） 全文： arXiv公司 链接
帕特里夏·鲍耶;乌里·法伦贝格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 模型检查实时系统。 （英语） Zbl 1392.68235号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001-1046（2018年；兹比尔1392.68235） 全文： 内政部 哈尔
Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;皮埃尔·卡利埃 随机转移系统什么时候可以驯服？ （英语） Zbl 1394.68243号 J.日志。阿尔盖布。方法计划。 99，41-96（2018）.MSC公司：68问题85 60J20型 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人，J.Log。阿尔盖布。方法计划。99、41-96（2018年；Zbl 1394.68243） 全文： 内政部 arXiv公司
帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;Larsen，Kim G。;西蒙·劳尔森 平均能量游戏。 （英语） Zbl 1390.68115号 学报信息。 55，编号2，91-127（2018）.MSC公司：68平方米 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，《学报》第55期，第2期，第91-127页（2018年；Zbl 1390.68115） 全文： 内政部 哈尔
帕特里夏·鲍耶;彼得·霍夫曼;尼古拉斯·马基;米凯尔·兰多尔;马丁·齐默尔曼 极限平均能量游戏。 （英语） Zbl 1392.68115号 Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日，在瑞典乌普萨拉举行的2017年欧洲软件理论与实践联合会议ETAPS第20届国际会议FOSSACS。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-54457-0/pbk；978-3-562-54458-7/电子书）。计算机科学课堂讲稿10203，179-195（2017）。MSC公司：68平方米 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。10203、179--195（2017；Zbl 1392.68115） 全文： 内政部 arXiv公司
帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;Larsen，Kim G。;西蒙·劳尔森 平均能量游戏。 （英语） Zbl 1476.68024号 Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，1-15（2015）。MSC公司：68平方米 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛P.Bouyer｝等人，电子。程序。西奥。计算。科学。（EPTCS）193，1--15（2015；Zbl 1476.68024） 全文： arXiv公司 链接
帕特里夏·鲍耶;Fabrice骑士;尼古拉斯·马基 关于TPTL和MTL的表达能力。 （英语） Zbl 1209.03010号 Inf.计算。 208，第2期，97-116（2010）. 审核人：安德烈亚斯·赫齐格（图卢兹） MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，《信息计算》。208，第2号，97--116（2010；Zbl 1209.03010） 全文： 内政部
帕特里夏·鲍耶 模型检查时间时序逻辑。 （英语） Zbl 1347.68218号 Areces，Carlos（编辑）等人，《第五届模式方法研讨会论文集》（M4M5，2007年），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231323-341（2009）。MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}，电子。注释Theor。计算。科学。231323--341（2009年；Zbl 1347.68218） 全文： 内政部