×

找到246个文档(结果1-100)

凸晶格方程组。 (英语) Zbl 1528.68206号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 438-455 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式化方法中的模拟关系和应用。 (英语) Zbl 1528.68188号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 272-291 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

蒙特卡罗树搜索定价时间自动机。 (英语) 兹比尔1522.68273

布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

区间马尔可夫链的定量分析。 (英语) Zbl 1522.68296号

Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13030, 57-77 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

监视定时属性(已重新访问)。 (英语) Zbl 07643427号

Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13465, 43-62 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

实值信号概率超特性的统计模型检验。 (英语) Zbl 1514.68115号

Legunson,Owolabi(编辑)等人,《模型检查软件》。第28届国际研讨会,SPIN 2022,虚拟活动,2022年5月21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13255, 61-78 (2022).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不确定连续时间马尔可夫链的集总性。 (英语) Zbl 1492.60219号

阿巴特,亚历山德罗(编辑)等人,《系统的定量评估》。第18届国际会议,QEST 2021,法国巴黎,2021年8月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12846, 391-409 (2021).
MSC公司:60J25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

在Uppaal中进行整数静态分析以更好地进行推断。 (英语) Zbl 07498002号

Dima,Catalin(编辑)等,《定时系统的形式化建模和分析》。第19届国际会议,FORMATS 2021,巴黎,法国,2021年8月24-26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12860, 84-99 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

针对时间可达性和安全游戏的顽固集缩减。 (英语) Zbl 07497999号

Dima,Catalin(编辑)等,《定时系统的形式化建模和分析》。第19届国际会议,FORMATS 2021,巴黎,法国,2021年8月24-26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12860, 32-49 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过抽象依赖图验证多人随机游戏。 (英语) Zbl 07496651号

Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561, 249-268 (2021).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于构建和分析系统的工具和算法。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。 (英语) Zbl 1471.68016号

计算机科学课堂讲稿12652.查姆:施普林格(ISBN 978-3-030-72012-4/pbk;978-3-0030-72013-1/电子书)。xxi,465页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于构建和分析系统的工具和算法。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分。 (英语) Zbl 1466.68015号

计算机科学课堂讲稿12651.查姆:施普林格(ISBN 978-3-030-72015-5/pbk;978-3-0030-72016-2/电子书)。xxi,467页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

扩展时间自动机的紧急部分降阶。 (英语) Zbl 1517.68259号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12302, 179-195 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

严格交替游戏的即时合成。 (英语) Zbl 1503.68194号

Janicki,Ryszard(编辑)等人,Petri网和并发的应用和理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12152, 109-128 (2020).
MSC公司:68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有分支时间获胜条件的多权重博弈的综合。 (英语) Zbl 1503.68182号

Janicki,Ryszard(编辑)等人,Petri网和并发的应用和理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12152, 46-66 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时I/O自动机的随机细化检查。 (英语) Zbl 1502.68184号

Pang,Jun(编辑)等人,可靠软件工程。理论、工具和应用。第六届国际研讨会,SETTA 2020,中国广州,2020年11月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12153, 70-88 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

抽象依赖图及其在模型检查中的应用。 (英语) Zbl 1527.68127号

Vojnar,Tomáš(编辑)等人,《系统构建和分析的工具和算法》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。11427, 316-333 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型、心态、元:什么、如何以及为什么不? (英语) Zbl 1519.68001号

