Nathalie Bertrand;雨果·弗兰肯;尼古拉斯·马基 同步下的单词长期贷款约束。 (英语) Zbl 07691951号 Inf.流程。莱特。 182,文章ID 106392,第7页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,《信息处理》。莱特。182,文章ID 106392,7 p.(2023;Zbl 07691951) 全文: 内政部
帕特里克·加迪;帕特里夏·鲍耶;尼古拉斯·马基 战略逻辑中的依赖性。 (英语) 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 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 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年;兹bl 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年;Zbl 1392.68245) 全文: 内政部
帕特里夏·鲍耶;帕特里克·加迪;尼古拉斯·马基 关于策略逻辑的语义。 (英语) 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) 全文: 内政部
弗朗索瓦·拉鲁西尼;尼古拉斯·马基;阿诺德·桑尼尔 \(\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公司 链接
帕特里夏·鲍耶;帕特里克·加迪;尼古拉斯·马基 单反游戏中布尔目标的加权策略逻辑。 (英语) 兹比尔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) 全文: 内政部
帕特里夏·鲍耶;帕特里克·加迪;尼古拉斯·马基 加权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年;兹bl 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 1464.03018号 Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119208-223(2013)。MSC公司:03B44号 03年2月25日 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{N.Markey},电子。程序。西奥。计算。科学。(EPTCS)119208--223(2013;Zbl 1464.03018) 全文: arXiv公司 链接
帕特里夏·鲍耶;尼古拉斯·马基;约尔·瓦克宁;菲利普·施诺贝伦;詹姆斯·沃雷尔 关于故障信道机的终止性和不变性。 (英语) Zbl 1259.68142号 正式Asp。计算。 24,第4-6号,595-607(2012).MSC公司:68问题85 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,正式Asp。计算。24、编号4--6595--607(2012;Zbl 1259.68142) 全文: 内政部
阿诺达科斯塔;弗朗索瓦·拉鲁西尼;尼古拉斯·马基 量化CTL:表达性和模型检查(扩展抽象)。 (英语) 兹比尔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) 全文: 内政部
阿诺达科斯塔;弗朗索瓦·拉鲁西尼;尼古拉斯·马基 带有策略上下文的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) 全文: 内政部 链接
帕特里夏·鲍耶;Fabrice骑士;尼古拉斯·马基 关于TPTL和MTL的表现力。 (英语) Zbl 1209.03010号 Inf.计算。 208,第2期,97-116(2010). 审核人:安德烈亚斯·赫齐格(图卢兹) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《信息计算》。208,第2号,97--116(2010;Zbl 1209.03010) 全文: 内政部
托马斯·布里海耶;阿诺达科斯塔;弗朗索瓦·拉鲁西尼;尼古拉斯·马基 具有策略上下文和有限内存的ATL。 (英语) 兹伯利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(编辑)等人,《自动化,语言和编程》。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) 全文: 内政部
弗朗索瓦·拉鲁西尼;尼古拉斯·马基;加桑·奥雷比 关于ATL的表现力和复杂性。 (英语) Zbl 1143.68044号 日志。方法计算。科学。 4,第2期,论文7,25页(2008年).MSC公司:60年第68季度 03B44号 65年第68季度 68问题85 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}等人,日志。方法计算。科学。4,第2期,论文7,25页(2008年;Zbl 1143.68044) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基 成本太高了! (英语) 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) 全文: 内政部 哈尔
弗朗索瓦·拉鲁西尼;尼古拉斯·马基;加桑·奥雷比 关于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 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}等人,Lect。注释计算。科学。4423243-257(2007年;Zbl 1142.68438) 全文: 内政部
帕特里夏·鲍耶;Fabrice骑士;尼古拉斯·马基 关于TPTL公司和MTL公司. (英语) Zbl 1140.03303号 Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。计算机科学课堂讲稿3821432-443(2005)。MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Lect。注释计算。科学。3821432--443(2005年;Zbl 1140.03303) 全文: 内政部
Jennifer M.Davoren。;Vangham库特哈德;尼古拉斯·马基;托马斯·摩尔 一般流系统的非确定性时序逻辑。 (英语) Zbl 1135.93340号 Alur,Rajeev(编辑)等人,《混合系统:计算和控制》。2004年3月25日至27日在美国宾夕法尼亚州费城举行的HSCC 2004第七届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21259-0/pbk)。计算机科学课堂讲稿2993280-295(2004)。MSC公司:93立方 93C55美元 93C83号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Davoren}等人,Lect。注释计算。科学。2993280-295(2004年;Zbl 1135.93340) 全文: 内政部
尼古拉斯·马基 过去是免费的:关于用过去验证线性时间属性的复杂性。 (英语) Zbl 1084.68073号 Acta信息。 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) 全文: 内政部
弗朗索瓦·拉鲁西尼;尼古拉斯·马基;菲利普·施诺贝伦 模型检查\(\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)