托比亚斯·温克勒;克里斯蒂娜·格南;Joost-Pieter卡托恩 递归概率程序的模型检查时间属性。 (英语) 兹比尔07788996 日志。方法计算。科学。 19,第4号,第24号论文,30页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Winkler}等人,日志。方法计算。科学。19,第4号,第24号论文,30页(2023;Zbl 07788996) 全文: 内政部 arXiv公司
托比亚斯·温克勒;克里斯蒂娜·格南;Joost-Pieter卡托恩 递归概率程序的模型检查时间属性。 (英语) Zbl 07793042号 Patricia Bouyer等人,《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分,于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13242, 449-469 (2022).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Winkler}等人,Lect。注释计算。科学。13242、449--469(2022;Zbl 07793042) 全文: 内政部 arXiv公司
安德烈亚斯·洛赫比勒 可数网络最大流最小割定理的机械化证明及其在概率论中的应用。 (英语) Zbl 1512.05165号 J.汽车。推理 66,第4期,585-610(2022年).MSC公司:05C21号 05C63号 60欧元 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lochbihler},J.奥托姆。推理66,No.4,585--610(2022;Zbl 1512.05165) 全文: 内政部
叶康峰;西蒙·福斯特;吉姆·伍德科克 带有定理证明的概率序列程序的自动推理。 (英语) Zbl 07670535号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13027, 465-482 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.Ye}等人,Lect。注释计算。科学。13027465--482(2021;Zbl 07670535) 全文: 内政部
努里亚·布雷德;尼古拉·博塔 关于一元反向归纳法的正确性。 (英语) Zbl 1522.68120号 J.功能。程序。 31,论文编号e26,39 p.(2021).MSC公司:68甲18 18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit{N.Brede}和\textit{N.Botta},J.Funct。程序。31,论文编号e26,39 p.(2021;Zbl 1522.68120) 全文: 内政部 arXiv公司
巴加夫·什夫库马尔;杰弗里·墨菲;卢卡斯·齐亚雷克 实时MLton:实时功能程序的标准ML运行时。 (英语) Zbl 1522.68129号 J.功能。程序。 31,论文编号e19,51 p.(2021).MSC公司:68甲18 68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Shivkumar}等人,J.Funct。程序。31,论文编号e19,51 p.(2021;Zbl 1522.68129) 全文: 内政部
曼纽尔·埃贝尔;Max W·哈斯贝克。;托比亚斯·尼普科 随机二叉树结构的验证分析。 (英语) Zbl 1468.68289号 J.汽车。推理 64,第5号,879-910(2020).MSC公司:68伏15 68第05页 68页第10页 68瓦20 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.Eberl}等人,J.Autom。推理64,No.5,879--910(2020;Zbl 1468.68289) 全文: 内政部
David A.Basin。;安德烈亚斯·洛赫比勒;塞菲加·雷扎 CryptHOL:高阶逻辑中基于游戏的证明。 (英语) Zbl 1455.94121号 J.密码学 33,第2期,494-566(2020年).MSC公司:94A60型 94A62型 68伏15 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Basin}等人,《密码学杂志》33,第2期,494--566(2020;Zbl 1455.94121) 全文: 内政部
约翰·Hölzl Isabelle/HOL中的马尔可夫链和马尔可夫决策过程。 (英语) Zbl 1425.68375号 J.汽车。推理 59,第3号,345-387(2017).MSC公司:68吨15 60J10型 60年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{J.Hölzl},J.Autom。推理59,No.3,345--387(2017;Zbl 1425.68375) 全文: 内政部
方丹,阿利克斯;阿克卡·泽马里 证明了一些随机分布式算法的不可能性结果和Coq分析。 (英语) Zbl 1482.68282号 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9965, 69-81 (2016).MSC公司:68瓦40 68伏15 68V20型 68宽15 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{A.Fontaine}和\textit{A.Zemmari},莱克特。注释计算。科学。9965,69-81(2016;Zbl 1482.68282) 全文: 内政部
约翰·Hölzl 形式化概率程序预期运行时间的语义。 (英语) Zbl 1478.68138号 Blanchette,Jasmin Christian(编辑)等人,交互定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9807, 475-482 (2016).MSC公司:第68季度55 03B70号 68号30 第68季度87 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hölzl},莱克特。注释计算。科学。9807475--482(2016年;Zbl 1478.68138) 全文: 内政部
巴特·雅各布斯;乔里克·曼德梅克;罗伯特·福伯 量子基础中的期望单子。 (英语) Zbl 1350.68178号 Inf.计算。 250, 87-114 (2016).MSC公司:第68季度55 18B30型 18立方厘米20 18立方厘米50 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}等人,《信息计算》。250、87-114(2016;Zbl 1350.68178) 全文: 内政部 arXiv公司
安德烈亚斯·洛赫比勒 高阶逻辑中的概率函数和密码预言。 (英语) Zbl 1335.68033号 Peter Thiemann(编辑),《编程语言和系统》。2016年4月2日至8日,作为欧洲软件理论与实践联合会议的一部分,在荷兰埃因霍温举行了第25届欧洲编程研讨会,即2016年ESOP。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-49497-4/pbk;978-3-662-49498-1/电子书)。计算机科学讲座笔记9632,503-531(2016)。MSC公司:68甲18 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lochbihler},莱克特。注释计算。科学。9632503--531(2016;Zbl 1335.68033) 全文: 内政部
罗伯特·兰德;史蒂夫·兹丹切维奇 VPHL:概率程序的验证部分正确性逻辑。 (英语) Zbl 1351.68080号 Dan Ghica(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319,351-367,仅电子版(2015)。MSC公司:68号30 03B70号 68甲19 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{R.Rand}和\textit{S.Zdancewic},电子。注释Theor。计算。科学。319351-367(2015;Zbl 1351.68080) 全文: 内政部
梅萨·埃卢克;奥斯曼·哈桑;索菲涅·塔哈尔;穆罕默德·阿比德 无线传感器网络检测特性的形式化概率分析。 (英语) Zbl 1328.68037号 正式Asp。计算。 27,第1期,79-102(2015).MSC公司:68平方米 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Elluch}等人,正式Asp。计算。27,No.1,79--102(2015;Zbl 1328.68037) 全文: 内政部
约翰·Hölzl;安德烈亚斯·洛赫比勒;德米特里·特拉泰尔 概率系统类型的形式化层次结构。珍珠校样。 (英语) Zbl 1465.68199号 Urban,Christian(ed.)等人,《交互式定理证明》。第六届国际会议,2015年ITP,中国南京,2015年8月24日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9236, 203-220 (2015).MSC公司:第68季度87 68问题65 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hölzl}等人,Lect。注释计算。科学。9236203-220(2015;Zbl 1465.68199) 全文: 内政部
雷纳尔德·阿弗尔德;马纳布哈吉瓦拉;乔纳斯·塞尼泽格斯 香农定理的形式化。 (英语) Zbl 1315.68216号 J.汽车。推理 53,第1期,63-103(2014).MSC公司:68吨15 94甲17 94A24型 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人,J.Autom。推理53,第1号,63-103(2014年;Zbl 1315.68216) 全文: 内政部
安德烈·波佩斯库;约翰·Hölzl;托比亚斯·尼普科 形式化概率不干涉。 (英语) Zbl 1426.68287号 Gonthier,Georges(编辑)等人,《认证程序和证明》。第三届国际会议,2013年CPP,澳大利亚维多利亚州墨尔本,2013年12月11-13日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8307, 259-275 (2013).MSC公司:68V20型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Popescu}等人,Lect。注释计算。科学。8307259--275(2013;Zbl 1426.68287) 全文: 内政部 链接
皮埃尔·科尔比诺;马蒂尔德·杜克洛;亚辛·拉赫内奇 计算模型中加密协议的认证安全证明:入侵恢复的应用。 (英语) Zbl 1350.68229号 Jouannaud,Jean-Pierre(编辑)等人,《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-25378-2/pbk)。计算机科学讲义7086378-393(2011)。MSC公司:68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Corbineau}等人,Lect。注释计算。科学。7086,378--393(2011;Zbl 1350.68229) 全文: 内政部
吉尔·巴特;本杰明·格雷戈里;亚辛·拉赫内奇;圣地亚哥Zanella Béguelin OAEP的可证明安全性以外的可验证IND-CCA安全性。 (英语) Zbl 1284.94052号 Kiayias,Aggelos(编辑),密码学主题–CT-RSA 2011。2011年2月14日至18日,美国加利福尼亚州旧金山举行的2011年RSA大会上,密码学家们的足迹。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19073-5/pbk)。计算机科学课堂讲稿6558180-196(2011)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,Lect。注释计算。科学。6558、180-196(2011年;Zbl 1284.94052) 全文: 内政部