Margaria,Tiziana(编辑)等人,《模型、心态、元:什么、如何以及为什么不?》?在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。11200, 3-13 (2019).
MSC公司:68-03 01A70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可达性博弈的部分降阶。 (英语) Zbl 07649931号

Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第23条,第15页(2019)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算概率自动机的概率双相似距离。 (英语) Zbl 07649917号

Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第9条,第17页(2019年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机混合博弈安全、最优和紧凑策略的综合(特邀论文)。 (英语) Zbl 07649910号

Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第2条,第5页(2019年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于系统设计和分析的连续时间模型。 (英语) Zbl 1485.93204号

Steffen,Bernhard(编辑)等人,《计算与软件科学》。最先进的技术和观点。查姆:斯普林格。莱克特。注释计算。科学。10000, 452-477 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学习时间——从测试中学习时间自动机。 (英语) Zbl 1434.68212号

安德烈,埃蒂安(编辑)等,时间系统的形式化建模和分析。第17届国际会议,FORMATS 2019,荷兰阿姆斯特丹,2019年8月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11750, 216-235 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型、心态、元:什么、如何以及为什么不?在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。 (英语) Zbl 1425.68013号

计算机科学课堂讲稿11200.查姆:施普林格(ISBN 978-3-030-22347-2/pbk;978-3-0030-22348-9/电子书)。xv,431页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

半马尔可夫决策过程模拟的半度量扩展。 (英语) 兹比尔1514.68192

McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024339-355(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不确定性下加权Kripke结构的验证。 (英语) Zbl 1514.68116号

McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024, 71-86 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

当时间紧迫时开始修剪:定时系统的部分订单减少。 (英语) Zbl 1511.68180号

Chockler,Hana(编辑)等人,《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第一部分:查姆:斯普林格公开赛。莱克特。注释计算。科学。10981, 527-546 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马尔可夫链总变异距离的完全公理化。 (英语) Zbl 1525.68080号

Silva,Alexandra(编辑),第33届编程语义数学基础会议论文集(MFPS XXXII),斯洛文尼亚卢布尔雅那,2017年6月12-15日。阿姆斯特丹:爱思唯尔。电子。理论注释。计算。科学。336, 27-39 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最优和鲁棒控制器综合。使用具有不确定性的能量时间自动机。 (英语) Zbl 1460.93031号

Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 203-221 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权分支系统:行为等效、行为距离及其逻辑特征。 (英语) Zbl 1514.68172号

Jansen,David N.(编辑)等人,《时间系统的形式化建模和分析》。2018年9月4日至6日,第16届国际会议,FORMATS 2018,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11022, 145-161 (2018).
MSC公司:68问题85 03B44号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查实时系统。 (英语) Zbl 1392.68235号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1001-1046 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

半马尔可夫过程的时间比较。 (英语) Zbl 1504.68112号

Klein,Shmuel Tomi(编辑)等人,《语言和自动机理论与应用》。2018年4月9日至11日,第12届国际会议,LATA 2018,以色列拉马特甘。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10792, 271-283 (2018).
PDF格式BibTeX公司 XML格式引用

Markov过程的无限制Stone对偶。 (英语) Zbl 1452.06009号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第92条,第9页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

基于度量的马尔可夫链近似最小化。 (英语) Zbl 1442.68079号

Chatzigianakis,Ioannis(编辑)等人,第44届自动化、语言和编程国际研讨会,2017年ICALP,波兰华沙,2017年7月10日至14日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80,第104条,第14页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机LTL模型检查的记忆效率策略。 (英语) Zbl 1403.68128号

Paskevich,Andrei(编辑)等人,《验证软件》。理论、工具和实验。第九届国际会议,2017年7月22日至23日,德国海德堡,VSTTE 2017。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-72307-5/pbk;978-3-3169-72308-2/电子书)。计算机科学讲义10712152-169(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可靠的软件工程。理论、工具和应用。第三届国际研讨会,2017年10月23日至25日,中国长沙,SETTA 2017。诉讼程序。 (英语) Zbl 1398.68033号

计算机科学课堂讲稿10606.查姆:施普林格(ISBN 978-3-319-69482-5/pbk;978-3-3169-69483-2/电子书)。xvii,第351页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

扩展依赖关系图和高效的分布式定点计算。 (英语) Zbl 1393.68098号

van der Aalst,Wil(编辑)等人,《Petri网和并发的应用和理论》。第38届国际会议,2017年6月25-30日,西班牙萨拉戈萨,PETRI NETS 2017。诉讼程序。查姆:施普林格(ISBN 978-3-319-57860-6/pbk;978-3-3169-57861-3/电子书)。计算机科学讲义10258139-158(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

WNetKAT:一种加权SDN编程和验证语言。 (英语) Zbl 1432.68052号

Fatourou,Panagiota(编辑)等人,第20届分布式系统原理国际会议(OPODIS 2016),西班牙马德里,2016年12月13-16日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70,第18条,第18页。(2017).
PDF格式BibTeX公司 XML格式引用

第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,2017年MFCS,丹麦奥尔堡。 (英语) Zbl 1376.68011号

LIPIcs–莱布尼茨国际信息学会议录83.瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-046-0)。xvi,85篇文章,非连续页面,仅电子版,开放存取(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

实时程序跟踪抽象的改进。 (英语) Zbl 1478.68052号

Hague,Matthew(编辑)等人,《可达性问题》。2017年9月7日至9日在英国伦敦举行的2017年RP第11届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10506, 42-58 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查的符号依赖关系图。 (英语) Zbl 1494.68170号

阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10419, 153-169 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

PTrie:通过前缀共享压缩和存储集合的数据结构。 (英语) Zbl 1444.68063号

Hung,Dang Van(编辑)等人,《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会,越南河内,2017年10月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10580, 248-265 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权过渡系统的完全近似理论。 (英语) Zbl 1393.68116号

Fränzle,Martin(编辑)等人,《可靠软件工程:理论、工具和应用》。2016年11月9日至11日,第二届国际研讨会,SETTA 2016,中国北京。诉讼程序。查姆:施普林格(ISBN 978-3-319-47676-6/pbk;978-3-3169-47677-3/电子书)。计算机科学讲座笔记9984,213-228(2016)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

依赖图上不动点的分布式计算。 (英语) Zbl 1393.68099号

Fränzle,Martin(编辑)等人,《可靠软件工程:理论、工具和应用》。2016年11月9日至11日,第二届国际研讨会,SETTA 2016,中国北京。诉讼程序。查姆:施普林格(ISBN 978-3-319-47676-6/pbk;978-3-3169-47677-3/电子书)。计算机科学讲座笔记9984,197-212(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机时间自动机的重要性抽样。 (英语) Zbl 1393.68094号

Fränzle,Martin(编辑)等人,《可靠软件工程:理论、工具和应用》。2016年11月9日至11日,第二届国际研讨会,SETTA 2016,中国北京。诉讼程序。查姆:施普林格(ISBN 978-3-319-47676-6/pbk;978-3-3169-47677-3/电子书)。《计算机科学讲义》9984163-178(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

概率演算:可判定性和完全公理化。 (英语) Zbl 1434.03072号

Lal,Akash(ed.)等人,第36届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13-15日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。65,第25条,第18页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马尔可夫链上双相似距离的完全公理化。 (英语) Zbl 1392.68282号

Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–莱布尼茨国际信息学学报59,第21条,第14页(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间最优可达性分析的分布式算法。 (英语) Zbl 1433.68599号

Fränzle,Martin(编辑)等人,《定时系统的形式化建模和分析》。第14届国际会议,FORMATS 2016,加拿大魁北克,QC,2016年8月24日至26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9884, 157-173 (2016).
MSC公司:68宽15 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用时间自动机建模攻击防御树。 (英语) Zbl 1433.68251号

Fränzle,Martin(编辑)等人,《定时系统的形式化建模和分析》。第14届国际会议,FORMATS 2016,加拿大魁北克,QC,2016年8月24日至26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9884, 35-50 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

可达性问题。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。 (英语) Zbl 1371.68012号

计算机科学课堂讲稿9899.商会:施普林格出版社(ISBN 978-3-319-45993-6/pbk;978-3-319-45994-3/ebook)。xiv,193页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于离散化的时弧Petri网博弈实时策略综合。 (英语) Zbl 1354.68196号

博什纳奇·德拉甘(编辑)等人,《模型检查软件》。2016年4月7日至8日,第23届国际研讨会,SPIN 2016,与ETAPS 2016合办,荷兰埃因霍温。诉讼程序。查姆:施普林格(ISBN 978-3-319-32581-1/pbk;978-3-3169-32582-8/电子书)。计算机科学讲座笔记9641129-146(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种基于自动机的跟踪分区抽象解释的方法。 (英语) Zbl 1474.68059号

Probst,Christian W.(编辑)等人,《语义学、逻辑学和微积分》。在汉内·里斯·尼尔森和弗莱明·尼尔森60岁生日之际,为他们撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。9560, 88-110 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

平均能量游戏。 (英语) Zbl 1476.68024号

Esparza,Javier(编辑)等人,《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2015,热那亚,意大利,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193,1-15(2015)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

加权系统的参数验证。 (英语) Zbl 1429.68140号

André,Etienne(编辑)等人,第二届复杂参数合成国际研讨会,SynCoP’15,2015年4月11日,英国伦敦。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 77-90 (2015).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

部分可观测条件下加权同步的多项式时间可判定性。 (英语) Zbl 1374.68260号

Aceto,Luca(编辑)等人,第26届并发理论国际会议,CONCUR’15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,142-154(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无交替加权微积分:可判定性和完备性。 (英语) Zbl 1351.68164号

Ghica,Dan(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319289-313,仅电子版(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在马尔可夫链上从分支收敛到线性度量。 (英语) Zbl 1407.68277号

Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9399, 349-367 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

递归加权逻辑的决定性和表达性。 (英语) Zbl 1434.68330号

Voronkov,Andrei(编辑)等人,《系统信息学的观点》。2014年6月24日至27日,俄罗斯圣彼得堡,第九届国际Ershov信息学会议,PSI 2014。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。8974, 216-231 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全且最佳的自适应巡航控制。 (英语) Zbl 1444.68183号

Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9360, 260-277 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

连续时间参数时间自动机的语言空虚性。 (英语) Zbl 1440.68150号

Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 69-81 (2015).
PDF格式BibTeX公司 XML格式引用

基于概率过程计算的组合度量推理。 (英语) Zbl 1459.68143号

Andrew Pitts(编辑),《软件科学和计算结构基础》。2015年4月11日至18日,作为欧洲软件理论和实践联席会议的一部分,第18届国际会议,FOSSACS 2015,在英国伦敦举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9034, 230-245 (2015).
PDF格式BibTeX公司 XML格式引用

关于半马尔可夫链的总变差距离。 (英语) Zbl 1459.68116号

Andrew Pitts(编辑),《软件科学和计算结构基础》。2015年4月11日至18日,作为欧洲软件理论和实践联席会议的一部分,第18届国际会议,FOSSACS 2015,在英国伦敦举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9034, 185-199 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

验证、模型检查和抽象解释。2015年1月12日至14日在印度孟买举行的第16届国际会议,VMCAI 2015。诉讼程序。 (英语) Zbl 1303.68013号

计算机科学课堂讲稿8931.柏林:施普林格出版社(ISBN 978-3-662-46080-1/pbk)。十八、467页。(2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同步加权和定时自动机的单词。 (英语) Zbl 1360.68552号

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,121-132(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间模态逻辑的充分性和完全公理化。 (英语) Zbl 1337.03028号

Jacobs,Bart(编辑)等人,《第30届编程语义数学基础会议论文集》(MFPS XXX),美国纽约州伊萨卡,2014年6月12日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记308183-210,仅电子版(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

以最低的预期成本按时完成! (英语) Zbl 1448.68294号

Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8837, 129-145 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计时游戏策略的验证和性能评估。 (英语) 兹比尔1448.68293

Legay,Axel(编辑)等人,《定时系统的形式化建模和分析》。第十二届国际会议,FORMATS 2014,意大利佛罗伦萨,2014年9月8-10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8711, 100-114 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权转移系统的可判定递归逻辑。 (英语) Zbl 1432.68310号

Ciobanu,Gabriel(编辑)等人,《计算的理论方面——ICTAC 2014》。第十一届国际学术讨论会,罗马尼亚布加勒斯特,2014年9月17日至19日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8687, 460-476 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

部分可观测性下的同步策略。 (英语) Zbl 1417.68129号

Baldan,Paolo(编辑)等人,CONCUR 2014–并发理论。第25届国际会议,CONCUR 2014,罗马,意大利,2014年9月2-5日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8704, 188-202 (2014).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

模态转换系统的参数和定量扩展。 (英语) Zbl 1416.68121号

Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统视角。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8415, 84-97 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

任意可测空间上Markov过程的互模拟。 (英语) Zbl 1407.68327号

van Breugel,Franck(编辑)等人,《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8464, 76-95 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马尔可夫过程的Stone对偶。 (英语) Zbl 1433.06006号

2013年第28届ACM/IEEE年度计算机科学逻辑研讨会论文集,LICS 2013,美国洛杉矶新奥尔良杜兰大学,2013年6月25-28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。321-330 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份