Vivek Nigam先生;金敏英;伊恩·梅森;卡罗琳·塔尔科特 分布式自治代理系统中偏差的检测和诊断。 （英语） Zbl 1512.68159号 数学。结构。计算。科学。 32，第9期，1254-1282（2022）.MSC公司：60年第68季度 2012年第68季度 93年第14页 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}等人，数学。结构。计算。科学。32，编号9，1254--1282（2022；Zbl 1512.68159） 全文： 内政部
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 Maude 3.2（系统描述）中的等式统一和匹配以及符号可达性分析。 （英语） Zbl 07628207号 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 529-540 (2022).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，Lect。注释计算。科学。13385、529--540（2022；Zbl 07628207） 全文： 内政部
本杰明·利昂;法哈德·阿尔巴;卡罗琳·塔尔科特 分布式网络物理系统的正式框架。 （英语） Zbl 07576525号 J.日志。阿尔盖布。方法计划。 128，文章ID 100795，14 p.（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit｛B.Lion｝等人，J.Log。阿尔盖布。方法计划。128，文章ID 100795，14 p.（2022；Zbl 07576525） 全文： 内政部 arXiv公司
弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁宾·鲁比奥;卡罗琳·塔尔科特 莫德的编程和符号计算。 （英语） 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公司
马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯切德罗夫;卡罗琳·塔尔科特;兰科·佩罗维奇 受法规约束的活动的改写框架和逻辑。 （英语） Zbl 1364.68333号 数学。结构。计算。科学。 27，第3号，332-375（2017）.MSC公司：68T27型 03楼52 2012年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人，《数学》。结构。计算。科学。27，第3号，332--375（2017；Zbl 1364.68333） 全文： 内政部
弗朗西斯科·杜兰;史蒂文·埃克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 内置变量生成和统一，以及它们在Maude 2.7中的应用。 （英语） Zbl 1475.68046号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 183-192 (2016).MSC公司：68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人，Lect。注释计算。科学。9706183--192（2016；Zbl 1475.68046） 全文： 内政部 链接
曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;帕特里克·林肯;马丁·奥列特，纳西索;卡罗琳·塔尔科特 莫德二十年。 （英语） Zbl 1321.68007号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲稿9200，232-254（2015）。MSC公司：68-03 01年6月15日 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人，Lect。注释计算。科学。9200、232--254（2015；Zbl 1321.68007） 全文： 内政部
马丁·奥列特，纳西索;Ölveczky、Peter Csaba;卡罗琳·塔尔科特 何塞·梅塞盖尔：科学家和杰出的朋友。 （英语） Zbl 1321.01052号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。《计算机科学讲义》9200，1-47（2015）。MSC公司：01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人，Lect。注释计算。科学。9200，1-47（2015；Zbl 1321.01052） 全文： 内政部
Khakpour，纳吉斯;赛义德·贾利利;卡罗琳·塔尔科特;马尔詹·西尔贾尼;穆罕默德·穆萨维 进化自适应系统的形式化建模。 （英语） Zbl 1264.68131号 科学。计算。程序。 78，第1期，3-26（2012）.MSC公司：68T05型 68号30 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Khakpour}等人，科学。计算。程序。78，第1号，第3--26号（2012；Zbl 1264.68131） 全文： 内政部