野口理也;奥坎·桑库尔;蒂埃里·杰伦;尼古拉斯·马基;戴维·曼特雷 修复实时需求。 （英语） Zbl 1522.68338号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，2022年亚洲电视协会，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 371-387 (2022).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.Noguchi｝等人，Lect。注释计算。科学。13505371--387（2022年；Zbl 1522.68338） 全文： 内政部 哈尔
帕特里克·加迪;帕特里夏·布耶;尼古拉斯·马基 战略逻辑中的依赖性。 （英语） 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） 全文： 内政部 链接
维克托·鲁萨纳利;奥坎·桑库尔;尼古拉斯·马基 时间自动机的抽象精化算法。 （英语） Zbl 07805524号 Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 22-40 (2019).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Roussanaly}等人，Lect。注释计算。科学。11561，22-40（2019；Zbl 07805524） 全文： 内政部 arXiv公司
洛依茨海露;尼古拉斯·马基;里塔姆·拉哈 放松能量约束的可达性游戏。 （英语） Zbl 07453074号 Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）305，17-33（2019）。MSC公司：65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Hélouét}等人，《电子》。程序。西奥。计算。科学。（EPTCS）305、17-33（2019；Zbl 07453074） 全文： arXiv公司 链接
利奥·亨利;蒂埃里·杰伦;尼古拉斯·马基 定时系统离线测试的控制策略。 （英语） Zbl 1508.68221号 del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10869, 171-189 (2018).MSC公司：60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Henry}等人，Lect。注释计算。科学。10869、171--189（2018；Zbl 1508.68221） 全文： 内政部 arXiv公司 哈尔
帕特里克·加迪;帕特里夏·布耶;尼古拉斯·马基 战略逻辑中的依赖性。 （英语） Zbl 1484.68101号 Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern:Schloss Dagstuhl–Leibniz 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公司
Balasubramanian，A.R。;Nathalie Bertrand;尼古拉斯·马基 约束可重构广播网络中同步的参数化验证。 （英语） Zbl 1423.68273号 Beyer，Dirk（编辑）等人，《系统构建和分析的工具和算法》。第24届国际会议，TACAS 2018，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2018，希腊塞萨洛尼基，2018年4月14日至20日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10806, 38-54 (2018).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Balasubramanian}等人，Lect。注释计算。科学。10806，38-54（2018；Zbl 1423.68273） 全文： 内政部 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） 全文： 内政部 哈尔
帕特里夏·布耶;弗朗索瓦·拉鲁西尼;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 时间时序逻辑。 （英语） 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） 全文： 内政部 哈尔
艾米莉·大卫;弗朗索瓦·拉鲁西尼;尼古拉斯·马基 关于QCTL的表达性。 （英语） Zbl 1392.68245号 Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59，第28条，第15页（2016）。MSC公司：60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人，LIPIcs——莱布尼茨国际程序。通知。59，第28条，第15页（2016年；兹bl 1392.68245） 全文： 内政部
帕特里夏·布耶;帕特里克·加迪;尼古拉斯·马基 关于策略逻辑的语义。 （英语） Zbl 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） 全文： 内政部
弗朗索瓦·拉鲁西尼;尼古拉斯·马基;阿诺德·桑尼尔 \（\mathsf{ATL}_\mathit{sc}\），部分观察。 （英语） Zbl 1476.68151号 Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，43-57（2015）。MSC公司：60年第68季度 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}等人，《电子》。程序。西奥。计算。科学。（EPTCS）193，43-57（2015；Zbl 1476.68151） 全文： arXiv公司 链接
帕特里夏·布耶;帕特里克·加迪;尼古拉斯·马基 单反游戏中布尔目标的加权策略逻辑。 （英语） 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） 全文： 内政部
弗朗索瓦·拉鲁西尼;尼古拉斯·马基 用战略背景扩充ATL。 （英语） Zbl 1332.68140号 Inf.计算。 245, 98-123 (2015).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{N.Markey}，Inf.Comput。24598--123（2015；Zbl 1332.68140） 全文： 内政部
帕特里夏·布耶;尼古拉斯·马基;奥坎·桑库尔 时间自动机和游戏中的鲁棒可达性：基于游戏的方法。 （英语） 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） 全文： 内政部
尼古拉斯·马基;维斯特，斯蒂恩 有限分支无限对策中的对称约简。 （英语） Zbl 1448.68310号 Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837, 281-296 (2014).MSC公司：60年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}和\textit{S.Vester}，莱克特。注释计算。科学。8837、281--296（2014；Zbl 1448.68310） 全文： 内政部
帕特里夏·布耶;帕特里克·加迪;尼古拉斯·马基 加权Kripke结构的定量验证。 （英语） Zbl 1448.68287号 Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837, 64-80 (2014).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。8837，64-80（2014；Zbl 1448.68287） 全文： 内政部
弗朗索瓦·拉鲁西尼;尼古拉斯·马基 量化CTL：表达性和复杂性。 （英语） Zbl 1448.68304号 日志。方法计算。科学。 10，第4号，第17号论文，45页（2014）.MSC公司：60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{N.Markey}，日志。方法计算。科学。10，第4号，第17号论文，45页（2014；Zbl 1448.68304） 全文： 内政部 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 1464.03018号 Puppis，Gabriele（编辑）等人，第四届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2013，Borca di Cadore，Dolomites，意大利，2013年8月29日至31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）119208-223（2013）。MSC公司：03B44号 03B25号 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{N.Markey}，电子。程序。西奥。计算。科学。（EPTCS）119208--223（2013；Zbl 1464.03018） 全文： arXiv公司 链接
帕特里夏·布耶;尼古拉斯·马基;奥坎·桑库尔 时间自动机中的鲁棒性。 （英语） 兹比尔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）。计算机科学课堂讲稿7392128-140（2012）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。7392，128--140（2012；Zbl 1367.68161） 全文： 内政部 哈尔
阿诺达科斯塔;弗朗索瓦·拉鲁西尼;尼古拉斯·马基 量化CTL：表达性和模型检查（扩展抽象）。 （英语） Zbl 1364.68261号 Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454177-192（2012）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Da Costa｝等人，Lect。注释计算。科学。7454、177--192（2012年；Zbl 1364.68261） 全文： 内政部
奥坎·桑库尔;帕特里夏·布耶;尼古拉斯·马基 缩小时间自动机。 （英语） 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年；兹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季度 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） 全文： 内政部
帕特里夏·布耶;乌里·法伦贝格;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） 全文： 内政部
阿诺达科斯塔;弗朗索瓦·拉鲁西尼;尼古拉斯·马基 具有策略上下文的ATL：表达性和模型检查。 （英语） Zbl 1245.68135号 Lodaya，Kamal（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），2010年12月15日至18日，印度钦奈。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-23-1）。LIPIcs–莱布尼茨国际信息学会议录8120-132，仅电子版（2010年）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Da Costa}等人，LIPIcs——莱布尼茨国际程序。通知。8120--132（2010；Zbl 1245.68135） 全文： 内政部 链接
帕特里夏·布耶;玛丽·杜弗洛特;尼古拉斯·马基;加布里埃尔·雷诺 在有限对策中测量容许性。 （英语） Zbl 1254.91033号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，196-210（2009）。MSC公司：91A20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。5710196-210（2009年；Zbl 1254.91033） 全文： 内政部
托马斯·布里海耶;阿诺达科斯塔;弗朗索瓦·拉鲁西尼;尼古拉斯·马基 具有策略上下文和有限内存的ATL。 （英语） Zbl 1211.03031号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2009年1月3日至6日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2009国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。计算机科学课堂讲稿540792-106（2009）。MSC公司：03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，Lect。注释计算。科学。5407、92--106（2009年；Zbl 1211.03031） 全文： 内政部
帕特里夏·布耶;尼古拉斯·马基;约尔·瓦克宁;菲利普·施诺贝伦;詹姆斯·沃雷尔 故障信道机器终止时。 （英语） 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（编辑）等人，《自动化，语言和编程》。第35届国际学术讨论会，2008年ICALP，冰岛雷克雅未克，2008年7月7日至11日。诉讼，第二部分。柏林：施普林格出版社（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） 全文： 内政部
弗朗索瓦·拉鲁西尼;尼古拉斯·马基;加桑·奥雷比 关于ATL的表现力和复杂性。 （英语） Zbl 1143.68044号 日志。方法计算。科学。 4，第2期，论文7，25页（2008年）.MSC公司：60年第68季度 03B44号 65年第68季度 68问题85 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}等人，日志。方法计算。科学。4，第2号，论文7，第25页（2008年；兹bl 1143.68044） 全文： 内政部
帕特里夏·布耶;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 基于信道机的时间自动机鲁棒性分析。 （英语） 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） 全文： 内政部 哈尔
帕特里夏·布耶;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） 全文： 内政部
弗朗索瓦·拉鲁西尼;尼古拉斯·马基;加桑·奥莱比 关于ATL的表现力和复杂性。 （英语） Zbl 1142.68438号 Seidl，Helmut（编辑），《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007，该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71388-3/pbk）。计算机科学课堂讲稿4423243-257（2007）。MSC公司：60年第68季度 03B44号 65年第68季度 68问题85 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit｛F.Laroussinie｝等人，Lect。注释计算。科学。4423243-257（2007年；Zbl 1142.68438） 全文： 内政部
尼古拉斯·马基;菲利普·施诺贝伦 微积分路径检查。 （英语） Zbl 1184.68339号 信息处理。莱特。 97，第6期，225-230（2006）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}和\textit{P.Schnoebelen}，Inf.过程。莱特。97，第6号，225--230（2006；Zbl 1184.68339） 全文： 内政部 哈尔
帕特里夏·布耶;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 时间自动机中线性时间属性的稳健模型检验。 （英语） 兹比尔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） 全文： 内政部 哈尔
弗朗索瓦·拉鲁西尼;尼古拉斯·马基;加桑·奥雷比 持续并发游戏结构的模型检查定时ATL。 （英语） Zbl 1141.68474号 Asarin，Eugene（编辑）等人，《时间系统的形式化建模和分析》。第四届国际会议，FORMATS 2006，巴黎，法国，2006年9月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45026-9/pbk）。计算机科学讲义4202，245-259（2006）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛F.Laroussinie｝等人，Lect。注释计算。科学。4202245-259（2006年；Zbl 1141.68474） 全文： 内政部 哈尔
帕特里夏·布耶;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型 91A55型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。4337345--356（2006年；Zbl 1177.68142） 全文： 内政部 哈尔
尼古拉斯·马基;Jean-François拉斯金 模型检查定时路径的受限集。 （英语） Zbl 1097.68076号 西奥。计算。科学。 358，编号2-3，273-292（2006）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}和\textit{J.-F.Raskin}，Theor。计算。科学。358，编号2--3，273--292（2006；Zbl 1097.68076） 全文： 内政部 哈尔
拉鲁西尼，F。;马基，N。;Schnoebelen博士。 离散时间系统的有效定时模型检验。 （英语） Zbl 1088.68107号 西奥。计算。科学。 353，编号1-3，249-271（2006）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}等人，Theor。计算。科学。353，编号1--3，249--271（2006；Zbl 1088.68107） 全文： 内政部 哈尔
尼古拉斯·马基;Jean-François拉斯金 模型检查定时路径的受限集。 （英语） 兹比尔1097.68578 Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学课堂讲稿3170432-447（2004）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛N.Markey｝和\textit｛J.-F.Raskin｝，Lect。注释计算。科学。3170432--447（2004年；Zbl 1097.68578） 全文： 内政部
拉鲁西尼，F。;马基，N。;Schnoebelen博士。 一个或两个时钟的模型检查时间自动机。 （英语） Zbl 1099.68057号 Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学课堂讲稿3170387-401（2004）。MSC公司：60年第68季度 65年第68季度 2017年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛F.Laroussinie｝等人，Lect。注释计算。科学。3170387--401（2004年；Zbl 1099.68057） 全文： 内政部
尼古拉斯·马基;菲利普·施诺贝伦 简单时间系统的符号模型检查。 （英语） Zbl 1109.68519号 Lakhnech，Yassine（编辑）等人，《定时和容错系统的形式化技术、建模和分析》。关于定时系统的正式建模和分析的联合国际会议，FORMATS 2004，以及实时和容错系统的正式技术，FTRTFT 2004，法国格勒诺布尔，2004年9月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23167-6/pbk）。计算机科学课堂讲稿3253102-117（2004）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}和\textit{P.Schnoebelen}，莱克特。注释计算。科学。3253、102-117（2004年；Zbl 1109.68519） 全文： 内政部
马丁·德·沃尔夫;劳伦特·多恩;尼古拉斯·马基;Jean-François拉斯金 时间自动机的鲁棒性和可实现性。 （英语） Zbl 1109.68504号 Lakhnech，Yassine（编辑）等人，《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议，FTRTFT 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23167-6/pbk）。计算机科学课堂讲稿3253118-133（2004）。MSC公司：65年第68季度 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人，Lect。注释计算。科学。3253、118--133（2004年；Zbl 1109.68504） 全文： 内政部
尼古拉斯·马基 过去是免费的：关于用过去验证线性时间属性的复杂性。 （英语） Zbl 1084.68073号 学报信息。 40，编号6-7，431-458（2004）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}，Acta Inf.40，No.6--7，431--458（2004；Zbl 1084.68073） 全文： 内政部 哈尔
马基，N。;施诺贝伦，P。 模型检查路径（初步报告）。 （英语） Zbl 1274.68197号 Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。注释计算。科学。2761, 251-265 (2003).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}和\textit{P.Schnoebelen}，莱克特。注释计算。科学。2761251--265（2003年；Zbl 1274.68197） 全文： 内政部
尼古拉斯·马基 过去的时间逻辑以指数形式更加简洁。 （英语） Zbl 1169.03332号 牛市。欧洲协会。计算。科学。EATCS公司 79, 122-128 (2003).MSC公司：03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}，公牛。欧洲协会。计算。科学。EATCS 79、122--128（2003年；Zbl 1169.03332）
尼古拉斯·马基 过去是免费的：关于用过去验证线性时间属性的复杂性。 （英语） Zbl 1270.68172号 Nestmann，Uwe（编辑）等人，EXPRESS’02。2002年8月19日在捷克共和国布尔诺举行的第九届并发表达能力国际研讨会上发表的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，87-104（2002）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}，电子。注释Theor。计算。科学。68，第2号，87--104（2002；Zbl 1270.68172） 全文： 内政部
弗朗索瓦·拉鲁西尼;尼古拉斯·马基;菲利普·施诺贝伦 关于持续Kripke结构的模型检验。 （英语） Zbl 1077.68691号 Nielsen，Mogens（编辑）等人，《软件科学和计算结构基础》。2002年4月8日至12日在法国格勒诺布尔举行的第五届国际会议FOSSACS 2002，是欧洲软件理论与实践联合会议ETAPS 2002的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43366-X）。莱克特。注释计算。科学。2303, 264-279 (2002).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛F.Laroussinie｝等人，Lect。注释计算。科学。2303、264--279（2002年；Zbl 1077.68691） 全文： 链接
弗朗索瓦·拉鲁西尼;尼古拉斯·马基;菲利普·施诺贝伦 模型检查\（\text{CTL}^+\）和FCTL很难。 （英语） Zbl 0986.68067号 Honsell，Furio（编辑）等人，《软件科学和计算结构基础》。2001年4月2日至6日在意大利热那亚举行的第四届国际会议FOSSACS 2001，该会议是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2030, 318-331 (2001).MSC公司：60年第68季度 03B44号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛F.Laroussinie｝等人，Lect。注释计算。科学。2030年，318--331（2001年；Zbl 0986.68067）