卢卡·卡德利;拉杜·格罗苏;金·古德斯特兰·拉森;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德里亚·万丁 不确定连续时间马尔可夫链的算法最小化。 (英语) Zbl 07795077号 IEEE传输。自动化。控制 68,第11期,6557-6572(2023年).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,IEEE Trans。自动化。对照68,编号11,6557-6572(2023;Zbl 07795077) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;马蒂亚斯·克劳斯·詹森;Larsen,Kim G。 凸晶格方程组。 (英语) Zbl 1528.68206号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 438-455 (2022).MSC公司:60年第68季度 2010年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。13660438--455(2022年;Zbl 1528.68206) 全文: 内政部
Larsen,Kim G。;克里斯蒂安·席林;吉·斯尔巴 形式化方法中的模拟关系和应用。 (英语) Zbl 1528.68188号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 272-291 (2022).MSC公司:第68季度第45季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。13660272--291(2022年;Zbl 1528.68188) 全文: 内政部
彼得·格约尔·詹森;安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼;阿德里亚娜·米亚契卡;杰佩·Höiris Mortensen 蒙特卡罗树搜索定价时间自动机。 (英语) 兹比尔1522.68273 布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).MSC公司:第68季度第45季度 68T20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。13479,381--398(2022;Zbl 1522.68273) 全文: 内政部
乔瓦尼·巴奇;贝诺·德拉哈耶;Larsen,Kim G。;安德斯·马里加德 区间马尔可夫链的定量分析。 (英语) Zbl 1522.68296号 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13030, 57-77 (2022).MSC公司:60年第68季度 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。13030,57--77(2022;Zbl 1522.68296) 全文: 内政部
托马斯·莫勒·格罗森;肖恩·考夫曼;金·古德斯特兰·拉森;马丁·齐默尔曼 监视定时属性(已重新访问)。 (英语) Zbl 07643427号 Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13465, 43-62 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.M.Grosen}等人,Lect。注释计算。科学。13465,43-62(2022;Zbl 07643427) 全文: 内政部 arXiv公司
艾哈迈德·马达里;哈米德·雷扎·莫梅尼;亚历山德罗·阿巴特;Larsen,Kim G。 贝叶斯框架下非线性混合系统的分层辨识。 (英语) Zbl 07629140号 Inf.计算。 289,A部分,文章ID 104947,19 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Madary}等人,《信息计算》。289,A部分,文章ID 104947,19 p.(2022;Zbl 07629140) 全文: 内政部
西拉·阿罗拉;汉森、雷内·里多夫;金·古德斯特兰·拉森;Legay、Axel;丹尼·鲍尔森(Danny Bougsted Poulsen) 实值信号概率超特性的统计模型检验。 (英语) Zbl 1514.68115号 Legunson,Owolabi(编辑)等人,《模型检查软件》。第28届国际研讨会,SPIN 2022,虚拟活动,2022年5月21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13255, 61-78 (2022).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Arora}等人,Lect。注释计算。科学。13255,61-78(2022;Zbl 1514.68115) 全文: 内政部
卢卡·卡德利;拉杜·格罗苏;Larsen,Kim G。;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德里亚·万丁 不确定连续时间马尔可夫链的集总性。 (英语) Zbl 1492.60219号 阿巴特,亚历山德罗(编辑)等人,《系统的定量评估》。第18届国际会议,QEST 2021,法国巴黎,2021年8月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12846, 391-409 (2021).MSC公司:60J25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Lect。注释计算。科学。128463391-409(2021年;兹比尔1492.60219) 全文: 内政部 链接
塞巴斯蒂安·隆德;杰斯珀·范迪蓬;Larsen,Kim G。;马尔科·穆尼兹;托拜厄斯·林格霍姆·约根森;托拜厄斯·斯卡鲁普·达安徒生 在Uppaal中进行整数静态分析以更好地进行推断。 (英语) Zbl 07498002号 Dima,Catalin(编辑)等,《定时系统的形式化建模和分析》。第19届国际会议,FORMATS 2021,巴黎,法国,2021年8月24-26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12860, 84-99 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Lund}等人,Lect。注释计算。科学。12860,84-99(2021;Zbl 07498002) 全文: 内政部
弗雷德里克·伯内兰。;Jensen,Peter G。;Larsen,Kim G。;马尔科·穆尼兹;吉·斯尔巴 针对时间可达性和安全游戏的顽固集缩减。 (英语) Zbl 07497999号 Dima,Catalin(编辑)等,《定时系统的形式化建模和分析》。第19届国际会议,FORMATS 2021,巴黎,法国,2021年8月24-26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12860, 32-49 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,Lect。注释计算。科学。12860,32-49(2021;Zbl 07497999) 全文: 内政部
瑟伦·埃内沃德森;马蒂亚斯·克劳斯·詹森;金·古德斯特兰·拉森;安德斯·马里加德;吉·斯尔巴 通过抽象依赖图验证多人随机游戏。 (英语) Zbl 07496651号 Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561, 249-268 (2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Enevoldsen}等人,Lect。注释计算。科学。12561、249--268(2021;Zbl 07496651) 全文: 内政部
马丁·塔普勒;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;乔瓦尼·巴奇;玛丽亚·艾希塞德;Larsen,Kim G。 \基于(L^\ast)的马尔可夫决策过程学习(扩展版本)。 (英语) Zbl 1519.68106号 正式Asp。计算。 33,编号4-5,575-615(2021).MSC公司:68问题32 第68季度第45季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Tappler}等人,正式Asp。计算。33,编号4--5,575--615(2021;Zbl 1519.68106) 全文: 内政部 arXiv公司
Jan Friso,格鲁特(编辑);金·古德斯特兰·拉森(编辑) 用于构建和分析系统的工具和算法。第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).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}(编辑)和\textit{K.G.Larsen}(编),系统构建和分析的工具和算法。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格(2021;Zbl 1471.68016) 全文: 内政部
Jan Friso,格鲁特(编辑);金·古德斯特兰·拉森(编辑) 用于构建和分析系统的工具和算法。第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).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}(编辑)和\textit{K.G.Larsen}(编),系统构建和分析的工具和算法。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格(2021;Zbl 1466.68015) 全文: 内政部
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 两层可达博弈的顽固集约简。 (英语) Zbl 1501.68002号 日志。方法计算。科学。 17,第1号,第21号论文,第26页(2021年). 审核人:马可·贝尼尼(科莫) MSC公司:68问题85 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,日志。方法计算。科学。17,第1号,第21号论文,第26页(2021;Zbl 1501.68002) 全文: arXiv公司 链接
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔;唐启毅;弗兰克·范·布鲁格尔 计算概率自动机的概率双相似距离。 (英语) Zbl 1509.68181号 日志。方法计算。科学。 17,第1号,第9号论文,36页(2021年).MSC公司:68问题85 03B44号 第68季度第45季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,日志。方法计算。科学。17,第1号,第9号论文,36页(2021;Zbl 1509.68181) 全文: arXiv公司 链接
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里法伦伯格;Larsen,Kim G。;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 使用具有不确定性的能量时间自动机的最优鲁棒控制器综合。 (英语) Zbl 1458.93072号 正式Asp。计算。 33,编号1,3-25(2021).MSC公司:93亿B50 第68季度第45季度 68瓦30 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,《正式Asp》。计算。33,编号1,3--25(2021;Zbl 1458.93072) 全文: 内政部 arXiv公司
Larsen,Kim G。;马吕斯·米库奇奥尼斯;马尔科·穆尼兹;吉·斯尔巴 扩展时间自动机的紧急部分降阶。 (英语) Zbl 1517.68259号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12302, 179-195 (2020).MSC公司:68问题85 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。12302179-195(2020年;兹比尔1517.68259) 全文: 内政部
卡拉,夏姆·拉尔;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 严格交替游戏的即时合成。 (英语) 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格式引用 \textit{S.L.Karra}等人,Lect。注释计算。科学。12152109-128(2020年;兹比尔1503.68194) 全文: 内政部
伊莎贝拉·考夫曼;金·古德斯特兰·拉森;吉·斯尔巴 具有分支时间获胜条件的多权重博弈的综合。 (英语) 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) 全文: 内政部
安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼 定时I/O自动机的随机细化检查。 (英语) Zbl 1502.68184号 Pang,Jun(编辑)等人,可靠软件工程。理论、工具和应用。第六届国际研讨会,SETTA 2020,中国广州,2020年11月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12153, 70-88 (2020).MSC公司:60年第68季度 05C81号 第68季度第45季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kiviriga}等人,Lect。注释计算。科学。12153,70-88(2020;Zbl 1502.68184) 全文: 内政部
马蒂亚斯·克劳斯·詹森;金·古德斯特兰·拉森 加权分支互模拟的完全公理化。 (英语) Zbl 1448.68343号 学报信息。 57,编号3-5,689-725(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Jensen}和\textit{K.G.Larsen},《学报》第57期,第3--5、689--725号(2020年;Zbl 1448.68343) 全文: 内政部
瑟伦·埃内沃德森;金·古德斯特兰·拉森;吉·斯尔巴 抽象依赖图及其在模型检查中的应用。 (英语) Zbl 1527.68127号 Vojnar,Tomáš(编辑)等人,《系统构建和分析的工具和算法》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。11427, 316-333 (2019).MSC公司:60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Enevoldsen}等人,Lect。注释计算。科学。11427316-333(2019年;兹比尔1527.68127) 全文: 内政部
蒂齐亚娜·玛格丽亚;苏珊娜·格拉芙;Larsen,Kim G。 模型、心态、元:什么、如何以及为什么不? (英语) Zbl 1519.68001号 Margaria,Tiziana(编辑)等人,《模型、心态、元:什么、如何以及为什么不?》?在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。11200, 3-13 (2019).MSC公司:68-03 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Margaria}等人,Lect。注释计算。科学。11200,3-13(2019年;Zbl 1519.68001) 全文: 内政部
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;Larsen,Kim G。;马尔科·穆尼兹;吉·斯尔巴 可达性博弈的部分降阶。 (英语) 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格式引用 \textit{F.M.Bönneland}等人,LIPIcs——莱布尼茨国际程序。通知。140,第23条,第15页(2019年;Zbl 07649931) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔;唐启毅;弗兰克·范·布鲁格尔 计算概率自动机的概率双相似距离。 (英语) 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格式引用 \textit{G.Bacci}等人,LIPIcs——莱布尼茨国际程序。通知。140,第9条,第17页(2019年;Zbl 07649917) 全文: 内政部
Larsen,Kim G。 随机混合博弈安全、最优和紧凑策略的综合(特邀论文)。 (英语) 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格式引用 \textit{K.G.Larsen},LIPIcs——莱布尼茨国际程序。通知。140,第2条,第5页(2019年;Zbl 07649910) 全文: 内政部
拉杰夫·阿鲁尔;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。;Larsen,Kim G。;马吕斯·米库奇奥尼斯 用于系统设计和分析的连续时间模型。 (英语) Zbl 1485.93204号 Steffen,Bernhard(编辑)等人,《计算与软件科学》。最先进的技术和观点。查姆:斯普林格。莱克特。注释计算。科学。10000, 452-477 (2019).MSC公司:93B70型 93C83号 93亿B51 93-08 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Lect。注释计算。科学。10000,452--477(2019;Zbl 1485.93204) 全文: 内政部
马丁·塔普勒;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;金·古德斯特兰·拉森;弗洛里安·洛伯 学习时间——从测试中学习时间自动机。 (英语) Zbl 1434.68212号 安德烈,埃蒂安(编辑)等,时间系统的形式化建模和分析。第17届国际会议,FORMATS 2019,荷兰阿姆斯特丹,2019年8月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11750, 216-235 (2019).MSC公司:68问题32 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tappler}等人,Lect。注释计算。科学。11750、216——235(2019年;Zbl 1434.68212) 全文: 内政部
蒂齐亚娜·玛格丽亚(编辑);苏珊娜·格拉芙(编辑);Larsen,Kim G。(编辑) 模型、心态、元:什么、如何以及为什么不?在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。 (英语) Zbl 1425.68013号 计算机科学课堂讲稿11200.查姆:施普林格(ISBN 978-3-030-22347-2/pbk;978-3-0030-22348-9/电子书)。xv,431页。(2019).MSC公司:68-06 68新元 68季度xx 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Margaria}(编辑)等,模型,思维方式,元:什么,如何,为什么不?在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆:斯普林格(2019;Zbl 1425.68013) 全文: 内政部
Larsen,Kim G。(编辑);吉·斯尔巴(编辑) 第28届北欧规划理论研讨会论文选集(NWPT’16)。 (英语) Zbl 1431.68008号 J.日志。阿尔盖布。方法计划。 107, 177-178 (2019).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}(编辑)和textit{J.Srba}(主编),J.Log。阿尔盖布。方法计划。107、177--178(2019年;Zbl 1431.68008) 全文: 内政部
延森,L.S。;考夫曼,I。;拉森,K.G。;尼尔森,S.M。;斯尔巴,J。 分支多权逻辑的模型检查与综合。 (英语) Zbl 1423.68284号 J.日志。阿尔盖布。方法计划。 105, 28-46 (2019).MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Jensen}等人,J.Log。阿尔盖布。方法计划。105、28-46(2019年;Zbl 1423.68284) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 在马尔可夫链上从分支收敛到线性度量。 (英语) Zbl 1407.68278号 数学。结构。计算。科学。 29,第1期,3-37页(2019年).MSC公司:60年第68季度 03B44号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,《数学》。结构。计算。科学。29,第1号,第3--37号(2019年;Zbl 1407.68278) 全文: 内政部
马蒂亚斯·拉加德·佩德森;乔治·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 半马尔可夫决策过程模拟的半度量扩展。 (英语) 兹比尔1514.68192 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024339-355(2018年)。MSC公司:87年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Pedersen}等人,Lect。注释计算。科学。11024、339--355(2018;Zbl 1514.68192) 全文: 内政部
乔瓦尼·巴奇;米克尔·汉森;金·古德斯特兰·拉森 不确定性下加权Kripke结构的验证。 (英语) Zbl 1514.68116号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024, 71-86 (2018).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。11024,71-86(2018;Zbl 1514.68116) 全文: 内政部
弗雷德里克·伯内兰。;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 当时间紧迫时开始修剪:定时系统的部分订单减少。 (英语) Zbl 1511.68180号 Chockler,Hana(编辑)等人,《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第一部分:查姆:斯普林格公开赛。莱克特。注释计算。科学。10981, 527-546 (2018).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,Lect。注释计算。科学。10981527--546(2018年;Zbl 1511.68180) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 马尔可夫链总变异距离的完全公理化。 (英语) Zbl 1525.68080号 Silva,Alexandra(编辑),第33届编程语义数学基础会议论文集(MFPS XXXII),斯洛文尼亚卢布尔雅那,2017年6月12-15日。阿姆斯特丹:爱思唯尔。电子。理论注释。计算。科学。336, 27-39 (2018).MSC公司:68问题85 03B70号 60J10型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,《电子》。理论注释。计算。科学。336、27-39(2018年;Zbl 1525.68080) 全文: 内政部
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里法伦伯格;金·古德斯特兰·拉森;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 最优和鲁棒控制器综合。使用具有不确定性的能量时间自动机。 (英语) Zbl 1460.93031号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 203-221 (2018).MSC公司:93亿B50 第68季度第45季度 68瓦30 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。10951,203-221(2018;Zbl 1460.93031) 全文: 内政部
马蒂亚斯·克劳斯·詹森;金·古德斯特兰·拉森;拉杜·马达尔 加权分支系统:行为等效、行为距离及其逻辑特征。 (英语) Zbl 1514.68172号 Jansen,David N.(编辑)等人,《时间系统的形式化建模和分析》。2018年9月4日至6日,第16届国际会议,FORMATS 2018,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11022, 145-161 (2018).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Jensen}等人,Lect。注释计算。科学。11022、145--161(2018;Zbl 1514.68172) 全文: 内政部
米克尔·汉森;金·古德斯特兰·拉森;拉杜·马达尔;马蒂亚斯·拉加德·佩德森 关于加权转移系统中边界的推理。 (英语) 兹比尔1528.68253 日志。方法计算。科学。 14,第4号,第19号论文,32页(2018年).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hansen}等人,《日志》。方法计算。科学。14,第4号,第19号论文,32页(2018;Zbl 1528.68253) 全文: 内政部 arXiv公司
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 马尔可夫链上双相似距离的完整定量推导系统。 (英语) Zbl 1409.68182号 日志。方法计算。科学。 14,第4号,第15号论文,29页(2018年).MSC公司:68问题85 03B70号 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,日志。方法计算。科学。14,第4号,第15号论文,29页(2018;Zbl 1409.68182) 全文: 内政部 arXiv公司
Larsen,Kim G。(编辑);伊戈尔·波塔波夫(编辑);吉·斯尔巴(编辑) 前言。可达性问题:特殊问题。 (英语) 兹比尔1405.00053 西奥。计算。科学。 750,第1页(2018年).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}(编辑)等人,Theor。计算。科学。750,1页(2018;Zbl 1405.00053) 全文: 内政部
Larsen,Kim G。;拉杜·马达尔;薛冰田 递归加权逻辑的可判定性。 (英语) Zbl 1522.03054号 软计算。 22,第4期,1085-1102(2018).MSC公司:03B45号 03B70号 03B25号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,《软计算》。22,第4号,1085--1102(2018;Zbl 1522.03054) 全文: 内政部
曼弗雷德·德罗斯特(编辑);Larsen,Kim G。(编辑) 前言:纪念佐尔坦·埃西克(1951-2016)。 (英语) 兹比尔1398.00094 软计算。 22,第4号,1033(2018).MSC公司:00B25型 68-06 第68季度第45季度 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}(编辑)和\textit{K.G.Larsen}(主编),软计算。22,第4号,1033(2018;Zbl 1398.00094) 全文: 内政部
安德烈亚斯·达尔斯加德(Andreas E.Dalsgaard)。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;Jensen,Peter G。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen,Kim G。;尼尔森,Søren M。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 扩展依赖图的分布式定点算法。 (英语) Zbl 1396.68070号 芬丹。通知。 161,编号4,351-381(2018).MSC公司:60年第68季度 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Dalsgaard}等人,Fundam。通知。161、4号、351--381(2018;Zbl 1396.68070) 全文: 内政部
乔瓦尼·巴奇;乔治·巴奇;Larsen,Kim G。;拉杜·马达尔 基于度量的马尔可夫链近似最小化。 (英语) Zbl 1400.68098号 J.日志。阿尔盖布。方法计划。 100, 36-56 (2018).MSC公司:第68季度第45季度 60J10型 2017年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,J.日志。阿尔盖布。方法计划。100,36-56(2018;Zbl 1400.68098) 全文: 内政部 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季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,in:模型检查手册。查姆:斯普林格。1001--1046(2018;Zbl 1392.68235) 全文: 内政部 哈尔
马蒂亚斯·佩德森。;纳塔娜·菲亚尔科夫;乔治·巴奇;Larsen,Kim G。;拉杜·马达尔 半马尔可夫过程的时间比较。 (英语) Zbl 1504.68112号 Klein,Shmuel Tomi(编辑)等人,《语言和自动机理论与应用》。2018年4月9日至11日,第12届国际会议,LATA 2018,以色列拉马特甘。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10792, 271-283 (2018).MSC公司:第68季度第45季度 60 K15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Pedersen}等人,Lect。注释计算。科学。10792、271--283(2018年;Zbl 1504.68112) 全文: 内政部 arXiv公司
帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;Larsen,Kim G。;西蒙·劳尔森 平均能量游戏。 (英语) 兹比尔1390.68115 学报信息。 55,编号2,91-127(2018).MSC公司:68平方米 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《学报》第55期,第2期,第91-127页(2018年;Zbl 1390.68115) 全文: 内政部 哈尔
罗伯特·福伯;德克斯特·科赞;金·拉森;拉杜·马达尔;帕南加登,普拉卡什 Markov过程的无限制Stone对偶。 (英语) Zbl 1452.06009号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第92条,第9页(2017年)。MSC公司:06E25年 03B45号 03B48号 03G25 60J99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Furber}等人,摘自:2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2017,雷克雅未克大学,冰岛雷克雅维克,2017年6月20-23日。新泽西州皮斯卡塔韦:IEEE出版社。第92条,第9页(2017;Zbl 1452.06009) 全文: 链接
乔瓦尼·巴奇;乔治·巴奇;Larsen,Kim G。;拉杜·马达尔 基于度量的马尔可夫链近似最小化。 (英语) Zbl 1442.68079号 Chatzigianakis,Ioannis(编辑)等人,第44届自动化、语言和编程国际研讨会,2017年ICALP,波兰华沙,2017年7月10日至14日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80,第104条,第14页(2017年)。MSC公司:第68季度第45季度 60J10型 2017年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,LIPIcs——莱布尼茨国际期刊。通知。80,第104条,第14页(2017年;Zbl 1442.68079) 全文: 内政部
金·拉森;多龙·贝利德;肖恩·塞德瓦兹 随机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)。MSC公司:60年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{K.Larsen}等人,Lect。注释计算。科学。10712,152--169(2017;Zbl 1403.68128) 全文: 内政部
Larsen,Kim G。(编辑);奥列格·索科尔斯基(编辑);王,季(编辑) 可靠的软件工程。理论、工具和应用。第三届国际研讨会,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).MSC公司:68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}(编辑)等人,《可靠的软件工程。理论、工具和应用》。第三届国际研讨会,2017年10月23日至25日,中国长沙,SETTA 2017。诉讼程序。查姆:施普林格(2017;Zbl 1398.68033) 全文: 内政部
安德烈亚斯·达尔斯加德(Andreas E.Dalsgaard)。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen,Kim G。;尼尔森,Søren M。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 扩展依赖关系图和高效的分布式定点计算。 (英语) 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)。MSC公司:60年第68季度 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Dalsgaard}等人,莱克特。注释计算。科学。10258、139--158(2017;Zbl 1393.68098) 全文: 内政部
Larsen,Kim G。;斯特凡·施密德;薛冰田 WNetKAT:一种加权SDN编程和验证语言。 (英语) Zbl 1432.68052号 Fatourou,Panagiota(编辑)等人,第20届分布式系统原理国际会议(OPODIS 2016),西班牙马德里,2016年12月13-16日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70,第18条,第18页。(2017).MSC公司:68甲15 68M10个 68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,LIPIcs——莱布尼茨国际期刊。通知。70,第18条,第18页(2017;Zbl 1432.68052) 全文: 内政部 arXiv公司
Larsen,Kim G。(编辑);Bodlaender,Hans L。(编辑);Jean-François拉斯金(编辑) 第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年)。MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}(ed.)等人,第42届计算机科学数学基础国际研讨会,MFCS 2017,8月21日至25日,丹麦奥尔堡。Wadern:Schloss Dagstuhl--Leibniz Zentrum für Informatik(2017;Zbl 1376.68011) 全文: 内政部 链接
弗兰克·卡塞兹;彼得·格约尔·詹森;金·古德斯特兰·拉森 实时程序跟踪抽象的改进。 (英语) Zbl 1478.68052号 Hague,Matthew(编辑)等人,《可达性问题》。2017年9月7日至9日在英国伦敦举行的2017年RP第11届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10506, 42-58 (2017).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人,Lect。注释计算。科学。10506,42-58(2017;Zbl 1478.68052) 全文: 内政部
安德斯·马里加德;金·古德斯特兰·拉森 模型检查的符号依赖关系图。 (英语) Zbl 1494.68170号 阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10419, 153-169 (2017).MSC公司:60年第68季度 03B44号 87年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Mariegaard}和\textit{K.G.Larsen},莱克特。注释计算。科学。10419、153--169(2017年;Zbl 1494.68170) 全文: 内政部
彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 PTrie:通过前缀共享压缩和存储集合的数据结构。 (英语) Zbl 1444.68063号 Hung,Dang Van(编辑)等人,《计算的理论方面——2017年ICTAC》。第十四届国际学术讨论会,越南河内,2017年10月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10580, 248-265 (2017).MSC公司:68第05页 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。10580、248--265(2017;Zbl 1444.68063) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 实时计算双相似距离。 (英语) Zbl 1398.68375号 日志。方法计算。科学。 13,第2号,第13号论文,25页(2017年).MSC公司:87年第68季度 60J27型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,日志。方法计算。科学。13,第2号,第13号论文,25页(2017;Zbl 1398.68375) 全文: 内政部 arXiv公司
米克尔·汉森;金·古德斯特兰·拉森;拉杜·马达尔;马蒂亚斯·拉加德·佩德森;薛冰田 加权过渡系统的完全近似理论。 (英语) 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格式引用 \textit{M.Hansen}等人,Lect。注释计算。科学。9984213--228(2016;Zbl 1393.68116) 全文: 内政部 链接
安德烈亚斯·恩格尔布雷特·达尔斯加德;瑟伦·埃内沃德森;金·古德斯特兰·拉森;吉·斯尔巴 依赖图上不动点的分布式计算。 (英语) 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)。MSC公司:60年第68季度 68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Dalsgaard}等人,莱克特。注释计算。科学。9984197--212(2016;Zbl 1393.68099) 全文: 内政部
西里尔·杰古尔;Larsen,Kim G。;Legay、Axel;马吕斯·米库奇奥尼斯;丹尼·鲍尔森;肖恩·塞德瓦兹 随机时间自动机的重要性抽样。 (英语) 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)。MSC公司:第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Jegurel}等人,莱克特。注释计算。科学。9984163--178(2016年;Zbl 1393.68094) 全文: 内政部 链接
Larsen,Kim G。;拉杜·马达尔;薛冰田 概率演算:可判定性和完全公理化。 (英语) Zbl 1434.03072号 Lal,Akash(ed.)等人,第36届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2016),印度钦奈,2016年12月13-15日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。65,第25条,第18页。(2016).MSC公司:03B45号 03B25号 03B48号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,LIPIcs——莱布尼茨国际期刊。通知。65,第25条,第18页(2016;Zbl 1434.03072) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 马尔可夫链上双相似距离的完全公理化。 (英语) 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年)。MSC公司:68问题85 03B70号 60J10型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,LIPIcs——莱布尼茨国际程序。通知。59,第21条,第14页(2016年;Zbl 1392.68282) 全文: 内政部
张正奎;布莱恩·尼尔森;Larsen,Kim G。 时间最优可达性分析的分布式算法。 (英语) 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格式引用 \textit{Z.Zhang}等人,Lect。注释计算。科学。9884,157--173(2016;Zbl 1433.68599) 全文: 内政部
奥尔加·加迪亚茨卡亚;汉森、雷内·里多夫;金·古德斯特兰·拉森;Legay、Axel;Mads Chr.奥列森。;丹尼·鲍尔森 使用时间自动机建模攻击防御树。 (英语) Zbl 1433.68251号 Fränzle,Martin(编辑)等人,《定时系统的形式化建模和分析》。第14届国际会议,FORMATS 2016,加拿大魁北克,QC,2016年8月24日至26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9884, 35-50 (2016).MSC公司:68问题85 68平方米25 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Gadyatskaya}等人,Lect。注释计算。科学。9884,35-50(2016;Zbl 1433.68251) 全文: 内政部 哈尔
毛,华;陈英科;曼弗雷德·杰格;托马斯·尼尔森。;Larsen,Kim G。;布莱恩·尼尔森 从模型检查的角度学习确定性概率自动机。 (英语) Zbl 1454.68061号 机器。学习。 105,第2期,255-299(2016).MSC公司:68问题32 03B44号 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Mao}等人,马赫。学习。105,第2号,255--299(2016;Zbl 1454.68061) 全文: 内政部
丹尼尔·格布勒;Larsen,Kim G。;蒂妮,西蒙 基于概率过程计算的组合互模拟度量推理。 (英语) Zbl 1398.68365号 日志。方法计算。科学。 12,第4号,第12号论文,38页(2016).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gebler}等人,《日志》。方法计算。科学。12,第4号,第12号论文,38页(2016;Zbl 1398.68365) 全文: 内政部
金·古德斯特兰·拉森(编辑);伊戈尔·波塔波夫(编辑);吉·斯尔巴(编辑) 可达性问题。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).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}(编辑)等人,《可达性问题》。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。查姆:斯普林格(2016;Zbl 1371.68012) 全文: 内政部
彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 基于离散化的时弧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)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。9641、129--146(2016年;Zbl 1354.68196) 全文: 内政部
Mads Christian奥列森;汉森、雷内·里多夫;金·古德斯特兰·拉森 一种基于自动机的跟踪分区抽象解释的方法。 (英语) Zbl 1474.68059号 Probst,Christian W.(编辑)等人,《语义学、逻辑学和微积分》。在汉内·里斯·尼尔森和弗莱明·尼尔森60岁生日之际,为他们撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。9560, 88-110 (2016).MSC公司:68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Olesen}等人,Lect。注释计算。科学。9560、88-110(2016年;Zbl 1474.68059) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;Larsen,Kim G。;西蒙·劳尔森 平均能量游戏。 (英语) Zbl 1476.68024号 Esparza,Javier(编辑)等人,《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2015,热那亚,意大利,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193,1-15(2015)。MSC公司:68平方米 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《电子》。程序。西奥。计算。科学。(EPTCS)193,1--15(2015;Zbl 1476.68024) 全文: 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格式引用 \textit{P.Christoffersen}等人,OASIcs-OpenAccess系列。通知。44、77-90(2015年;Zbl 1429.68140) 全文: 内政部
简·克雷汀斯基;金·古德斯特兰·拉森;西蒙·劳尔森;吉里·斯尔巴 部分可观测条件下加权同步的多项式时间可判定性。 (英语) 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)。MSC公司:第68季度第45季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Kretinsky}等人,LIPIcs——莱布尼茨国际程序。通知。42、142--154(2015年;Zbl 1374.68260) 全文: 内政部
Larsen,Kim G。;拉杜·马达尔;薛冰田 无交替加权微积分:可判定性和完备性。 (英语) Zbl 1351.68164号 Ghica,Dan(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319289-313,仅电子版(2015)。MSC公司:60年第68季度 03B45号 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,电子。理论注释。计算。科学。319289-313(2015;Zbl 1351.68164) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 在马尔可夫链上从分支收敛到线性度量。 (英语) Zbl 1407.68277号 Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9399, 349-367 (2015).MSC公司:60年第68季度 03B44号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。9399,349--367(2015;Zbl 1407.68277) 全文: 内政部 链接
金·古德斯特兰·拉森;拉杜·马达尔;薛冰田 递归加权逻辑的决定性和表达性。 (英语) Zbl 1434.68330号 Voronkov,Andrei(编辑)等人,《系统信息学的观点》。2014年6月24日至27日,俄罗斯圣彼得堡,第九届国际Ershov信息学会议,PSI 2014。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。8974, 216-231 (2015).MSC公司:68问题85 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。8974,216--231(2015;Zbl 1434.68330) 全文: 内政部
Larsen,Kim G。;拉杜·马达尔;薛冰田 并发加权逻辑。 (英语) Zbl 1330.68210号 J.日志。阿尔盖布。方法计划。 84,第6期,884-897(2015).MSC公司:68问题85 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,J.Log。阿尔盖布。方法计划。84,第6号,884--897(2015;Zbl 1330.68210) 全文: 内政部
金·古德斯特兰·拉森;马吕斯·米库奇奥尼斯;雅各布·哈哈尔·塔安克维斯特 安全且最佳的自适应巡航控制。 (英语) Zbl 1444.68183号 Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9360, 260-277 (2015).MSC公司:68T27型 60年第68季度 90B20型 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。9360260-277(2015年;Zbl 1444.68183) 全文: 内政部
尼古拉·贝内什;彼得·贝兹德克;Larsen,Kim G。;吉·斯尔巴 连续时间参数时间自动机的语言空虚性。 (英语) Zbl 1440.68150号 Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 69-81 (2015).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Lect。注释计算。科学。9135,69-81(2015年;兹比尔1440.68150) 全文: 内政部 arXiv公司
丹尼尔·格布勒;金·古德斯特兰·拉森;蒂妮,西蒙 基于概率过程计算的组合度量推理。 (英语) Zbl 1459.68143号 Andrew Pitts(编辑),《软件科学和计算结构基础》。2015年4月11日至18日,作为欧洲软件理论和实践联席会议的一部分,第18届国际会议,FOSSACS 2015,在英国伦敦举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9034, 230-245 (2015).MSC公司:68问题85 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gebler}等人,Lect。注释计算。科学。9034,230-245(2015;Zbl 1459.68143) 全文: 内政部 arXiv公司
乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 关于半马尔可夫链的总变差距离。 (英语) Zbl 1459.68116号 Andrew Pitts(编辑),《软件科学和计算结构基础》。2015年4月11日至18日,作为欧洲软件理论和实践联席会议的一部分,第18届国际会议,FOSSACS 2015,在英国伦敦举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9034, 185-199 (2015).MSC公司:60年第68季度 60年28日 第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。9034185-199(2015年;Zbl 1459.68116) 全文: 内政部 链接
尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;米凯尔·H·默勒。;所罗门·西克特;吉·斯尔巴 参数模态转换系统的精化检查。 (英语) Zbl 1309.68130号 学报信息。 52,编号2-3,269-297(2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Acta Inf.52,No.2--3,269--297(2015;Zbl 1309.68130) 全文: 内政部 链接
迪帕克D’Souza(编辑);阿卡什·拉尔(编辑);金·古德斯特兰·拉森(编辑) 验证、模型检查和抽象解释。2015年1月12日至14日在印度孟买举行的第16届国际会议,VMCAI 2015。诉讼程序。 (英语) Zbl 1303.68013号 计算机科学课堂讲稿8931.柏林:施普林格出版社(ISBN 978-3-662-46080-1/pbk)。十八、467页。(2015).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.D’Souza}(编辑)等人,《验证、模型检查和抽象解释》。2015年1月12-14日在印度孟买举行的第16届国际会议,VMCAI 2015。诉讼程序。柏林:施普林格出版社(2015;Zbl 1303.68013) 全文: 内政部
劳伦特·多恩;Juhl,线路;Larsen,Kim G。;尼古拉斯·马基;马赫萨·希尔穆罕默德 同步加权和定时自动机的单词。 (英语) 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)。MSC公司:第68季度第45季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人,LIPIcs——莱布尼茨国际程序。通知。29121-132(2014年;Zbl 1360.68552) 全文: 内政部
萨米·贾齐里;Larsen,Kim G。;拉杜·马达尔;薛冰田 时间模态逻辑的充分性和完全公理化。 (英语) Zbl 1337.03028号 Jacobs,Bart(编辑)等人,《第30届编程语义数学基础会议论文集》(MFPS XXX),美国纽约州伊萨卡,2014年6月12日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记308183-210,仅电子版(2014)。MSC公司:03B45号 03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Jaziri}等人,《电子》。理论注释。计算。科学。308183-210(2014年;Zbl 1337.03028) 全文: 内政部
亚历山大·戴维;Jensen,Peter G。;金·古德斯特兰·拉森;Legay、Axel;青柠,迪迪埃;瑟伦森,马蒂亚斯·格兰德;雅各布·H·塔安克维斯特。 以最低的预期成本按时完成! (英语) Zbl 1448.68294号 Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8837, 129-145 (2014).MSC公司:60年第68季度 第68季度第45季度 68T05型 90B35型 90立方厘米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人,Lect。注释计算。科学。8837、129--145(2014年;Zbl 1448.68294) 全文: 内政部
亚历山大·戴维;方慧星;金·古德斯特兰·拉森;张正奎 计时游戏策略的验证和性能评估。 (英语) 兹比尔1448.68293 Legay,Axel(编辑)等人,《定时系统的形式化建模和分析》。第十二届国际会议,FORMATS 2014,意大利佛罗伦萨,2014年9月8-10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8711, 100-114 (2014).MSC公司:60年第68季度 第68季度第45季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人,Lect。注释计算。科学。8711、100-114(2014年;Zbl 1448.68293) 全文: 内政部
金·古德斯特兰·拉森;拉杜·马达尔;薛冰田 加权转移系统的可判定递归逻辑。 (英语) Zbl 1432.68310号 Ciobanu,Gabriel(编辑)等人,《计算的理论方面——ICTAC 2014》。第十一届国际学术讨论会,罗马尼亚布加勒斯特,2014年9月17日至19日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8687, 460-476 (2014).MSC公司:68问题85 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。8687460-476(2014年;Zbl 1432.68310) 全文: 内政部
金·古德斯特兰·拉森;西蒙·劳尔森;吉·斯尔巴 部分可观测性下的同步策略。 (英语) Zbl 1417.68129号 Baldan,Paolo(编辑)等人,CONCUR 2014–并发理论。第25届国际会议,CONCUR 2014,罗马,意大利,2014年9月2-5日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8704, 188-202 (2014).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Guldstrand Larsen}等人,Lect。注释计算。科学。8704、188--202(2014;Zbl 1417.68129) 全文: 内政部 链接
贝诺·德拉哈耶;乌里法伦伯格;Larsen,Kim G。;Legay、Axel 概率自动机的精化和差异。 (英语) Zbl 1338.68144号 日志。方法计算。科学。 10,第3号,第11号论文,32页(2014).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,日志。方法计算。科学。10,第3号,第11号论文,32页(2014;Zbl 1338.68144) 全文: 内政部
Larsen,Kim G。;拉杜·马达尔 加权模态逻辑的完整证明系统。 (英语) Zbl 1317.68120号 西奥。计算。科学。 546, 164-175 (2014). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Mardare},Theor。计算。科学。546164--175(2014年;Zbl 1317.68120) 全文: 内政部
乌里法伦伯格;金·古德斯特兰·拉森;Legay、Axel;路易斯·马里·特劳努埃兹 模态转换系统的参数和定量扩展。 (英语) Zbl 1416.68121号 Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统视角。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8415, 84-97 (2014).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。8415、84-97(2014年;Zbl 1416.68121) 全文: 内政部
彼得·布利切夫;亚历山大·戴维;Larsen,Kim G。;李广元 一个\(\mathrm片段的有效控制器综合{MTL}_{0,\infty}\)。 (英语) Zbl 1360.68578号 学报信息。 51,第3-4号,165-192(2014).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人,《信息学报》第51期,第3-4165-192号(2014年;Zbl 1360.68578) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 任意可测空间上Markov过程的互模拟。 (英语) Zbl 1407.68327号 van Breugel,Franck(编辑)等人,《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8464, 76-95 (2014).MSC公司:68问题85 18B99型 60J25型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。8464,76-95(2014;Zbl 1407.68327) 全文: 内政部
贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 (英语) Zbl 1283.68193号 J.日志。阿尔盖布。程序。 83,第1期,第1-19页(2014年).MSC公司:第68季度第45季度 03B45号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,J.Log。阿尔盖布。程序。83,第1号,第1-19号(2014;Zbl 1283.68193) 全文: 内政部
Larsen,Kim G。;Legay、Axel;路易斯·马里·特劳努埃兹;安德烈·索夫斯基 实时系统的鲁棒综合。 (英语) Zbl 1311.68088号 西奥。计算。科学。 515, 96-122 (2014).MSC公司:60年第68季度 第68季度第45季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Theor。计算。科学。515、96-122(2014年;Zbl 1311.68088) 全文: 内政部
德克斯特·科赞;Larsen,Kim G。;拉杜·马达尔;帕南加登,普拉卡什 马尔可夫过程的Stone对偶。 (英语) Zbl 1433.06006号 2013年第28届ACM/IEEE年度计算机科学逻辑研讨会论文集,LICS 2013,美国洛杉矶新奥尔良杜兰大学,2013年6月25-28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。321-330 (2013).MSC公司:06E25年 03B45号 03B48号 03G25 60J99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}等人,in:2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学,2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2013。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。321-330(2013;Zbl 1433.06006) 全文: 内政部