×

找到20个文档（结果1–20）

最新的 引文 关联
乔瓦尼·巴奇;贝诺·德拉哈耶;Larsen，Kim G。;安德斯·玛丽加德

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

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 57-77 (2022).
理学硕士：60年第68季度 60年20日 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bacci｝等人，Lect。注释计算。科学。13030，57--77（2022；Zbl 1522.68296）
全文： 内政部 哈尔
卢卡·卡德利;拉杜·格罗苏;Larsen，Kim G。;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁

不确定连续时间马尔可夫链的集总性。 （英语） 兹比尔1492.60219

阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 391-409 (2021).
理学硕士：60J25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。注释计算。科学。12846、391--409（2021；Zbl 1492.60219）
全文： 内政部 链接
乔瓦尼·巴奇;米克尔·汉森;金·古德斯特兰·拉森

具有不确定性的模型检验约束马尔可夫报酬模型。 （英语） Zbl 07817510号

Parker，David（编辑）等人，《系统的定量评估》。2019年9月10日至12日在英国格拉斯哥举行的QEST 2019第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11785, 37-51 (2019).
理学硕士：60年第68季度 60年20日 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bacci｝等人，Lect。注释计算。科学。11785，37-51（2019；Zbl 07817510）
全文： 内政部 链接
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔

马尔可夫链总变差距离的完全公理化。 （英语） Zbl 1525.68080号

Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 27-39 (2018).
理学硕士：68问题85 03B70号 60J10型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，《电子》。注释Theor。计算。科学。336、27-39（2018年；Zbl 1525.68080）
全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔

马尔可夫链上双相似距离的完整定量推导系统。 （英语） Zbl 1409.68182号

日志。方法计算。科学。 14，第4号，第15号论文，29页（2018年）.
理学硕士：68问题85 03B70号 60年20日 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，日志。方法计算。科学。14，第4号，第15号文件，第29页（2018年；Zbl 1409.68182）
全文： 内政部 arXiv公司
马蒂亚斯·佩德森。;纳塔娜·菲亚尔科夫;乔治·巴奇;Larsen，Kim G。;拉杜·马达尔

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

Klein，Shmuel Tomi（编辑）等人，《语言和自动机理论与应用》。2018年4月9日至11日，第12届国际会议，LATA 2018，以色列拉马特甘。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10792, 271-283 (2018).
理学硕士：第68季度第45季度 2015年6月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Pedersen}等人，Lect。注释计算。科学。10792、271--283（2018年；Zbl 1504.68112）
全文： 内政部 arXiv公司
罗伯特·福伯;德克斯特·科赞;金·拉森;拉杜·马达尔;帕南加登，普拉卡什

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

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第92条，第9页（2017年）。
理学硕士：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号

Chatzigiannakis，Ioannis（编辑）等人，第44届自动机、语言和编程国际学术讨论会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第104条，第14页（2017年）。
理学硕士：第68季度第45季度 60J10型 2017年第68季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bacci｝等人，LIPIcs——莱布尼茨国际期刊。通知。80，第104条，第14页（2017年；Zbl 1442.68079）
全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔

马尔可夫链上双相似距离的完全公理化。 （英语） 兹比尔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年）。
理学硕士：68问题85 03B70号 60J10型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，LIPIcs——莱布尼茨国际程序。通知。59，第21条，第14页（2016年；Zbl 1392.68282）
全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马达尔

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

Andrew Pitts（编辑），《软件科学和计算结构基础》。第18届国际会议，FOSSACS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9034, 185-199 (2015).
理学硕士：60年第68季度 60J28型 第68季度第45季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bacci｝等人，Lect。注释计算。科学。9034185-199（2015年；Zbl 1459.68116）
全文： 内政部 链接
乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马达尔

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

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：施普林格。莱克特。注释计算。科学。8464, 76-95 (2014).
理学硕士：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).
理学硕士：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）
全文： 内政部
金·古德斯特兰·拉森;拉杜·马达尔;帕南加登，普拉卡什

极限：马尔可夫过程的近似推理。 （英语） Zbl 1365.68344号

Rovan，Branislav（编辑）等人，《2012年计算机科学的数学基础》。2012年8月27日至31日，斯洛伐克布拉迪斯拉发，第37届国际研讨会，MFCS 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32588-5/pbk）。计算机科学课堂讲稿7464，681-692（2012）。
理学硕士：68问题85 60J99型 87年第68季度 68层37
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，Lect。注释计算。科学。7464、681--692（2012年；Zbl 1365.68344）
全文： 内政部
卢卡·卡德利;Larsen，Kim G。;拉杜·马达尔

模块化马尔科夫逻辑。 （英语） 兹比尔1333.68200

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756380-391（2011）。
理学硕士：87年第68季度 03B70号 60J25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。注释计算。科学。6756380-391（2011年；Zbl 1333.68200）
全文： 内政部
贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基

区间马尔可夫链的决策问题。 （英语） Zbl 1330.68109号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2011年5月26日至31日在西班牙塔拉戈纳举行的2011年拉丁美洲旅游协会第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21253-6/pbk）。计算机科学讲座笔记6638，274-285（2011）。
理学硕士：65年第68季度 60J10型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Delahaye}等人，Lect。注释计算。科学。6638，274--285（2011；Zbl 1330.68109）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件