编辑配置文件(在新选项卡中打开) 劳尔·古铁雷斯 合著者距离 作者ID: 古铁雷斯·罗 发布方式: 劳尔·古铁雷斯 外部链接: ORCID公司 已编制索引的文档: 32出版物自1997年起 1名编辑贡献 合著者: 19位合著者具有23联合出版物 285位合作作者 全部的 前5名合著者 0 单作者的 18 萨尔瓦多卢卡斯 6 阿拉康,比阿特丽斯 5 何塞·梅塞盖尔·瓜伊塔 2 艾尔维拉·阿尔伯特 2 哈维尔·M·布尔杜。 2 萨米尔·根奈姆 2 英马特拉达·莱瓦 2 艾琳·森迪娜·纳达尔 2 弗朗西斯科·托雷斯(Francisco E.Torres)。 1 雅各布·阿吉雷 1 胡安·安东尼奥·阿曼德拉尔 1 阿帕里西奥·桑切斯,达米安 1 斯特凡诺·博卡莱蒂 1 里贾诺·克里亚多 1 库斯塔·海雷拉。 1 费边·埃姆斯 1 圣地亚哥埃斯科瓦尔 1 卡斯滕·福斯 1 吉尔根·吉斯尔 1 何塞·伊波拉 1 恩里克·马丁·马汀 1 尼科尔·马丁内斯·杰拉尔多 1 Moreno-Gómez,F.N。 1 拉斐尔·纳瓦罗·马塞特 1 路易吉·玛丽亚·里恰尔迪 1 卡米洛,罗查 1 浪漫,Miguel 1 罗萨莱斯,M.J。 1 A.J.Sáez。 1 朱莉娅·萨皮娜 1 彼得·施奈德·坎普 1 里卡多·塞维拉·埃斯科博扎 1 雷内·蒂曼 1 托雷斯-曼蒂拉,H。 1 泽维尔·乌尔拜恩 1 北卡罗来纳州韦拉斯克斯。 1 米盖尔·维托雷斯 全部的 前5名系列 2 自动推理杂志 1 信息处理信件 1 数学生物学杂志 1 混沌、孤子和分形 1 应用概率杂志 1 计算机与系统科学杂志 1 控制论与系统 1 统计传播。随机模型 1 信息与计算 1 ETNA公司。数值分析电子交易 1 差分方程与应用杂志 1 混乱 1 商业和工业中应用的随机模型 1 日本数学科学 1 逻辑程序设计理论与实践 全部的 前5名领域 23 计算机科学(68至XX) 4 概率论与随机过程(60-XX) 三 数学逻辑和基础(03-XX) 三 生物学和其他自然科学(92-XX) 2 常微分方程(34-XX) 2 统计学(62-XX) 2 信息与通信理论、电路(94-XX) 1 一般性和全局性主题;集合(00-XX) 1 特殊功能(33至XX) 1 动力系统和遍历理论(37至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用116中的次48文件 引用人▼ 年份▼ 相同层的多路网络中的层间同步。 Zbl 1374.34214号 塞维拉·埃斯科博扎,R。;Sendiña-Nadal,I。;我·莱瓦。;R.古铁雷斯。;J.M.布尔杜。;博卡莱蒂,S。 32 2016 时间非均匀扩散过程的首次通过时间密度。 Zbl 0891.60077号 古铁雷斯。;里奇亚迪,L.M。;罗曼,P。;托雷斯,F。 27 1997 外生因素对数正态扩散过程的推论和第一次通过时间:在经济学建模中的应用。 Zbl 0968.60067号 R.古铁雷斯。;罗曼,P。;托雷斯,F。 17 1999 超几何函数通过区域多项式级数的发展,用矩阵论元逼近超几何函数。 Zbl 0965.33002号 R.古铁雷斯。;罗德里格斯,J。;A.J.Sáez。 12 2000 用证明终止属性多项. Zbl 1308.68068号 阿拉康,比阿特丽斯;劳尔·古铁雷斯;萨尔瓦多卢卡斯;拉斐尔·纳瓦罗·马塞特 12 2011 有序一阶理论逻辑模型的自动综合。 Zbl 1398.68095号 萨尔瓦多卢卡斯;劳尔·古铁雷斯 11 2018 用MU-TERM证明上下文相关重写的终止。 Zbl 1278.68113号 阿拉康,比阿特丽斯;劳尔·古铁雷斯;何塞·伊波拉;萨尔瓦多卢卡斯 9 2007 上下文相关依赖项对。 Zbl 1177.68133号 阿拉康,比阿特丽斯;劳尔·古铁雷斯;萨尔瓦多卢卡斯 9 2006 具有外部因素的单变量对数正态扩散过程的预测。 Zbl 1049.62105号 R.古铁雷斯。;罗曼,P。;D.罗梅罗。;托雷斯,F。 8 2003 改进上下文敏感依赖项对。 Zbl 1182.68092号 阿拉康,比阿特丽斯;费边·埃姆斯;卡斯滕·福斯;吉尔根·吉斯尔;劳尔·古铁雷斯;萨尔瓦多卢卡斯;彼得·施奈德·坎普;雷内·蒂曼 8 2008 使用逻辑模型证明术语重写的不可行性。 Zbl 1477.68140号 萨尔瓦多卢卡斯;劳尔·古铁雷斯 8 2018 上下文相关的依赖项对。 Zbl 1206.68158号 阿拉康,比阿特丽斯;劳尔·古铁雷斯;萨尔瓦多卢卡斯 7 2010 条件重写系统的2D依赖项对框架。一: 定义和基本处理器。 Zbl 1393.68088号 萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 7 2018 在上下文相关依赖对框架中证明终止。 Zbl 1306.68072号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 6 2010 改进上下文相关依赖关系图。 Zbl 1278.68114号 阿拉康,比阿特丽斯;劳尔·古铁雷斯;萨尔瓦多卢卡斯 5 2007 使用AGES自动生成逻辑模型。 Zbl 07178982号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 5 2019 带有谓词的初始代数中基于变量的可判定可满足性。 Zbl 1508.68060号 劳尔·古铁雷斯;何塞·梅塞盖尔 5 2018 扩展条件项重写系统的2D依赖对框架。 Zbl 1457.68136号 萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 4 2015 自动证明和反驳可行性条件。 Zbl 07614688号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 4 2020 多项:自动验证终止属性(系统描述)。 Zbl 07614689号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 4 2020 上下文敏感重写系统的可用规则。 Zbl 1145.68447号 劳尔·古铁雷斯;萨尔瓦多卢卡斯;泽维尔·乌尔班 三 2008 条件重写系统的2D依赖项对框架。二: 先进的处理器和实现技术。 Zbl 1459.68092号 萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 三 2020 函数在上下文相关重写终止时在冻结位置调用。 Zbl 1321.68330号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 2 2015 使用类型规范进行资源分析的转换方法。 Zbl 1453.68041号 艾尔维拉·阿尔伯特;萨米尔·根奈姆;劳尔·古铁雷斯 2 2014 利用类型规范推理进行资源分析的转换方法。 Zbl 1472.68033号 艾尔维拉·阿尔伯特;萨米尔·根奈姆;劳尔·古铁雷斯;恩里克·马丁·马汀 1 2020 与二维对数正态扩散随机场相关的一些分析和统计方面。 Zbl 1202.60128号 R.古铁雷斯。;罗尔丹,C。 1 2007 有序等式丰富了模公理。 Zbl 1366.68185号 劳尔·古铁雷斯;何塞·梅塞盖尔;卡米洛,罗查 1 2012 自动证明和反驳可行性条件。 Zbl 07614688号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 4 2020 μ期限:自动验证终止属性(系统描述)。 Zbl 07614689号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 4 2020 条件重写系统的2D依赖项对框架。二: 先进的处理器和实现技术。 Zbl 1459.68092号 萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 三 2020 利用类型规范推理进行资源分析的转换方法。 Zbl 1472.68033号 艾尔维拉·阿尔伯特;萨米尔·根奈姆;劳尔·古铁雷斯;恩里克·马丁·马汀 1 2020 使用AGES自动生成逻辑模型。 兹伯利07178982 劳尔·古铁雷斯;萨尔瓦多卢卡斯 5 2019 有序一阶理论逻辑模型的自动综合。 Zbl 1398.68095号 萨尔瓦多卢卡斯;劳尔·古铁雷斯 11 2018 使用逻辑模型证明术语重写的不可行性。 Zbl 1477.68140号 萨尔瓦多卢卡斯;劳尔·古铁雷斯 8 2018 条件重写系统的2D依赖项对框架。一: 定义和基本处理器。 Zbl 1393.68088号 萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 7 2018 带有谓词的初始代数中基于变量的可判定可满足性。 兹比尔1508.68060 劳尔·古铁雷斯;何塞·梅塞盖尔 5 2018 相同层的多路网络中的层间同步。 Zbl 1374.34214号 塞维拉·埃斯科博扎,R。;Sendiña-Nadal,I。;我·莱瓦。;R.古铁雷斯。;J.M.布尔杜。;博卡莱蒂,S。 32 2016 扩展条件项重写系统的2D依赖对框架。 Zbl 1457.68136号 萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 4 2015 函数在上下文相关重写终止时在冻结位置调用。 Zbl 1321.68330号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 2 2015 使用类型规范进行资源分析的转换方法。 Zbl 1453.68041号 艾尔维拉·阿尔伯特;萨米尔·根奈姆;劳尔·古铁雷斯 2 2014 有序等式丰富了模公理。 Zbl 1366.68185号 劳尔·古铁雷斯;何塞·梅塞盖尔;卡米洛,罗查 1 2012 用证明终止属性多项. Zbl 1308.68068号 阿拉康,比阿特丽斯;劳尔·古铁雷斯;萨尔瓦多卢卡斯;拉斐尔·纳瓦罗·马塞特 12 2011 上下文相关依赖项对。 Zbl 1206.68158号 阿拉康,比阿特丽斯;劳尔·古铁雷斯;萨尔瓦多卢卡斯 7 2010 在上下文相关依赖对框架中证明终止。 Zbl 1306.68072号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 6 2010 改进上下文敏感依赖项对。 兹比尔1182.68092 阿拉康,比阿特丽斯;费边·埃姆斯;卡斯滕·福斯;吉尔根·吉斯尔;劳尔·古铁雷斯;萨尔瓦多卢卡斯;彼得·施奈德·坎普;雷内·蒂曼 8 2008 上下文敏感重写系统的可用规则。 Zbl 1145.68447号 劳尔·古铁雷斯;萨尔瓦多卢卡斯;泽维尔·乌尔班 三 2008 用MU-TERM证明上下文相关重写的终止。 Zbl 1278.68113号 阿拉康,比阿特丽斯;劳尔·古铁雷斯;何塞·伊波拉;萨尔瓦多卢卡斯 9 2007 改进上下文相关依赖关系图。 Zbl 1278.68114号 阿拉康,比阿特丽斯;劳尔·古铁雷斯;萨尔瓦多卢卡斯 5 2007 与二维对数正态扩散随机场相关的一些分析和统计方面。 Zbl 1202.60128号 古铁雷斯。;罗尔丹,C。 1 2007 上下文相关依赖项对。 Zbl 1177.68133号 阿拉康,比阿特丽斯;劳尔·古铁雷斯;萨尔瓦多卢卡斯 9 2006 具有外部因素的单变量对数正态扩散过程的预测。 Zbl 1049.62105号 R.古铁雷斯。;罗曼,P。;D.罗梅罗。;托雷斯,F。 8 2003 通过超几何函数在区域多项式级数中的发展,对具有矩阵自变量的超几何函数进行逼近。 Zbl 0965.33002号 R.古铁雷斯。;罗德里格斯,J。;A.J.Sáez。 12 2000 外生因素对数正态扩散过程的推论和第一次通过时间:在经济学建模中的应用。 Zbl 0968.60067号 R.古铁雷斯。;罗曼,P。;托雷斯,F。 17 1999 时间非均匀扩散过程的首次通过时间密度。 Zbl 0891.60077号 R.古铁雷斯。;里奇亚迪,L.M。;罗曼,P。;托雷斯,F。 27 1997 所有引用出版物 前5名被引用出版物 全部的 前5名49位作者引用 26 萨尔瓦多卢卡斯 14 劳尔·古铁雷斯 10 何塞·梅塞盖尔·瓜伊塔 5 阿拉康,比阿特丽斯 三 圣地亚哥埃斯科瓦尔 三 Akihisa山田 2 克拉克·W·巴雷特。 2 弗朗西斯科·杜兰 2 史蒂文·艾克 2 约尔格恩德鲁利斯 2 帕斯卡·方丹 2 迪米特里·亨德里克斯 2 何塞·伊波拉 2 简·兰格 2 马丁·奥列特,纳西索 2 阿尔特·米德尔多普 2 克里斯托夫·林盖森 2 鲁宾·鲁比奥 2 盛、英 2 卡罗琳·塔尔科特。 2 莎拉·温克勒 2 尤尼·佐哈尔 1 艾尔维拉·阿尔伯特 1 玛丽亚·阿尔普特 1 克里斯蒂娜·博拉莱拉斯 1 伊曼纽尔·德·安吉利斯 1 法比奥·菲奥拉万蒂 1 高基町五指 1 萨米尔·根奈姆 1 伯恩哈德·格拉姆利希 1 栗原、Masahito 1 尤亚·梅达 1 恩里克·马丁·马汀 1 中村,Masaki 1 拉斐尔·纳瓦罗·马塞特 1 直纪西田 1 Kazuhiro绪方 1 阿尔伯特·奥利弗拉斯 1 阿尔贝托·佩特罗西 1 毛里齐奥·普罗埃蒂 1 卡米洛,罗查 1 恩里克·罗德里格斯-卡博内尔 1 阿尔伯特·鲁比奥 1 坂部俊彦 1 Masahiko酒井 1 佐藤、晴彦 1 费利克斯·舍恩哈默 1 Keita内山 1 泽维尔·乌尔拜恩 全部的 前5名10连载 8 自动推理杂志 5 程序设计中的逻辑和代数方法杂志 2 信息与计算 2 逻辑与代数程序设计杂志 2 逻辑程序设计理论与实践 1 人工智能 1 信息处理信件 1 计算机与系统科学杂志 1 理论计算机科学 1 符号计算杂志 在2个字段中引用 48 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 按年份列出的引文