Reiya Noguchi;奥坎·桑库尔;蒂埃里·杰伦;尼古拉斯·马基;大卫·门特雷 修复实时需求。 (英语) Zbl 1522.68338号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,2022年亚洲电视协会,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 371-387 (2022).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Noguchi}等人,Lect。注释计算。科学。13505371--387(2022年;Zbl 1522.68338) 全文: 内政部
罗曼·布伦吉尔;吉列尔莫·A·佩雷斯。;Jean-Francois拉斯金;奥坎·桑库尔 定量图形游戏中的可容许性。 (英语) Zbl 1394.91058号 Lal,Akash(ed.)等人,第36届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13-15日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-027-9)。LIPIcs–莱布尼茨国际信息学学报65,第42条,第14页。(2016).MSC公司:91A43型 第68季度第45季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Brenguier}等人,LIPIcs——莱布尼茨国际程序。通知。65,第42条,14~p.(2016;Zbl 1394.91058) 全文: 内政部 arXiv公司
罗曼·布伦吉尔;洛伦佐·克莱门特;保罗·亨特;吉列尔莫·A·佩雷斯。;米凯尔·兰多尔;让-弗朗索瓦·拉斯金;奥坎·桑库尔;马修·萨索拉斯 反应合成的非零和对策。 (英语) 兹比尔1435.68147 Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9618, 3-23 (2016).MSC公司:第68季度第45季度 60年第68季度 68兰特 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Brenguier}等人,Lect。注释计算。科学。9618,3-23(2016年;兹比尔1435.68147) 全文: 内政部 arXiv公司
帕特里夏·鲍耶;尼古拉斯·马基;奥坎·桑库尔 时间自动机和游戏中的鲁棒可达性:基于游戏的方法。 (英语) Zbl 1302.68153号 西奥。计算。科学。 563, 43-74 (2015).MSC公司:第68季度第45季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Theor。计算。科学。563、43——74(2015;Zbl 1302.68153) 全文: 内政部
奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 缩小时间自动机。 (英语) Zbl 1285.68090号 Inf.计算。 234107-132(2014年).MSC公司:第68季度第45季度 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季度 第68季度第45季度 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)。计算机科学课堂讲稿7392128-140(2012)。MSC公司:第68季度第45季度 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季度 第68季度第45季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人,LIPIcs——莱布尼茨国际程序。通知。13,90-102(2011年;兹bl 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季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。6919,97-112(2011;Zbl 1348.68122) 全文: 内政部
帕特里夏·鲍耶;拉森,金·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公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。6901、76-91(2011年;Zbl 1343.68134) 全文: 内政部