编辑配置文件（在新选项卡中打开） 内维斯、雷纳托 合著者距离 作者ID: 内维斯·雷纳托 发布日期： 内维斯、雷纳托 外部链接： ORCID公司 编入索引的文档： 19出版物自2002年以来，包括1个附加arXiv预打印 合著者： 9合著者具有16份联合出版物 252合著作者 全部的 前5名合著者 0 单作者的 8 巴博萨、路易斯·索亚雷斯 7 马丁斯（Manuel António Martins） 5 亚历山大·马德拉 三 弗雷德里克·达尔奎斯特 三 德克·霍夫曼 2 谢尔盖·冈查洛夫 2 佩德罗·诺拉 1 Silvia S.C.Botelho。 1 朱利安·雅各布 1 尤里·库比欣（Yuri A.Kubyshin）。 1 保罗，莱特昂 1 波特，罗伯特斯 1 何塞·普伦萨 全部的 前5名系列 2 程序设计中的逻辑和代数方法杂志 1 国际现代物理杂志A 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 1 应用数学建模 1 范畴的理论与应用 1 计算机科学中的逻辑方法 全部的 前5名领域 11 计算机科学（68至XX） 8 数理逻辑与基础（03-XX） 6 范畴理论；同调代数（18-XX） 1 一般拓扑结构（54至XX） 1 流体力学（76-XX） 1 量子理论（81-XX） 1 地球物理学（86-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物被引用41中的次29文件 引用人▼ 年份▼ 生成（C（X））的代数理论：偏序紧空间的情形。 Zbl 1419.18003号 德克·霍夫曼;内维斯、雷纳托;佩德罗·诺拉 7 2018 生成多值动态逻辑的练习。 Zbl 1355.03023号 亚历山大·马德拉;内维斯、雷纳托;马丁斯（Manuel A.Martins）。 7 2016 作为计算效果的连续性。 Zbl 1355.68059号 内维斯、雷纳托;路易斯·巴博萨。;德克·霍夫曼;马丁斯（Manuel A.Martins）。 5 2016 Vietoris余代数的范畴限制。 兹伯利1417.68108 德克·霍夫曼;内维斯、雷纳托;佩德罗·诺拉 5 2019 每一季的动态逻辑。 Zbl 1335.03030号 亚历山大·马德拉;内维斯、雷纳托;马丁斯（Manuel A.Martins）。;路易斯·巴博萨。 5 2015 混合动力正在发挥作用。 Zbl 1396.68113号 内维斯、雷纳托;亚历山大·马德拉;马丁斯（Manuel A.Martins）。;路易斯·巴博萨。 4 2013 标量模型中Polchinski ERG方程的解。 Zbl 1026.81037号 于库比欣。答：。;Neves，R。;灌封，R。 三 2002 混合自动机作为余代数。 Zbl 1400.68111号 内维斯、雷纳托;路易斯·巴博萨。 三 2016 混合自动机的语言和模型：联合大脑的观点。 Zbl 1400.68112号 内维斯、雷纳托;路易斯·巴博萨。 2 2018 欧洲海洋边缘的环流模式。 Zbl 1117.76314号 A.桑托斯。;H·马丁斯。;科埃略，H。;莱特昂，P。;内维斯，R。 1 2002 层次混合逻辑。 Zbl 1433.03071号 亚历山大·马德拉;内维斯、雷纳托;马丁斯（Manuel A.Martins）。;路易斯·巴博萨。 1 2018 混合迭代的语义。 Zbl 1520.68028号 谢尔盖·冈查洛夫;朱利安·雅各布;内维斯、雷纳托 1 2018 逻辑的非对称组合是功能性的：一项调查。 Zbl 1496.03265号 内维斯、雷纳托;亚历山大·马德拉;路易斯·巴博萨。;马丁斯（Manuel A.Martins）。 1 2017 Vietoris余代数的范畴限制。 Zbl 1417.68108号 德克·霍夫曼;内维斯、雷纳托;佩德罗·诺拉 5 2019 生成（C（X））的代数理论：偏序紧空间的情形。 Zbl 1419.18003号 德克·霍夫曼;内维斯、雷纳托;佩德罗·诺拉 7 2018 混合自动机的语言和模型：联合大脑的观点。 Zbl 1400.68112号 内维斯、雷纳托;路易斯·巴博萨。 2 2018 层次混合逻辑。 Zbl 1433.03071号 亚历山大·马德拉;内维斯、雷纳托;马丁斯（Manuel A.Martins）。;路易斯·巴博萨。 1 2018 混合迭代的语义。 Zbl 1520.68028号 谢尔盖·冈查洛夫;朱利安·雅各布;内维斯、雷纳托 1 2018 逻辑的非对称组合是功能性的：一项调查。 Zbl 1496.03265号 内维斯、雷纳托;亚历山大·马德拉;路易斯·巴博萨。;马丁斯（Manuel A.Martins）。 1 2017 生成多值动态逻辑的练习。 Zbl 1355.03023号 亚历山大·马德拉;内维斯、雷纳托;马丁斯（Manuel A.Martins）。 7 2016 连续性作为一种计算效果。 Zbl 1355.68059号 内维斯、雷纳托;路易斯·巴博萨。;德克·霍夫曼;马丁斯（Manuel A.Martins）。 5 2016 混合自动机作为余代数。 Zbl 1400.68111号 内维斯、雷纳托;路易斯·巴博萨。 三 2016 每个季节的动态逻辑。 Zbl 1335.03030号 亚历山大·马德拉;内维斯、雷纳托;马丁斯（Manuel A.Martins）。;路易斯·巴博萨。 5 2015 工作中的杂交。 Zbl 1396.68113号 内维斯、雷纳托;亚历山大·马德拉;马丁斯（Manuel A.Martins）。;路易斯·巴博萨。 4 2013 标量模型中Polchinski ERG方程的解。 Zbl 1026.81037号 于库比欣。答：。;内维斯，R。;灌封，R。 三 2002 欧洲海洋边缘的环流模式。 Zbl 1117.76314号 A.桑托斯。;H·马丁斯。;科埃略，H。;莱特昂，P。;内维斯，R。 1 2002 所有引用出版物 前5名被引用出版物 全部的 前5名43位作者引用 9 亚历山大·马德拉 7 马丁斯（Manuel António Martins） 6 内维斯、雷纳托 4 巴博萨、路易斯·索亚雷斯 4 贝内维特斯，马里奥·R·F·。 4 德克·霍夫曼 4 佩德罗·诺拉 三 马可·阿巴迪尼 2 谢尔盖·冈查洛夫 2 卢卡·雷吉奥 1 吉列尔莫·巴迪亚 1 陈瑞元 1 瑟·特凡·乔巴赫 1 米哈伊·科德斯库 1 安东尼奥·迪·诺拉 1 拉兹万·迪亚科内斯库 1 JoséLuiz Fiadeiro 1 丹尼尔·加恩 1 莱安德罗·戈麦斯（Leandro G.Gomes）。 1 格里戈利亚（Grigolia）、露华兹（Revaz） 1 海因氏胶 1 罗尔夫·亨尼克 1 马尼沙·贾恩 1 朱利安·雅各布 1 莫里斯·基安皮 1 托马斯·科瓦尔斯基 1 塞莱斯汀·勒勒 1 刘艾 1 刘少英 1 安托尼亚州洛佩斯 1 拉杜·梅鲁塔 1 布兰登·摩尔（Brandon M.Moore）。 1 恩甘图，西里尔 1 巴甫洛维奇，杜什科 1 克里斯托夫·劳赫 1 格里高·罗什乌 1 卢茨·施罗德 1 ☑特拉安·弗洛林（Traian Florin） 1 安德烈·特夫内斯库 1 孙孟 1 莫娜·塔赫里 1 Ţuţu，伊奥努 1 盖塔诺·维塔莱 全部的 前5名12篇连载文章中引用 4 程序设计中的逻辑和代数方法杂志 2 纯粹与应用代数杂志 2 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 2 应用的分类结构 2 范畴的理论与应用 2 软计算 1 代数普遍性 1 纯逻辑与应用逻辑年鉴 1 国际近似推理杂志 1 计算的形式方面 1 计算机科学中的逻辑方法 全部的 前5名在7个字段中引用 17 计算机科学（68至XX） 15 数理逻辑与基础（03-XX） 12 范畴理论；同调代数（18-XX） 4 阶、格、有序代数结构（06-XX） 4 一般拓扑结构（54至XX） 1 一般代数系统（08-XX） 1 结合环与代数（16-XX） 按年份列出的引文