保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 更正为:“无遗憾的反应合成”。 (英语) Zbl 1495.68135号 学报信息。 59,第5号,671(2022).MSC公司:60年第68季度 68问题85 68兰特 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,《信息学报》59,第5期,第671页(2022年;Zbl 1495.68135) 全文: 内政部
维罗尼克·布鲁埃;勒鲁(Le Roux,Stéphane);阿诺·保利;Jean-François拉斯金 关于弱子博弈完美均衡的存在性。 (英语) Zbl 1486.91017号 Inf.计算。 276,文章ID 104553,20 p.(2021).MSC公司:91A43型 60年第68季度 91A11号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人,《信息计算》。276,文章ID 104553,20 p.(2021;Zbl 1486.91017) 全文: 内政部 arXiv公司
艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金;桑卡拉纳拉亚南,斯里拉姆;阿舒托什·特里维迪 用于稳健性验证的加权传感器。 (英语) Zbl 07559473号 Konnov,Igor(ed.)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。171,第17条,第21页(2020)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,LIPIcs——莱布尼茨国际程序。通知。171,第17条,第21页(2020;Zbl 07559473) 全文: 内政部
Jean-Francois拉斯金(编辑);大卫·布雷索林(编辑) 第十一届游戏、自动机、逻辑和形式验证国际研讨会会议记录,2020年9月21日至22日,比利时布鲁塞尔,GandALF 2020。 (英语) Zbl 1466.68026号 理论计算机科学电子论文集(EPTCS)326.滑铁卢:开放出版协会(OPA)。第233页。,仅电子化、开放存取(2020年)。MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Raskin}(编辑)和\textit{D.Bresolin}(编辑),第11届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2020,比利时布鲁塞尔,2020年9月21-22日。滑铁卢:开放出版协会(OPA)(2020;Zbl 1466.68026) 全文: 内政部 arXiv公司 链接
艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金 带有输出的自动机的模式逻辑。 (英语) Zbl 1458.68097号 发现的国际期刊。计算。科学。 31,6号,711-748(2020).MSC公司:65年第68季度 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,国际法学研究所。计算。科学。31,第6号,711--748(2020;Zbl 1458.68097) 全文: 内政部
本杰明·博代斯;古哈,柴桥;Jean-François拉斯金 预期窗口平均值。 (英语) Zbl 07650329号 Chattopadhyay,Arkadev(ed.)等人,第39届IARCS软件技术和理论计算机科学基础年会,2019年12月11-13日,印度孟买,FSTTCS 2019。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。150,第32条,第15页(2019年)。MSC公司:68号30 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Bordais}等人,LIPIcs——莱布尼茨国际程序。通知。150,第32条,第15页(2019年;Zbl 07650329) 全文: 内政部 arXiv公司
杰罗姆·勒鲁(编辑);Jean-Francois拉斯金(编辑) 第十届游戏、自动机、逻辑和形式验证国际研讨会论文集,2019年GandALF,法国波尔多,2019年9月2日至3日。 (英语) Zbl 1436.68031号 理论计算机科学电子论文集(EPTCS)305.滑铁卢:开放出版协会(OPA)。182页。,仅限电子版,开放访问(2019)。MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}(编辑)和\textit{J.-F.Raskin}(主编),第十届游戏、自动机、逻辑和形式验证国际研讨会论文集,2019年甘道夫,法国波尔多,2019月2-3日。滑铁卢:开放出版协会(OPA)(2019;Zbl 1436.68031) 全文: 内政部 arXiv公司 链接
维罗尼克·布鲁埃;吉列尔莫·A·佩雷斯。;Jean-François拉斯金;塔米内斯,克莱门特 广义奇偶对策的部分解算器。 (英语) Zbl 07121137号 Filiot,Emmanuel(编辑)等人,《可达性问题》。第13届国际会议,RP 2019,比利时布鲁塞尔,2019年9月11日至13日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11674,63-78(2019)。MSC公司:68T20型 60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人,Lect。注释计算。科学。11674,63-78(2019;Zbl 07121137) 全文: 内政部 arXiv公司
保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 透过雾蒙蒙的窗户看平均回报。 (英语) Zbl 1408.91045号 学报信息。 55,第8号,627-647(2018).MSC公司:91A43型 60年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,《学报》第55期,第8期,第627--647页(2018年;Zbl 1408.91045) 全文: 内政部
艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金 带有输出的自动机的模式逻辑。 (英语) Zbl 1458.68096号 Hoshi,Mizuho(编辑)等,《语言理论的发展》。第22届国际会议,DLT 2018,日本东京,2018年9月10日至14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11088, 304-317 (2018).MSC公司:65年第68季度 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,Lect。注释计算。科学。11088、304--317(2018;Zbl 1458.68096) 全文: 内政部 arXiv公司
鲁帕克·马朱姆达尔;Jean-François拉斯金 非布尔域中的符号模型检查。 (英语) Zbl 1392.68259号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1111-1147 (2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}和\textit{J.-F.Raskin},在:模型检查手册中。查姆:斯普林格。1111-1147(2018年;兹比尔1392.68259) 全文: 内政部
保罗·亨特;阿诺·保利;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 具有部分观测的均值支付博弈。 (英语) Zbl 1393.68105号 西奥。计算。科学。 735, 82-110 (2018).MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,Theor。计算。科学。735,82-110(2018;Zbl 1393.68105) 全文: 内政部 链接
尼古拉斯·巴塞特;Jean-François拉斯金;奥坎·桑库尔 时间游戏中可接受的策略。 (英语) Zbl 1431.68069号 Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 403-425 (2017).MSC公司:68问题85 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Basset}等人,Lect。注释计算。科学。10460403--425(2017年;Zbl 1431.68069) 全文: 内政部 哈尔
亚伦·波希;维罗尼克·布鲁埃;Jean-François拉斯金;Nathalie Bertrand 单调马尔可夫决策过程中平均路径和最短路径的符号算法。 (英语) Zbl 1378.68122号 学报信息。 54,第6号,545-587(2017).MSC公司:87年第68季度 68第05页 60年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Bohy}等人,《学报》第54期,第6期,第545--587页(2017年;Zbl 1378.68122) 全文: 内政部 arXiv公司
维罗尼克·布鲁埃;勒鲁(Le Roux,Stéphane);阿诺·保利;Jean-François拉斯金 关于弱子博弈完美均衡的存在性。 (英语) Zbl 1486.91016号 Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10203, 145-161 (2017).MSC公司:91A43型 60年第68季度 91A11号机组 PDF格式BibTeX公司 XML格式引用 \文本{V.Bruyère}等人,Lect。注释计算。科学。10203145-161(2017年;兹比尔1486.91016) 全文: 内政部 链接
保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 无遗憾的反应合成。 (英语) Zbl 1364.68263号 学报信息。 54,第1期,3-39页(2017年); 更正同上,第59号,第5671(2022)。MSC公司:60年第68季度 68问题85 68兰特 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,《信息学报》54,第1期,第3--39页(2017年;Zbl 1364.68263) 全文: 内政部 arXiv公司
罗曼·布伦吉尔;吉列尔莫·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型 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Brenguier}等人,LIPIcs——莱布尼茨国际程序。通知。65,第42条,14~p.(2016;Zbl 1394.91058) 全文: 内政部 arXiv公司
保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 尽可能减少折扣游戏中的遗憾。 (英语) Zbl 1369.91036号 Regnier,Laurent(编辑)等人,2016年8月29日至9月1日,法国马赛CSL’16,第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-022-4)。LIPIcs–莱布尼茨国际信息学学报62,第30条,第17页。(2016).MSC公司:91A43型 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,LIPIcs——莱布尼茨国际程序。通知。62,第30条,第17页(2016;Zbl 1369.91036) 全文: 内政部 arXiv公司
罗曼·布伦吉尔;洛伦佐·克莱门特;保罗·亨特;吉列尔莫·A·佩雷斯。;米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔;马修·萨索拉斯 反应合成的非零和对策。 (英语) Zbl 1435.68147号 Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9618, 3-23 (2016).MSC公司:65年第68季度 60年第68季度 68兰特 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Brenguier}等人,Lect。注释计算。科学。9618,3--23(2016;Zbl 1435.68147) 全文: 内政部 arXiv公司
米凯尔·兰多尔;Jean-François拉斯金;奥坎·桑库尔 多维马尔可夫决策过程中的百分比查询。 (英语) Zbl 1381.68219号 Kroening,Daniel(编辑)等人,《计算机辅助验证》。2015年7月18日至24日,第27届国际会议,CAV 2015,美国加利福尼亚州旧金山。诉讼程序。第一部分:商会:施普林格出版社(ISBN 978-3-319-21689-8/pbk;978-3-319-21690-4/ebook)。计算机科学讲义9206123-139(2015)。MSC公司:87年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Randour}等人,Lect。注释计算。科学。9206123-139(2015年;Zbl 1381.68219) 全文: 内政部 arXiv公司
亨特,保罗;吉列尔莫·佩雷斯。;Jean-François拉斯金 反应合成无遗憾。 (英语) Zbl 1374.68292号 Aceto,Luca(编辑)等人,第26届并发理论国际会议,CONCUR’15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,114-127(2015)。MSC公司:60年第68季度 65年第68季度 68问题85 91A05型 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,LIPIcs——莱布尼茨国际程序。通知。42114-127(2015年;Zbl 1374.68292) 全文: 内政部
保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 透过雾蒙蒙的窗户望着小路。 (英语) Zbl 1408.91044号 Finkbeiner,Bernd(编辑)等人,《验证和分析自动化技术》。第十三届国际研讨会,2015年10月12日至15日,中国上海,ATVA。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9364, 429-445 (2015).MSC公司:91A43型 60年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,Lect。注释计算。科学。9364,429--445(2015;Zbl 1408.91044) 全文: 内政部 arXiv公司
罗曼·布伦吉尔;Jean-François拉斯金;马修·萨索拉斯 欧米伽规则游戏中可容许性的复杂性。 (英语) Zbl 1401.68110号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4503-2886-9)。第23号论文,第10页(2014年)。MSC公司:65年第68季度 65年第68季度 60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Brengier}等人,在:第二十三届EACSL计算机科学逻辑年会联席会议记录,CSL,以及2014年第29届ACM/IEEE计算机科学逻辑年度研讨会,LICS 2014,奥地利维也纳,2014年7月14日至18日。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会。第23号文件,第10页(2014年;Zbl 1401.68110) 全文: 内政部 arXiv公司
Jean-François拉斯金;奥坎·桑库尔 多环境马尔可夫决策过程。 (英语) Zbl 1360.68598号 Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学论文集29,531-543(2014)。MSC公司:60年第68季度 68号30 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Raskin}和\textit{O.Sankur},LIPIcs——莱布尼茨国际程序。通知。29531--543(2014年;Zbl 1360.68598) 全文: 内政部 arXiv公司
保罗·亨特;吉列尔莫·A·佩雷斯。;Jean-François拉斯金 带有部分观测的均值-支付博弈(扩展抽象)。 (英语) Zbl 1393.68106号 Ouaknine,Joöl(编辑)等人,《可达性问题》。2014年9月22日至24日,英国牛津,RP 2014,第八届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-11438-5/pbk)。计算机科学课堂讲稿8762163-175(2014)。MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hunter}等人,Lect。注释计算。科学。8762、163--175(2014年;Zbl 1393.68106) 全文: 内政部 arXiv公司
吉勒·杰勒茨;Jean-François拉斯金;纳塔利·斯兹纳杰德 事件锁自动机的区域和区域。 (英语) Zbl 1314.68176号 形式方法系统。设计。 45,第3号,330-380(2014).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Geeraerts}等人,《形式方法系统》。设计。45,第3号,330-380(2014;Zbl 1314.68176) 全文: 内政部 链接
克里希南德·查特吉;劳伦特·多恩;艾曼纽·菲利奥特;Jean-François拉斯金 欧米茄规则游戏的末日平衡。 (英语) Zbl 1428.68181号 McMillan,Kenneth L.(编辑)等人,《验证、模型检查和抽象解释》。2014年1月19日至21日,第15届国际会议,VMCAI 2014,美国加利福尼亚州圣地亚哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8318, 78-97 (2014).MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。8318,78-97(2014年;Zbl 1428.68181) 全文: 内政部 arXiv公司
弗兰克·卡塞兹(编辑);Jean-François拉斯金(编辑) 用于验证和分析的自动化技术。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。 (英语) Zbl 1325.68014号 计算机科学课堂讲稿8837.柏林:施普林格出版社(ISBN 978-3-319-11935-9/pbk)。xxiv,430页。(2014).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}(编辑)和\textit{J.F.Raskin}(主编),验证和分析自动化技术。2014年11月3-7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。柏林:施普林格出版社(2014;Zbl 1325.68014) 全文: 内政部
亚伦·波希;维罗尼克·布鲁埃;艾曼纽·菲利奥特;Jean-François拉斯金 基于LTL规范与平均值目标的综合。 (英语) Zbl 1381.68149号 Piterman,Nir(编辑)等人,《系统构建和分析的工具和算法》。2013年3月16日至24日,第19届国际会议(TACAS 2013)在意大利罗马举行,作为欧洲软件理论与实践联合会议(ETAPS 2013)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-36741-0/pbk)。计算机科学课堂讲稿7795169-184(2013)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bohy}等人,Lect。注释计算。科学。7795169--184(2013年;兹bl 1381.68149) 全文: 内政部 arXiv公司
彼得·布里切夫;弗兰克·卡塞兹;亚历山大·戴维;金·古德斯特兰·拉森;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔 具有最小观测能力的控制器(应用于定时系统)。 (英语) Zbl 1374.68255号 Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。计算机科学课堂讲稿7561223-237(2012)。MSC公司:65年第68季度 60年第68季度 68问题85 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人,Lect。注释计算。科学。7561、223--237(2012年;Zbl 1374.68255) 全文: 内政部 arXiv公司
托马斯·布里海耶;劳伦特·多恩;吉勒·杰勒茨;约尔·瓦克宁;Jean-François拉斯金;詹姆斯·沃雷尔 有界时间上混合自动机的可达性。 (英语) Zbl 1300.68033号 Aceto,Luca(编辑)等人,《自动化,语言和编程》。2011年7月4日至8日,瑞士苏黎世,第38届国际学术讨论会,ICALP 2011。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学课堂讲稿6756,416-427(2011)。MSC公司:60年第68季度 2017年第68季度 65年第68季度 68问题85 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,Lect。注释计算。科学。6756、416--427(2011;Zbl 1300.68033) 全文: 内政部 arXiv公司
吉勒·杰勒茨;加布里埃尔·卡里恩;特里斯坦勒加尔;尼古拉斯·梅奎特;Jean-Francois拉斯金 格值二元决策图。 (英语) Zbl 1305.68068号 Bouajjani,Ahmed(编辑)等人,用于验证和分析的自动化技术。2010年9月21日至24日,第八届国际研讨会,ATVA 2010,新加坡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15642-7/pbk)。计算机科学讲稿6252158-172(2010)。MSC公司:68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Geeraerts}等人,Lect。注释计算。科学。6252158-172(2010年;兹比尔1305.68068) 全文: 内政部
艾曼纽·菲利奥特;Jin、Nayiong;Jean-François拉斯金 LTL合成的合成算法。 (英语) Zbl 1305.68118号 Bouajjani,Ahmed(编辑)等人,用于验证和分析的自动化技术。2010年9月21日至24日,第八届国际研讨会,ATVA 2010,新加坡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15642-7/pbk)。计算机科学讲稿6252112-127(2010)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,Lect。注释计算。科学。6252112-127(2010年;Zbl 1305.68118) 全文: 内政部 链接
巴巴拉·迪·詹保罗;吉勒·杰勒茨;Jean-François拉斯金;纳塔利·斯兹纳杰德 定时规范的非安全程序。 (英语) Zbl 1290.68070号 Chatterjee,Krishnendu(编辑)等人,时间系统的形式化建模和分析。第八届国际会议,FORMATS 2010,奥地利克洛斯特内堡,2010年9月8-10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15296-2/pbk)。计算机科学课堂讲稿6246,2-22(2010)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Di Giampaolo}等人,Lect。注释计算。科学。6246,2--22(2010年;Zbl 1290.68070) 全文: 内政部
劳伦特·多恩;吉勒·杰勒茨;Jean-Francois拉斯金;朱利安·莱切特 实时逻辑的可实现性。 (英语) Zbl 1262.68117号 Ouaknine,Joöl(编辑)等,时间系统的形式化建模和分析。第七届国际会议,FORMATS 2009,匈牙利布达佩斯,2009年9月14日至16日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04367-3/pbk)。《计算机科学讲义》5813、133-148(2009)。MSC公司:60年第68季度 03B44号 05年3月 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人,Lect。注释计算。科学。5813、133--148(2009年;Zbl 1262.68117) 全文: 内政部
艾曼纽·菲利奥特;Jin、Naiyong;Jean-François拉斯金 LTL可实现性的反链算法。 (英语) Zbl 1242.68158号 Bouajjani,Ahmed(编辑)等人,《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02657-7/pbk)。计算机科学讲座笔记5643,263-277(2009)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,Lect。注释计算。科学。5643、263--277(2009年;Zbl 1242.68158) 全文: 内政部
劳伦特·多恩;Jean-François拉斯金 基于自动机的模型检查方法的反链。 (英语) Zbl 1164.68021号 日志。方法计算。科学。 5,第1期,论文6,20页(2009年).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}和\textit{J.-F.Raskin},Log。方法计算。科学。5,第1号,论文6,20页(2009年;Zbl 1164.68021) 全文: 内政部 arXiv公司
维罗尼克·布鲁埃;伊曼纽尔·达勒奥利奥;Jean-François拉斯金 时间自动机中的持续时间和参数模型检查。 (英语) Zbl 1367.68183号 ACM事务处理。计算。日志。 第9号第2条第12条第23页(2008年).MSC公司:60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人,《美国医学杂志》。计算。日志。9,第2号,第12条,23页(2008年;Zbl 1367.68183) 全文: 内政部
德沃尔夫,M。;Doyen,L。;新泽西州梅奎特。;J.-F.拉斯金。 反链:LTL可满足性和模型检查的替代算法。 (英语) Zbl 1134.68404号 Ramakrishnan,C.R.(编辑)等人,《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008,是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78799-0/pbk)。计算机科学课堂讲稿4963,63-77(2008)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人,Lect。注释计算。科学。4963、63--77(2008年;Zbl 1134.68404) 全文: 内政部
帕特里克·库索特;皮埃尔·甘蒂;Jean-François拉斯金 定点引导的抽象优化。 (英语) Zbl 1211.68083号 Nielson,Hanne Riis(编辑)等人,《静态分析》。2007年8月22日至24日,第14届国际研讨会,SAS,丹麦,Kongens Lyngby。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74060-5/pbk)。计算机科学课堂讲稿4634,333-348(2007)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}等人,Lect。注释计算。科学。4634,333--348(2007;Zbl 1211.68083) 全文: 内政部
塞巴斯蒂安·科莱特;Jean-François拉斯金;弗雷德里克·塞瓦伊斯 关于尖峰时刻游戏最难配置的符号计算。 (英语) Zbl 1135.91328号 van den Herik,H.Jaap(编辑)等人,《计算机与游戏》。2006年5月29日至31日,第五届国际会议,2006年CG,意大利都灵。修订论文。柏林:施普林格出版社(ISBN 978-3-540-75537-1/pbk)。计算机科学课堂讲稿4630,220-233(2007)。MSC公司:91A24型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Collette}等人,Lect。注释计算。科学。4630,220--233(2007;Zbl 1135.91328) 全文: 内政部
托马斯·布里海耶;托马斯·亨辛格(Thomas A.Henzinger)。;Vinayak S.普拉布。;Jean-François拉斯金 限时游戏中的最短时间可达性。 (英语) Zbl 1171.68526号 Arge,Lars(编辑)等人,《自动化,语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会,ICALP 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73419-2/pbk)。计算机科学课堂讲稿4596825-837(2007)。MSC公司:65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,Lect。注释计算。科学。4596、825--837(2007年;Zbl 1171.68526) 全文: 内政部
Jean-Francois拉斯金;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。 不完全信息下欧米伽规则博弈的算法。 (英语) Zbl 1125.91028号 日志。方法计算。科学。 3,第3号,论文4,23页(2007年).MSC公司:91A90型 91A05型 91A43型 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Raskin}等人,日志。方法计算。科学。3,第3号,论文4,23页(2007年;Zbl 1125.91028) 全文: 内政部
维罗尼克·布鲁埃;Jean-François拉斯金 实时模型检查:参数无处不在。 (英语) 兹比尔1128.68052 日志。方法计算。科学。 3,第1号,论文7,30页(2007年).MSC公司:60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}和\textit{J.-F.Raskin},Log。方法计算。科学。3,第1号,论文7,30页(2007年;Zbl 1128.68052) 全文: 内政部
劳伦特·多恩;Jean-François拉斯金 基于自动机的模型检查方法的改进算法。 (英语) Zbl 1186.68285号 Grumberg,Orna(编辑)等人,《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71208-4/pbk)。计算机科学课堂讲稿4424451-465(2007)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}和\textit{J.F.Raskin},莱克特。注释计算。科学。4424451--465(2007年;Zbl 1186.68285) 全文: 内政部
克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;Jean-François拉斯金 不完全信息下欧米伽规则博弈的算法。 (英语) Zbl 1225.91012号 埃西克,佐尔坦(编辑),《计算机科学逻辑》。2006年9月25日至29日在匈牙利塞格德举行的第20届CSL国际研讨会,第15届EACSL年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45458-8/pbk)。计算机科学课堂讲稿4207,287-302(2006)。MSC公司:91A43型 60年第68季度 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。4207,287--302(2006;Zbl 1225.91012) 全文: 内政部
皮埃尔·甘蒂;Jean-François拉斯金;劳伦特·范·贝京 WSTS覆盖性属性的完整抽象解释框架。 (英语) Zbl 1176.68119号 艾默生·E·艾伦(编辑)等人,《验证、模型检查和抽象解释》。第七届国际会议,VMCAI 2006,查尔斯顿,南卡罗来纳州,美国,2006年1月8日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-31139-4/pbk)。计算机科学讲义3855,49-64(2006)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}等人,Lect。注释计算。科学。3855、49-64(2006年;Zbl 1176.68119) 全文: 内政部
尼古拉斯·马基;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) 全文: 内政部 哈尔
托马斯·布里海耶;维罗尼克·布鲁埃;Jean-François拉斯金 关于带秒表观测器的模型检查时间自动机。 (英语) Zbl 1094.68055号 Inf.计算。 204,第3期,408-433(2006).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,《信息计算》。204,第3号,408--433(2006;Zbl 1094.68055) 全文: 内政部
Geeraerts,G。;J.-F.拉斯金。;范·贝京,L。 扩展、放大和检查:WSTS可覆盖性问题的新算法。 (英语) Zbl 1105.68084号 J.计算。系统。科学。 72,第1期,180-203(2006).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Geeraerts}等人,J.Compute。系统。科学。72,第1号,180--203(2006;Zbl 1105.68084) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;Jean-François拉斯金 符号转换系统的一种分类。 (英语) Zbl 1367.68193号 ACM事务处理。计算。日志。 6,第1期,1-32页(2005年).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,ACM Trans。计算。日志。6,第1号,1--32(2005;Zbl 1367.68193) 全文: 内政部
J.-F.拉斯金。;萨缪里德斯,M。;范·贝京,L。 计算抽象概念的游戏。 (英语) Zbl 1272.91014号 Huth,Michael R.A.(编辑),《关键系统自动验证第四次国际研讨会论文集》(AVoCS 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第6期,69-85(2005)。MSC公司:91A05型 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Raskin}等人,《电子》。注释Theor。计算。科学。128,第6号,69--85(2005;Zbl 1272.91014) 全文: 链接
劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;Jean-François拉斯金 仿射混合系统的自动矩形精化。 (英语) Zbl 1175.68243号 Pettersson,Paul(编辑)等,时间系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829144-161(2005)。MSC公司:65年第68季度 60年第68季度 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人,Lect。注释计算。科学。3829144-161(2005;Zbl 1175.68243) 全文: 内政部
马丁·德·沃尔夫;劳伦特·多恩;Jean-François拉斯金 实时模型的系统实现。 (英语) 兹比尔1120.68413 Fitzgerald,John(编辑)等人,FM 2005:正式方法。欧洲正式方法国际研讨会,英国纽卡斯尔,2005年7月18日至22日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27882-6/pbk)。计算机科学课堂讲稿3582139-156(2005)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人,Lect。注释计算。科学。3582、139--156(2005年;Zbl 1120.68413) 全文: 内政部
吉勒·杰勒茨;Jean-François拉斯金;劳伦特·范·贝京 扩大、扩大和检查……使之有效。 (英语) Zbl 1081.68619号 Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576,394-407(2005)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Geeraerts}等人,Lect。注释计算。科学。3576、394--407(2005年;Zbl 1081.68619) 全文: 内政部
马丁·德·沃尔夫;劳伦特·多恩;Jean-François拉斯金 几乎ASAP语义:从定时模型到定时实现。 (英语) Zbl 1101.68670号 正式Asp。计算。 17,第3期,319-341(2005).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人,正式Asp。计算。17,第3号,319--341(2005;Zbl 1101.68670) 全文: 内政部
尼古拉斯·马基;Jean-François拉斯金 模型检查定时路径的受限集。 (英语) Zbl 1097.68578号 Gardner,Philippa(编辑)等人,CONCUR 2004–并发理论。第十五届国际会议,2004年8月31日至9月3日,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22940-X/pbk)。《计算机科学讲义》3170、432-447(2004年)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Markey}和\textit{J.-F.Raskin},莱克特。注释计算。科学。3170432--447(2004年;Zbl 1097.68578) 全文: 内政部
托马斯·布里海耶;维罗尼克·布鲁埃;Jean-François拉斯金 加权时间自动机的模型检查。 (英语) Zbl 1109.68512号 Lakhnech,Yassine(编辑)等人,《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议,FTRTFT 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253277-292(2004)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,Lect。注释计算。科学。3253、277--292(2004;Zbl 1109.68512) 全文: 内政部
马丁·德·沃尔夫;劳伦特·多恩;尼古拉斯·马基;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) 全文: 内政部
吉勒·杰勒茨;Jean-François拉斯金;劳伦特·范·贝京 扩展、放大和检查:WSTS可覆盖性问题的新算法。 (英语) 兹比尔1105.68353 Lodaya,Kamal(编辑)等人,FSTTCS 2004:软件技术和理论计算机科学基础。第24届国际会议,印度钦奈,2004年12月16日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24058-6/pbk)。计算机科学课堂讲稿3328,287-298(2004)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Geeraerts}等人,Lect。注释计算。科学。3328、287--298(2004;Zbl 1105.68353) 全文: 内政部
芬克尔,A。;J.-F.拉斯金。;萨缪里德斯,M。;范·贝京,L。 Petri网的单调扩展:回顾了向前和向后搜索。 (英语) Zbl 1270.68214号 库塞拉、安东尼(编辑)等人,《无限》,2002年。第四届无限状态系统验证国际研讨会(CONCUR 2002卫星研讨会)论文选集,捷克共和国布尔诺,2002年8月24日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》68,第6期,85-106(2003)。MSC公司:68问题85 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}等人,《电子》。注释Theor。计算。科学。68,第6号,85--106(2003;Zbl 1270.68214) 全文: 链接
维罗尼克·布鲁埃;Jean-François拉斯金 实时模型检查:到处都是参数。 (英语) Zbl 1205.68219号 Pandya,Paritosh K.(编辑)等人,FST TCS 2003:软件技术和理论计算机科学基础。第23届会议,印度孟买,2003年12月15日至17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20680-9/pbk)。莱克特。注释计算。科学。2914, 100-111 (2003).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}和\textit{J.-F.Raskin},莱克特。注释计算。科学。2914、100-111(2003年;Zbl 1205.68219) 全文: 内政部
维罗尼克·布鲁埃;埃马纽埃尔·达尔·奥里奥;Jean-François拉斯金 持续时间,使用Presburger算法在时间自动机中进行参数模型检查。 (英语) Zbl 1035.68063号 Alt,Helmut(编辑)等人,STACS 2003。2003年2月27日至3月1日,德国柏林,第20届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-00623-0/pbk)。莱克特。注释计算。科学。2607, 687-698 (2003).MSC公司:60年第68季度 03B25号 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人,Lect。注释计算。科学。2607687-698(2003年;Zbl 1035.68063) 全文: 链接
乔治·德尔扎诺;Jean-François拉斯金;劳伦特·范·贝京 面向多线程Java程序的自动验证。 (英语) Zbl 1043.68530号 Katoen,Joost-Pieter(ed.)等人,《系统构建和分析的工具和算法》。第八届国际会议,TACAS 2002。2002年4月8日至12日,作为欧洲软件理论与实践联合会议的一部分,在法国格勒诺布尔举行。柏林:施普林格出版社(ISBN 3-540-43419-4)。莱克特。注释计算。科学。2280, 173-187 (2002).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,Lect。注释计算。科学。2280173--187(2002年;Zbl 1043.68530) 全文: 链接
乔治·德尔扎诺;Jean-François拉斯金;劳伦特·范·贝京 攻击象征性的状态爆炸。 (英语) Zbl 0991.68554号 Berry,Gérard(编辑)等人,《计算机辅助验证》。2001年7月18日至22日,第13届国际会议,CAV 2001,法国巴黎。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2102, 298-310 (2001).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,Lect。注释计算。科学。2102、298--310(2001年;Zbl 0991.68554) 全文: 链接
托马斯·亨辛格(Thomas A.Henzinger)。;鲁帕克·马朱姆达尔;弗莱迪·芒;Jean-François拉斯金 游戏属性的抽象解释。 (英语) Zbl 0966.68150号 Palsberg,Jens(编辑),静态分析。2000年6月29日至7月6日,第七届国际研讨会,SAS 2000,美国加利福尼亚州圣巴巴拉。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1824220-239(2000年)。MSC公司:68问题85 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。1824220--239(2000年;Zbl 0966.68150)
肖本斯,P.-Y。;J.-F.拉斯金。 “最初”和“下一步”的逻辑:完全公理化和复杂性。 (英语) Zbl 1338.03027号 信息处理。莱特。 69,第5期,221-225(1999).MSC公司:03B44号 03B70号 2017年第68季度 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.Schobbens}和\textit{J.F.Raskin},Inf.Process。莱特。69,第5号,221--225(1999;Zbl 1338.03027) 全文: 内政部 链接
Jean-François拉斯金;皮埃尔·伊夫·肖本斯 事件时钟的逻辑。可决定性、复杂性和表达能力。 (英语) Zbl 0978.03015号 J.汽车。语言梳。 4,第3期,247-282(1999).MSC公司:03B44号 60年第68季度 03B70号 68问题85 03B25号 2015年3月1日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Raskin}和\textit{P.-Y.Schobbens},J.Autom。语言梳。4,第3号,247--282(1999;Zbl 0978.03015)
劳伦特·费里尔;Jean-Francois拉斯金;皮埃尔·伊夫·肖本斯 使用共享树生成虚拟时钟实时逻辑的模型。 (英语) Zbl 0920.68077号 Cimatti,Alessandro(编辑)等人,《符号模型检查第一届国际研讨会(SMC’99)会议记录》,作为第二届联邦逻辑会议(FLoC’99年)的一部分。意大利特伦托,1999年7月6日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。23(2),电子文件第10号,(1999年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ferier}等人,在:作为第二届联邦逻辑会议(FLoC’99)的一部分,第一届符号模型检查国际研讨会(SMC’99)的会议记录中。意大利特伦托,1999年7月6日。阿姆斯特丹:爱思唯尔。电子论文第10号,(1999年;Zbl 0920.68077) 全文: 链接