塞耶德·阿拉什·阿齐米;阿德里安·拉内亚;马哈茂德·萨尔马西扎德;贾瓦德·莫哈杰里;阿雷夫,穆罕默德·雷扎;文森特·里曼 常数模加法的位向量微分模型及其在微分和不可能微分密码分析中的应用。 (英语) Zbl 1494.94033号 设计。代码加密 90,第8期,1797-1855(2022). 审核人:Janaka Alawatugoda(佩拉迪尼亚) MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Azimi}等人,Des。密码术90,No.8,1797--1855(2022;Zbl 1494.94033) 全文: 内政部
帕特里克·特伦丁;罗伯托·塞巴斯蒂亚尼 优化模块化有符号位向量和浮点数理论。 (英语) 兹伯利07433028 J.汽车。推理 65,第7期,1071-1096(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Trentin}和\textit{R.Sebastiani},J.Autom。推理65,No.7,1071--1096(2021;Zbl 07433028) 全文: 内政部
塞耶德·阿拉什·阿齐米;阿德里安·拉内亚;马哈茂德·萨尔马西扎德;穆罕默德·贾瓦德;穆罕默德·礼萨·阿里夫;文森特·里曼 一种位向量微分模型,用于常数的模加法。 (英语) Zbl 1511.94046号 Moriai,Shiho(编辑)等人,《密码学进展——亚洲密码2020》。第26届密码学和信息安全理论与应用国际会议,韩国大田,2020年12月7日至11日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12491, 385-414 (2020).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Azimi}等人,Lect。注释计算。科学。12491、385--414(2020年;Zbl 1511.94046) 全文: 内政部
克拉克·巴雷特;塞萨尔·蒂内利 可满足性模理论。 (英语) Zbl 1392.68379号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。305-343 (2018).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}和\textit{C.Tinelli},in:模型检查手册。查姆:施普林格。305-343(2018;Zbl 1392.68379) 全文: 内政部
扎卡里亚·奇哈尼;布鲁诺·玛丽;弗朗索瓦·博博特;塞巴斯蒂安·巴丁 位向量理论的锐化约束规划方法。 (英语) Zbl 1489.68249号 Salvagnin,Domenico(编辑)等人,《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10335, 3-20 (2017).MSC公司:68T20型 第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chihani}等人,Lect。注释计算。科学。10335,3--20(2017;Zbl 1489.68249) 全文: 内政部 链接
格格利·科瓦什奈;安德烈亚斯·弗里奇;阿明·比尔 固定大小位向量逻辑的复杂性。 (英语) Zbl 1357.68086号 理论计算。系统。 59,第2期,323-376(2016).MSC公司:第68季度25 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人,《理论计算》。系统。59,第2号,323--376(2016;Zbl 1357.68086) 全文: 内政部
克里斯托弗·温特斯泰格。;尤塞夫·哈马迪;莱昂纳多·德·莫拉 有效求解量化位向量公式。 (英语) Zbl 1284.03212号 形式方法系统。设计。 42,第1期,3-23(2013).MSC公司:03B70号 第68季度第60季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Wintersteiger}等人,《形式方法系统》。设计。42,第1号,第3--23号(2013;Zbl 1284.03212) 全文: 内政部
萨帕里亚克里希纳莫奥斯蒂;Michael S.肖。;洛加那坦林加潘 程序的可扩展符号执行驱动测试生成策略。 (英语) Zbl 1267.68094号 科学。中国,信息科学。 54,第9期,1797-1812(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Krishnamoorthy}等人,科学。中国,信息科学。54,No.9,1797--1812(2011;Zbl 1267.68094) 全文: 内政部 链接