乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔;唐启毅;弗兰克·范·布鲁格尔 计算概率自动机的概率相似性距离。 (英语) Zbl 1509.68181号 日志。计算方法。科学。 17,第1号,第9号论文,36页(2021年).MSC公司:第68季度85 03B44号 65年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,日志。计算方法。科学。17,第1号,第9号论文,36页(2021;Zbl 1509.68181) 全文: arXiv公司 链接
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔;唐启毅;弗兰克·范·布鲁格尔 计算概率自动机的概率双相似距离。 (英语) 兹伯利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。;拉杜·马达尔 在马尔可夫链上从分支收敛到线性度量。 (英语) 兹比尔1407.68278 数学。结构。计算。科学。 29,第1期,3-37页(2019年).MSC公司:第68季度第60季度 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国际会议,中国北京。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11024, 339-355 (2018).MSC公司:87年第68季度 03B70号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Pedersen}等人,Lect。注释计算。科学。11024、339--355(2018;Zbl 1514.68192) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 马尔可夫链总变差距离的完全公理化。 (英语) Zbl 1525.68080号 Silva,Alexandra(编辑),第33届编程语义数学基础会议论文集(MFPS XXXII),斯洛文尼亚卢布尔雅那,2017年6月12-15日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。336,27-39(2018年)。MSC公司:第68季度85 03B70号 60J10型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,《电子》。注释Theor。计算。科学。336、27-39(2018年;Zbl 1525.68080) 全文: 内政部
马蒂亚斯·克劳斯·詹森;金·古德斯特兰·拉森;拉杜·马达尔 加权分支系统:行为等效、行为距离及其逻辑特征。 (英语) 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) 全文: 内政部
米克尔·汉森;金·古德斯特兰·拉森;拉杜·马达尔;马蒂亚斯·拉加德·佩德森 关于加权过渡系统中边界的推理。 (英语) Zbl 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。;拉杜·马达尔 马尔可夫链上双相似距离的完整定量推导系统。 (英语) 兹比尔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。;拉杜·马达尔;薛冰田 递归加权逻辑的可判定性。 (英语) Zbl 1522.03054号 软计算。 第4号第22页,1085-1102页(2018).MSC公司:03B45号 03B70号 03年2月25日 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,《软计算》。22,第4号,1085--1102(2018;Zbl 1522.03054) 全文: 内政部
乔瓦尼·巴奇;乔治·巴奇;Larsen,Kim G。;拉杜·马达尔 基于度量的马尔可夫链近似最小化。 (英语) Zbl 1400.68098号 J.日志。代数。方法计划。 100, 36-56 (2018).MSC公司:65年第68季度 60J10型 2017年第68季度 第68季度25 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,J.Log。代数。方法计划。100,36-56(2018;Zbl 1400.68098) 全文: 内政部 arXiv公司 链接
马蒂亚斯·佩德森。;纳塔娜·菲亚尔科夫;乔治·巴奇;Larsen,Kim G。;拉杜·马达尔 半马尔可夫过程的时间比较。 (英语) Zbl 1504.68112号 Klein,Shmuel Tomi(编辑)等人,《语言与自动机理论与应用》。2018年4月9日至11日,第12届国际会议,LATA 2018,以色列拉马特甘。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10792, 271-283 (2018).MSC公司:65年第68季度 60 K15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Pedersen}等人,Lect。注释计算。科学。10792、271--283(2018年;Zbl 1504.68112) 全文: 内政部 arXiv公司
罗伯特·福伯;德克斯特·科赞;金·拉森;拉杜·马达尔;帕南加登,普拉卡什 马尔可夫过程的无限制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公司:65年第68季度 60J10型 2017年第68季度 第68季度25 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,LIPIcs——莱布尼茨国际程序。通知。80,第104条,第14页(2017年;Zbl 1442.68079) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;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。注释计算。科学。99841213-228(2016年;兹比尔1393.68116) 全文: 内政部 链接
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号 03年2月25日 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年;兹bl 1392.68282) 全文: 内政部
彼得·克里斯托弗森;米克尔·汉森;安德斯·马里加德;朱利安·特里尔·林格莫斯;金·古德斯特兰·拉森;拉杜·马达尔 加权系统的参数验证。 (英语) 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公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Christoffersen}等人,OASIcs--OpenAccess服务器。通知。44、77-90(2015年;Zbl 1429.68140) 全文: 内政部
Larsen,Kim G。;拉杜·马达尔;薛冰田 无交替加权微积分:可判定性和完备性。 (英语) Zbl 1351.68164号 Dan Ghica(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319289-313,仅电子版(2015)。MSC公司:第68季度第60季度 03B45号 68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,《电子》。注释Theor。计算。科学。319289-313(2015年;兹比尔1351.68164) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 在马尔可夫链上从分支收敛到线性度量。 (英语) Zbl 1407.68277号 Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9399, 349-367 (2015).MSC公司:第68季度第60季度 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 03年2月25日 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 1459.68116号 Andrew Pitts(编辑),《软件科学和计算结构基础》。2015年4月11日至18日,作为欧洲软件理论和实践联席会议的一部分,第18届国际会议,FOSSACS 2015,在英国伦敦举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9034, 185-199 (2015).MSC公司:第68季度第60季度 60J28型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。9034185-199(2015年;Zbl 1459.68116) 全文: 内政部 链接
萨米·贾齐里;Larsen,Kim G。;拉杜·马达尔;薛冰田 时间模态逻辑的充分性和完全公理化。 (英语) 兹比尔1337.03028 Jacobs,Bart(编辑)等人,《第30届编程语义数学基础会议论文集》(MFPS XXX),美国纽约州伊萨卡,2014年6月12日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记308183-210,仅电子版(2014)。MSC公司:03B45号 03B70号 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.Jaziri}等人,《电子》。注释Theor。计算。科学。308183-210(2014年;Zbl 1337.03028) 全文: 内政部
金·古德斯特兰·拉森;拉杜·马达尔;薛冰田 加权转移系统的可判定递归逻辑。 (英语) 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) 全文: 内政部
Larsen,Kim G。;拉杜·马达尔 加权模态逻辑的完整证明系统。 (英语) Zbl 1317.68120号 西奥。计算。科学。 546, 164-175 (2014). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:第68季度第60季度 03B45号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Mardare},Theor。计算。科学。546164--175(2014年;Zbl 1317.68120) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 任意可测空间上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。;拉杜·马达尔;帕南加登,普拉卡什 马尔可夫过程的斯通对偶性。 (英语) Zbl 1433.06006号 2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。321-330 (2013).MSC公司:2005年6月 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) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 计算组合的行为距离。 (英语) Zbl 1400.68144号 Chatterjee,Krishnendu(编辑)等人,2013年计算机科学数学基础。第38届国际研讨会,2013年MFCS,2013年8月26日至30日,奥地利Klosterneuburg。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40312-5/pbk)。计算机科学课堂讲稿8087,74-85(2013)。MSC公司:87年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。8087,74-85(2013;Zbl 1400.68144) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 双相似距离的实时精确计算。 (英语) 兹比尔1381.68218 Piterman,Nir(编辑)等人,《系统构建和分析的工具和算法》。2013年3月16日至24日,第19届国际会议(TACAS 2013)在意大利罗马举行,作为欧洲软件理论与实践联合会议(ETAPS 2013)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-36741-0/pbk)。计算机科学课堂讲稿7795,1-15(2013)。MSC公司:87年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。7795,1-15(2013;Zbl 1381.68218) 全文: 内政部
拉杜·马达尔;卢卡·卡德利;Larsen,Kim G。 连续马尔科夫逻辑——公理化和量化元理论。 (英语) Zbl 1261.03088号 日志。计算方法。科学。 8,第4号,第19号论文,28页(2012年).MSC公司:03B45号 60J25型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Mardare}等人,《日志》。计算方法。科学。8,第4号,第19号论文,28页(2012;Zbl 1261.03088) 全文: 内政部 arXiv公司
金·古德斯特兰·拉森;拉杜·马达尔;帕南加登,普拉卡什 极限:马尔可夫过程的近似推理。 (英语) Zbl 1365.68344号 Rovan,Branislav(编辑)等人,《2012年计算机科学的数学基础》。2012年8月27日至31日,斯洛伐克布拉迪斯拉发,第37届国际研讨会,MFCS 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32588-5/pbk)。计算机科学课堂讲稿7464,681-692(2012)。MSC公司:第68季度85 60J99型 87年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。注释计算。科学。746468-1692(2012年;兹比尔1365.68344) 全文: 内政部
卢卡·卡德利;Larsen,Kim G。;拉杜·马达尔 连续马尔科夫逻辑——从完全公理化到公式的度量空间。 (英语) Zbl 1247.03030号 Marc Bezem(编辑),《计算机科学逻辑》(CSL’11)。2011年9月12日至15日,第25届国际研讨会,EACSL第20届年会,挪威卑尔根。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-32-3)。LIPIcs–莱布尼茨国际信息学会议录12,144-158,仅电子版(2011年)。MSC公司:03B48号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,LIPIcs——莱布尼茨国际程序。通知。12、144--158(2011;Zbl 1247.03030) 全文: 内政部 链接
卢卡·卡德利;Larsen,Kim G。;拉杜·马达尔 模块化马尔科夫逻辑。 (英语) Zbl 1333.68200号 Aceto,Luca(编辑)等人,《自动化,语言和编程》。2011年7月4日至8日,瑞士苏黎世,第38届国际学术讨论会,ICALP 2011。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学课堂讲稿6756380-391(2011)。MSC公司:87年第68季度 03B70号 60J25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Lect。注释计算。科学。6756380-391(2011年;Zbl 1333.68200) 全文: 内政部