大卫·海兰德;朱利安·古铁雷斯;迈克尔·伍尔德里奇 并发游戏的激励工程。 (英语) Zbl 07810626号 Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379344-358(2023年)。MSC公司:91A20型 91B43型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Hyland}等人,《电子》。程序。西奥。计算。科学。(EPTCS)379、344-358(2023年;Zbl 07810626) 全文: 内政部 arXiv公司
卢卡斯·内维斯·埃吉迪奥;纳亚克、萨蒂亚·普拉卡什;罗萨、马蒂奥·德拉;安妮·凯瑟琳·施穆克;拉斐尔·荣格斯 海报摘要:迈向混合控制的无缝反应。 (英语) Zbl 07807968号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.N.Egidio}等人,《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2023;Zbl 07807968) 全文: 内政部
蒙特塞拉特赫莫;帕基·卢西奥;塞萨尔·桑切斯 安全规范可实现性表。 (英语) Zbl 1529.68159号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 495-513 (2023).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermo}等人,Lect。注释计算。科学。14000,495--513(2023;Zbl 1529.68159) 全文: 内政部 arXiv公司
尼古拉·贝蒂埃;Khakpour、Narges 符号抽象堆用于多态信息流保护推断。 (英语) Zbl 1529.68079号 Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13881, 66-90 (2023).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{N.Berthier}和\textit{N.Khakpour},莱克特。注释计算。科学。13881、66-90(2023年;Zbl 1529.68079) 全文: 内政部 arXiv公司
弗朗索瓦·赫布利特;戴维·巴恩斯;Sr Djan Krstić 使用度量一阶时态逻辑的实时策略实施。 (英语) Zbl 1524.68193号 Atluri,Vijayalakshmi(编辑)等人,《计算机安全–ESORICS 2022》。第27届欧洲计算机安全研究研讨会,丹麦哥本哈根,2022年9月26日至30日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。13555, 211-232 (2022).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Hublet}等人,Lect。注释计算。科学。13555211-232(2022年;Zbl 1524.68193) 全文: 内政部
李勇;安德烈亚·图里尼;冯伟志;莫舍·瓦尔迪。;张丽君 基于SCC分解的Büchi自动机分治判定。 (英语) Zbl 1514.68108号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。13372, 152-173 (2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,Lect。注释计算。科学。13372、152--173(2022年;Zbl 1514.68108) 全文: 内政部 arXiv公司
乌鸦·贝特纳;伯恩德·芬克贝纳 超属性超安全的软件验证。 (英语) Zbl 1514.68122号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13371341-362(2022)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Beutner}和\textit{B.Finkbeiner},莱克特。注释计算。科学。13371、341--362(2022;Zbl 1514.68122) 全文: 内政部 arXiv公司
保罗·汉尼拔;奥尔德罗格(Ernst-Rüdiger Olderog) 重复通信Petri博弈的综合问题。 (英语) Zbl 1499.68225号 Bernardinello,Luca(编辑)等人,《Petri网和并发的应用和理论》。第43届国际会议,PETRI NETS 2022,挪威卑尔根,2022年6月19-24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13288, 236-257 (2022).MSC公司:68问题85 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Hannibal}和\textit{E.-R.Olderog},莱克特。注释计算。科学。13288236-257(2022年;兹比尔1499.68225) 全文: 内政部
马哈茂德·哈立德;马吉德·扎马尼 OmegaThreads:常规目标的符号控制器设计。 (英语) Zbl 07807698号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第25号论文,第7页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Khaled}和\textit{M.Zamani},in:第24届ACM混合系统国际会议论文集:计算和控制,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第25号论文,第7页(2021;Zbl 07807698) 全文: 内政部
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;Angelo蒙塔纳里;斯特凡诺·托内塔 扩展有界响应的公平性、假设和保证长期贷款+P合成。 (英语) Zbl 1522.68302号 Calinescu,Radu(编辑)等人,《软件工程和形式化方法》。第19届国际会议,SEFM 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13085, 351-371 (2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。13085、351--371(2021;Zbl 1522.68302) 全文: 内政部
肖恩·阿佐帕迪;尼尔·皮特曼;杰拉尔多·施奈德 在反应合成中加入监测器而无需付出代价。 (英语) Zbl 1497.68284号 Hou,Zhe(编辑)等,验证和分析自动化技术。2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,第19届国际研讨会,ATVA 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12971, 337-353 (2021).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Azzopardi}等人,莱克特。注释计算。科学。12971、337--353(2021;Zbl 1497.68284) 全文: 内政部 arXiv公司
托拜厄斯·约翰;西蒙·詹奇;克里斯特尔·拜尔;克吕佩尔霍尔茨,萨沙 Emerson-Lei自动机的确定和极限确定。 (英语) Zbl 1497.68270号 Hou,Zhe(编辑)等,验证和分析自动化技术。2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,第19届国际研讨会,ATVA 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12971, 15-31 (2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.John}等人,Lect。注释计算。科学。12971,15--31(2021;Zbl 1497.68270) 全文: 内政部 arXiv公司
卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 线性时序逻辑——从无限到有限。 (英语) 兹比尔1497.03035 Hou,Zhe(编辑)等,验证和分析自动化技术。2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,第19届国际研讨会,ATVA 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12971, 3-12 (2021).MSC公司:03B44号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Tabajara}和\textit{M.Y.Vardi},莱克特。注释计算。科学。12971,3-12(2021;Zbl 1497.03035) 全文: 内政部
龙马仙达;Yoshiaki高田;弘久世奇(Hiroyuki Seki) 从可见寄存器下推自动机进行反应合成。 (英语) Zbl 07500652号 Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2021》。2021年9月8日至10日,哈萨克斯坦努尔苏尔坦,第18届国际学术讨论会,虚拟活动。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12819, 334-353 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Senda}等人,Lect。注释计算。科学。12819、334--353(2021;Zbl 07500652) 全文: 内政部
加尔阿姆拉姆;苏古曼·班萨尔;油炸,Dror;卢卡斯·马蒂内利·塔巴哈拉;莫舍·瓦尔迪。;杰拉·韦斯 通过反应合成调整行为。 (英语) Zbl 1493.68201号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 870-893 (2021).MSC公司:60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Amram}等人,Lect。注释计算。科学。12759870--893(2021年;Zbl 1493.68201) 全文: 内政部 arXiv公司
哈维尔·埃斯帕尔扎 回到未来:重新审视线性时序逻辑。 (英语) Zbl 07495100号 Maneth,Sebastian(编辑),自动机的实现和应用。第25届国际会议,CIAA 2021,虚拟活动,2021年7月19-22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12803, 3-13 (2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza},莱克特。注释计算。科学。12803,3--13(2021;Zbl 07495100) 全文: 内政部
克里斯托夫·Löding 无限树上的自动机。 (英语) Zbl 07469506号 Pin,Jean-Eric(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。265-302(2021年)。MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding},摘自:自动机理论手册。第一卷理论基础。柏林:欧洲数学学会(EMS)。265--302(2021;Zbl 07469506) 全文: 内政部
Richard迈尔;斯文·舍韦;帕特里克·托茨克;多米尼克·沃伊特扎克 具有近似能量平价目标的简单随机博弈是NP和conp。 (英语) Zbl 07410437号 Kiefer,Stefan(编辑)等人,《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021,作为欧洲软件理论与实践联合会议ETAPS 2021的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12650, 427-447 (2021).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Mayr}等人,Lect。注释计算。科学。12650427--447(2021;Zbl 07410437) 全文: 内政部 arXiv公司
伊莎贝拉·考夫曼;金·古德斯特兰·拉森;吉·斯尔巴 具有分支时间获胜条件的多权重博弈的综合。 (英语) Zbl 1503.68182号 Janicki,Ryszard(编辑)等人,Petri网和并发的应用和理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12152, 46-66 (2020).MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{I.考夫曼}等人,Lect。注释计算。科学。12152,46-66(2020;Zbl 1503.68182) 全文: 内政部
贝拉德,贝特里奇;贝内迪克特·博利格;帕特里夏·鲍耶;马蒂亚斯·福格尔;纳塔利·斯兹纳杰德 存在动态链接的合成。 (英语) 兹比尔07455739 Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32633-49(2020年)。MSC公司:65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人,《电子》。程序。西奥。计算。科学。(EPTCS)326、33-49(2020;Zbl 07455739) 全文: arXiv公司 链接
卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 部分可观测性下的LTLf综合:从理论到实践。 (英语) Zbl 07455737号 Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)3261-17(2020年)。MSC公司:65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Tabajara}和\textit{M.Y.Vardi},电子。程序。西奥。计算。科学。(EPTCS)326,1--17(2020;Zbl 07455737) 全文: arXiv公司 链接
托马斯·布里海耶;阿琳·戈敏 基于回合可达性时间博弈的子博弈完美均衡。 (英语) Zbl 07317092号 Bertrand,Nathalie(编辑)等,时间系统的形式化建模和分析。第18届国际会议,FORMATS 2020,奥地利维也纳,2020年9月1日至3日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12288, 94-110 (2020).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}和\textit{A.Goeminne},莱克特。注释计算。科学。12288、94-110(2020;Zbl 07317092) 全文: 内政部 arXiv公司
莱奥·埃克巴德;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔 传感器定义的数据字函数的可计算性。 (英语) Zbl 07250940号 Goubault-Larrecq,Jean(编辑)等人,《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12077, 217-236 (2020).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,Lect。注释计算。科学。12077,217--236(2020;Zbl 07250940) 全文: 内政部 arXiv公司
瑞秋·法拉;奥尔纳·库普弗曼 关于用算术综合规格说明。 (英语) Zbl 1440.68171号 Chatzigeorgiou,Alexander(编辑)等人,SOFSEM 2020:计算机科学的理论与实践。第46届信息学理论和实践当前趋势国际会议,SOFSEM 2020,利马索尔,塞浦路斯,2020年1月20日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12011161-173(2020年)。MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Faran}和\textit{O.Kupferman},莱克特。注释计算。科学。12011,161--173(2020;Zbl 1440.68171) 全文: 内政部
莱奥·埃克巴德;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔 数据字换能器的合成。 (英语) 兹比尔07649932 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第24条,第15页(2019)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,LIPIcs——莱布尼茨国际程序。通知。140,第24条,第15页(2019年;Zbl 07649932) 全文: 内政部
维罗尼克·布鲁埃;豪特姆,昆汀;米凯尔·兰多尔;让-弗朗索瓦·拉斯金 能量平均值游戏。 (英语) Zbl 07649929号 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第21条,第17页(2019年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人,LIPIcs——莱布尼茨国际程序。通知。140,第21条,第17页(2019年;Zbl 07649929) 全文: 内政部 arXiv公司
帕特里克·兰德威尔;克里斯托夫·Löding 具有无限树全局约束的树自动机。 (英语) Zbl 07559156号 Niedermeier,Rolf(编辑)等人,第36届计算机科学理论方面国际研讨会,2019年3月13日至16日,德国柏林,STACS 2019。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。126,第47条,第15页(2019年)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Landwehr}和\textit{C.Löding},LIPIcs——莱布尼茨国际程序。通知。126,第47条,第15页(2019年;Zbl 07559156) 全文: 内政部
赫金·哈布什,杰斯科;Niklas O.Metzger。 异步分布式系统有界综合的有效跟踪编码。 (英语) Zbl 1437.68128号 Chen,Yu-Fang(编辑)等,验证和分析自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11781, 369-386 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Hecking-Harbusch}和\textit{N.O.Metzger},莱克特。注释计算。科学。11781369--386(2019年;Zbl 1437.68128) 全文: 内政部 arXiv公司
纳塔娜·菲亚尔科夫;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;萨沙·鲁宾 量化战略逻辑中的界限。 (英语) Zbl 1528.68218号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第23条,第23页(2018)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Fijalkow}等人,LIPIcs——莱布尼茨国际程序。通知。119,第23条,23 p.(2018;Zbl 1528.68218) 全文: 内政部
尼古拉斯·巴塞特;伊斯马·杰克;阿诺·保利;让-弗朗索瓦·拉斯金;范登,博加德·玛丽 超越可接受性:战略链之间的主导地位。 (英语) Zbl 1528.91015号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第10条,第22页(2018年)。MSC公司:91A43型 2007年6月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Basset}等人,LIPIcs——莱布尼茨国际程序。通知。119,第10条,22 p.(2018;Zbl 1528.91015) 全文: 内政部 arXiv公司
莱奥·埃克巴德;艾曼纽·菲利奥特;伊斯马·杰克 多序列规格换能器综合的复杂性。 (英语) Zbl 1512.68138号 Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第46条,第16页(2018年)。MSC公司:65年第68季度 03B25号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,LIPIcs——莱布尼茨国际程序。通知。117,第46条,第16页(2018;Zbl 1512.68138) 全文: 内政部 arXiv公司
戴维德·贾科莫·卡维扎;达拉·阿拉杰;安德拉斯·吉尔吉 GR(1)公式的弱点度量。 (英语) 兹比尔1460.68054 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 110-128 (2018).MSC公司:60年第68季度 03B44号 28A80型 28天20分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Cavezza}等人,Lect。注释计算。科学。10951、110-128(2018;Zbl 1460.68054) 全文: 内政部 arXiv公司
奥尔纳·库普弗曼;加尔省瓦尔迪;莫舍·瓦尔迪。 流动游戏。 (英语) Zbl 1491.91037号 Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第38条,第16页(2018年)。MSC公司:91A43型 05C21号 05年5月57日 05C85号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,LIPIcs——莱布尼茨国际程序。通知。93,第38条,第16页(2018;Zbl 1491.91037) 全文: 内政部
吕迪格·埃勒斯;伯恩德·芬克贝纳 对称合成。 (英语) Zbl 1491.68109号 Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第26条,第13页(2018年)。MSC公司:60年第68季度 2007年7月68日 64岁以下 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}和\textit{B.Finkbeiner},LIPIcs——莱布尼茨国际程序。通知。93,第26条,第13页(2018;Zbl 1491.68109) 全文: 内政部 arXiv公司
阿夫尼,盖伊;托马斯·亨辛格(Thomas A.Henzinger)。;拉斯穆斯·易卜森·延森 无限期穷人竞价游戏。 (英语) 兹比尔1443.91070 Christodoulou,George(编辑)等人,《网络和互联网经济学》。2018年12月15日至17日在英国牛津举行的2018年WINE第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11316, 21-36 (2018).MSC公司:91A43型 91A05型 05年5月57日 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,Lect。注释计算。科学。11316、21-36(2018年;Zbl 1443.91070) 全文: 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼 图形游戏和反应合成。 (英语) Zbl 1392.68233号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。921-962 (2018).MSC公司:60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,in:模型检查手册。查姆:斯普林格。921-962(2018;Zbl 1392.68233) 全文: 内政部
埃德蒙·克拉克(Edmund M.Clarke)。;托马斯·亨辛格(Thomas A.Henzinger)。;赫尔穆特·维思 模型检查简介。 (英语) Zbl 1392.68242号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1-26 (2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人,在:模型检查手册中。查姆:斯普林格。1-26(2018;Zbl 1392.68242) 全文: 内政部
马丁·齐默尔曼 延迟博弈中的有限状态策略。 (英语) Zbl 1484.91014号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256151-165(2017)。MSC公司:91A10号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Zimmermann},电子。程序。西奥。计算。科学。(EPTCS)256151--165(2017;Zbl 1484.91014) 全文: 链接
简·Křetínsk;托拜厄斯·梅根多夫;克拉拉·沃尔德曼;马克西米利安·威宁格 用于将拉宾自动机转换为奇偶自动机的索引外观记录。 (英语) Zbl 1452.68108号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日,第23届国际会议,TACAS 2017,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2017,瑞典乌普萨拉。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 443-460 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Křetínský}等人,Lect。注释计算。科学。10205、443--460(2017;Zbl 1452.68108) 全文: 内政部 arXiv公司
阿夫尼,盖伊;托马斯·亨辛格(Thomas A.Henzinger)。;文茨拉夫·乔涅夫 无限期竞标游戏。 (英语) Zbl 1448.91061号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第21条,第18页(2017年)。MSC公司:91A43型 05年5月57日 91A05型 91A20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,LIPIcs——莱布尼茨国际期刊。通知。85,第21条,第18页(2017年;Zbl 1448.91061) 全文: 内政部
克里希南德·查特吉;Hansen,Kristoffer Arnsfelt;拉斯穆斯·易卜森·延森 并发安全游戏的策略复杂性。 (英语) Zbl 1447.91018号 Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第55条,第13页(2017年)。MSC公司:91A20型 91A43型 91A05型 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,LIPIcs——莱布尼茨国际程序。通知。83,第55条,13 p.(2017;Zbl 1447.91018) 全文: 内政部
克里希南德·查特吉;莫妮卡·亨津格;亚历山大·斯沃齐尔 用于平均对偶游戏的更快算法。 (英语) Zbl 1441.91015号 Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第39条,第14页(2017年)。MSC公司:91A43型 65年第68季度 68瓦40 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,LIPIcs——莱布尼茨国际会议记录。通知。83,第39条,第14页(2017年;Zbl 1441.91015) 全文: 内政部 arXiv公司
维罗尼克·布鲁埃;勒鲁(Le Roux,Stéphane);阿诺·保利;让-弗朗索瓦·拉斯金 关于弱子博弈完美均衡的存在性。 (英语) 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格式引用 \textit{V.Bruyère}等人,Lect。注释计算。科学。10203、145--161(2017;Zbl 1486.91016) 全文: 内政部 链接
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(Ofer Strichman) 合成非真空系统。 (英语) Zbl 1484.68096号 Bouajjani,Ahmed(编辑)等人,《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10145, 55-72 (2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,Lect。注释计算。科学。10145,55-72(2017;Zbl 1484.68096) 全文: 内政部 链接
Leander Tentrup公司;亚历山大·韦内特;马丁·齐默尔曼 在双指数时间内,逼近即时-LTL可实现性的最佳界。 (英语) Zbl 1478.68179号 Cantone,Domenico(ed.)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226302-315(2016)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Tentrup}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226302-315(2016;Zbl 1478.68179) 全文: arXiv公司 链接
安舒尔·古普塔;斯文·舍韦;阿舒托什·特里维迪;迪帕克(Deepak),玛兰·赛·克里希纳(Maram Sai Krishna);巴拉特·库马尔·帕达西 奖励Stackelberg mean-payoff游戏。 (英语) Zbl 1390.91073号 De Nicola,Rocco(编辑)等人,《软件工程和形式化方法》。2016年7月4日至8日,作为2016年STAF的一部分,在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-41590-1/pbk;978-3-316-41591-8/电子书)。计算机科学课堂讲稿9763304-320(2016)。MSC公司:91A43型 91A06型 91A65型 PDF格式BibTeX公司 XML格式引用 \textit{A.Gupta}等人,Lect。注释计算。科学。9763,304--320(2016;Zbl 1390.91073) 全文: 内政部 arXiv公司
阿夫尼,盖伊;托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳·库普弗曼 动态资源分配游戏。 (英语) Zbl 1403.91059号 Gairing,Martin(编辑)等人,《算法博弈论》。2016年9月19-21日,第九届SAGT国际研讨会,英国利物浦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-53353-6/pbk;978-3-562-53354-3/电子书)。计算机科学讲座笔记9928,153-166(2016)。MSC公司:91A43型 91立方厘米32 91A25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,Lect。注释计算。科学。9928153-166(2016年;Zbl 1403.91059) 全文: 内政部
伊娜拉、杰埃瓦娜·普利亚;罗希特·辛格;阿曼多·索拉勒扎马 位矢量解算器专用域CNF编码器的合成。 (英语) Zbl 1475.68439号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9710, 302-320 (2016).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Inala}等人,Lect。注释计算。科学。9710,302-320(2016;Zbl 1475.68439) 全文: 内政部 链接
奥尔纳·库普弗曼 关于高质量合成。 (英语) Zbl 1476.68150号 库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。2016年6月9日至13日,在俄罗斯圣彼得堡举行的第11届国际计算机科学研讨会,CSR 2016。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9691, 1-15 (2016).MSC公司:60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman},莱克特。注释计算。科学。9691,1-15(2016;Zbl 1476.68150) 全文: 内政部 链接
霍尔格·赫尔曼斯;简·克查尔;Steen背心 连续时间的分布式合成。 (英语) Zbl 1475.68207号 Jacobs,Bart(编辑)等人,《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9634, 353-369 (2016).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}等人,Lect。注释计算。科学。9634,353--369(2016;Zbl 1475.68207) 全文: 内政部 arXiv公司
马丁·齐默尔曼 参数化线性时序逻辑满足成本:仍然不比LTL更昂贵。 (英语) Zbl 1476.03020号 Esparza,Javier(编辑)等人,《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2015,热那亚,意大利,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193、144-157(2015)。MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Zimmermann},电子。程序。西奥。计算。科学。(EPTCS)193,144--157(2015;Zbl 1476.03020) 全文: arXiv公司 链接
克里希南德·查特吉;劳伦特·多恩;莫舍·瓦尔迪。 概率成分合成的复杂性。 (英语) Zbl 1440.68045号 Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 108-120 (2015).MSC公司:68号30 2017年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。9135108-120(2015;Zbl 1440.68045) 全文: 内政部 arXiv公司
柯特林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特 过渡系统中的相关路径:模态微积分的下降。 (英语) Zbl 1465.68173号 Italiano,F.(ed.)等人,《2015年计算机科学数学基础》。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9234, 179-191 (2015).MSC公司:60年第68季度 03B16号 03B45号 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dima}等人,Lect。注释计算。科学。9234、179--191(2015年;Zbl 1465.68173) 全文: 内政部
杰里米·斯普洛斯顿 概率矩形混合自动机的验证与控制。 (英语) Zbl 1465.68183号 Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。第13届国际会议,FORMATS 2015,西班牙马德里,2015年9月2-4日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9268, 1-9 (2015).MSC公司:60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},莱克特。注释计算。科学。9268,1-9(2015;Zbl 1465.68183) 全文: 内政部 链接
克里希南德·查特吉;莫妮卡·亨津格 交替Büchi游戏的(O(n^2))时间算法。 (英语) Zbl 1421.68110号 Rabani,Yuval(编辑),第23届ACM-SIAM离散算法年度研讨会论文集,SODA 2012,日本京都,2012年1月17日至19日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1386-1399 (2012).MSC公司:68兰特 05C85号 68瓦40 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{M.Henzinger},摘自:第23届年度ACM-SIAM离散算法研讨会论文集,SODA 2012,日本京都,2012年1月17-19日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)。1386——1399(2012;Zbl 1421.68110) 全文: arXiv公司 链接
沃伊切赫·贾姆罗加;沃伊切赫·彭泽克 多代理系统的规范和验证。 (英语) Zbl 1250.68190号 Nick Bezhanishvili等人,《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根,2010年8月,ESSLLI2011年,斯洛文尼亚卢布尔雅那,2011年8月。精选课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-31484-1/pbk)。计算机科学课堂讲稿7388,210-263(2012)。MSC公司:60年第68季度 03B45号 68T27型 68T42型 91A99型 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{W.Penczek},莱克特。注释计算。科学。7388、210-263(2012年;Zbl 1250.68190) 全文: 内政部
亚达夫,尼廷;塞巴斯蒂安·萨迪纳 定性近似行为构成。 (英语) Zbl 1361.68282号 Fariñas del Cerro,Luis(编辑)等人,《人工智能中的逻辑》。2012年9月26日至28日,第13届欧洲会议,2012年JELIA,法国图卢兹。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33352-1/pbk)。计算机科学课堂讲稿7519。《人工智能课堂讲稿》,450-462(2012)。MSC公司:68T42型 03B44号 60年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{N.Yadav}和\textit{S.Sardina},莱克特。注释计算。科学。7519450-462(2012年;Zbl 1361.68282) 全文: 内政部 arXiv公司
乌里·克莱因;尼尔·皮特曼;阿米尔·普努利 根据GR(1)规范有效综合异步系统。 (英语) Zbl 1326.68186号 Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。2012年1月22日至24日,第13届国际会议,VMCAI 2012,美国宾夕法尼亚州费城。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿7148283-298(2012)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Klein}等人,Lect。注释计算。科学。7148283--298(2012;Zbl 1326.68186) 全文: 内政部 链接
克里希南德·查特吉;维什瓦纳斯·拉曼 数字合同签署的综合协议。 (英语) Zbl 1325.94115号 Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。2012年1月22日至24日,第13届国际会议,VMCAI 2012,美国宾夕法尼亚州费城。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿7148152-168(2012)。MSC公司:94A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.Raman},莱克特。注释计算。科学。7148152--168(2012年;Zbl 1325.94115) 全文: 内政部
尼古拉·贝内什;伊万娜·乔纳;Štefaňák,Filip 组件交互自动机的因子分解。 (英语) Zbl 1302.68149号 Bieliková,Mária(编辑)等人,SOFSEM 2012:计算机科学的理论与实践。2012年1月21日至27日,第38届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27659-0/pbk)。计算机科学课堂讲稿7147554-565(2012)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。7147554--565(2012;Zbl 1302.68149) 全文: 内政部
克里希南德·查特吉;鲁帕克·马朱姆达尔 欧米伽规则目标的最小注意力控制器综合。 (英语) Zbl 1348.68096号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,145-159(2011)。MSC公司:65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{R.Majumdar},莱克特。注释计算。科学。6919、145--159(2011年;Zbl 1348.68096) 全文: 内政部
克里斯特尔·拜尔;约阿希姆·克莱因;克吕佩尔霍尔茨,萨沙 控制器综合的合成框架。 (英语) 兹比尔1329.68182 Katoen,Joost Pieter(编辑)等人,CONCUR 2011——并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿6901512-527(2011)。MSC公司:68问题85 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。注释计算。科学。6901512-527(2011;Zbl 1329.68182) 全文: 内政部
迈克尔·本尼迪克特;拉斯蒂斯拉夫·伦哈特;詹姆斯·沃雷尔 模型检查和游戏中的双变量与线性时序逻辑。 (英语) Zbl 1343.68151号 Katoen,Joost Pieter(编辑)等人,CONCUR 2011——并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学讲义6901、497-511(2011)。MSC公司:60年第68季度 03B44号 05年3月 87年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人,Lect。注释计算。科学。6901497--511(2011;Zbl 1343.68151) 全文: 内政部 arXiv公司
奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 无限状态系统的自动机理论方法。 (英语) Zbl 1288.68158号 Manna,Zohar(编辑)等人,《验证时间》。纪念埃米尔·普努利的散文。柏林:施普林格出版社(ISBN 978-3-642-13753-2/pbk)。计算机科学讲座笔记6200,202-259(2010)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Lect。注释计算。科学。6200、202--259(2010年;Zbl 1288.68158) 全文: 内政部
乌迪·博克;奥尔纳·库普弗曼 寻求将Büchi严格翻译为co-Bu chi automata。 (英语) Zbl 1287.68092号 安德烈亚斯·布拉斯(编辑)等人,《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-15024-1/pbk)。计算机科学课堂讲稿6300,147-164(2010)。MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}和\textit{O.Kupferman},莱克特。注释计算。科学。6300、147--164(2010年;Zbl 1287.68092) 全文: 内政部
劳伦特·多恩;吉勒·杰勒茨;Jean-Francois拉斯金;朱利安·莱切特 实时逻辑的可实现性。 (英语) 兹比尔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) 全文: 内政部
奎杰珀,沃特;范德波尔(Jaco van de Pol) 部分可观测系统的合成控制综合。 (英语) Zbl 1254.93075号 Bravetti,Mario(编辑)等人,CONCUR 2009–并发理论。第20届国际会议,CONCUR 2009,意大利博洛尼亚,2009年9月1-4日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04080-1/pbk)。《计算机科学讲义》5710、431-447(2009)。MSC公司:93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{W.Kuijper}和\textit{J.van de Pol},Lect。注释计算。科学。5710431-447(2009年;Zbl 1254.93075) 全文: 内政部 链接
马可·费拉 图上无限对策的可容许策略。 (英语) Zbl 1250.68187号 Králović,Rastislav(编辑)等人,《2009年计算机科学的数学基础》。2009年8月24-28日,斯洛伐克High Tatras,Novy Smokovec,第34届国际研讨会,MFCS 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03815-0/pbk)。计算机科学课堂讲稿5734,307-318(2009)。MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Faella},莱克特。注释计算。科学。5734307--318(2009年;Zbl 1250.68187) 全文: 内政部
马丁·维切夫;埃兰·雅哈夫;格雷塔·约什 在有限的可观察性下推断同步。 (英语) Zbl 1234.68082号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505139-154(2009)。MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Vechev}等人,Lect。注释计算。科学。5505、139--154(2009年;Zbl 1234.68082) 全文: 内政部
奎杰珀,沃特;范德波尔(Jaco van de Pol) 计算不完全信息安全博弈的最弱策略。 (英语) Zbl 1234.68259号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记550592-106(2009)。MSC公司:60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{W.Kuijper}和\textit{J.van de Pol},莱克特。注释计算。科学。5505,92——106(2009年;兹比尔1234.68259) 全文: 内政部
尤德·卢斯蒂格;莫舍·瓦尔迪。 从组件库合成。 (英语) Zbl 1234.68260号 de Alfaro,Luca(编辑),软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。《计算机科学讲义》5504395-409(2009)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lustig}和\textit{M.Y.Vardi},莱克特。注释计算。科学。5504395--409(2009年;Zbl 1234.68260) 全文: 内政部
奥尔纳·库普弗曼;尼尔·皮特曼 普适co-Büchi自动机非空性的目击者下限。 (英语) Zbl 1234.68221号 de Alfaro,Luca(编辑),软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记5504182-196(2009)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{N.Piterman},莱克特。注释计算。科学。5504182-196(2009年;Zbl 1234.68221) 全文: 内政部
斯文·舍韦 确定Büchi自动机的更严格界限。 (英语) Zbl 1234.68239号 de Alfaro,Luca(编辑),软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记5504167-181(2009)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe},莱克特。注释计算。科学。5504167--181(2009年;Zbl 1234.68239) 全文: 内政部
托马斯·查泰恩;保罗·加斯丁;纳塔利·斯兹纳杰德 自然规范为异步系统的分布式综合提供了可判定性。 (英语) 兹比尔1206.68210 Nielsen,Mogens(编辑)等人,SOFSEM 2009:计算机科学的理论与实践。2009年1月24日至30日,第35届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-95890-1/pbk)。计算机科学课堂讲稿54041-152(2009)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chatain}等人,Lect。注释计算。科学。5404、141--152(2009年;Zbl 1206.68210) 全文: 内政部
加尔·卡茨;多龙·贝利德 遗传编程和模型检查:合成新的互斥算法。 (英语) Zbl 1183.68376号 Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311,33-47(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Katz}和\textit{D.Peled},莱克特。注释计算。科学。5311、33-47(2008年;Zbl 1183.68376) 全文: 内政部
彼得·尼伯特;多龙·贝利德;阿米尔·普努利 鉴别模型检查。 (英语) Zbl 1155.68444号 Gupta,Aarti(编辑)等人,《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议,CAV 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70543-7/pbk)。计算机科学课堂讲稿5123,504-516(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Niebert}等人,Lect。注释计算。科学。5123、504--516(2008年;Zbl 1155.68444) 全文: 内政部
A.西马蒂。;M.罗维里。;V.舒潘。;Tchaltsev,A。 可实现性的诊断信息。 (英语) Zbl 1138.68442号 Logozzo,Francesco(编辑)等人,《验证、模型检查和抽象解释》。2008年1月7日至9日,第九届国际会议,VMCAI 2008,美国旧金山。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78162-2/pbk)。计算机科学课堂讲稿4905,52-67(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。4905、52-67(2008年;Zbl 1138.68442) 全文: 内政部
克莱尔·狄克逊;玛丽·卡门·费尔南德斯·加戈;迈克尔·费希尔;范德霍克,威比 知识的时间逻辑及其在安全中的应用。 (英语) Zbl 1277.94051号 Dima,Cétélin(ed.)等人,《信息和计算机安全第一次研讨会论文集》(ICS 2006),罗马尼亚蒂米索拉,2006年9月30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记186,27-42(2007)。MSC公司:94A62型 03B44号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人,《电子》。注释Theor。计算。科学。186、27-42(2007年;Zbl 1277.94051) 全文: 内政部