克里斯特尔·拜尔;克里斯蒂安·亨塞尔;Hutschenreiter,丽莎;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因 参数马尔可夫链:PCTL复杂性和无分数高斯消去。 (英语) 兹比尔1443.68101 Inf.计算。 272,文章ID 104504,26 p.(2020).MSC公司:60年第68季度 03B44号 60J10型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息计算》。272,文章ID 104504,26 p.(2020;Zbl 1443.68101) 全文: 内政部 arXiv公司
查克拉波蒂,苏伊莫迪普;Joost-Pieter卡托恩 关于一些简单概率逻辑的可满足性。 (英语) Zbl 1394.68169号 2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。56-65 (2016).MSC公司:65年第68季度 03B25号 03B44号 03B45号 03B48号 60J20型 2017年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chakraborty}和\textit{J.-P.Katoen},摘自:2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集,2016年LICS,美国纽约市,2016年7月5-8日。纽约州纽约市:计算机协会(ACM)。56-65(2016;Zbl 1394.68169) 全文: 内政部
Joost-Pieter卡托恩;宋磊;张丽君 可能安全或活着。 (英语) Zbl 1394.68231号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4503-2886-9)。第55号论文,第10页(2014年)。MSC公司:60年第68季度 03B44号 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,in:第二十三届EACSL计算机科学逻辑年会联席会议记录,CSL,2014年第29届ACM/IEEE计算机科学逻辑研讨会,LICS 2014,奥地利维也纳,2014年7月14-18日。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会。第55号论文,10页(2014;Zbl 1394.68231) 全文: 内政部 arXiv公司 链接
查克拉波蒂,苏伊莫迪普;Joost-Pieter卡托恩 马尔可夫链上的参数LTL。 (英语) Zbl 1417.68099号 乔塞普·迪亚兹(编辑)等人,《理论计算机科学》。2014年9月1日至3日,第八届IFIP TC 1/WG 2.2国际会议,TCS 2014,意大利罗马。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8705, 207-221 (2014).MSC公司:60年第68季度 03B44号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chakraborty}和\textit{J.-P.Katoen},莱克特。注释计算。科学。8705、207--221(2014;Zbl 1417.68099) 全文: 内政部 arXiv公司
Arpit Sharma公司;Joost-Pieter卡托恩 马尔可夫链上的加权集总性。 (英语) Zbl 1336.68186号 Clarke,Edmund(编辑)等人,《系统信息学的观点》。2011年6月27日至7月1日,俄罗斯新西伯利亚,第八届安德烈·埃尔肖夫国际纪念大会,PSI 2011。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-29708-3/pbk)。计算机科学课堂讲稿7162322-339(2012)。MSC公司:68问题85 60J28型 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Sharma}和\textit{J.-P.Katoen},莱克特。注释计算。科学。7162、322--339(2012年;Zbl 1336.68186) 全文: 内政部
克里斯特尔·拜尔;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;维雷娜·沃尔夫 马尔可夫链的互模拟和模拟关系。 (英语) Zbl 1316.68085号 Aceto,Luca(编辑)等人,《代数过程计算论文》研讨会论文集(APC 25),意大利贝蒂诺罗,2005年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记162,73-78(2006)。MSC公司:68问题85 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《电子》。注释Theor。计算。科学。162、73--78(2006年;Zbl 1316.68085) 全文: 内政部
克里斯特尔·拜尔;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;Boudewijn R.哈维尔科特。 一致连续时间Markov决策过程中时间有界可达概率的有效计算。 (英语) 兹比尔1081.90066 西奥。计算。科学。 345,第1期,2-26(2005).MSC公司:90立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Theor。计算。科学。345,第1,2--26号(2005年;兹bl 1081.90066) 全文: 内政部 链接
克里斯特尔·拜尔;Joost-Pieter卡托恩;霍尔格·赫尔曼斯;维雷娜·沃尔夫 马尔可夫链的比较分支时间语义。 (英语) Zbl 1101.68053号 Inf.计算。 200,第2期,149-214(2005).MSC公司:68问题55 2010年第68季度 60年第68季度 60J10型 60J27型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息计算》。200,第2号,149--214(2005;Zbl 1101.68053) 全文: 内政部 链接
迪诺·迪斯特法诺;Joost-Pieter卡托恩;阿伦德·伦辛克 谁在指向谁?关于链表结构的自动验证。 (英语) Zbl 1117.68427号 Lodaya,Kamal(编辑)等人,FSTTCS 2004:软件技术和理论计算机科学基础。第24届国际会议,印度钦奈,2004年12月16日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24058-6/pbk)。计算机科学课堂讲稿3328250-262(2004)。MSC公司:60年第68季度 03B44号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.Distefano}等人,Lect。注释计算。科学。3328250-262(2004;Zbl 1117.68427) 全文: 内政部
迪诺·迪斯特法诺;Joost-Pieter卡托恩;阿伦德·伦辛克 基于对象系统的时态逻辑。 (英语) Zbl 0968.68020号 Smith,Scott F.(ed.)等人,开放式基于对象的分布式系统的形式化方法IV.IFIP TC6/WG6.1。2000年9月6日至8日,第四届国际会议,FMOODS 2000,美国加利福尼亚州斯坦福市。波士顿:Kluwer学术出版社。305-325 (2000).MSC公司:68甲15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Distefano}等人,in:开放式基于对象的分布式系统的形式化方法IV.IFIP TC6/WG6。1.第四届国际会议,FMOODS 2000,斯坦福,加利福尼亚州,美国,2000年9月6-8日。波士顿:Kluwer学术出版社。305-325(2000年;兹bl 0968.68020)
克里斯特尔·拜尔;Joost-Pieter卡托恩;霍尔格·赫尔曼斯 连续时间马尔可夫链的近似符号模型检验。 (英语) Zbl 0934.03044号 Baeten,Jos C.M.(编辑)等人,CONCUR’99。并发理论。第十届国际会议,荷兰埃因霍温,1999年8月24日至27日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1664146-161(1999年)。MSC公司:03B70号 68瓦30 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。注释计算。科学。1664146-161(1999;Zbl 0934.03044)
雅各布·布鲁克利夫;Joost-Pieter卡托恩;罗恩·科曼斯;绍克·莫 广播网络中动态领导者选举协议的设计与分析。 (英语) Zbl 1448.68077号 分布式计算。 9,第4期,157-171(1996).MSC公司:64岁以下 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brunekreef}等人,《分布计算》。9,第4号,157--171(1996;Zbl 1448.68077) 全文: 内政部 链接