杨，范;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 通过过程代数语义将具有选择的空间串起来。 （英语） Zbl 1529.94036号 Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 307-350 (2023).MSC公司：94A60型 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Yang}等人，Lect。注释计算。科学。13160307--350（2023年；Zbl 1529.94036） 全文： 内政部 arXiv公司
阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜 具有时间和空间的协议分析。 （英语） Zbl 1498.94052号 Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 22-49 (2021).MSC公司：94A60型 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{D.Aparicio-Sánchez}等人，Lect。注释计算。科学。13066，22-49（2021；Zbl 1498.94052） 全文： 内政部
阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜 随时间进行协议分析。 （英语） Zbl 1492.94055号 Bhargavan，Karthikeyan（编辑）等人，《密码学进展——INDOCRYPT 2020》。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12578, 128-150 (2020).MSC公司：94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{D.Aparicio-Sánchez}等人，Lect。注释计算。科学。12578，128-150（2020；Zbl 1492.94055） 全文： 内政部 arXiv公司 链接
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 用不等量约束模方程理论进行符号协议分析。 （英语） Zbl 1437.94060号 Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 238-261 (2015).MSC公司：94A60型 68号30 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Lect。注释计算。科学。9465，238--261（2015；Zbl 1437.94060） 全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 Maude-NRL协议分析器中的状态空间缩减。 （英语） Zbl 1360.94307号 Inf.计算。 238, 157-186 (2014).MSC公司：94A60型 68个M12 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，《信息计算》。238157--186（2014年；Zbl 1360.94307） 全文： 内政部 链接
塞尔达尔·埃尔巴图尔;圣地亚哥埃斯科瓦尔;迪帕克·卡普尔;刘志强;克里斯托弗·林奇（Christopher A.Lynch）。;凯瑟琳·梅多斯;何塞·梅塞盖尔;纳伦德兰，帕里斯;圣地亚哥，索尼娅;拉尔夫·萨西 非对称统一：密码协议分析的新统一范式。 （英语） Zbl 1381.68264号 Bonacina，Maria Paola（编辑），自动扣款–CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38573-5/pbk）。计算机科学课程讲稿7898。《人工智能课堂讲稿》，231-248（2013）。MSC公司：68吨15 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，Lect。注释计算。科学。7898、231--248（2013；Zbl 1381.68264） 全文： 内政部 链接
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 Maude-NPA：密码协议分析模方程属性。 （英语） Zbl 1252.94061号 Aldini，Alessandro（编辑）等人，《安全分析和设计基础V.FOSAD 2007/2008/2009教程讲座》。柏林：施普林格出版社（ISBN 978-3-642-03828-0/pbk）。计算机科学课程讲稿5705，1-50（2009）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Lect。注释计算。科学。5705，1-50（2009年；Zbl 1252.94061） 全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 NRL协议分析器及其元逻辑属性的基于重写的推理系统。 （英语） Zbl 1153.94375号 西奥。计算。科学。 367，第1-2号，162-202（2006）.MSC公司：94A60型 94A62型 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Theor。计算。科学。367，编号1--2，162-202（2006；Zbl 1153.94375） 全文： 内政部