本杰明·博代斯;帕特里夏·鲍耶;勒鲁(Le Roux,Stéphane) 并发图游戏中从局部到全局的确定性。 (英语) Zbl 07799619号 Bojañczyk,Mikołaj(编辑)等人,第41届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2021,虚拟会议,2021年12月15日至17日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。213,第41条,第14页(2021年)。MSC公司:68号30 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Bordais}等人,LIPIcs——莱布尼茨国际程序。通知。213,第41条,第14页(2021;Zbl 07799619) 全文: 内政部 arXiv公司
Nathalie Bertrand;帕特里夏·鲍耶;阿尼尔班·马朱姆达尔 参数化广播网络中的重新配置和消息丢失。 (英语) Zbl 1509.68160号 日志。方法计算。科学。 17,第1号,第23号论文,第19页(2021年).MSC公司:60年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,日志。方法计算。科学。17,第1号,第23号论文,第19页(2021;Zbl 1509.68160) 全文: arXiv公司 链接
帕特里夏·鲍耶;托马斯·布里海耶;米凯尔·兰多尔;塞德里克河畔;皮埃尔·范登霍夫 随机系统的决定性及其在混合模型中的应用。 (英语) Zbl 07455746号 Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)326149-165(2020年)。MSC公司:65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《电子》。程序。西奥。计算。科学。(EPTCS)326149--165(2020;Zbl 07455746) 全文: arXiv公司 链接
贝拉德,贝特里奇;贝内迪克特·博利格;帕特里夏·鲍耶;马蒂亚斯·福格尔;纳塔利·斯兹纳杰德 存在动态链接的合成。 (英语) 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.贝拉德}等人,《电子》。程序。西奥。计算。科学。(EPTCS)326、33-49(2020;Zbl 07455739) 全文: arXiv公司 链接
阿尼埃洛·穆拉诺(编辑);帕特里夏·鲍耶(编辑);圣彼得罗,皮耶路易吉(编辑);安德烈亚·奥兰迪尼(编辑) 前言。 (英语) Zbl 1443.68019号 Inf.计算。 272,文章ID 104497,1 p.(2020).MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Murano}(编辑)等,《信息计算》。272,文章ID 104497,1页(2020;Zbl 1443.68019) 全文: 内政部
帕特里克·加迪;帕特里夏·鲍耶;尼古拉斯·马基 战略逻辑中的依赖性。 (英语) Zbl 1484.68100号 理论计算。系统。 64,第3期,467-507(2020年).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardy}等人,《理论计算》。系统。64,第3号,467--507(2020;Zbl 1484.68100) 全文: 内政部 链接
Nathalie Bertrand;帕特里夏·鲍耶;阿尼尔班·马朱姆达尔 并发参数化游戏。 (英语) Zbl 07650328号 Chattopadhyay,Arkadev(ed.)等人,第39届IARCS软件技术和理论计算机科学基础年会,2019年12月11-13日,印度孟买,FSTTCS 2019。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。150,第31条,第15页(2019年)。MSC公司:68号30 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,LIPIcs——莱布尼茨国际程序。通知。150,第31条,第15页(2019年;Zbl 07650328) 全文: 内政部
帕特里夏·鲍耶 关于博弈论和验证的注释。 (英语) Zbl 1437.68113号 Chen,Yu-Fang(编辑)等,验证和分析自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。11781, 3-22 (2019).MSC公司:60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer},莱克特。票据计算。科学。11781,3-22(2019年;兹比尔1437.68113) 全文: 内政部 哈尔
贝拉德,贝特里奇;帕特里夏·鲍耶;文森特·朱格 具有重叠轨迹的动力系统的有限互模拟。 (英语) Zbl 1528.68175号 Ghica,Dan R.(ed.)等人,第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) 全文: 内政部
帕特里克·加迪;帕特里夏·鲍耶;尼古拉斯·马基 战略逻辑中的依赖性。 (英语) Zbl 1484.68101号 Niedermeier,Rolf(编辑)等人,第35届计算机科学理论方面研讨会,2018年2月28日至3月3日,法国卡昂,STACS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96,第34条,第15页(2018年)。MSC公司:60年第68季度 03B44号 65年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardy}等人,LIPIcs——莱布尼茨国际程序。通知。96,第34条,第15页(2018;Zbl 1484.68101) 全文: 内政部 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;Zbl 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公司
帕特里夏·鲍耶(编辑);安德烈亚·奥兰迪尼(编辑);圣彼得罗,皮耶路易吉(编辑) 第八届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2017年9月20日至22日,意大利罗马,GandALF 2017。 (英语) 兹比尔1436.68017 理论计算机科学电子论文集(EPTCS)256.滑铁卢:开放出版协会(OPA)。第296页。,仅电子版,开放访问(2017年)。MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}(ed.)等人,第八届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2017,意大利罗马,2017年9月20-22日。滑铁卢:开放出版协会(OPA)(2017;Zbl 1436.68017) 全文: 内政部 arXiv公司 链接
帕特里夏·鲍耶;拉鲁西尼,弗朗索瓦;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 定时时间逻辑。 (英语) Zbl 1431.03032号 Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。票据计算。科学。10460, 211-230 (2017).MSC公司:03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。10460211-230(2017;Zbl 1431.03032) 全文: 内政部 哈尔
帕特里夏·鲍耶;帕特里克·加迪;尼古拉斯·马基 关于策略逻辑的语义。 (英语) 兹比尔1346.68121 信息处理。莱特。 116,第2期,75-79(2016).MSC公司:60年第68季度 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《信息处理》。莱特。116,第2号,75--79(2016;Zbl 1346.68121) 全文: 内政部
帕特里夏·鲍耶;帕特里克·加迪;尼古拉斯·马基 单反游戏中布尔目标的加权策略逻辑。 (英语) Zbl 1366.68166号 Harsha,Prahladh(编辑)等人,第35届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2015,印度班加罗尔,2015年12月16-18日。诉讼程序。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-97-2)。LIPIcs–莱布尼茨国际信息学论文集45,69-83(2015)。MSC公司:60年第68季度 03B44号 03B70号 65年第68季度 91A06型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,LIPIcs——莱布尼茨国际程序。通知。45、69-83(2015年;Zbl 1366.68166) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 时间自动机和游戏中的鲁棒可达性:基于游戏的方法。 (英语) Zbl 1302.68153号 西奥。计算。科学。 563,43-74(2015).MSC公司:65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Theor。计算。科学。563、43——74(2015;Zbl 1302.68153) 全文: 内政部
帕特里夏·鲍耶;帕特里克·加迪;尼古拉斯·马基 加权Kripke结构的定量验证。 (英语) Zbl 1448.68287号 Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,2014年亚洲电视协会第12届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8837, 64-80 (2014).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。8837,64-80(2014;Zbl 1448.68287) 全文: 内政部
Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;昆廷·梅内特;克里斯特尔·拜尔;马库斯·格罗斯尔;马尔金·尤尔金斯基 随机时间自动机。 (英语) Zbl 1448.68256号 日志。方法计算。科学。 10,第4号,第6号论文,73页(2014年).MSC公司:65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,日志。方法计算。科学。10,第4号,第6号论文,73页(2014年;Zbl 1448.68256) 全文: 内政部 arXiv公司
帕特里夏·鲍耶;尼古拉斯·马基;拉杰·莫汉·马特普拉克尔 LTL平均值。 (英语) Zbl 1417.68098号 Baldan,Paolo(编辑)等人,CONCUR 2014–并发理论。第25届国际会议,CONCUR 2014,意大利罗马,2014年9月2-5日。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8704, 266-280 (2014).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。8704、266--280(2014;Zbl 1417.68098) 全文: 内政部 哈尔
奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 缩小时间自动机。 (英语) Zbl 1285.68090号 Inf.计算。 234, 107-132 (2014).MSC公司:65年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人,《信息计算》。234107--132(2014年;Zbl 1285.68090) 全文: 内政部 链接
帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 时间自动机中的鲁棒性。 (英语) Zbl 1407.68282号 Abdulla,Parosh Aziz(编辑)等,《可达性问题》。第七届国际研讨会,RP 2013,瑞典乌普萨拉,2013年9月24日至26日会议记录。柏林:斯普林格。莱克特。票据计算。科学。8169, 1-18 (2013).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。8169,1-18(2013;Zbl 1407.68282) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 时间自动机中的鲁棒可达性:基于游戏的方法。 (英语) Zbl 1367.68161号 Czumaj,Artur(编辑)等人,《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会,ICALP 2012。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-31584-8/pbk)。计算机科学讲义739228-140(2012)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。7392,128--140(2012;Zbl 1367.68161) 全文: 内政部 哈尔
奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 缩小时间自动机。 (英语) Zbl 1246.68159号 Chakraborthy,Supraik(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2011),印度孟买,2011年12月12-14日。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-34-7)。LIPIcs–莱布尼茨国际信息学会议录13,90-102,仅电子版(2011年)。MSC公司:60年第68季度 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人,LIPIcs——莱布尼茨国际程序。通知。13、90-102(2011;Zbl 1246.68159) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 通过泵入通道机器对时间自动机进行鲁棒模型检查。 (英语) Zbl 1348.68122号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,97-112(2011)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。6919,97-112(2011;Zbl 1348.68122) 全文: 内政部
帕特里夏·鲍耶;Larsen,Kim G。;尼古拉斯·马基;奥坎·桑库尔;瑟兰,克劳斯 时间自动机总是可以实现的。 (英语) Zbl 1343.68134号 Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿690176-91(2011)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。6901,76--91(2011;Zbl 1343.68134) 全文: 内政部
Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;阿梅利·施泰纳 正频率时间自动机中的空性和普适性问题。 (英语) Zbl 1333.68158号 Aceto,Luca(编辑)等人,《自动化,语言和编程》。第38届国际学术讨论会,ICALP 2011,瑞士苏黎世,2011年7月4日至8日。诉讼,第二部分。柏林:施普林格出版社(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 1216.68158号 J.逻辑语言信息。 20,第2期,169-203(2011).MSC公司:60年第68季度 03B45 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,J.Logic Lang.Inf.20,No.2,169--203(2011;Zbl 1216.68158) 全文: 内政部
帕特里夏·鲍耶;乌里·法伦贝格;Larsen,Kim G。;尼古拉斯·马基 能量约束下带观测器的时间自动机。 (英语) Zbl 1361.68135号 2010年4月12日至16日,瑞典斯德哥尔摩,HSCC 2010,第13届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-955-8)。61-70 (2010).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,in:第13届ACM混合系统国际会议论文集:计算与控制,HSCC 2010,瑞典斯德哥尔摩,2010年4月12-16日。纽约州纽约市:计算机协会(ACM)。61-70(2010年;Zbl 1361.68135) 全文: 内政部
帕特里夏·鲍耶;托马斯·布里海耶;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) 全文: 内政部
帕特里夏·鲍耶 模型检查时间时序逻辑。 (英语) 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) 全文: 内政部
帕特里夏·鲍耶;托马斯·布里海耶;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 1254.91033号 Bravetti,Mario(编辑)等人,CONCUR 2009–并发理论。第20届国际会议,CONCUR 2009,意大利博洛尼亚,2009年9月1-4日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04080-1/pbk)。计算机科学讲义5710196-210(2009)。MSC公司:91A20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。5710196-210(2009年;Zbl 1254.91033) 全文: 内政部
帕特里夏·鲍耶;Forejt,Vojtěch公司 随机时间博弈中的可达性。 (英语) 兹比尔1248.91014 Albers,Susanne(编辑)等人,《自动化,语言和编程》。2009年7月5日至12日,第36届国际学术讨论会,ICALP 2009,希腊罗兹。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-02929-5/pbk)。计算机科学课堂讲稿5556103-114(2009)。MSC公司:91A15型 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}和\textit{V.Forejt},莱克特。票据计算。科学。5556103-114(2009年;Zbl 1248.91014) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;约尔·瓦克宁;菲利普·施诺贝伦;詹姆斯·沃雷尔 故障信道机器终止时。 (英语) Zbl 1259.68120号 Albers,Susanne(编辑)等人,STACS 2008。第25届计算机科学理论方面国际研讨会,法国波尔多,2008年2月21日至23日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-939897-06-4)。LIPIcs–莱布尼茨国际信息学会议录121-132,仅电子版(2008年)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,LIPIcs——莱布尼茨国际程序。通知。121-132(2008;Zbl 1259.68120) 全文: 内政部 arXiv公司 链接
帕特里夏·鲍耶;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 实时模型检查中的表达性和复杂性。 (英语) Zbl 1155.68426号 Aceto,Luca(编辑)等人,《自动化,语言和编程》。2008年7月7日至11日,冰岛雷克雅未克,第35届国际学术讨论会,ICALP 2008。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-540-70582-6/pbk)。计算机科学课堂讲稿5126124-135(2008)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。5126、124--135(2008年;Zbl 1155.68426) 全文: 内政部 哈尔
帕特里夏·鲍耶;Larsen,Kim G。;尼古拉斯·马基 模型检查单时钟定价时间自动机。 (英语) Zbl 1149.68401号 日志。方法计算。科学。 4,第2号,第9号文件,第28页(2008年).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Log。方法计算。科学。4,第2期,论文9,28页(2008年;Zbl 1149.68401) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 基于信道机的时间自动机鲁棒性分析。 (英语) Zbl 1138.68431号 Amadio,Roberto(编辑),《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008,该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78497-5/pbk)。计算机科学课堂讲稿4962157-171(2008)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。4962,157--171(2008;Zbl 1138.68431) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基 成本太高了! (英语) Zbl 1142.68045号 Raskin,Jean-François(编辑)等,时间系统的形式化建模和分析。第五届国际会议,FORMATS 2007,奥地利萨尔茨堡,2007年10月3-5日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75453-4/pbk)。计算机科学课堂讲稿4763,53-68(2007)。MSC公司:60年第68季度 03B44号 05年3月 03天35分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}和\textit{N.Markey},莱克特。票据计算。科学。4763、53-68(2007年;Zbl 1142.68045) 全文: 内政部 哈尔
克里斯特尔·拜尔;Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;马库斯·格勒 时间自动机的概率语义和拓扑语义。 (英语) Zbl 1135.68464号 Arvind,V.(ed.)等人,FSTTCS 2007:软件技术和理论计算机科学基础。第27届国际会议,印度新德里,2007年12月12-14日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-77049-7/pbk)。计算机科学课堂讲稿4855179-191(2007)。MSC公司:60年第68季度 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。票据计算。科学。4855、179--191(2007年;Zbl 1135.68464) 全文: 内政部
帕特里夏·鲍耶;托马斯·布里海耶;Fabrice骑士 加权o-极小混合系统比加权时间自动机更容易判定! (英语) Zbl 1132.68466号 Artemov,Sergei N.(编辑)等人,《计算机科学的逻辑基础》。2007年6月4日至7日在美国纽约州纽约市举行的2007年LFCS国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72732-3/pbk)。计算机科学课堂讲稿4514,69-83(2007)。MSC公司:60年第68季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。4514、69-83(2007年;Zbl 1132.68466) 全文: 内政部
帕特里夏·鲍耶;Larsen,Kim G。;尼古拉斯·马基 模型检查单时钟定价的时间自动机。 (英语) Zbl 1149.68400号 Seidl,Helmut(编辑),《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007,该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71388-3/pbk)。计算机科学课堂讲稿4423108-122(2007)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。4423、108-122(2007年;Zbl 1149.68400) 全文: 内政部
帕特里夏·鲍耶 加权时间自动机:模型检查和游戏。 (英语) Zbl 1273.68197号 Brookes,Steve(ed.)等人,第22届编程语义数学基础年会(MFPS XXII)会议记录,意大利热那亚,2006年5月23日至27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记158,3-17(2006)。MSC公司:65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer},电子。注释Theor。计算。科学。158,3-17(2006年;兹bl 1273.68197) 全文: 链接
帕特里夏·鲍耶;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 时间自动机中线性时间属性的稳健模型检验。 (英语) Zbl 1145.68464号 Correa,JoséR.(编辑)等人,拉丁语2006:理论信息学。第七届拉丁美洲研讨会,2006年3月20日至24日,智利瓦尔迪维亚。诉讼程序。柏林:施普林格出版社(ISBN 3-540-32755-X/pbk)。计算机科学课堂讲稿3887,238-249(2006)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。3887、238--249(2006年;Zbl 1145.68464) 全文: 内政部 哈尔
Houda Bel,Mokadem;贝拉德,贝特里奇;帕特里夏·鲍耶;拉鲁西尼,弗朗索瓦 用于抽象瞬态的时间时序逻辑。 (英语) Zbl 1161.68576号 Graf,Susanne(编辑)等人,《验证和分析自动化技术》。2006年10月23日至26日,第四届国际研讨会,ATVA 2006,中国北京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-47237-7/pbk)。计算机科学课堂讲稿4218,337-351(2006)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Mokadem}等人,Lect。票据计算。科学。4218、337--351(2006年;Zbl 1161.68576) 全文: 内政部 链接
帕特里夏·鲍耶;谢尔盖,哈达德;皮埃尔·阿莱·雷尼尔 时间自动机网络的时间展开。 (英语) Zbl 1161.68614号 Graf,Susanne(编辑)等人,《验证和分析自动化技术》。2006年10月23日至26日,第四届国际研讨会,ATVA 2006,中国北京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-47237-7/pbk)。计算机科学课堂讲稿4218,292-306(2006)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。4218、292--306(2006年;Zbl 1161.68614) 全文: 内政部 链接
帕特里夏·鲍耶;Larsen,Kim G。;尼古拉斯·马基;雅各布·伊勒姆拉斯穆森 在一个时钟定价的计时游戏中,几乎是最佳策略。 (英语) Zbl 1177.68142号 Arun-Kumar,S.(编辑)等人,FSTTCS 2006:软件技术和理论计算机科学基础。第26届国际会议,印度加尔各答,2006年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49994-7/pbk)。计算机科学课堂讲稿4337,345-356(2006)。MSC公司:60年第68季度 91A05型 91年5月 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。4337345--356(2006年;Zbl 1177.68142) 全文: 内政部 哈尔
帕特里夏·鲍耶;劳拉·博泽利;Fabrice骑士 MTL规范的控制器合成。 (英语) Zbl 1151.68471号 Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。计算机科学讲义4137,450-464(2006)。MSC公司:60年第68季度 03B44号 65年第68季度 93亿B51 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。4137450-464(2006年;Zbl 1151.68471) 全文: 内政部
帕特里夏·鲍耶;弗兰克·卡塞兹;伊曼纽尔·弗勒里;Larsen,Kim G。 使用综合优化策略高超声速. (英语) Zbl 1272.68228号 de Alfaro,L.(编辑),《游戏设计与验证研讨会论文集》(GDV 2004),美国马萨诸塞州波士顿,2004年6月18日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》119,第1期,11-31页(2005年)。MSC公司:60年第68季度 91年5月 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《电子》。注释Theor。计算。科学。119,编号1,11--31(2005;Zbl 1272.68228) 全文: 链接
帕特里夏·鲍耶;Fabrice骑士 时间自动机扩展的简洁性。 (英语) Zbl 1146.68384号 J.汽车。语言梳。 10,第4期,393-405(2005).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}和\textit{F.Chevalier},J.Autom。语言梳。10,第4号,393--405(2005;Zbl 1146.68384)
帕特里夏·鲍耶;拉鲁西尼,弗朗索瓦;皮埃尔·阿莱·雷尼尔 时间自动机中的对角线约束:时间系统的正向分析。 (英语) Zbl 1175.68256号 Pettersson,Paul(编辑)等,时间系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829112-126(2005)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。3829、112-126(2005年;Zbl 1175.68256) 全文: 内政部
Houda Bel Mokadem;贝拉德,贝特里奇;帕特里夏·鲍耶;拉鲁西尼,弗朗索瓦 时间自动机中几乎处处属性的一种新形式。 (英语) Zbl 1134.68381号 Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653110-124(2005)。MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bel Mokadem}等人,Lect。票据计算。科学。3653、110-124(2005年;Zbl 1134.68381) 全文: 内政部
帕特里夏·鲍耶;弗兰克·卡塞兹;拉鲁西尼,弗朗索瓦 定时控制的模态逻辑。 (英语) Zbl 1134.68399号 Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿365381-94(2005)。MSC公司:60年第68季度 68问题85 03B45 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。3653、81-94(2005年;Zbl 1134.68399) 全文: 内政部
格德·贝尔曼;帕特里夏·鲍耶;Larsen,Kim G。;拉德克·佩拉内克 时间自动机基于区域抽象的上下限。 (英语) Zbl 1126.68453号 Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988312-326(2004)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Behrmann}等人,Lect。票据计算。科学。2988312--326(2004年;Zbl 1126.68453) 全文: 内政部
帕特里夏·鲍耶;弗兰克·卡塞兹;伊曼纽尔·弗勒里;Larsen,Kim G。 定价时间博弈自动机中的最优策略。 (英语) Zbl 1117.68396号 Lodaya,Kamal(编辑)等人,FSTTCS 2004:软件技术和理论计算机科学基础。第24届国际会议,印度钦奈,2004年12月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24058-6/pbk)。计算机科学课堂讲稿3328148-160(2004)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。3328148-160(2004年;兹bl 1117.68396) 全文: 内政部
帕特里夏·鲍耶;迪帕克·D’Souza;马杜苏丹,P。;安托万·佩蒂特 具有部分可观测性的定时控制。 (英语) Zbl 1278.68160号 Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,CAV 2003,美国科罗拉多州博尔德,2003年7月8日至12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。票据计算。科学。2725, 180-192 (2003).MSC公司:60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。2725、180--192(2003年;Zbl 1278.68160) 全文: 内政部
格德·贝尔曼;帕特里夏·鲍耶;伊曼纽尔·弗勒里;Larsen,Kim G。 时间自动机验证中的静态保护分析。 (英语) Zbl 1031.68076号 Garavel,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。2619, 254-270 (2003).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Behrmann}等人,Lect。票据计算。科学。2619、254--270(2003年;Zbl 1031.68076) 全文: 链接
Bouyer,P。;杜富尔德,C。;弗勒里,E。;A.佩蒂特。 可更新时间自动机的表达。 (英语) Zbl 0996.68121号 尼尔森、莫根斯(编辑)等人,《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。1893, 232-242 (2000).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。票据计算。科学。1893,232--242(2000;Zbl 0996.68121)