希切姆·黛比 概率模型的调试游戏。 (英语) Zbl 1522.68308号 正式Asp。计算。 34,第2号,第7号论文,25页(2022年).MSC公司:60年第68季度 60J20型 91A15型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{H.Debbi},正式Asp。计算。34,第2号,第7号论文,25页(2022年;Zbl 1522.68308) 全文: 内政部
马里奥·格雷舍尔;拉杜·卡利内斯库;吉姆·伍德科克 RiskStructures:风险感知机器的设计代数。 (英语) Zbl 1521.93120号 正式Asp。计算。 33,编号4-5,763-802(2021).MSC公司:93C85号 91B05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gleirscher}等人,《正式Asp》。计算。33,编号4--5,763--802(2021;Zbl 1521.93120) 全文: 内政部 arXiv公司
马蒂厄·雷纳德;安托万·罗莱;伊利耶斯·法尔科内 使用游戏对计时属性进行运行时强制。 (英语) Zbl 1458.68120号 正式Asp。计算。 32,编号2-3,315-360(2020).MSC公司:60年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Renard}等人,《正式Asp》。计算。32,编号2--3,315--360(2020;Zbl 1458.68120) 全文: 内政部 哈尔
安东尼奥·布罗吉;安德烈亚·科拉迪尼;雅各布索尔达尼 估算多组件企业应用程序的成本。 (英语) Zbl 1425.68306号 正式Asp。计算。 31,4号,421-451(2019).MSC公司:68兰特 91立方厘米32 PDF格式BibTeX公司 XML格式引用 \textit{A.Brogi}等人,《正式Asp》。计算。31,第4号,421--451(2019;Zbl 1425.68306) 全文: 内政部
哈桑·哈特菲;拉尔夫·威默;布雷丁,贝蒂娜;费雷尔·菲奥里蒂,路易斯·玛丽亚;贝恩德·贝克尔;霍尔格·赫尔曼斯 随机博弈和马尔可夫自动机中的成本与时间。 (英语) Zbl 1370.68173号 正式Asp。计算。 29,第4号,629-649(2017).MSC公司:65年第68季度 68问题85 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hatefi}等人,《形式Asp》。计算。29,第4号,629--649(2017;Zbl 1370.68173) 全文: 内政部
克里希南德·查特吉;维什瓦纳斯·拉曼 假设数字合同签订的担保合成。 (英语) Zbl 1342.94068号 正式Asp。计算。 26,第4期,825-859(2014).MSC公司:94A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.Raman},正式Asp。计算。26,第4号,825--859(2014;Zbl 1342.94068) 全文: 内政部
贾亚德夫·米斯拉 基于理性利己的安全投票方案。 (英语) 兹比尔1259.91044 正式Asp。计算。 24,编号4-6,793-805(2012).MSC公司:91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra},正式Asp。计算。24、编号4--6、793--805(2012;Zbl 1259.91044) 全文: 内政部
格林·温斯克尔 确定性并发策略。 (英语) Zbl 1259.68148号 正式Asp。计算。 24,第4-6号,647-660(2012).MSC公司:68问题85 03B70号 68问题55 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Winskel},正式Asp。计算。24、编号4--6647--660(2012;Zbl 1259.68148) 全文: 内政部
埃里克·C·R·海纳。 概率观点。 (英语) Zbl 1236.68197号 正式Asp。计算。 23,第4号,391-419(2011). 审核人:Krzysztof Piasecki(波兹南) MSC公司:68T01型 87年第68季度 68N99型 91A99型 94A99型 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{E.C.R.Hehner},正式Asp。计算。23,第4号,391--419(2011;Zbl 1236.68197) 全文: 内政部
穆罕默德·萨利赫;穆拉德·德巴比 密码协议规范和验证的游戏理论框架。 (英语) Zbl 1211.68254号 正式Asp。计算。 第5号第22页,585-609页(2010年).MSC公司:60年第68季度 91A80型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Saleh}和\textit{M.Debbabi},正式Asp。计算。22,第5号,585--609(2010;Zbl 1211.68254) 全文: 内政部