×

找到17个文档（结果1-17）

最新的 引文 关联
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔;唐启毅;弗兰克·范·布鲁格尔

计算概率自动机的概率双相似距离。 （英语） Zbl 1509.68181号

日志。方法计算。科学。 17，第1号，第9号论文，36页（2021年）.
理学硕士：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 07649917号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第9条，第17页（2019年）。
理学硕士：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛G.Bacci｝等人，LIPIcs——莱布尼茨国际期刊。通知。140，第9条，第17页（2019年；Zbl 07649917）
全文： 内政部
马蒂亚斯·拉加德·佩德森;乔治·巴奇;金·古德斯特兰·拉森;拉杜·马达尔

半马尔可夫决策过程模拟的半度量扩展。 （英语） Zbl 1514.68192号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 339-355 (2018).
理学硕士：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).
理学硕士：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 1351.68164号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319289-313，仅电子版（2015）。
理学硕士：60年第68季度 03B45 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，《电子》。注释Theor。计算。科学。319289-313（2015；Zbl 1351.68164）
全文： 内政部
德克斯特·科赞;拉杜·马代尔;帕南加登，普拉卡什

马尔可夫过程的度量对偶定理。 （英语） Zbl 1337.68186号

Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308211-227，仅电子版（2014）。
理学硕士：68问题85 03B45 03G25号 60J25型 87年第68季度 68层37
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}等人，《电子》。注释Theor。计算。科学。308211--227（2014；Zbl 1337.68186）
全文： 内政部
萨米·贾齐里;Larsen，Kim G。;拉杜·马达尔;薛冰田

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

Jacobs，Bart（ed.）等人，第30届编程语义数学基础会议论文集（MFPS XXX），美国纽约州伊萨卡，2014年6月12-15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308183-210，仅电子版（2014）。
理学硕士：03B45 03B70号 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Jaziri}等人，《电子》。注释Theor。计算。科学。308183-210（2014年；Zbl 1337.03028）
全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马达尔

任意可测空间上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。;拉杜·马达尔

模块化马尔科夫逻辑。 （英语） 兹比尔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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

全部的 前3名

主字段

软件