马尼沙卢特拉;鲍里斯·科尔德霍夫;危险,尼尔斯;帕斯卡·魏森伯格;圭多·萨尔瓦内奇;艾奥尼斯·斯塔夫拉卡基斯 TCEP:运营商位置的转变,以适应动态网络环境。 (英语) Zbl 1527.68026号 J.计算。系统。科学。 122, 94-125 (2021).MSC公司:64岁以下 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{M.Luthra}等人,《计算杂志》。系统。科学。122、94-125(2021;Zbl 1527.68026) 全文: 内政部 arXiv公司 链接
拉杜·格里戈尔;斯特凡·基弗 选择性监测。 (英语) Zbl 1477.68186号 J.计算。系统。科学。 11799-129(2021).MSC公司:87年第68季度 60J20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Grigore}和\textit{S.Kiefer},J.Compute。系统。科学。117、99——129(2021年;Zbl 1477.68186) 全文: 内政部
埃利尼·阿克里达(Eleni C.Akrida)。;乔治·默齐奥斯(George B.Mertzios)。;索蒂里斯·尼古列萨斯;拉普托普洛斯、克利斯托福罗斯;保罗·G·斯皮拉基斯。;维克托·扎马拉耶夫 在随机时间图中,我们能以多快的速度到达目标顶点? (英语) Zbl 1456.68124号 J.计算。系统。科学。 114, 65-83 (2020). 审核人:Charles J.Colbourn(坦佩) MSC公司:68兰特 65年第68季度 87年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{E.C.Akrida}等人,J.Compute。系统。科学。114、65-83(2020年;Zbl 1456.68124) 全文: 内政部 arXiv公司 链接
安德烈·库帕夫斯基;尼基塔·日沃托夫斯基 ε网什么时候小? (英语) Zbl 1435.68219号 J.计算。系统。科学。 110, 22-36 (2020).MSC公司:87年第68季度 68T05型 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{A.Kupavskii}和\textit{N.Zhivotovskiy},J.Compute。系统。科学。110、22-36(2020年;Zbl 1435.68219) 全文: 内政部 arXiv公司
贾库布·米查利辛;奥托普,简 在马尔可夫链上评估的非确定加权自动机。 (英语) Zbl 1436.68182号 J.计算。系统。科学。 108, 118-136 (2020).MSC公司:65年第68季度 60J20型 87年第68季度 68周25 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{J.Michaliszyn}和\textit{J.Otop},J.Compute。系统。科学。108、118--136(2020年;Zbl 1436.68182) 全文: 内政部 arXiv公司
劳伦特·多恩;蒂埃里·马萨特;马赫萨·希尔穆罕默德 同步马尔可夫决策过程的复杂性。 (英语) Zbl 1421.68099号 J.计算。系统。科学。 100, 96-129 (2019).MSC公司:87年第68季度 2010年第68季度 65年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人,《计算杂志》。系统。科学。100,96-129(2019年;Zbl 1421.68099) 全文: 内政部 arXiv公司
关、吉;冯、袁;英明生 量子马尔可夫链的分解及其应用。 (英语) Zbl 1391.68079号 J.计算。系统。科学。 95, 55-68 (2018).MSC公司:60年第68季度 60J10型 2012年第68季度 68问题85 87年第68季度 81第68页 81秒25 PDF格式BibTeX公司 XML格式引用 \textit{J.Guan}等人,J.Compute。系统。科学。95、55-68(2018;Zbl 1391.68079) 全文: 内政部 arXiv公司 链接
兰·卡内蒂;张玲;迪尔森·卡纳尔;摩西·利斯科夫;南希·林奇;奥利维埃·佩雷拉;罗伯特·塞加拉 任务结构的概率I/O自动机。 (英语) Zbl 1390.68382号 J.计算。系统。科学。 94, 63-97 (2018).MSC公司:65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Canetti}等人,J.Comput。系统。科学。94、63-97(2018;Zbl 1390.68382) 全文: 内政部
丹尼尔·格布勒;西蒙·蒂尼 一致连续操作员的SOS规范。 (英语) Zbl 1380.68296号 J.计算。系统。科学。 92, 113-151 (2018).MSC公司:68问题85 68问题55 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gebler}和\textit{S.Tini},J.Compute。系统。科学。92、113--151(2018年;Zbl 1380.68296) 全文: 内政部
冯、袁;张丽君 通过CTMC的近似模型检查精确确定CSL公式。 (英语) Zbl 1372.68170号 J.计算。系统。科学。 89, 361-371 (2017).MSC公司:60年第68季度 87年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}和\textit{L.Zhang},J.Compute。系统。科学。89、361--371(2017年;Zbl 1372.68170) 全文: 内政部
克里希南德·查特吉;马丁·奇梅利克;马修·特雷科尔 具有(ω)正则目标的部分可观测马尔可夫决策过程的可判定性。 (英语) Zbl 1338.68166号 J.计算。系统。科学。 82,No.5,878-911(2016).MSC公司:60年第68季度 2017年第68季度 65年第68季度 65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,J.Compute。系统。科学。82,No.5,878--911(2016;Zbl 1338.68166) 全文: 内政部 arXiv公司
乔治·巴奇;马里诺·米库兰 连续状态随机转移系统的结构操作语义。 (英语) Zbl 1327.68168号 J.计算。系统。科学。 81,5号,834-858(2015).MSC公司:68问题85 60J05型 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}和\textit{M.Miculan},J.Compute。系统。科学。81,No.5,834--858(2015;Zbl 1327.68168) 全文: 内政部
托马斯·布拉兹迪尔;斯特凡·基弗;安东·库切拉;伊万娜·胡塔·奥瓦·埃科娃 具有无界递归的概率程序的运行时分析。 (英语) Zbl 1410.68083号 J.计算。系统。科学。 81,第1期,288-310(2015).MSC公司:68号30 68甲19 2017年第68季度 2010年第68季度 65年第68季度 65年第68季度 87年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人,《计算杂志》。系统。科学。81,第1号,288--310(2015;Zbl 1410.68083) 全文: 内政部 arXiv公司
理查德·克拉洛维奇 无限与有限规模随机计算。 (英语) 兹比尔1285.68117 J.计算。系统。科学。 80,第4期,744-765(2014).MSC公司:87年第68季度 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Královič},J.Comput。系统。科学。80,第4号,744--765(2014;Zbl 1285.68117) 全文: 内政部
托马斯·布拉兹迪尔;瓦茨拉夫·布罗泽克;Forejt,Vojtěch公司;安东·库切拉 概率下推自动机的分支时间模型检验。 (英语) Zbl 1311.68084号 J.计算。系统。科学。 80,第1期,139-156(2014).MSC公司:60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人,《计算杂志》。系统。科学。80,第1号,139--156(2014;Zbl 1311.68084) 全文: 内政部
纳伊姆·阿巴斯;奥斯曼·哈桑;索菲涅·塔哈尔 使用定理证明进行寿命可靠性分析的方法。 (英语) Zbl 1277.68216号 J.计算。系统。科学。 80,第2期,323-345(2014).MSC公司:87年第68季度 68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Abbasi}等人,J.Compute。系统。科学。80,第2号,323--345(2014;Zbl 1277.68216) 全文: 内政部
米尔纳,尼尔斯;奥利弗·泰尔;马丁·范策尔 结合分解和约简对自稳定系统进行状态空间分析。 (英语) Zbl 1311.68029号 J.计算。系统。科学。 79,第7期,1113-1125(2013).MSC公司:64岁以下 60J20型 68米15 60年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Müllner}等人,《计算杂志》。系统。科学。79,编号7,1113-1125(2013;兹bl 1311.68029) 全文: 内政部
曹永志;夏丽蓉;英明生 使用单词进行计算的概率自动机。 (英语) Zbl 1261.68081号 J.计算。系统。科学。 79,编号152-172(2013).MSC公司:65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cao}等人,J.Compute。系统。科学。79,第1号,152--172(2013;Zbl 1261.68081) 全文: 内政部
文一成;阿索克·雷 概率有限状态自动机的向量空间表示。 (英语) Zbl 1244.68048号 J.计算。系统。科学。 78,第4期,1127-1141(2012).MSC公司:65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wen}和\textit{A.Ray},J.Compute。系统。科学。78,第4号,1127--1141(2012;Zbl 1244.68048) 全文: 内政部
克里斯托斯·卡波提斯;理查德·克拉洛维奇;托拜厄斯·莫克 旋转和清扫自动机的尺寸复杂性。 (英语) Zbl 1242.68146号 J.计算。系统。科学。 78,第2期,537-558(2012).MSC公司:65年第68季度 2015年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Kapostins}等人,《计算杂志》。系统。科学。78,No.2,537--558(2012;Zbl 1242.68146) 全文: 内政部
弗拉基米尔·布拉弗曼;拉斐尔·奥斯特罗夫斯基;卡洛·扎尼奥洛 滑动窗口的最佳采样。 (英语) 兹比尔1242.68081 J.计算。系统。科学。 78,第1期,260-272(2012).MSC公司:68第05页 87年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.Braverman}等人,J.Comput。系统。科学。78,第1号,260--272(2012;Zbl 1242.68081) 全文: 内政部
尼勒什·达维;关于,克里斯托弗;丹·苏秋 概率数据库的查询和物化视图。 (英语) Zbl 1215.68088号 J.计算。系统。科学。 77,第3期,473-490(2011).MSC公司:第68页,共15页 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dalvi}等人,《计算杂志》。系统。科学。77,No.3,473--490(2011;Zbl 1215.68088) 全文: 内政部
格雷戈里·古汀;金恩贞(Kim,Eun Jung);斯泽德,斯特凡;Yeo,安德斯 一种概率方法,用于处理参数高于或低于紧边界的问题。 (英语) Zbl 1209.68277号 J.计算。系统。科学。 77,第2期,422-429(2011).MSC公司:65年第68季度 05C20号 05C85号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gutin}等人,《计算杂志》。系统。科学。77,No.2,422--429(2011;Zbl 1209.68277) 全文: 内政部
杰西·坎普;阿努普·拉奥;萨利尔·瓦丹;大卫·扎克曼 小空间源的确定性提取器。 (英语) Zbl 1232.68094号 J.计算。系统。科学。 77,第1期,191-220(2011).MSC公司:87年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{J.Kamp}等人,J.Compute。系统。科学。77,第1号,191--220(2011;Zbl 1232.68094) 全文: 内政部 链接