博尔贾·巴勒;帕斯卡尔·古尔多;帕南加登,普拉卡什 实数加权自动机的互模拟度量和规范。 (英语) Zbl 1483.68154号 Inf.计算。 282,文章ID 104649,19 p.(2022).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Balle}等人,《信息计算》。282,文章ID 104649,19 p.(2022;Zbl 1483.68154) 全文: 内政部 arXiv公司
陈丽安;佛罗伦萨克莱尔克;帕南加登,普拉卡什 对连续时间马尔可夫过程中的行为等效性进行分类。 (英语) Zbl 07516371号 Patricia Johann(编辑),《第36届编程语义数学基础会议论文集》,MFPS XXXVI,虚拟会议,2020年6月2-6日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。352, 53-77 (2020).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Chen}等人,《电子》。注释Theor。计算。科学。352、53--77(2020;Zbl 07516371) 全文: 内政部
陈丽安;佛罗伦萨克莱尔克;帕南加登,普拉卡什 Feller-Dynkin过程的双重刺激。 (英语) Zbl 07515954号 Barbara König(编辑),第35届编程语义数学基础会议论文集,MFPS XXXV,英国伦敦,2019年6月4-7日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。347, 45-63 (2019).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Chen}等人,《电子》。注释Theor。计算。科学。347、45-63(2019年;Zbl 07515954) 全文: 内政部 arXiv公司
佛罗伦萨克莱尔克;纳塔娜·菲亚尔科夫;巴托克·克林;帕南加登,普拉卡什 概率模态逻辑的表达:一种渐进的方法。 (英语) Zbl 1422.68167号 Inf.计算。 267, 145-163 (2019).MSC公司:68问题85 03B45 03B48号 03E15年 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Clerc}等人,《信息计算》。267145-163(2019年;Zbl 1422.68167) 全文: 内政部
德克斯特·科赞;拉杜·马达尔;帕南加登,普拉卡什 马尔可夫过程的度量对偶定理。 (英语) Zbl 1337.68186号 Jacobs,Bart(编辑)等人,《第30届编程语义数学基础会议论文集》(MFPS XXX),美国纽约州伊萨卡,2014年6月12日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记308211-227,仅电子版(2014)。MSC公司:68问题85 03B45 03G25号 60J25型 87年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}等人,《电子》。注释Theor。计算。科学。308211--227(2014;Zbl 1337.68186) 全文: 内政部
菲利普·查普特;文森特·达诺斯;帕南加登,普拉卡什;戈登·普洛金 通过平均值逼近马尔可夫过程。 (英语) Zbl 1295.68167号 美国临床医学杂志 61,第1号,第5条,45页(2014年).MSC公司:68问题85 60J35型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Chaput}et al.,J.ACM 61,No.1,Article No.5,45 P.(2014;Zbl 1295.68167) 全文: 内政部 链接
何塞·德沙奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 pCTL\(^*\)的弱互模拟是合理且完整的。 (英语) 兹比尔1189.68080 Inf.计算。 208,第2期,203-219(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,《信息计算》。208,第2号,203--219(2010;Zbl 1189.68080) 全文: 内政部
菲利普·查普特;文森特·达诺斯;帕南加登,普拉卡什;戈登·普洛金 再次逼近标记马尔可夫过程! (英语) Zbl 1239.68050号 亚历山大·库兹(编辑)等人,《计算机科学中的代数和余代数》。第三届国际会议,2009年CALCO,意大利乌迪内,2009年9月7日至10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03740-5/pbk)。计算机科学课堂讲稿5728145-156(2009)。MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Chaput}等人,Lect。注释计算。科学。5728145-156(2009年;Zbl 1239.68050) 全文: 内政部 链接
文森特·达诺斯;何塞·德沙奈斯;弗朗索瓦·拉维奥莱特;帕南加登,普拉卡什 概率系统的互模拟和同余。 (英语) Zbl 1110.68083号 Inf.计算。 204,第4期,503-523(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}等人,《信息计算》。204,第4号,503--523(2006;Zbl 1110.68083) 全文: 内政部 链接
何塞·德沙奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 标记马尔可夫过程的度量。 (英语) Zbl 1068.68093号 西奥。计算。科学。 318,第3期,323-354(2004).MSC公司:68问题85 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,Theor。计算。科学。318,第323-354号(2004年;兹bl 1068.68093) 全文: 内政部
何塞·德沙奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 近似标记马尔可夫过程。 (英语) Zbl 1028.68091号 Inf.计算。 184,第1期,160-200(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,《信息计算》。184,编号1,160--200(2003;Zbl 1028.68091) 全文: 内政部
何塞·德沙奈斯;阿巴斯·埃达拉特;帕南加登,普拉卡什 标记马尔可夫过程的互模拟。 (英语) Zbl 1096.68103号 Inf.计算。 179,第2期,163-193(2002).MSC公司:68问题85 60J05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,《信息计算》。179,编号2,163--193(2002;Zbl 1096.68103) 全文: 内政部
帕南加登。 并发理论家的度量和概率。 (英语) 兹比尔0956.68058 西奥。计算。科学。 253,第2期,287-309(2001年).MSC公司:2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{P.Panangaden},Theor。计算。科学。253,第2号,287--309(2001;Zbl 0956.68058) 全文: 内政部