编辑配置文件（在新选项卡中打开） 卡米洛·鲁埃达 合著者距离 作者ID： 鲁达·卡米洛 发布日期： 卡米洛·鲁埃达 已编制索引的文档： 20出版物自1995年以来，包括1个附加arXiv预打印 2作为编辑的贡献 合著者： 25位合著者具有20联合出版物 376位合作作者 全部的 前5名合著者 0 单作者的 14 弗兰克·巴伦西亚。 6 佩雷斯（Jorge A.Pérez）。 5 米歇尔·古兹曼 4 圣地亚哥金特罗 4 塞尔吉奥·拉米雷斯 三 卡洛斯·奥拉特 三 萨利姆·珀西 2 Myriam德塞因特-卡特琳 2 索菲亚·奈特 2 马丁·勒克 2 雨果·A·洛佩兹。 1 格洛丽亚·阿尔瓦雷斯。 1 阿兰达，耶苏斯 1 阿里亚斯，詹姆 1 杰拉德·阿萨亚格 1 毛里西奥·卡诺 1 迪亚斯，胡安·弗朗西斯科 1 朱利安·古铁雷斯 1 斯特凡·哈尔 1 卡图西亚帕拉米德斯 1 伊莱恩·皮门特尔 1 卡洛斯·平佐 1 路易斯·奥·奎萨达。 1 加布里埃尔·塔穆拉 1 毛里西奥·托罗 全部的 前5名系列 2 约束条件 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 1 统计传播。理论与方法 1 软计算 1 逻辑程序设计理论与实践 1 计算机科学课堂讲稿 1 数学与音乐杂志 全部的 前5名领域 18 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 4 总体主题；集合（00-XX） 1 有序，格，有序代数结构（06-XX） 1 统计学（62-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用54次33文件 引用人▼ 年份▼ 并发约束编程的模型和新兴趋势。 Zbl 1317.90283号 卡洛斯·奥拉特;卡米洛·鲁埃达;弗兰克·巴伦西亚。 12 2013 在空间和挤压的代数中，信仰、知识、谎言和其他话语。 Zbl 1353.68203号 米歇尔·古兹曼;斯特凡·哈尔;萨利姆·珀西;卡米洛·鲁埃达;弗兰克·巴伦西亚。 8 2017 中国共产党音乐问题模型化的有效性。 Zbl 1063.68694号 鲁埃达，C。;F.巴伦西亚。 7 2004 导出模态逻辑的逆运算符。 Zbl 1482.68153号 米歇尔·古兹曼;萨利姆·珀西;卡米洛·鲁埃达;弗兰克·巴伦西亚。 5 2016 格中联合同构的计数和计算。 Zbl 07578346号 圣地亚哥金特罗;塞尔吉奥·拉米雷斯;卡米洛·鲁埃达;弗兰克·巴伦西亚 4 2020 描述空间约束系统右逆的特征及其在模态逻辑中的应用。 兹比尔1400.68134 米歇尔·古兹曼;萨利姆·珀西;卡米洛·鲁埃达;弗兰克·巴伦西亚。 三 2018 使用受限估计量降低风险。 Zbl 0825.62317号 鲁埃达，C。;萨尔瓦多，B。 三 1995 时间并发约束规划中的不确定性和概率。 Zbl 1185.68451号 佩雷斯（Jorge A.Pérez）。;卡米洛·鲁埃达 三 2008 访问权限的并发约束编程解释。 Zbl 1478.68056号 卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·鲁埃达 三 2018 可靠灵活的交互式多媒体评分基础。 1320.00013兹罗提 阿里亚斯，詹姆;Myriam德塞因特-卡特琳;卡洛斯·奥拉特;卡米洛·鲁埃达 三 2015 用于分析生物系统的时间并发约束编程。 Zbl 1277.68188号 朱利安·古铁雷斯;佩雷斯（Jorge A.Pérez）。;卡米洛·鲁埃达;弗兰克·巴伦西亚。 三 2007 在音乐应用中集成约束和并发对象：微积分及其可视化语言。 Zbl 1006.68625号 卡米洛·鲁埃达;格洛丽亚·阿尔瓦雷斯;路易斯·奥·奎萨达。;加布里埃尔·塔穆拉;弗兰克·巴伦西亚;迪亚斯，胡安·弗朗西斯科;杰拉德·阿萨亚格 2 2001 交互式乐谱的形式语义：用于设计、指定属性和执行交互式场景的框架。 Zbl 1327.00027号 毛里西奥·托罗;Myriam德塞因特-卡特琳;卡米洛·鲁埃达 2 2014 关于具有无限多代理的组的分布式知识的推理。 Zbl 07649937号 米歇尔·古兹曼;索菲亚·奈特;圣地亚哥金特罗;塞尔吉奥·拉米雷斯;卡米洛·鲁埃达;弗兰克·巴伦西亚 2 2019 推理具有无限多代理的分布式信息。 Zbl 1518.68401号 米歇尔·古兹曼;索菲亚·奈特;圣地亚哥金特罗;塞尔吉奥·拉米雷斯;卡米洛·鲁埃达;弗兰克·巴伦西亚 2 2021 并发约束规划中的随机行为和显式离散时间。 Zbl 1185.68437号 阿兰达，耶苏斯;佩雷斯（Jorge A.Pérez）。;卡米洛·鲁埃达;弗兰克·巴伦西亚。 1 2008 安全声明性框架：安全并发约束编程。 Zbl 1131.68410号 雨果·A·洛佩兹。;卡图西亚帕拉米德斯;佩雷斯（Jorge A.Pérez）。;卡米洛·鲁埃达;弗兰克·巴伦西亚。 1 2006 推理具有无限多代理的分布式信息。 Zbl 1518.68401号 米歇尔·古兹曼;索菲亚·奈特;圣地亚哥金特罗;塞尔吉奥·拉米雷斯;卡米洛·鲁埃达;弗兰克·巴伦西亚 2 2021 格中联合同构的计数和计算。 Zbl 07578346号 圣地亚哥金特罗;塞尔吉奥·拉米雷斯;卡米洛·鲁埃达;弗兰克·巴伦西亚 4 2020 关于具有无限多代理的组的分布式知识的推理。 Zbl 07649937号 米歇尔·古兹曼;索菲亚·奈特;圣地亚哥金特罗;塞尔吉奥·拉米雷斯;卡米洛·鲁埃达;弗兰克·巴伦西亚 2 2019 描述空间约束系统的右逆及其在模态逻辑中的应用。 兹比尔1400.68134 米歇尔·古兹曼;萨利姆·珀西;卡米洛·鲁埃达;弗兰克·巴伦西亚。 三 2018 访问权限的并发约束编程解释。 Zbl 1478.68056号 卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·鲁埃达 三 2018 在空间和挤压的代数中，信仰、知识、谎言和其他话语。 Zbl 1353.68203号 米歇尔·古兹曼;斯特凡·哈尔;萨利姆·珀西;卡米洛·鲁埃达;弗兰克·巴伦西亚。 8 2017 导出模态逻辑的逆运算符。 Zbl 1482.68153号 米歇尔·古兹曼;萨利姆·珀西;卡米洛·鲁埃达;弗兰克·巴伦西亚。 5 2016 可靠灵活的交互式多媒体评分基础。 1320.00013兹罗提 阿里亚斯，詹姆;Myriam德塞因特-卡特琳;卡洛斯·奥拉特;卡米洛·鲁埃达 三 2015 交互式乐谱的形式语义：用于设计、指定属性和执行交互式场景的框架。 Zbl 1327.00027号 毛里西奥·托罗;Myriam德塞因特-卡特琳;卡米洛·鲁埃达 2 2014 并发约束编程的模型和新兴趋势。 Zbl 1317.90283号 卡洛斯·奥拉特;卡米洛·鲁埃达;弗兰克·巴伦西亚。 12 2013 时间并发约束规划中的不确定性和概率。 Zbl 1185.68451号 佩雷斯（Jorge A.Pérez）。;卡米洛·鲁埃达 三 2008 并发约束规划中的随机行为和显式离散时间。 Zbl 1185.68437号 阿兰达，耶苏斯;佩雷斯（Jorge A.Pérez）。;卡米洛·鲁埃达;弗兰克·巴伦西亚。 1 2008 用于分析生物系统的时间并发约束编程。 Zbl 1277.68188号 朱利安·古铁雷斯;佩雷斯（Jorge A.Pérez）。;卡米洛·鲁埃达;弗兰克·巴伦西亚。 三 2007 安全声明性框架：安全并发约束编程。 Zbl 1131.68410号 雨果·A·洛佩兹。;卡图西亚帕拉米德斯;佩雷斯（Jorge A.Pérez）。;卡米洛·鲁埃达;弗兰克·巴伦西亚。 1 2006 论中国共产党对音乐问题模型化的有效性。 兹比尔1063.68694 鲁埃达，C。;F.巴伦西亚。 7 2004 在音乐应用中集成约束和并发对象：微积分及其可视化语言。 Zbl 1006.68625号 卡米洛·鲁埃达;格洛丽亚·阿尔瓦雷斯;路易斯·奥·奎萨达。;加布里埃尔·塔穆拉;弗兰克·巴伦西亚;迪亚斯，胡安·弗朗西斯科;杰拉德·阿萨亚格 2 2001 使用限制估计值降低风险。 Zbl 0825.62317号 鲁埃达，C。;萨尔瓦多，B。 三 1995 所有引用出版物 前5名被引用出版物 全部的 前5名39位作者引用 17 卡洛斯·奥拉特 10 弗兰克·巴伦西亚。 9 伊莱恩·皮门特尔 9 卡米洛·鲁埃达 5 米歇尔·古兹曼 5 圣地亚哥金特罗 4 Vivek Nigam先生 4 塞尔吉奥·拉米雷斯 三 莫雷诺，法拉斯基 三 索菲亚·奈特 三 卡图西亚帕拉米德斯 2 阿里亚斯，詹姆 2 Joëlle Despeyroux公司 2 佩雷斯（Jorge A.Pérez）。 2 毛里西奥·托罗 1 马里奥·阿尔维姆。 1 贝尔纳多·阿莫林 1 阿兰达，耶苏斯 1 赛尔阿博莱达 1 贝内维特斯，马里奥·R·F·。 1 琳达·布罗多 1 考斯托夫·乔杜里 1 戴维·齐亚鲁吉 1 塞德里克·德拉克鲁瓦 1 Myriam德塞因特-卡特琳 1 艾米·费尔蒂（Amy P.Felty）。 1 毛里齐奥·加布里埃利 1 罗兰·格里克 1 托马斯·希尔德布兰特。 1 雨果·A·洛佩兹。 1 亚历山大·马德拉 1 马丁斯（Manuel António Martins） 1 萨利姆·珀西 1 安娜·菲利普 1 卡洛斯·平佐 1 玛丽亚·普埃尔塔 1 路易吉·桑托卡纳莱 1 Vélez S.、Carlos M。 1 布鲁诺·泽维尔 全部的 前5名8篇连载文章中引用 4 理论计算机科学 三 逻辑程序设计理论与实践 2 MSCS公司。计算机科学中的数学结构 2 程序设计中的逻辑和代数方法杂志 1 应用的分类结构 1 约束条件 1 计算机基础理论 1 计算机科学中的逻辑方法 全部的 前5名在7个字段中引用 27 计算机科学（68至XX） 16 数学逻辑和基础（03-XX） 三 生物学和其他自然科学（92-XX） 2 有序，格，有序代数结构（06-XX） 1 总体主题；集合（00-XX） 1 范畴理论；同调代数（18-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文