史蒂文·艾克；马丁·奥列特，纳西索；何塞·梅塞盖尔；鲁宾·鲁比奥；阿尔贝托·维尔德乔 莫德战略语言。 （英语） Zbl 07723901号 J.日志。阿尔盖布。方法计划。 134，文章ID 100887，49 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Eker}等人，J.Log。阿尔盖布。方法计划。134，文章ID 100887，49 p.（2023；Zbl 07723901） 全文： 内政部
何塞·梅塞盖尔；斯蒂芬·斯基里克 条件方程程序层次的地面收敛性和完备性。 （英语） Zbl 1514.68039号 Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，第14届国际研讨会，WRLA 2022，德国慕尼黑。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13252, 191-211 (2022).MSC公司：68号30 68甲18 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik}，莱克特。注释计算。科学。13252、191--211（2022；Zbl 1514.68039） 全文： 内政部
何塞·梅塞盖尔 通过归纳定理证明检查充分的完备性。 （英语） Zbl 1514.68038号 Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，第14届国际研讨会，WRLA 2022，德国慕尼黑。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13252, 171-190 (2022).MSC公司：68号30 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。13252、171--190（2022年；Zbl 1514.68038） 全文： 内政部
玛丽亚·阿尔普特；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔；朱莉娅·萨皮娜 重温了有序等式推广算法。 （英语） Zbl 07517439号 安。数学。Artif公司。智力。 90，第5号，499-522（2022）.MSC公司：68N17号 68甲18 2012年第68季度 60年第68季度 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《数学年鉴》。Artif公司。智力。90，第5号，499--522（2022；Zbl 07517439） 全文： 内政部 链接
何塞·梅塞盖尔 莫德的符号计算：一些小吃。 （英语） Zbl 07496639号 Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 3-36 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。12561，3--36（2021；Zbl 07496639） 全文： 内政部
斯蒂芬·斯基里克；何塞·梅塞盖尔；卡米洛，罗查 验证可达性逻辑中的IBOS浏览器安全属性。 （英语） Zbl 1517.68254号 Escobar，Santiago（编辑）等人，《重写逻辑及其应用》。第十三届国际研讨会，WRLA 2020，虚拟活动，2020年10月20日至22日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12328, 176-196 (2020).MSC公司：60年第68季度 68N25号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}等人，Lect。注释计算。科学。12328176-196（2020年；Zbl 1517.68254） 全文： 内政部 arXiv公司
斯蒂芬·斯基里克；安德烈·斯特凡内斯库；何塞·梅塞盖尔 重写理论的基于构造函数的可达性逻辑。 （英语） Zbl 1471.68076号 芬丹。通知。 173，编号4，315-382（2020）.MSC公司：68号30 03B44号 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}等人，Fundam。通知。173，第4号，315--382（2020；Zbl 1471.68076） 全文： 内政部
弗朗西斯科·杜兰；何塞·梅塞盖尔；卡米洛，罗查 有序条件规范模公理的基础汇合。 （英语） Zbl 1498.68073号 J.日志。阿尔盖布。方法计划。 111，文章ID 100513，117 p.（2020）.MSC公司：68号30 68甲18 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，J.Log。阿尔盖布。方法计划。111，文章ID 10051317 p.（2020；Zbl 1498.68073） 全文： 内政部
Alpunte，M。；A.昆卡-奥尔特加。；埃斯科瓦尔，S。；梅塞盖尔，J。 序排序方程程序模公理的部分求值框架。 （英语） Zbl 1494.68048号 J.日志。阿尔盖布。方法计划。 110，文章ID 100501，36 p.（2020）.MSC公司：68号30 08A70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，J.Log。阿尔盖布。方法计划。110，文章ID 100501，36 p.（2020；Zbl 1494.68048） 全文： 内政部
弗朗西斯科·杜兰；史蒂文·艾克；圣地亚哥埃斯科瓦尔；马丁·奥列特，纳西索；何塞·梅塞盖尔；鲁宾·鲁比奥；卡罗琳·塔尔科特 莫德的编程和符号计算。 （英语） Zbl 1494.68109号 J.日志。阿尔盖布。方法计划。 110，文章ID 100497，58 p.（2020）.MSC公司：2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，J.Log。阿尔盖布。方法计划。110，文章ID 100497，58 p.（2020；Zbl 1494.68109） 全文： 内政部 arXiv公司
何塞·梅塞盖尔 广义重写理论、连贯完成和符号方法。 （英语） Zbl 1496.68166号 J.日志。阿尔盖布。方法计划。 110，文章ID 100483，39 p.（2020）.MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。110，文章ID 100483，39 p.（2020；Zbl 1496.68166） 全文： 内政部 链接
刘，思；彼得·塞巴·奥维茨基；张敏；王琪；何塞·梅塞盖尔 Maude中分布式事务系统一致性属性的自动分析。 （英语） Zbl 1527.68025号 Vojnar，Tomáš（编辑）等人，《系统构建和分析的工具和算法》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。11428, 40-57 (2019).MSC公司：64岁以下 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人，Lect。注释计算。科学。11428、40-57（2019年；Zbl 1527.68025） 全文： 内政部
玛丽亚·阿尔普特；安吉尔·昆卡-奥尔特加；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔 结合性公理和交换性公理的同胚嵌入模组合。 （英语） Zbl 1524.68068号 弗雷德·梅斯纳德（编辑）等，基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11408, 38-55 (2019).MSC公司：68号30 03B70号 08A70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。注释计算。科学。11408、38-55（2019年；Zbl 1524.68068） 全文： 内政部 arXiv公司
刘，思；彼得·塞巴·奥维茨基；王琪；因德拉尼尔·古普塔；何塞·梅塞盖尔 阅读防止更新丢失的原子事务：ROLA及其形式分析。 （英语） Zbl 1425.68096号 正式Asp。计算。 31，编号503-540（2019）.MSC公司：第68页，共15页 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人，正式Asp。计算。31，第5号，503--540（2019；Zbl 1425.68096） 全文： 内政部 链接
弗朗西斯科·杜兰；何塞·梅塞盖尔；卡米洛，罗查 证明了方程规范模公理的汇合性。 （英语） Zbl 1517.68159号 Rusu，Vlad（编辑），重写逻辑及其应用。2018年6月14日至15日，作为ETAPS的卫星活动，在希腊塞萨洛尼基举行了2018年WRLA第12次国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11152, 184-204 (2018).MSC公司：2012年第68季度 03B70号 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，Lect。注释计算。科学。11152、184--204（2018；Zbl 1517.68159） 全文： 内政部 链接
刘，思；彼得·塞巴·奥维茨基；凯沙夫·桑坦南；王琪；因德拉尼尔·古普塔；何塞·梅塞盖尔 ROLA：一种新的分布式事务协议及其形式化分析。 （英语） Zbl 1425.68095号 Russo，Alessandra（ed.）等人，软件工程的基本方法。第21届国际会议，FASE 2018，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2018，希腊塞萨洛尼基，2018年4月14日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10802, 77-93 (2018).MSC公司：第68页，共15页 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人，Lect。注释计算。科学。10802、77--93（2018年；Zbl 1425.68095） 全文： 内政部
何塞·梅塞盖尔 重写逻辑和莫德中的符号推理方法。 （英语） Zbl 1509.68121号 Moss，Lawrence S.（编辑）等人，《逻辑、语言、信息和计算》。2018年7月24日至27日在哥伦比亚波哥大举行的2018年WoLLIC第25届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10944, 25-60 (2018).MSC公司：2012年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。10944，25-60（2018；Zbl 1509.68121） 全文： 内政部
劳尔·古铁雷斯；何塞·梅塞盖尔 带有谓词的初始代数中基于变量的可判定可满足性。 （英语） Zbl 1508.68060号 Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10855, 306-322 (2018).MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Gutiérrez}和\textit{J.Meseguer}，莱克特。注释计算。科学。10855、306--322（2018年；Zbl 1508.68060） 全文： 内政部 arXiv公司
斯蒂芬·斯基里克；安德烈·斯特凡内斯库；何塞·梅塞盖尔 重写理论的基于构造函数的可达性逻辑。 （英语） Zbl 1471.68075号 Fioravanti，Fabio（编辑）等，基于逻辑的程序合成和转换。第27届国际研讨会，2017年LOPSTR，2017年10月10日至12日，比利时纳穆尔。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10855, 201-217 (2018).MSC公司：68号30 03B44号 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}等人，Lect。注释计算。科学。10855，201-217（2018；Zbl 1471.68075） 全文： 内政部 arXiv公司
玛丽亚·阿尔普特；安吉尔·昆卡-奥尔特加；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔 序排序方程程序模公理的部分求值。 （英语） 兹比尔1485.68050 Hermenegildo，Manuel V.（编辑）等，基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10184, 3-20 (2017).MSC公司：68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。注释计算。科学。10184，3--20（2017；Zbl 1485.68050） 全文： 内政部 arXiv公司
何塞·梅塞盖尔；斯蒂芬·斯基里克 初始有序代数中的方程公式和模式运算。 （英语） Zbl 1362.68054号 正式Asp。计算。 29，第3期，423-452（2017）.MSC公司：68号30 03B70号 68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik}，正式Asp。计算。29，第3号，423--452（2017；Zbl 1362.68054） 全文： 内政部
卡米洛，罗查；何塞·梅塞盖尔；穆尼奥斯，塞萨尔 重写模块SMT和开放系统分析。 （英语） Zbl 1353.68156号 J.日志。阿尔盖布。方法计划。 86，第1号，269-297（2017）.MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Rocha}等人，J.Log。阿尔盖布。方法计划。86，No.1，269--297（2017；Zbl 1353.68156） 全文： 内政部
何塞·梅塞盖尔 初始代数中基于变量的可满足性。 （英语） 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立方厘米 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，Commun（公共）。计算。信息科学。596、3--34（2016；Zbl 1396.68074） 全文： 内政部
刘，思；彼得·塞巴·奥维茨基；何塞·梅塞盖尔 在Real-Time Maude中对移动自组网进行建模和分析。 （英语） Zbl 1356.68123号 J.日志。阿尔盖布。方法计划。 85，第1号，第1部分，34-66（2016）.MSC公司：2012年第68季度 68米10 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人，J.Log。阿尔盖布。方法计划。85，第1号，第1部分，34--66（2016；Zbl 1356.68123） 全文： 内政部
何塞·梅塞盖尔；斯蒂芬·斯基里克 初始有序代数中的方程公式和模式运算。 （英语） Zbl 1362.68053号 Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日，第25届国际研讨会，LOPSTR 2015，意大利锡耶纳。修改选定的论文。查姆：施普林格（ISBN 978-3-319-27435-5/pbk；978-3-3169-27436-2/电子书）。计算机科学课堂讲稿9527，36-53（2015）。MSC公司：68号30 03B70号 68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik}，莱克特。注释计算。科学。9527，36-53（2015；Zbl 1362.68053） 全文： 内政部
圣地亚哥埃斯科瓦尔；凯瑟琳·梅多斯；何塞·梅塞盖尔；圣地亚哥，索尼娅 用不等量约束模方程理论进行符号协议分析。 （英语） 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） 全文： 内政部
萨尔瓦多卢卡斯；何塞·梅塞盖尔；劳尔·古铁雷斯 扩展条件项重写系统的2D依赖对框架。 （英语） Zbl 1457.68136号 Proietti，Maurizio（编辑）等，基于逻辑的程序合成和转换。2014年9月9日至11日在英国坎特伯雷举行的2014年LOPSTR第24届国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8981, 113-130 (2015).MSC公司：2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛S.Lucas｝等人，Lect。注释计算。科学。8981、113--130（2015年；Zbl 1457.68136） 全文： 内政部
萨尔瓦多卢卡斯；何塞·梅塞盖尔 通用逻辑中的本地化操作终端。 （英语） Zbl 1453.68053号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·维尔辛（Martin Wirsing）在2015年从编程和软件工程主席退休之际发表的论文，德国慕尼黑。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 91-114 (2015).MSC公司：68号30 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer}，莱克特。注释计算。科学。8950，91-114（2015；Zbl 1453.68053） 全文： 内政部
穆萨布·A·阿尔图尔基。；何塞·梅塞盖尔 Orc的可执行重写逻辑语义和Orc程序的形式化分析。 （英语） Zbl 1329.68169号 J.日志。阿尔盖布。方法计划。 84，第4期，505-533（2015）.MSC公司：68问题55 03B70号 第68季度10 2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.A.AlTurki}和\textit{J.Meseguer}，J.Log。阿尔盖布。方法计划。84，第4号，505--533（2015；Zbl 1329.68169） 全文： 内政部
萨尔瓦多卢卡斯；何塞·梅塞盖尔 用于证明CTRS操作终止的2D依赖项对。 （英语） Zbl 1367.68145号 Escobar，Santiago（编辑），重写逻辑及其应用。2014年4月5日至6日，作为ETAPS的卫星活动，在法国格勒诺布尔举行了第十届WRLA国际研讨会。修改选定的论文。查姆：施普林格（ISBN 978-3-319-12903-7/pbk；978-3-316-12904-4/电子书）。计算机科学讲座笔记8663195-212（2014）。MSC公司：2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer}，莱克特。注释计算。科学。8663，195--212（2014；Zbl 1367.68145） 全文： 内政部
刘，思；彼得·塞巴·奥维茨基；何塞·梅塞盖尔 Real-Time Maude中的移动自组网框架。 （英语） Zbl 1356.68122号 Escobar，Santiago（编辑），重写逻辑及其应用。2014年4月5日至6日，作为ETAPS的卫星活动，在法国格勒诺布尔举行了第十届WRLA国际研讨会。修改选定的论文。查姆：施普林格（ISBN 978-3-319-12903-7/pbk；978-3-316-12904-4/电子书）。计算机科学讲座笔记8663162-177（2014）。MSC公司：2012年第68季度 68米10 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人，Lect。注释计算。科学。8663、162--177（2014年；Zbl 1356.68122） 全文： 内政部
Bae，Kyungmin先生；何塞·梅塞盖尔 使用窄化对LTLR公式进行无限状态模型检查。 （英语） Zbl 1366.68162号 Escobar，Santiago（编辑），重写逻辑及其应用。2014年4月5日至6日，作为ETAPS的卫星活动，在法国格勒诺布尔举行了第十届WRLA国际研讨会。修改选定的论文。查姆：施普林格（ISBN 978-3-319-12903-7/pbk；978-3-316-12904-4/电子书）。计算机科学讲座笔记8663113-129（2014）。MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer}，莱克特。注释计算。科学。8663、113--129（2014年；Zbl 1366.68162） 全文： 内政部
Bae，Kyungmin先生；何塞·梅塞盖尔 重写理论的谓词抽象。 （英语） Zbl 1416.68118号 Dowek，Gilles（编辑），重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8560, 61-76 (2014).MSC公司：68问题85 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer}，莱克特。注释计算。科学。8560，61-76（2014年；兹bl 1416.68118） 全文： 内政部
卡米洛，罗查；何塞·梅塞盖尔 使用Maude不变量分析工具对交替位协议中的可靠通信进行机械分析。 （英语） 兹比尔1407.68302 Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8373, 603-629 (2014).MSC公司：60年第68季度 2012年第68季度 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Rocha}和\textit{J.Meseguer}，莱克特。注释计算。科学。8373、603--629（2014年；Zbl 1407.68302） 全文： 内政部
玛丽亚·阿尔普特；圣地亚哥埃斯科瓦尔；哈维尔·埃斯佩特；何塞·梅塞盖尔 一种模序分类方程泛化算法。 （英语） Zbl 1314.68169号 Inf.计算。 235, 98-136 (2014). 审核人：Temur Kutsia（林茨） MSC公司：2012年第68季度 03B70号 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《Inf.Compute》。235、98——136（2014年；Zbl 1314.68169） 全文： 内政部
伊达、舒萨克（编辑）；何塞·梅塞盖尔（编辑）；Kazuhiro绪方（编辑） 规范、代数和软件。专为Kokichi Futatsugi撰写的论文。 （英语） Zbl 1283.68036号 计算机科学课堂讲稿8373.柏林：施普林格出版社（ISBN 978-3-642-54623-5/pbk）。xxi，657页。(2014).MSC公司：68-06 68号30 2012年第68季度 60年第68季度 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Iida}（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：施普林格出版社（2014；Zbl 1283.68036） 全文： 内政部
何塞·梅塞盖尔；格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） Zbl 1435.68188号 Inf.计算。 231, 38-69 (2013).MSC公司：68问题55 03B70号 68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，信息计算。231、38--69（2013年；Zbl 1435.68188） 全文： 内政部
乔纳斯·埃克哈特；托拜厄斯·穆尔鲍尔；何塞·梅塞盖尔；马丁·威尔辛 复合参与者系统的统计模型检查。 （英语） Zbl 1394.68228号 Martí-Oliet，Narciso（编辑）等人，代数开发技术的最新趋势。第21届国际研讨会，2012年WADT，西班牙萨拉曼卡，2012年6月7日至10日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37634-4/pbk）。计算机科学课堂讲稿7841143-160（2013）。MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eckhardt}等人，Lect。注释计算。科学。7841、143--160（2013；Zbl 1394.68228） 全文： 内政部
塞尔达，埃尔巴图尔；圣地亚哥埃斯科瓦尔；迪帕克·卡普尔；刘志强；林奇，Christopher A。；凯瑟琳·梅多斯；何塞·梅塞盖尔；巴利亚特·纳伦德兰；圣地亚哥，索尼娅；拉尔夫·萨西 非对称统一：加密协议分析的一种新的统一范式。 （英语） 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） 全文： 内政部 链接
Bae，Kyungmin先生；何塞·梅塞盖尔 用于重写的线性时态逻辑的基于重写的模型检查器。 （英语） Zbl 1291.68244号 Kniesel，Günter（编辑）等人，第九届基于规则的编程国际研讨会（2008年规则），奥地利哈根堡哈根堡城堡，2008年7月14日至18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记290，19-36（2012）。MSC公司：60年第68季度 03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。290、19-36（2012年；Zbl 1291.68244） 全文： 内政部
弗朗西斯科·杜兰；何塞·梅塞盖尔 条件有序重写理论的Church-Rosser和相干性质。 （英语） Zbl 1272.03139号 J.日志。阿尔盖布。程序。 81，编号7-8，816-850（2012）.MSC公司：03B70号 68甲18 68甲19 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer}，J.Log。阿尔盖布。程序。81，编号7-8816-850（2012年；兹bl 1272.03139） 全文： 内政部
何塞·梅塞盖尔 二十年的逻辑重写。 （英语） Zbl 1267.03043号 J.日志。阿尔盖布。程序。 81，编号7-8，721-781（2012）. 审核人：约翰·乔治·格兰斯特罗姆（苏黎世） MSC公司：03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，J.Log。阿尔盖布。程序。81，编号7--8，721--781（2012；Zbl 1267.03043） 全文： 内政部
劳尔·古铁雷斯；何塞·梅塞盖尔；卡米洛，罗查 有序等式丰富了模公理。 （英语） 兹比尔1366.68185 杜兰，弗朗西索（编辑），重写逻辑及其应用。2012年3月24日至25日，作为ETAPS的卫星活动，在爱沙尼亚塔林举办了2012年WRLA第九届国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-34004-8/pbk）。计算机科学课堂讲稿7571162-181（2012）。MSC公司：68问题65 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Gutiérrez}等人，Lect。注释计算。科学。7571、162--181（2012；Zbl 1366.68185） 全文： 内政部 链接
Bae，Kyungmin先生；何塞·梅塞盖尔 局部公平下的模型检验LTLR公式。 （英语） Zbl 1367.68180号 杜兰，弗朗西索（编辑），重写逻辑及其应用。2012年3月24日至25日，作为ETAPS的卫星活动，在爱沙尼亚塔林举办了2012年WRLA第九届国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-34004-8/pbk）。计算机科学课堂讲稿757199-117（2012）。MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer}，莱克特。注释计算。科学。7571，99-117（2012；Zbl 1367.68180） 全文： 内政部
何塞·梅塞盖尔；彼得·塞巴·奥维茨基 分布式实时系统PALS体系结构模式的形式化和正确性。 （英语） Zbl 1284.68073号 西奥。计算。科学。 451, 1-37 (2012).MSC公司：64岁以下 60年第68季度 2007年7月68日 68米10 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{P.C.lveczky}，Theor。计算。科学。451、1--37（2012年；Zbl 1284.68073） 全文： 内政部 链接
Bae，Kyungmin先生；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔 使用窄化对无限状态系统进行抽象逻辑模型检查。 （英语） Zbl 1356.68140号 van Raamsdonk，Femke（编辑），第24届重写技术和应用国际会议（RTA 2013），荷兰埃因霍温，2013年6月24日至26日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-53-8）。LIPIcs–莱布尼茨国际信息学论文集21，81-96（2013）。MSC公司：60年第68季度 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}等人，LIPIcs——莱布尼茨国际程序。通知。21、81-96（2011年；Zbl 1356.68140） 全文： 内政部
弗朗西斯科·杜兰；史蒂文·艾克；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔；卡罗琳·塔尔科特 Maude 2.6中的变体、统一、缩小和符号可达性。 （英语） Zbl 1236.68180号 Schmid-Schauß，Manfred（编辑），第22届改写技术和应用国际会议（RTA 2011），塞尔维亚诺维萨德，2011年5月30日至6月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-30-9）。LIPIcs–莱布尼茨国际信息学会议录10，31-40，仅电子版（2011年）。MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Duran}等人，LIPIcs——莱布尼茨国际程序。通知。10、31——40（2011年；Zbl 1236.68180） 全文： 内政部 链接
卡米洛，罗查；何塞·梅塞盖尔 证明重写理论的安全性。 （英语） Zbl 1344.68142号 Andrea Corradini等人，《计算机科学中的代数和余代数》。2011年8月30日至9月2日在英国温彻斯特举行的2011年CALCO第四届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22943-5/pbk）。计算机科学课堂讲稿6859314-328（2011）。MSC公司：60年第68季度 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Rocha}和\textit{J.Meseguer}，莱克特。注释计算。科学。6859、314--328（2011；Zbl 1344.68142） 全文： 内政部 链接
何塞·梅塞盖尔；格里高·罗什乌 重写逻辑语义项目：进度报告。 （英语） 兹比尔1342.68198 Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，1-37（2011）。MSC公司：68问题55 03B70号 68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，莱克特。注释计算。科学。6914，1--37（2011；Zbl 1342.68198） 全文： 内政部
迈克尔·凯特尔曼；何塞·梅塞盖尔 vlogsl语言：基于仿真的硬件验证的策略语言。 （英语） Zbl 1325.68150号 Barner，Sharon（编辑）等人，《硬件和软件：验证和测试》。2010年10月4日至7日，以色列海法HVC 2010第六届国际海法验证会议。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19582-2/pbk）。计算机科学课堂讲稿6504129-145（2011）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Katelman}和\textit{J.Meseguer}，莱克特。注释计算。科学。6504129-145（2011年；Zbl 1325.68150） 全文： 内政部
Bae，Kyungmin先生；何塞·梅塞盖尔 重写Maude模型检查器的线性时序逻辑。 （英语） Zbl 1306.68099号 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿6381208-225（2010）。MSC公司：60年第68季度 03B44号 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer}，莱克特。注释计算。科学。6381208-225（2010年；Zbl 1306.68099） 全文： 内政部
孙木；何塞·梅塞盖尔；沙，路易 安全医疗系统的正式模式体系结构。 （英语） Zbl 1306.68090号 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿6381157-173（2010）。MSC公司：2012年第68季度 60年第68季度 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.Sun}等人，Lect。注释计算。科学。6381157-173（2010年；兹比尔1306.68090） 全文： 内政部
弗朗西斯科·杜兰；何塞·梅塞盖尔 用于条件排序重写理论的Maude一致性检查工具。 （英语） 兹比尔1306.68066 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿638186-103（2010）。MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer}，莱克特。注释计算。科学。6381、86-103（2010年；Zbl 1306.68066） 全文： 内政部
弗朗西斯科·杜兰；何塞·梅塞盖尔 一个Church-Rosser检查工具，用于条件排序等式Maude规范。 （英语） Zbl 1306.68065号 厄尔夫茨基，彼得·萨巴（编辑），重写逻辑及其应用。2010年3月20日至21日，作为ETAPS 2010的卫星活动，在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-16309-8/pbk）。计算机科学课堂讲稿6381，69-85（2010）。MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer}，莱克特。注释计算。科学。6381、69-85（2010年；Zbl 1306.68065） 全文： 内政部
何塞·梅塞盖尔；米盖尔·帕洛米诺；马丁·奥列特，纳西索 代数模拟。 （英语） Zbl 1184.68300号 J.日志。阿尔盖布。程序。 79，第2期，第103-143页（2010年）.MSC公司：2012年第68季度 60年第68季度 03B44号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人，J.Log。阿尔盖布。程序。79，No.2，103--143（2010；Zbl 1184.68300） 全文： 内政部
弗朗西斯科·杜兰；萨尔瓦多卢卡斯；何塞·梅塞盖尔 通过转换证明基于重写的编程语言终止的方法。 （英语） Zbl 1337.68067号 Almendros-Jiménez，Jesús M（编辑），《第八届西班牙编程与计算机语言会议记录》（PROLE 2008），2008年10月8日至10日，西班牙吉昂。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记24893-113（2009）。MSC公司：68号30 03B70号 68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛F.Durán｝等人，电子。注释Theor。计算。科学。24893--113（2009年；Zbl 1337.68067） 全文： 内政部
玛丽亚·阿尔普特；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔；佩德罗·奥杰达 有序概括。 （英语） Zbl 1347.68193号 Falaschi，Moreno（编辑），第17届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2008），意大利锡耶纳，2008年7月3日至4日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记246，27-38（2009）。MSC公司：2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《电子》。注释Theor。计算。科学。24627--38（2009年；Zbl 1347.68193） 全文： 内政部
萨尔瓦多卢卡斯；何塞·梅塞盖尔 会员资格均衡程序的操作终止：顺序排序方式。 （英语） Zbl 1347.68198号 Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，207-225（2009）。MSC公司：2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。238，第3号，207--225（2009；Zbl 1347.68198） 全文： 内政部
何塞·梅塞盖尔 按顺序排序的参数化和归纳。 （英语） Zbl 1253.68215号 Palsberg，Jens（编辑），语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-04163-1/pbk）。计算机科学课堂讲稿5700，43-80（2009）。MSC公司：68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。5700，43-80（2009年；兹比尔1253.68215） 全文： 内政部
阿图尔博罗纳特；亚历山大·纳普；何塞·梅塞盖尔；马丁·威尔辛 什么是多模型语言？ （英语） Zbl 1253.68225号 Corradini，Andrea（编辑）等人，代数开发技术的最新趋势。第19届国际研讨会，WADT 2008，意大利比萨，2008年6月13日至16日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，71-87（2009）。MSC公司：68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Boronat}等人，Lect。注释计算。科学。5486、71--87（2009年；Zbl 1253.68225） 全文： 内政部 链接
玛丽亚·阿尔普特；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔；佩德罗·奥杰达 一种模块化方程泛化算法。 （英语） Zbl 1185.68219号 Michael Hanus（编辑），基于逻辑的程序合成和转换。2008年7月17日至18日在西班牙巴伦西亚举行的2008年LOPSTR第18届国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-00514-5/pbk）。计算机科学课堂讲稿5438，24-39（2009）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。注释计算。科学。5438，24-39（2009；Zbl 1185.68219） 全文： 内政部
何塞·梅塞盖尔（编辑）；格里高·罗什乌（编辑） 代数方法和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。 （英语） Zbl 1154.68019号 计算机科学课堂讲稿5140.柏林：施普林格出版社（ISBN 978-3-540-79979-5/pbk）。xiii，第432页。(2008).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}（编辑）和\textit{G.Rošu}（主编），代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林：施普林格出版社（2008；Zbl 1154.68019） 全文： 内政部
何塞·梅塞盖尔；米盖尔·帕洛米诺；马丁·奥列特，纳西索 等式抽象。 （英语） Zbl 1155.68050号 西奥。计算。科学。 403，编号2-3，239-264（2008）.MSC公司：60年第68季度 03B44号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人，Theor。计算。科学。403，编号2--3，239--264（2008；Zbl 1155.68050） 全文： 内政部
何塞·梅塞盖尔 重写的时间逻辑：温和的介绍。 （英语） Zbl 1143.68459号 Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065354-382（2008）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。5065354-382（2008年；兹比尔1143.68459） 全文： 内政部
圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔；Thati，普拉桑纳 缩小和重写逻辑：从基础到应用。 （英语） Zbl 1279.68205号 López Fraguas，Francisco J.（编辑），第十五届函数和（约束）逻辑编程研讨会论文集（WFLP 2006），西班牙马德里，2006年11月16日至17日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》177，5-33（2007）。MSC公司：60年第68季度 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，《电子》。注释Theor。计算。科学。177、5-33（2007年；Zbl 1279.68205） 全文： 内政部
阿扎德法尔赞；何塞·梅塞盖尔 编程语言重写语义的部分降阶。 （英语） Zbl 1279.68207号 Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，61-78（2007）。MSC公司：60年第68季度 68甲15 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。176，第4号，61--78（2007；Zbl 1279.68207） 全文： 内政部
迈克尔·凯特尔曼；何塞·梅塞盖尔 ABEL的重写语义，用于软硬件协同设计和分析。 （英语） Zbl 1279.68189号 Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，47-60（2007）。MSC公司：68问题55 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Katelman}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。176，第4号，47--60（2007；Zbl 1279.68189） 全文： 内政部
彼得·塞巴·奥维茨基；何塞·梅塞盖尔 实时Maude的抽象和完整性。 （英语） Zbl 1279.68218号 Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，5-27页（2007年）。MSC公司：60年第68季度 03B25号 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。176，第4号，第5--27号（2007；Zbl 1279.68218） 全文： 内政部
马丁·奥列特，纳西索；何塞·梅塞盖尔；米盖尔·帕洛米诺 代数口吃模拟。 （英语） Zbl 1278.68124号 Pimentel，Ernesto（编辑），第七届西班牙编程和计算机语言会议记录（PROLE 2007），西班牙萨拉戈萨，2007年9月12日至14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记206，91-110（2008）。MSC公司：2012年第68季度 03B70号 03G30型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人，《电子》。注释Theor。计算。科学。206、91——110（2007年；Zbl 1278.68124） 全文： 链接
彼得·塞巴·奥维茨基；何塞·梅塞盖尔 实时Maude的最新进展。 （英语） Zbl 1277.68144号 Fernández，M.（ed.）等人，第七届基于规则编程国际研讨会会议记录（rule 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第1期，65-81（2007）。MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。174，编号1，65--81（2007；Zbl 1277.68144） 全文： 内政部
乔·亨德里克斯；何塞·梅塞盖尔 关于上下文敏感的顺序分类规范的完整性。 （英语） Zbl 1203.68098号 Franz Baader（编辑），术语重写和应用。2007年6月26日至28日在法国巴黎举行的2007年RTA第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73447-5/pbk）。计算机科学课堂讲稿4533，229-245（2007）。MSC公司：60年第68季度 2012年第68季度 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.亨德里克斯}和\textit{J.Meseguer}，莱克特。注释计算。科学。4533、229--245（2007；Zbl 1203.68098） 全文： 内政部 链接
圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔 使用窄化对无限状态系统进行符号模型检查。 （英语） Zbl 1203.68097号 Franz Baader（编辑），术语重写和应用。2007年6月26日至28日在法国巴黎举行的2007年RTA第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73447-5/pbk）。计算机科学课堂讲稿4533，153-168（2007）。MSC公司：60年第68季度 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}和\textit{J.Meseguer}，莱克特。注释计算。科学。4533，153--168（2007；Zbl 1203.68097） 全文： 内政部 链接
曼纽尔·克莱维尔；弗朗西斯科·杜兰；史蒂文·艾克；帕特里克·林肯；马丁·奥列特，纳西索；何塞·梅塞盖尔；卡罗琳·塔尔科特 关于Maude——一个高性能逻辑框架。如何在重写逻辑中指定、编程和验证系统。带CD-ROM。 （英语） Zbl 1115.68046号 计算机科学课堂讲稿4350.柏林：施普林格出版社（ISBN 978-3-540-71940-3/pbk）。xxii，797页。(2007).MSC公司：68甲15 68号30 64岁以下 03B70号 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人，《关于Maude的一切——一个高性能逻辑框架》。如何在重写逻辑中指定、编程和验证系统。带CD-ROM。柏林：施普林格（2007；Zbl 1115.68046）
弗朗西斯科·杜兰；何塞·梅塞盖尔 莫德的模代数。 （英语） Zbl 1116.68047号 科学。计算。程序。 66，第2期，125-153（2007）.MSC公司：60年第68季度 68号30 2012年第68季度 03B70号 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer}，科学。计算。程序。66，No.2，125--153（2007；Zbl 1116.68047） 全文： 内政部
彼得·塞巴·奥维茨基；何塞·梅塞盖尔 实时淡紫色的语义和语用。 （英语） Zbl 1115.68095号 高-订购符号。计算。 20，第1-2号，161-196（2007）.MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer}，高-订购符号。计算。20，编号1--2，161-196（2007；Zbl 1115.68095） 全文： 内政部
曼纽尔·克莱维尔；何塞·梅塞盖尔；米盖尔·帕洛米诺 在隶属方程逻辑、多分类方程逻辑、具有等式的Horn逻辑和重写逻辑中的反思。 （英语） Zbl 1111.03034号 西奥。计算。科学。 373，编号1-2，70-91（2007）.MSC公司：03B70号 2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人，Theor。计算。科学。373，编号1-2，70-91（2007年；Zbl 1111.03034） 全文： 内政部
何塞·梅塞盖尔；格里高·罗什乌 重写逻辑语义项目。 （英语） Zbl 1273.68211号 Peter Mosses等人，《结构操作语义学第二次研讨会论文集》（SOS 2005），葡萄牙里斯本，2005年7月10日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》156，第1期，27-56（2006）。MSC公司：68问题55 03B70号 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，电子。注释Theor。计算。科学。156，编号1，27-56（2006；Zbl 1273.68211） 全文： 链接
阿扎德法尔赞；何塞·梅塞盖尔 使用不可见跃迁的重写理论的状态空间缩减。 （英语） Zbl 1236.68182号 Johnson，Michael（编辑）等人，《代数方法论和软件技术》。2006年7月5日至8日在爱沙尼亚库雷萨雷举行的2006年AMAST第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-35633-2/pbk）。计算机科学讲稿4019142-157（2006）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}和\textit{J.Meseguer}，莱克特。注释计算。科学。4019，142--157（2006；Zbl 1236.68182） 全文： 内政部
何塞·梅塞盖尔 从OBJ到莫德和其他地方。 （英语） Zbl 1132.68337号 Futatsugi，Kokichi（编辑）等人，《代数、意义和计算》。在约瑟夫·A·戈根65岁生日之际献给他的散文。柏林：施普林格出版社（ISBN 3-540-35462-X/pbk）。计算机科学课堂讲稿4060252-280（2006）。MSC公司：68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。4060252--280（2006年；Zbl 1132.68337） 全文： 内政部
何塞·梅塞盖尔；Raman Sharykin女士 分布式基于对象的随机混合系统的规范和分析。 （英语） Zbl 1178.68350号 Hespanha，Joáo（编辑）等人，《混合系统：计算和控制》。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33170-0/pbk）。计算机科学课堂讲稿3927460-475（2006）。MSC公司：60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{R.Sharykin}，莱克特。注释计算。科学。3927460-475（2006年；Zbl 1178.68350） 全文： 内政部
彼得·塞巴·奥维茨基；何塞·梅塞盖尔；卡罗琳·塔尔科特。 实时Maude中AER/NCA主动网络协议套件的规范和分析。 （英语） Zbl 1109.68010号 形式方法系统。设计。 29，第3期，253-293（2006）.MSC公司：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ùlveczky}等人，《形式方法系统》。设计。29，第3号，253--293（2006；Zbl 1109.68010） 全文： 内政部 链接
圣地亚哥埃斯科瓦尔；凯瑟琳·梅多斯；何塞·梅塞盖尔 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） 全文： 内政部
何塞·梅塞盖尔；Thati，普拉桑纳 使用窄化的符号可达性分析及其在密码协议验证中的应用。 （英语） 兹比尔1272.68194 Martí-Oliet，N.（编辑），第五届重写逻辑及其应用国际研讨会论文集（WRLA 2004），西班牙巴塞罗那，2004年3月27日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记117153-182（2005）。MSC公司：2012年第68季度 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{P.Thati}，电子。注释Theor。计算。科学。117153-182（2005年；Zbl 1272.68194） 全文： 链接
萨尔瓦多卢卡斯；何塞·梅塞盖尔 术语重写中公平计算的终止。 （英语） Zbl 1143.68491号 Sutcliffe，Geoff（编辑）等人，《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30553-8/pbk）。计算机科学课堂讲稿3835184-198（2005）。MSC公司：68问题85 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer}，莱克特。注释计算。科学。3835184-198（2005年；Zbl 1143.68491） 全文： 内政部
何塞·梅塞盖尔 重写逻辑采样器。 （英语） Zbl 1169.03349号 Dang Van Hung（编辑）等人，《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会，越南河内，2005年10月17日至21日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29107-5/pbk）。计算机科学课堂讲稿3722，1-28（2005）。MSC公司：03B70号 2012年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。3722，1--28（2005；Zbl 1169.03349） 全文： 内政部
马丁·奥列特，纳西索；何塞·梅塞盖尔；米盖尔·帕洛米诺 作为代数模拟的色度图。 （英语） Zbl 1119.68129号 JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。2004年3月27日至29日在西班牙巴塞罗那举行的第17届WADT国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-25327-0/pbk）。计算机科学课堂讲稿3423126-143（2005）。MSC公司：68问题85 60年第68季度 68问题65 03B70号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人，Lect。注释计算。科学。3423、126--143（2005年；Zbl 1119.68129） 全文： 内政部
乔·亨德里克斯；曼纽尔·克莱维尔；何塞·梅塞盖尔 部分规范的充分完整性推理工具。 （英语） 兹比尔1078.68668 Giesl，Jürgen（编辑），术语重写和应用。2005年4月19日至21日在日本奈良举行的RTA 2005第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25596-6/pbk）。计算机科学课堂讲稿3467165-174（2005）。MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Hendrix}等人，Lect。注释计算。科学。3467、165--174（2005年；Zbl 1078.68668） 全文： 内政部
马丁·奥列特，纳西索；伊莎贝尔·皮塔；JoséLuiz Fiadeiro；何塞·梅塞盖尔；汤姆·迈鲍姆 重写逻辑的验证逻辑。 （英语） Zbl 1101.68684号 J.日志。计算。 15，第3期，317-352（2005）.MSC公司：60年第68季度 68问题85 03B44号 03B45号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人，J.Log。计算。15，第3号，317--352（2005；Zbl 1101.68684） 全文： 内政部
史蒂文·艾克；何塞·梅塞盖尔；安巴里什·斯里德哈拉纳拉亚南 Maude LTL模型检查器。 （英语） Zbl 1272.68243号 Gadducci，Fabio（编辑）等人，WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集，意大利比萨，2002年9月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记71，162-187（2004）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Eker}等人，《电子》。注释Theor。计算。科学。71、162--187（2004年；Zbl 1272.68243） 全文： 链接
何塞·梅塞盖尔；格里高·罗什乌 重写逻辑语义：从语言规范到形式化分析工具。 （英语） Zbl 1126.68464号 David Basin（编辑）等人，《自动推理》。第二届国际联合会议，2004年7月4日至8日，爱尔兰科克，IJCAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22345-2/pbk）。计算机科学课程讲稿3097。人工智能课堂讲稿，1-44（2004）。MSC公司：68问题55 2012年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，莱克特。注释计算。科学。3097，1-44（2004；Zbl 1126.68464） 全文： 内政部
何塞·梅塞盖尔；克里斯蒂亚诺·布拉加 编程语言的模块化重写语义。 （英语） 兹比尔1108.68401 Rattray，Charles（编辑）等人，代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议，AMAST 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。计算机科学讲义3116，364-378（2004）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{C.Braga}，莱克特。注释计算。科学。3116364-378（2004；Zbl 1108.68401） 全文： 内政部
阿扎德法尔赞；何塞·梅塞盖尔；格里高·罗什乌 JavaFAN中的正式JVM代码分析。 （英语） Zbl 1108.68382号 Rattray，Charles（编辑）等人，代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议，AMAST 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。《计算机科学讲义》3116、132-147（2004）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}等人，Lect。注释计算。科学。3116、132--147（2004年；Zbl 1108.68382） 全文： 内政部
阿扎德法尔赞；陈冯；何塞·梅塞盖尔；格里高·罗什乌 JavaFAN中Java程序的形式化分析。 （英语） Zbl 1103.68611号 Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。《计算机科学讲义》3114501-505（2004）。MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}等人，Lect。注释计算。科学。3114501--505（2004；Zbl 1103.68611） 全文： 内政部
克里斯蒂安诺·德布拉加。；Husler，E.赫尔曼；何塞·梅塞盖尔；彼得·莫塞斯（Peter D.Mosses）。 将模块化SOS映射到重写逻辑。 （英语） Zbl 1278.68166号 Michael Leuschel（编辑），《基于逻辑的程序合成和转换》。第十二届国际研讨会，2002年LOPSTR，西班牙马德里，2002年9月17日至20日。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-40438-4/pbk）。计算机科学课堂讲稿2664262-277（2003）。MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.O.De Braga}等人，Lect。注释计算。科学。2664262--277（2003年；Zbl 1278.68166） 全文： 内政部
何塞·梅塞盖尔；米盖尔·帕洛米诺；马丁·奥列特，纳西索 等式抽象。 （英语） Zbl 1278.68185号 Baader，Franz（编辑），《自动扣除——CADE-19》。2003年7月28日至8月2日在美国佛罗里达州迈阿密海滩举行的第19届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40559-3/pbk）。莱克特。注释计算。科学。2741, 2-16 (2003).MSC公司：60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人，Lect。注释计算。科学。2741，2--16（2003年；Zbl 1278.68185） 全文： 内政部
弗朗西斯科·杜兰；何塞·梅塞盖尔 结构化理论和制度。 （英语） Zbl 1070.68090号 西奥。计算。科学。 309，编号1-3，357-380（2003）.MSC公司：60年第68季度 68问题65 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛F.Durán｝和\textit｛J.Meseguer｝，Theor。计算。科学。309，编号1--3，357--380（2003；Zbl 1070.68090） 全文： 内政部
罗伯托·布鲁尼；何塞·梅塞盖尔 广义重写理论。 （英语） Zbl 1039.03020号 Baeten，Jos C.M.（编辑）等人，《自动化，语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40493-7/pbk）。莱克特。注释计算。科学。2719, 252-266 (2003).MSC公司：03B70号 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{J.Meseguer}，莱克特。注释计算。科学。2719、252--266（2003年；Zbl 1039.03020） 全文： 链接
史蒂文·艾克；何塞·梅塞盖尔；安巴里什·斯里德哈拉纳拉亚南 Maude LTL模型检查器及其实现。 （英语） Zbl 1023.68528号 Ball，Thomas（编辑）等人，《模型检查软件》。第十届国际SPIN研讨会，美国俄勒冈州波特兰，2003年5月9日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2648, 230-234 (2003).MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Eker}等人，Lect。注释计算。科学。2648230-234（2003年；Zbl 1023.68528） 全文： 链接
何塞·梅塞盖尔；格里高·罗什乌 走向行为莫德：行为成员关系等式逻辑。 （英语） Zbl 1270.68194号 Moss，Lawrence S.（编辑），CMCS’2002：计算机科学中的协同代数方法。2002年4月6日至7日，法国格勒诺布尔，第五次研讨会会议记录（ETAPS 2002卫星活动）。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记65，第1期，197-253（2002）。MSC公司：68问题65 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu}，电子。注释Theor。计算。科学。65，第1号，197--253（2002；Zbl 1270.68194） 全文： 内政部
何塞·梅塞盖尔；格里戈·罗苏 部分代数规格说明的总体方法。 （英语） Zbl 1057.68064号 Peter Widmayer（编辑）等人，《自动化、语言和编程》。第29届国际学术讨论会，ICALP 2002，西班牙马拉加，2002年7月8日至13日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43864-5）。莱克特。注释计算。科学。2380, 572-584 (2002).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rosu}，莱克特。注释计算。科学。2380572--584（2002年；Zbl 1057.68064） 全文： 链接