约阿希姆·尼伦;阿瑟纳伊斯,阴道;克里斯蒂安·维萨里 通过布尔网络抽象模拟反应网络。 (英语) Zbl 1505.92077号 Petre,Ion(编辑)等人,《系统生物学中的计算方法》。第20届国际会议,CMSB 2022,罗马尼亚布加勒斯特,2022年9月14-16日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13447, 21-40 (2022).MSC公司:92立方厘米 92C40型 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}等人,Lect。注释计算。科学。13447,21-40(2022;Zbl 1505.92077) 全文: 内政部
艾尔维拉·阿尔伯特;贝尔斯·穆尼奥斯(Bellés-Muñoz),玛尔塔;米盖尔·伊莎贝尔;克拉拉·罗德里格斯·努涅斯;阿尔伯特·鲁比奥 零知识协议中的约束提取。 (英语) Zbl 1514.68081号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13371, 430-443 (2022).MSC公司:2011年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,Lect。注释计算。科学。13371430-443(2022年;Zbl 1514.68081) 全文: 内政部
伊曼纽尔·贝里尼;亚历山德罗·德·皮科利;鲁西迪·马卡里姆;波兰人,塞尔吉奥;洛伦佐·里瓦;安德烈亚·维斯康蒂 使用SAT解算器对简化的SHA-1进行图像前搜索的新记录。 (英语) Zbl 1498.94053号 Giri,Debasis(ed.)等人,《第七届数学与计算国际会议论文集》,ICMC 2021,印度Shibpur,2021年3月2日至5日。新加坡:斯普林格。高级智能。系统。计算。1412, 141-151 (2022).MSC公司:94A60型 68第25页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Bellini}等人,高级情报。系统。计算。1412、141--151(2022年;Zbl 1498.94053) 全文: 内政部
布莱特,柯蒂斯;伊利亚斯州科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 复杂的Golay对长达28:通过计算机代数和编程SAT进行搜索。 (英语) Zbl 1468.68276号 J.塞姆。计算。 102, 153-172 (2021).MSC公司:68伏05 2015年1月5日 11B83号 68兰特 68瓦30 94A55型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,J.Symb。计算。102、153--172(2021年;Zbl 1468.68276) 全文: 内政部 arXiv公司
Jean-Marie拉格尼茨;伊曼纽尔·隆卡;皮埃尔·侯爵 模型计数的定义。 (英语) Zbl 1435.68304号 Artif公司。智力。 281,文章ID 103229,32 p.(2020).MSC公司:68T20型 03B05号 68兰特 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Lagniez}等人,Artif。智力。281,文章ID 103229,32页(2020;兹bl 1435.68304) 全文: 内政部
迈克尔·巴克斯;塞巴斯蒂安·梅瑟;多米尼克·施罗德 可删除的功能签名。 (英语) Zbl 1388.94088号 Cheng,Chen Mou(编辑)等人,《公钥密码术——PKC 2016》。2016年3月6日至9日,第19届IACR公开密钥加密实践与理论国际会议,台湾台北。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-49383-0/pbk;978-3-562-49384-7/ebook)。计算机科学讲座笔记9614,357-386(2016)。MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Backes}等人,Lect。注释计算。科学。9614,357--386(2016;Zbl 1388.94088) 全文: 内政部
理查德·巴纳赫;马可·波扎诺 通过缩减来机械生成反应系统的故障树。二、。时钟和反馈电路。 (英语) Zbl 1298.68051号 正式Asp。计算。 25,第4期,609-657(2013).MSC公司:68米15 68号30 94立方厘米 94C12年 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{M.Bozzano},正式Asp。计算。25,第4号,609--657(2013;Zbl 1298.68051) 全文: 内政部
理查德·巴纳赫;马可·波扎诺 通过缩减来机械生成反应系统的故障树。I.组合电路。 (英语) Zbl 1298.68050号 正式Asp。计算。 25,第4期,573-607(2013).MSC公司:68米15 68号30 94立方厘米 94C12年 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{M.Bozzano},正式Asp。计算。25,编号4,573-607(2013年;兹bl 1298.68050) 全文: 内政部
罗向玉;苏凯乐;顾,明;吴丽君;杨金吉 草食协议中检验知识的符号模型。 (英语) Zbl 1327.68037号 范德梅登(van der Meyden)、罗恩(Ron)等,《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-20673-3/pbk)。计算机科学课堂讲稿6572。人工智能课堂讲稿,112-129(2011)。MSC公司:68个M12 第68季度第60季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{X.Luo}等人,Lect。注释计算。科学。6572112-129(2011年;Zbl 1327.68037) 全文: 内政部
普罗科普·埃夫,S.E。 使用模型检查器在通用可组合框架中对PKI协议进行建模。 (俄语。英文摘要) 兹比尔07300321 普里克尔。Diskretn公司。材料。 2009年,第1(3)号,79-92(2009).MSC公司:94-XX年 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.E.Prokop’ev},普里克尔。Diskretn公司。材料2009,第1(3)号,79-92(2009;Zbl 07300321) 全文: MNR公司