托马斯·布里海耶；维罗尼克·布鲁埃；阿琳·戈敏；Jean-François拉斯金；玛丽·范登·博加德 定量可达博弈中子博弈完美均衡的复杂性。 （英语） Zbl 1519.91050号 日志。方法计算。科学。 16，第4号，第8号论文，43页（2020年）.MSC公司：91A43型 91A11号机组 91A68型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，日志。方法计算。科学。16，第4号，第8号论文，43页（2020年；Zbl 1519.91050） 全文： arXiv公司 链接
维罗尼克·布鲁埃；豪特姆，昆汀；米凯尔·兰多尔；Jean-François拉斯金 能量平均值游戏。 （英语） Zbl 07649929号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第21条，第17页（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人，LIPIcs——莱布尼茨国际程序。通知。140，第21条，第17页（2019年；Zbl 07649929） 全文： 内政部 arXiv公司
维罗尼克·布鲁埃；勒鲁（Le Roux，Stéphane）；阿诺·保利；Jean-François拉斯金 关于弱子博弈完美均衡的存在性。 （英语） Zbl 1486.91016号 Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 145-161 (2017).MSC公司：91A43型 60年第68季度 91A11号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人，Lect。注释计算。科学。10203、145--161（2017；Zbl 1486.91016） 全文： 内政部 链接
帕特里夏·鲍耶；托马斯·布里海耶；维罗尼克·布鲁埃；Jean-François拉斯金 关于加权时间自动机的最优可达性问题。 （英语） 兹比尔1129.68039 形式方法系统。设计。 31，第2期，135-175（2007）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，《形式方法系统》。设计。31，第2号，135--175（2007；Zbl 1129.68039） 全文： 内政部 链接
托马斯·布里海耶；维罗尼克·布鲁埃；Jean-François拉斯金 关于带秒表观测器的模型检查时间自动机。 （英语） Zbl 1094.68055号 Inf.计算。 204，第3期，408-433（2006）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，《信息计算》。204，第3号，408--433（2006；Zbl 1094.68055） 全文： 内政部