劳尔·洛佩斯·鲁埃达；圣地亚哥埃斯科瓦尔；朱莉娅·萨皮娜 一种用于通用符号协议分析的具有不可约性和SMT约束的高效规范收缩实现。 （英语） Zbl 07741961号 J.日志。阿尔盖布。方法计划。 135，文章ID 100895，27 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.López-Rueda}等人，J.Log。阿尔盖布。方法计划。135，文章ID 100895，27 p.（2023；Zbl 07741961） 全文： 内政部 arXiv公司
林，海；克里斯托弗·林奇 局部异或统一：定义、算法和在密码学中的应用。 （英语） Zbl 07719837号 Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13572, 272-289 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}和\textit{C.Lynch}，莱克特。票据计算。科学。13572，272--289（2022；Zbl 07719837） 全文： 内政部
劳尔·洛佩斯·鲁埃达；圣地亚哥埃斯科瓦尔 具有不可约性和SMT约束的规范收缩作为通用符号协议分析方法。 （英语） Zbl 1517.94128号 Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，德国慕尼黑，第14届WRLA 2022国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。13252, 45-64 (2022).MSC公司：94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.López-Rueda}和\textit{S.Escobar}，莱克托。票据计算。科学。13252，45-64（2022；Zbl 1517.94128） 全文： 内政部
何塞·梅塞格尔 初始代数中基于变量的可满足性。 （英语） Zbl 1396.68074号 Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-29509-1/pbk；978-3-3169-29510-7/电子书）。《计算机与信息科学通信》596，3-34（2016）。MSC公司：68问题65 18立方厘米 第68季度第42季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，Commun（公共）。计算。信息科学。596、3--34（2016；Zbl 1396.68074） 全文： 内政部
梅多斯，凯瑟琳 密码协议分析中形式化方法的新问题和趋势：十二年后。 （英语） Zbl 1322.94089号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学9200、475-492课堂讲稿（2015）。MSC公司：94A60型 68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows}，莱克特。票据计算。科学。9200、475--492（2015年；Zbl 1322.94089） 全文： 内政部