圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 用不等量约束模方程理论进行符号协议分析。 （英语） 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 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，《信息计算》。238157--186（2014年；Zbl 1360.94307） 全文： 内政部 链接
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 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型 第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Theor。计算。科学。367，编号1--2，162-202（2006；Zbl 1153.94375） 全文： 内政部