编辑配置文件(在新选项卡中打开) 阿德里安·里斯科 合著者距离 作者ID: 里斯科·阿德里安 发布日期: 阿德里安·里斯科;艾德里安·里斯科;A.里斯科。 更多。。。较少的 外部链接: ORCID公司 已编制索引的文档: 24出版物自2008年起 合著者: 18位合著者具有22联合出版物 229位联合作者 全部的 前5名合著者 2 单作者的 8 马丁·奥列特,纳西索 8 阿尔贝托·维尔德霍 7 拉斐尔·E·卡巴列罗。 4 胡安·罗德里格斯·霍塔拉 三 艾琳娜·莫瑞卡 三 马丁·马丁,恩里克 三 Kazuhiro绪方 2 作为阿沃,米哈伊尔 2 萨尔瓦多塔马利特 1 米海·Codescu 1 高基町五指 1 克里斯蒂安·梅德 1 黑山,曼努埃尔 1 蒂尔·莫萨科夫斯基 1 伊莎贝尔·皮塔 1 鲁宾·鲁比奥 1 拉丁·托菲吉(Ramtine Tofighi Shirazi) 1 上村雅史 系列 4 程序设计中的逻辑和代数方法杂志 2 逻辑程序设计理论与实践 1 计算的形式方面 1 逻辑与代数程序设计杂志 字段 24 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用45中的次24文件 引用人▼ 年份▼ Maude功能模块的声明式调试器。 兹比尔1347.68073 拉斐尔·卡巴列罗;马丁·奥列特,纳西索;阿德里安·里斯科;阿尔贝托·维尔德霍 9 2009 对莫德的缺失答案进行声明性调试。 Zbl 1236.68146号 阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索 6 2010 重写逻辑规范的声明性调试。 Zbl 1253.68097号 艾德里安·里斯科;阿尔贝托·维尔德霍;拉斐尔·卡巴列罗;马丁·奥列特,纳西索 5 2009 重写逻辑规范的声明性调试。 Zbl 1279.68220号 阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索;拉斐尔·卡巴列罗 4 2012 成员关系等式逻辑规范的声明性调试。 Zbl 1143.68363号 拉斐尔·卡巴列罗;马丁·奥列特,纳西索;阿德里安·里斯科;阿尔贝托·维尔德霍 三 2008 并发Erlang程序的声明性调试。 兹比尔1400.68052 拉斐尔·卡巴列罗;马丁·马丁,恩里克;阿德里安·里斯科;萨尔瓦多塔马利特 三 2018 通过转换证明树简化Maude声明性调试器中的问题。 Zbl 1377.68072号 拉斐尔·卡巴列罗;阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索 三 2012 在Maude中使用大步骤和小步骤语义来执行声明性调试。 Zbl 1416.68044号 阿德里安·里斯科 三 2014 基于语言定义的通用程序切片技术。 Zbl 1394.68084号 阿德里安·里斯科;艾琳娜·莫瑞卡;作为阿沃,米哈伊尔 2 2013 加强莫德规范的调试。 Zbl 1306.68085号 艾德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索 2 2010 指定并分析Maude中的Kademlia协议。 Zbl 1471.68151号 伊莎贝尔·皮塔;阿德里安·里斯科 1 2015 将莫德融入赫茨。 Zbl 1308.68075号 米海·Codescu;蒂尔·莫萨科夫斯基;阿德里安·里斯科;克里斯蒂安·梅德 1 2011 Maude的完整声明式调试器。 Zbl 1308.68069号 阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索 1 2011 CafeOBJ的Maude环境。 Zbl 1358.68195号 阿德里安·里斯科;Kazuhiro绪方;高基町五指 1 2017 函数逻辑编程的单数和复数函数。 Zbl 1286.68057号 阿德里安·里斯科;胡安·罗德里格斯·霍塔拉 1 2014 并发Erlang程序的声明性调试。 Zbl 1400.68052号 拉斐尔·卡巴列罗;马丁·马丁,恩里克;阿德里安·里斯科;萨尔瓦多塔马利特 三 2018 CafeOBJ的Maude环境。 Zbl 1358.68195号 阿德里安·里斯科;Kazuhiro绪方;高基町五指 1 2017 详细说明和分析Maude中的Kademlia协议。 Zbl 1471.68151号 伊莎贝尔·皮塔;阿德里安·里斯科 1 2015 在Maude中使用大步骤和小步骤语义来执行声明性调试。 Zbl 1416.68044号 阿德里安·里斯科 三 2014 函数逻辑编程的单数和复数函数。 Zbl 1286.68057号 阿德里安·里斯科;胡安·罗德里格斯·霍塔拉 1 2014 基于语言定义的通用程序切片技术。 Zbl 1394.68084号 阿德里安·里斯科;艾琳娜·莫瑞卡;作为阿沃,米哈伊尔 2 2013 重写逻辑规范的声明性调试。 Zbl 1279.68220号 阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索;拉斐尔·卡巴列罗 4 2012 通过转换证明树简化Maude声明性调试器中的问题。 Zbl 1377.68072号 拉斐尔·卡巴列罗;阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索 三 2012 将莫德融入赫茨。 Zbl 1308.68075号 米海·Codescu;蒂尔·莫萨科夫斯基;阿德里安·里斯科;克里斯蒂安·梅德 1 2011 Maude的完整声明式调试器。 Zbl 1308.68069号 阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索 1 2011 Maude遗漏答案的声明性调试。 Zbl 1236.68146号 阿德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索 6 2010 加强莫德规范的调试。 Zbl 1306.68085号 艾德里安·里斯科;阿尔贝托·维尔德霍;马丁·奥列特,纳西索 2 2010 Maude功能模块的声明式调试器。 兹比尔1347.68073 拉斐尔·卡巴列罗;马丁·奥列特,纳西索;阿德里安·里斯科;阿尔贝托·维尔德霍 9 2009 重写逻辑规范的声明性调试。 Zbl 1253.68097号 艾德里安·里斯科;阿尔贝托·维尔德霍;拉斐尔·卡巴列罗;马丁·奥列特,纳西索 5 2009 成员关系等式逻辑规范的声明性调试。 Zbl 1143.68363号 拉斐尔·卡巴列罗;马丁·奥列特,纳西索;阿德里安·里斯科;阿尔贝托·维尔德霍 三 2008 所有引用出版物 前5名被引用出版物 全部的 前5名42位作者引用 8 阿德里安·里斯科 7 马丁·奥列特,纳西索 6 阿尔贝托·维尔德霍 5 玛丽亚·阿尔普特 5 黛米斯·巴利斯 5 拉斐尔·E·卡巴列罗。 5 朱莉娅·萨皮娜 三 圣地亚哥埃斯科瓦尔 三 弗朗西斯科·弗雷奇纳 2 大卫·英莎 2 何塞·梅塞盖尔·瓜伊塔 2 乔塞普·席尔瓦 1 阿帕里西奥·桑切斯,达米安 1 艾琳娜·莫瑞卡 1 作为阿沃,米哈伊尔 1 Oleg V.巴拉巴什。 1 伊利亚卡斯特拉尼 1 科雷亚,弗朗西斯科·何塞 1 佩德罗·鲁宾·达吉尼奥 1 弗朗西斯科·杜兰 1 史蒂文·艾克 1 哈维尔·埃斯佩特 1 乔瓦尼·法布雷蒂 1 莫雷诺,法拉斯基 1 高基町五指 1 奥列格·科皮伊卡 1 伊万·拉内斯 1 马丁·马丁,恩里克 1 安德烈·穆西恩科。 1 Kazuhiro绪方 1 伊莎贝尔·皮塔 1 丹尼尔·罗梅罗(Daniel M.Romero)。 1 鲁宾·鲁比奥 1 瓦伦丁五世Sobchuk。 1 安娜·索科洛娃 1 Jean-Bernard斯特凡尼 1 卡罗琳·塔尔科特。 1 萨尔瓦多塔马利特 1 谢万玲 1 徐启文 1 伊琳娜·V·扎姆里伊。 1 朱慧彪 5篇连载文章中引用 4 程序设计中的逻辑和代数方法杂志 2 计算的形式方面 2 逻辑与代数程序设计杂志 1 理论计算机科学 1 符号计算杂志 全部的 前5名在7个字段中引用 23 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 数论(11-XX) 1 实际功能(26年X月X日) 1 测量和集成(28-XX) 1 量子理论(81-XX) 按年份列出的引文