贝内迪克特·博利格;帕特里夏·鲍耶;费比安·雷特 寄存器中的标识符。用逻辑描述网络算法。 (英语) Zbl 1524.68211号 Bojañczyk,Mikołaj(编辑)等人,《软件科学和计算结构基础》。2019年4月6日至11日,作为欧洲软件理论与实践联席会议的一部分,第22届国际会议,FOSSACS 2019,在捷克共和国布拉格举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11425, 115-132 (2019).MSC公司:68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,Lect。注释计算。科学。11425、115-132(2019年;Zbl 1524.68211) 全文: 内政部 arXiv公司
贝拉德,贝特里奇;帕特里夏·鲍耶;文森特·朱格 具有重叠轨迹的动力系统的有限互模拟。 (英语) 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季度 03年2月25日 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) 全文: 内政部
Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;皮埃尔·卡利埃 随机转移系统什么时候可以驯服? (英语) Zbl 1394.68243号 J.日志。代数。方法计划。 99, 41-96 (2018).MSC公司:68问题85 60J20型 65年第68季度 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,J.Log。代数。方法计划。99、41-96(2018年;Zbl 1394.68243) 全文: 内政部 arXiv公司
帕特里夏·鲍耶;马克西米利安·科朗格;尼古拉斯·马基 加权时间自动机中的符号最优可达性。 (英语) 兹比尔1411.68052 Chaudhuri,Swarat(编辑)等人,《计算机辅助验证》。第28届国际会议,CAV 2016,加拿大安大略省多伦多,2016年7月17日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。9779, 513-530 (2016).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。9779、513--530(2016;Zbl 1411.68052) 全文: 内政部 arXiv公司
帕特里夏·鲍耶;托马斯·布里海耶;皮埃尔·卡利埃;昆廷·梅内特 随机时间自动机的组合设计。 (英语) Zbl 1475.68146号 库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会,CSR 2016。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9691, 117-130 (2016).MSC公司:65年第68季度 68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。9691117-130(2016年;Zbl 1475.68146) 全文: 内政部
帕特里夏·鲍耶;帕特里克·加迪;尼古拉斯·马基 关于策略逻辑的语义。 (英语) Zbl 1346.68121号 Inf.流程。莱特。 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 1390.68416号 D’Argenio,Pedro R.(编辑)等人,CONCUR 2013——并发理论。第24届国际会议,CONCUR 2013,阿根廷布宜诺斯艾利斯,2013年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40183-1/pbk)。计算机科学课堂讲稿8052,546-560(2013)。MSC公司:65年第68季度 2017年第68季度 68问题55 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人,Lect。注释计算。科学。8052、546--560(2013;Zbl 1390.68416) 全文: 内政部
帕特里夏·鲍耶;罗曼·布伦吉尔;尼古拉斯·马基;米歇尔·乌梅尔斯 具有有序目标的并发游戏。 (英语) Zbl 1352.68177号 Birkedal,Lars(编辑),软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012,该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28728-2/pbk)。计算机科学课堂讲稿7213,301-315(2012)。MSC公司:68问题85 65年第68季度 91A10号 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。721331-315(2012年;兹bl 1352.68177) 全文: 内政部
帕特里夏·鲍耶;Fabrice骑士 关于定时和混合动力系统的控制。 (英语) Zbl 1169.68536号 牛市。欧洲协会。计算。科学。EATCS公司 89, 79-96 (2006).MSC公司:68问题85 65年第68季度 93C25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}和\textit{F.Chevalier},公牛。欧洲协会。计算。科学。EATCS 89、79--96(2006;Zbl 1169.68536)
帕特里夏·鲍耶;谢尔盖,哈达德;皮埃尔·阿莱·雷尼尔 时间Petri网和时间自动机:Zeno序列的鉴别能力。 (英语) Zbl 1133.68383号 Bugliesi,Michele(编辑)等人,《自动化,语言和编程》。2006年7月10日至14日,意大利威尼斯,第33届国际学术讨论会,ICALP 2006。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-540-35907-4/pbk)。计算机科学课堂讲稿4052420-431(2006)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。4052420-431(2006年;Zbl 1133.68383) 全文: 内政部 链接
帕特里夏·鲍耶;安托万·佩蒂特;丹尼斯·塞里安 数据和定时语言的代数特征。 (英语) Zbl 1006.68078号 Larsen,Kim G.(编辑)等人,《CONCUR 2001-并发理论》。第十二届国际会议,丹麦奥尔堡,2001年8月20日至25日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2154, 248-261 (2001).MSC公司:68问题85 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。2154、248--261(2001;Zbl 1006.68078) 全文: 链接
鲍耶,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年;兹bl 0996.68121)