戴维·巴恩斯;蒂鲍特·达迪尼尔;尼科·豪泽;卢卡斯海姆斯;韦尔塔·y·穆尼夫,乔纳森·朱利安;尼古拉斯·卡莱奇;Sr Djan Krstić;伊曼纽尔·马西卡诺;马丁·拉西克;乔舒亚·施奈德;蒂罗尔、达维特·莱吉斯;德米特里·特拉泰尔;希拉·辛格 VeriMon:正式验证的监控工具。 (英语) Zbl 07719820号 Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13572, 1-6 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,Lect。注释计算。科学。13572,1--6(2022;Zbl 07719820) 全文: 内政部
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) 全文: 内政部
戴维·巴恩斯;Cremers,卡斯;凯瑟琳·梅多斯 模型检查安全协议。 (英语) Zbl 1392.68228号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。727-762 (2018).MSC公司:60年第68季度 68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,in:模型检查手册。查姆:斯普林格。727--762(2018;Zbl 1392.68228) 全文: 内政部
戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库 用于监视实时属性的算法。 (英语) Zbl 1395.68185号 学报信息。 55,第4号,309-338(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,Acta Inf.55,No.4,309--338(2018;Zbl 1395.68185) 全文: 内政部
戴维·巴恩斯;米歇尔·凯勒;萨沙拉多米罗维奇;拉尔夫·萨西 爱丽丝和鲍勃遇到了等式理论。 (英语) 兹比尔1321.68343 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲座笔记9200,160-180(2015)。MSC公司:60年第68季度 68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,Lect。注释计算。科学。9200、160-180(2015年;Zbl 1321.68343) 全文: 内政部
戴维·巴恩斯;Hironobu Kuruma;宫崎骏;Kazuo Takaragi;沃尔夫,伯克哈特 验证签名架构:比较案例研究。 (英语) Zbl 1111.68075号 正式Asp。计算。 19,第1号,63-91(2007).MSC公司:60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,正式Asp。计算。19,第1号,63--91(2007;Zbl 1111.68075) 全文: 内政部 链接
拉斐尔·雅科西;戴维·巴恩斯;卢卡·维甘奥 安全协议分析的基于认知的语义。 (英语) Zbl 1268.94022号 Goubault-Larrecq,Jean(编辑),LACPV’2001。密码协议验证的逻辑方面。2001年7月23日,法国巴黎,第一次研讨会(CAV’01卫星研讨会)会议记录。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》55,第1期,5-24(2003)。MSC公司:94A60型 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Accorsi}等人,《电子》。理论注释。计算。科学。55,编号1,5--24(2003;Zbl 1268.94022) 全文: 内政部
阿卜杜勒瓦赫布·阿亚里;戴维·巴恩斯 演绎画面的高阶解释。 (英语) Zbl 0972.68509号 J.塞姆。计算。 第5号第31页,第487-520页(2001年).MSC公司:68甲18 03B35型 第68页第15页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Ayari}和\textit{D.Basin},J.Symb。计算。31,第5号,487--520(2001;Zbl 0972.68509) 全文: 内政部 链接
戴维·巴恩斯;塞恩·马修斯 在归纳定义上构建元理论。 (英语) Zbl 1005.03008号 Inf.计算。 162,编号1-2,80-95(2000).MSC公司:03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.盆地}和\textit{S.马修斯},Inf.计算。162,编号1--2,80-95(2000;Zbl 1005.03008) 全文: 内政部
佩妮·安德森;戴维·巴恩斯 作为派生规则的程序开发模式。 (英语) Zbl 1015.68176号 J.塞姆。计算。 30,第1期,5-36页(2000年).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{P.Anderson}和\textit{D.Basin},J.Symb。计算。30,第1号,第5--36号(2000;Zbl 1015.68176) 全文: 内政部 链接
伊娜·克拉恩;戴维·巴恩斯;阿兰·邦迪 综合和归纳的中间推理。 (英语) Zbl 0847.68104号 J.自动化。推理 16,编号1-2,113-145(1996).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{I.Kraan}等人,J.Autom。推理16,No.1--2,113--145(1996;Zbl 0847.68104) 全文: 内政部
戴维·巴恩斯;塞恩·马修斯 在归纳定义上构建元理论。 (英语) Zbl 1412.68205号 McRobbie,M.A.(编辑)等人,《自动扣除——CADE-13》。第十三届自动扣减国际会议,美国新泽西州新不伦瑞克,1996年7月/8月。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1104, 171-185 (1996).MSC公司:第68页第15页 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.盆地}和\textit{S.马修斯},莱克特。注释计算。科学。11041171-185(1996年;兹bl 1412.68205) 全文: 内政部