托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;恩格尔·勒福丘;本杰明·蒙梅格 一键定价的负权重计时游戏。 （英语） Zbl 07577581号 日志。方法计算。科学。 18，第3号，第17号论文，51页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，日志。方法计算。科学。18，第3号，第17号论文，51页（2022；Zbl 07577581） 全文： arXiv公司 链接
托马斯·布里海耶;阿琳·戈敏 基于回合可达性的时间博弈中的子博弈完美均衡。 （英语） Zbl 07317092号 Bertrand，Nathalie（编辑）等，时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12288, 94-110 (2020).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}和\textit{A.Goeminne}，莱克特。注释计算。科学。12288、94-110（2020；Zbl 07317092） 全文： 内政部 arXiv公司
托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;本杰明·蒙梅格 伪多项式迭代算法，用于求解总对偶博弈和最小代价可达博弈。 （英语） Zbl 1362.68203号 学报信息。 54，第1期，85-125（2017）.MSC公司：68问题85 68周05 68瓦40 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，《学报》第54期，第1期，第85-125页（2017年；Zbl 1362.68203） 全文： 内政部 哈尔
托马斯·布里海耶;朱莉·德普里尔;斯文·舍韦 具有简单纳什均衡的多人成本博弈。 （英语） Zbl 1422.91043号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。7734, 59-73 (2013).MSC公司：91A06型 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，Lect。注释计算。科学。7734，59-73（2013；Zbl 1422.91043） 全文： 内政部 arXiv公司
托马斯·布里海耶;劳伦特·多恩;吉勒·杰勒茨;约尔·瓦克宁;Jean-François拉斯金;詹姆斯·沃雷尔 有界时间上混合自动机的可达性。 （英语） Zbl 1300.68033号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学讲义6756416-427（2011）。MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，Lect。注释计算。科学。6756、416--427（2011；Zbl 1300.68033） 全文： 内政部 arXiv公司
Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;阿梅利·施泰纳 正频率时间自动机中的空性和普适性问题。 （英语） Zbl 1333.68158号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756，246-257（2011）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人，Lect。注释计算。科学。6756，246--257（2011；Zbl 1333.68158） 全文： 内政部 arXiv公司
托马斯·布里海耶;维罗尼克·布鲁埃;伊莱恩·雷恩 强重置混合系统的形式语言属性。 （英语） Zbl 1184.68309号 西奥·雷罗。通知。申请。 44，第1期，79-111（2010）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，RAIRO，Theor。通知。申请。44，编号1，79--111（2010；Zbl 1184.68309） 全文： 内政部 欧洲DML 链接
帕特里夏·鲍耶;托马斯·布里海耶;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） 全文： 内政部
帕特里夏·鲍耶;托马斯·布里海耶;马尔钦·尤季扬斯基;兰科·拉齐奇;米查·鲁特考夫斯基 具有强重置的混合自动机上的平均价格和可达价格游戏。 （英语） Zbl 1171.68523号 Cassez，Franck（编辑）等，时间系统的形式化建模和分析。第六届国际会议，FORMATS 2008，法国圣马洛，2008年9月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。计算机科学课堂讲稿5215，63-77（2008）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。5215、63--77（2008年；Zbl 1171.68523） 全文： 内政部
帕特里夏·鲍耶;托马斯·布里海耶;维罗尼克·布鲁埃;Jean-François拉斯金 关于加权时间自动机的最优可达性问题。 （英语） Zbl 1129.68039号 形式方法系统。设计。 31，第2期，135-175（2007）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，《形式方法系统》。设计。31，第2号，135--175（2007；Zbl 1129.68039） 全文： 内政部 链接
帕特里夏·鲍耶;托马斯·布里海耶;尼古拉斯·马基 改进了加权时间自动机的不可判定性结果。 （英语） Zbl 1187.68291号 信息处理。莱特。 98，第5期，188-194（2006）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，《信息处理》。莱特。98，第5号，188--194（2006；Zbl 1187.68291） 全文： 内政部 哈尔
托马斯·布里海耶;维罗尼克·布鲁埃;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） 全文： 内政部