×

找到27份文件（结果1-27）

最新的 引文 关联
乔治·巴奇；乔瓦尼·巴奇；马蒂亚斯·克劳斯·詹森；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 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）
全文： 内政部 哈尔
乔治·巴奇；乔瓦尼·巴奇；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公司 链接
马蒂亚斯·拉加德·佩德森；乔治·巴奇；金·古德斯特兰·拉森；拉杜·马达尔

半马尔可夫决策过程模拟的半度量扩展。 （英语） Zbl 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）
全文： 内政部
乔治·巴奇；乔瓦尼·巴奇；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。；拉杜·马达尔

基于度量的马尔可夫链近似最小化。 （英语） 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季度 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，LIPIcs——莱布尼茨国际程序。通知。80，第104条，第14页（2017年；Zbl 1442.68079）
全文： 内政部
安德斯·马里加德；金·古德斯特兰·拉森

模型检查的符号依赖关系图。 （英语） 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）
全文： 内政部
西里尔·杰古尔；Larsen，Kim G。；Legay、Axel；马吕斯·米库奇奥尼斯；波尔森，丹尼·博格斯特德；肖恩·塞德瓦兹

随机时间自动机的重要性抽样。 （英语） 兹比尔1393.68094

Fränzle，Martin（编辑）等人，《可靠软件工程：理论、工具和应用》。2016年11月9日至11日，第二届国际研讨会，SETTA 2016，中国北京。诉讼程序。商会：施普林格出版社（ISBN 978-3-319-47676-6/pbk；978-3-319-47677-3/ebook）。计算机科学课堂讲稿9984163-178（2016）。
MSC公司：65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Jegurel}等人，莱克特。票据计算。科学。9984163--178（2016年；Zbl 1393.68094）
全文： 内政部 链接
乔治·巴奇；乔瓦尼·巴奇；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 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 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。票据计算。科学。9034230-245（2015年；兹bl 1459.68143）
全文： 内政部 arXiv公司
乔治·巴奇；乔瓦尼·巴奇；金·古德斯特兰·拉森；拉杜·马达尔

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

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

任意可测空间上马尔可夫过程的互模拟。 （英语） 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。；拉杜·马达尔

计算组合的行为距离。 （英语） 兹比尔1400.68144

Chatterjee，Krishnendu（编辑）等人，2013年计算机科学数学基础。2013年8月26日至30日，第38届国际研讨会，MFCS 2013，奥地利克洛斯特内堡。诉讼程序。柏林：施普林格出版社（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。；拉杜·马达尔

双相似距离的实时精确计算。 （英语） Zbl 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）
全文： 内政部
金·古德斯特兰·拉森；拉杜·马达尔；帕南加登，普拉卡什

极限：马尔可夫过程的近似推理。 （英语） 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。票据计算。科学。7464、681--692（2012年；Zbl 1365.68344）
全文： 内政部
贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基

区间马尔可夫链的一致性和精化。 （英语） Zbl 1247.68195号

J.日志。阿尔盖布。程序。 第3209-226号第81页（2012年）.
MSC公司：87年第68季度 2017年第68季度 60J10型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Delahaye}等人，J.Log。阿尔盖布。程序。81、3号、209--226（2012；Zbl 1247.68195）
全文： 内政部
亚历山大·戴维；Larsen，Kim G。；Legay、Axel；马吕斯·米库奇奥尼斯；波尔森，丹尼·博格斯特德；乔纳斯·范弗利特；王，郑

定价时间自动机网络的统计模型检验。 （英语） Zbl 1348.68130号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，80-96（2011）。
MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。票据计算。科学。6919、80-96（2011年；Zbl 1348.68130）
全文： 内政部
卢卡·卡德利；Larsen，Kim G。；拉杜·马达尔

模块化马尔科夫逻辑。 （英语） 兹比尔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）
全文： 内政部
贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基

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

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

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件