编辑配置文件（在新选项卡中打开） 毛里西奥·阿亚拉·林科恩 合著者距离 作者ID： 阿亚拉·里因科·穆里西奥 发布日期： 毛里西奥·阿亚拉·林科恩;毛里西奥Ayala Rincon;阿亚拉·林科，M。;毛里西奥·阿亚拉·林科恩;Maurício，Ayala-Rincón 更多。。。较少的 外部链接： ORCID公司 已编制索引的文档： 67出版物自1997年以来，包括1本书 13作为编辑的贡献 合著者： 58位合著者具有76联合出版物 759名合作作者 全部的 前5名合著者 三 单一作者 19 玛丽贝尔·费尔南德斯 17 丹尼尔·南特，索布里尼奥 16 Fairouz D.卡马雷丁。 10 卡瓦尔坎蒂·德·莫拉（Cavalcanti de Moura）、弗拉维奥·莱昂纳多（Flávio Leonardo） 6 华盛顿州，de Carvalho-Segundo 6 塞萨尔·穆尼奥斯。 6 罗查·奥利维拉，安娜·克里斯蒂娜 6 丹尼尔·利马·文图拉 5 安德烈亚·博尔赫斯·艾弗拉尔 5 安德烈·路易斯·加尔迪诺 4 爱德华多·博内利 4 加布里埃尔·费雷拉·席尔瓦 三 阿丽亚娜·阿尔维斯·阿尔梅达 三 德利马，塔纳拉·阿里利 三 亚伦·M·达特（Aaron M.Dutle）。 三 爱德华·赫尔曼·海尔 三 伊恩·麦基 三 玛丽亚诺·莫斯卡托（Mariano M.Moscato）。 三 安东尼·约瑟夫·纳卡维奇 三 拉莫斯，蒂亚戈·门登萨·费雷拉 2 阿泽丁·布克切 2 阿尔巴·克里斯蒂娜（Alba Cristina），马加尔哈斯·阿尔维斯（Magalhaes Alves de Melo） 2 迪维德·维尔 2 安德烈斯·维索 1 阿维拉·达席尔瓦（Avelar da Silva），安德烈亚·B。 1 菲利普·巴尔比亚尼 1 巴博萨，A.V。 1 保罗·D·科内乔。 1 达·丰塞卡（Alexsandro F.da Fonseca）。 1 布鲁诺·T·德·阿布雷乌。 1 弗拉维奥·德·莫拉 1 Ruy JoséGuerra Barretto De Queiroz 1 何塞·德·西奎拉 1 胡安·埃迪 1 默多克·詹姆斯·加贝 1 西蒙·高格 1 Reiner W.哈滕斯坦。 1 里卡多·雅各比。 1 迪莉娅·凯斯纳 1 特默尔库西亚 1 安德烈·L.Galdino 1 卡洛斯·拉诺斯。 1 Felipe A.Louza。 1 费雷拉·拉莫斯·蒂亚戈先生 1 塞缪尔·米姆拉姆 1 弗朗索瓦·莫宁 1 乌戈·蒙塔纳里。 1 冈萨洛·纳瓦罗 1 内托，里纳尔迪·玛雅 1 诺盖拉·努恩斯（Nogueira Nunes）、丹尼尔·萨阿德（Daniel Saad） 1 丹尼尔·S·N·努斯。 1 伊莱恩·皮门特尔 1 海德·沃内克·波贝尔 1 托马斯·桑塔纳。 1 尤里·桑托斯·雷戈 1 塞拉诺·苏亚雷斯、法比安·费尔南多 1 何塞·西奎拉 1 玛丽亚·艾米莉亚·马查多·泰尔斯（Maria Emilia Machado Telles Walter） 全部的 前5名系列 6 理论计算机科学 6 自动推理杂志 6 IGPL逻辑杂志 三 计算机科学中的数学结构 三 理论计算机科学电子笔记 2 信息处理信件 2 形式化推理杂志 2 理论计算机科学电子论文集（EPTCS） 1 离散应用数学 1 哥伦比亚马特马提卡修道院 1 纯逻辑与应用逻辑年鉴 1 算法 1 并行与分布式计算杂志 1 应用非经典逻辑杂志 1 当代马特马提卡 1 ACM实验算法杂志 1 应用逻辑杂志 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 计算机科学本科专题 全部的 前5名领域 66 计算机科学（68至XX） 38 数学逻辑和基础（03-XX） 13 总体主题；集合（00-XX） 三 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 一般代数系统（08-XX） 1 交换代数（13-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用132次53文件 引用人▼ 年份▼ 标称变窄。 Zbl 1387.68142号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 9 2016 名义上的C统一。 Zbl 1502.68144号 毛里西奥·阿亚拉·林科恩;华盛顿州，de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 8 2018 名义方程统一的定点约束。 兹比尔1462.68089 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 8 2018 标称统一算法在PVS中的完整性。 Zbl 1394.68348号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;罗查·奥利维拉，安娜·克里斯蒂娜 8 2016 通过显式替换的\（\lambda s_e\）样式实现统一。 Zbl 0987.03012号 毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 7 2001 检查名义重写规则的重叠。 Zbl 1401.68131号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;默多克·詹姆斯·加贝;罗查·奥利维拉，安娜·克里斯蒂娜 7 2016 与A、C和AC函数符号的标称（α）等价的形式化。 Zbl 1423.68405号 毛里西奥·阿亚拉·林科恩;de Carvalho Segundo，华盛顿;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥;罗查·奥利维拉，安娜·克里斯蒂娜 6 2019 与A和AC函数符号的标称（α）等价的形式化。 Zbl 1401.68273号 毛里西奥·阿亚拉·林科恩;华盛顿州，de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 6 2017 Knuth-Bendix（-Huet）临界对定理的形式化。 Zbl 1207.68338号 安德烈·加尔迪诺。;毛里西奥·阿亚拉·林科恩 5 2010 Newman和Yokouchi引理在高阶语言中的形式化。 Zbl 1171.68713号 安德烈·路易斯·加尔迪诺;毛里西奥·阿亚拉·林科恩 5 2008 关于求解标称不动点方程。 Zbl 1495.68108号 毛里西奥·阿亚拉·林科恩;华盛顿州，de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 5 2017 路径多态性的类型稳健性。 Zbl 1390.68170号 安德烈斯·维索;爱德华多·博内利;毛里西奥·阿亚拉·林科恩 4 2016 高阶统一：休特方法和基于显式替换的方法之间的结构关系。 Zbl 1138.03014号 弗拉维奥·德·莫拉。;毛里西奥·阿亚拉·林科恩;费尔鲁兹Kamareddine 三 2008 比较并实现显式替换和eta还原的计算。 Zbl 1067.03042号 毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。;法鲁兹卡马雷丁 三 2005 关于将\（\lambda s_e \）-风格的统一应用于简单类型的高阶统一。 兹比尔1073.03007 毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 三 2003 形式化正交重写系统的合流。 Zbl 1464.68144号 罗查·奥利维拉，安娜·克里斯蒂娜;毛里西奥·阿亚拉·林科恩 三 2013 一种经过认证的泛函标称C-统一算法。 Zbl 1502.68145号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;丹尼尔·南特斯·索布里尼奥 三 2020 具有正态和逆的局部稳定理论的入侵者演绎问题。 Zbl 1386.68078号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 三 2017 Ford-Johnson算法的一种变体，更节省空间。 Zbl 1184.68660号 毛里西奥·阿亚拉·林科恩;de Abreu，Bruno T。;何塞·德·西奎拉 三 2007 通过显式替换进行二阶匹配。 Zbl 1108.03308号 弗拉维奥·德·莫拉。;法鲁兹卡马雷丁;毛里西奥·阿亚拉·林科恩 2 2005 SUBSEXPL：用于模拟和比较显式替换计算的工具。 Zbl 1184.68469号 德莫拉，F.L.C。;阿亚拉·林科，M。;卡马雷丁，F。 2 2006 一阶递归函数终止准则的形式化验证。 Zbl 07699444号 穆尼奥斯，塞萨尔A。;毛里西奥·阿亚拉·林科恩;玛丽亚诺·莫斯卡托（Mariano M.Moscato）。;亚伦·M·达特（Aaron M.Dutle）。;Anthony J.Narkawicz。;阿丽亚娜·阿尔梅达（Ariane A.Almeida）。;阿维拉，安德烈亚·B。;费雷拉·拉莫斯·蒂亚戈先生 2 2021 类型化路径多态性。 Zbl 1423.68089号 毛里西奥·阿亚拉·林科恩;爱德华多·博内利;胡安·埃迪;安德烈斯·维索 2 2019 对有符号排列进行排序所需的平均反向数。 Zbl 1375.05009号 德利马，塔纳拉·阿里利;毛里西奥·阿亚拉·林科恩 2 2018 PVS证明助手中的一阶统一。 Zbl 1407.68430号 安德烈亚·博尔赫斯·艾弗拉尔;安德烈·路易斯·加尔迪诺;弗拉维奥·莱昂纳多·卡瓦尔坎蒂·德·莫拉;毛里西奥·阿亚拉·林科恩 2 2014 术语重写系统的PVS理论。 Zbl 1310.68124号 安德烈·L.Galdino;毛里西奥·阿亚拉·林科恩 2 2009 函数语言的停顿问题的不可判定性的形式化。 Zbl 1509.03049号 拉莫斯，蒂亚戈·门登萨·费雷拉;塞萨尔·穆尼奥斯;毛里西奥·阿亚拉·林科恩;玛丽亚诺·莫斯卡托;亚伦·杜特尔;安东尼·纳卡维奇 2 2018 关于名词句法和置换不动点。 Zbl 1528.68152号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 2 2020 计算与远处显式替换的汇合。 Zbl 1360.68324号 弗拉维奥·德·莫拉。;迪莉娅·凯斯纳;毛里西奥·阿亚拉·林科恩 2 2014 通过与受保护变量的统一实现标称C匹配的形式化。 Zbl 1433.68186号 毛里西奥·阿亚拉·林科恩;华盛顿州，de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 2 2019 针对带有盲签名的电子钱包协议，将入侵者推断问题简化为等式初等推导。 Zbl 1253.94074号 Daniele Nantes Sobrinho;毛里西奥·阿亚拉·林科恩 1 2010 工作站集群中局部DNA比较的并行Smith-Waterman算法。 Zbl 1121.68463号 Boukerche，阿兹丁;阿尔巴·克里斯蒂娜（Alba Cristina），马加尔哈斯·阿尔维斯（Magalhaes Alves de Melo）;毛里西奥·阿亚拉·里科;托马斯·桑塔纳。 1 2005 用de Bruijn指数和交集型系统进行显式替换计算。 Zbl 1405.03037号 丹尼尔·利马，文图拉;法鲁兹卡马雷丁;毛里西奥·阿亚拉·林科恩 1 2015 计算机科学家的应用逻辑。计算演绎和形式证明。 Zbl 1401.03001号 毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。 1 2017 McCreight的线性时间下限和后缀树的通用更新算法。 Zbl 1069.68548号 毛里西奥·阿亚拉·林科恩;保罗·D·科内乔。 1 2003 具有正规形式的局部稳定理论的初等演绎问题。 Zbl 1464.68038号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 1 2013 用受保护的变量将标称C统一形式化。 Zbl 1495.68109号 毛里西奥·阿亚拉·林科恩;华盛顿De Carvalho-Segundo;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;丹尼尔·南特斯·索布里尼奥 1 2021 PVS中环理论的形式化。同构定理，主理想，素理想和极大理想，中国剩余定理。 Zbl 1493.68389号 德利马，塔纳拉·阿里利;安德烈·路易斯·加尔迪诺;安德烈亚·博尔赫斯·艾弗拉尔;毛里西奥·阿亚拉·林科恩 1 2021 对最优空中交通冲突解决和恢复算法进行形式化验证。 Zbl 1213.90082号 安德烈·加尔迪诺。;塞萨尔·穆尼奥斯;毛里西奥·阿亚拉·林科恩 1 2007 关于解决名义不统一约束。 Zbl 1495.03048号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;Daniele Nantes Sobrinho;迪维德·维尔 1 2020 图灵完备函数语言模型计算理论的形式化。 Zbl 1511.68338号 拉莫斯，蒂亚戈·门登萨·费雷拉;阿丽亚娜·阿尔维斯·阿尔梅达;毛里西奥·阿亚拉·林科恩 1 2022 图灵完备函数语言模型计算理论的形式化。 Zbl 1511.68338号 拉莫斯、蒂亚戈·门东萨·费雷拉;阿丽亚娜·阿尔维斯·阿尔梅达;毛里西奥·阿亚拉·林科恩 1 2022 一阶递归函数终止准则的形式化验证。 Zbl 07699444号 穆尼奥斯，塞萨尔A。;毛里西奥·阿亚拉·林科恩;玛丽亚诺·莫斯卡托（Mariano M.Moscato）。;达特尔，亚伦·M。;Anthony J.Narkawicz。;阿丽亚娜·阿尔梅达（Ariane A.Almeida）。;安德烈亚·艾弗拉尔。;费雷拉·拉莫斯·蒂亚戈先生 2 2021 用受保护的变量将标称C统一形式化。 Zbl 1495.68109号 毛里西奥·阿亚拉·林科恩;华盛顿De Carvalho-Segundo;玛丽贝尔·费尔南德斯;席尔瓦，加布里埃尔·费雷拉;丹尼尔·南特斯·索布里尼奥 1 2021 PVS中环理论的形式化。同构定理，主理想，素理想和极大理想，中国剩余定理。 Zbl 1493.68389号 德利马，塔纳拉·阿里利;安德烈·路易斯·加尔迪诺;安德烈亚·博尔赫斯·艾弗拉尔;毛里西奥·阿亚拉·林科恩 1 2021 一种经过认证的泛函标称C-统一算法。 Zbl 1502.68145号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;丹尼尔·南特斯·索布里尼奥 三 2020 关于名词句法和置换不动点。 Zbl 1528.68152号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 2 2020 关于解决名义不统一约束。 Zbl 1495.03048号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;Daniele Nantes Sobrinho;迪维德·维尔 1 2020 与A、C和AC函数符号的标称（α）等价的形式化。 Zbl 1423.68405号 毛里西奥·阿亚拉·林科恩;华盛顿州，de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥;罗查·奥利维拉，安娜·克里斯蒂娜 6 2019 类型化路径多态性。 Zbl 1423.68089号 毛里西奥·阿亚拉·林科恩;爱德华多·博内利;胡安·埃迪;安德烈斯·维索 2 2019 通过与受保护变量的统一对标称C匹配进行形式化。 Zbl 1433.68186号 毛里西奥·阿亚拉·林科恩;华盛顿州，de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 2 2019 名义上的C统一。 Zbl 1502.68144号 毛里西奥·阿亚拉·林科恩;de Carvalho Segundo，华盛顿;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 8 2018 名义方程统一的定点约束。 Zbl 1462.68089号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 8 2018 对有符号排列进行排序所需的平均反向数。 Zbl 1375.05009号 德利马，塔纳拉·阿里利;毛里西奥·阿亚拉·林科恩 2 2018 函数式语言停顿问题不可判定性的形式化。 Zbl 1509.03049号 拉莫斯、蒂亚戈·门东萨·费雷拉;塞萨尔·穆尼奥斯;毛里西奥·阿亚拉·林科恩;玛丽亚诺·莫斯卡托;亚伦·杜特尔;安东尼·纳卡维奇 2 2018 与A和AC函数符号的标称（α）等价的形式化。 Zbl 1401.68273号 毛里西奥·阿亚拉·林科恩;华盛顿州，de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 6 2017 关于求解标称不动点方程。 Zbl 1495.68108号 毛里西奥·阿亚拉·林科恩;华盛顿州，de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 5 2017 具有正规形和逆的局部稳定理论的入侵推理问题。 Zbl 1386.68078号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 三 2017 计算机科学家的应用逻辑。计算演绎和形式证明。 Zbl 1401.03001号 毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。 1 2017 标称变窄。 Zbl 1387.68142号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 9 2016 标称统一算法在PVS中的完整性。 Zbl 1394.68348号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;罗查·奥利维拉，安娜·克里斯蒂娜 8 2016 检查名义重写规则的重叠。 Zbl 1401.68131号 毛里西奥·阿亚拉·林科恩;费尔南德斯，马里贝尔;默多克·詹姆斯·加贝;罗查·奥利维拉，安娜·克里斯蒂娜 7 2016 路径多态性的类型稳健性。 Zbl 1390.68170号 安德烈斯·维索;爱德华多·博内利;毛里西奥·阿亚拉·林科恩 4 2016 用de Bruijn指数和交集型系统进行显式替换计算。 Zbl 1405.03037号 丹尼尔·利马·文图拉;费尔鲁兹Kamareddine;毛里西奥·阿亚拉·林科恩 1 2015 PVS证明助手中的一阶统一。 Zbl 1407.68430号 安德烈亚·博尔赫斯·艾弗拉尔;安德烈·路易斯·加尔迪诺;弗拉维奥·莱昂纳多·卡瓦尔坎蒂·德·莫拉;毛里西奥·阿亚拉·林科恩 2 2014 计算与远处显式替换的汇合。 Zbl 1360.68324号 弗拉维奥·德·莫拉。;迪莉娅·凯斯纳;毛里西奥·阿亚拉·林科恩 2 2014 形式化正交重写系统的合流。 Zbl 1464.68144号 罗查·奥利维拉，安娜·克里斯蒂娜;毛里西奥·阿亚拉·林科恩 三 2013 正规型局部稳定理论的初等演绎问题。 Zbl 1464.68038号 毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 1 2013 Knuth-Bendix（-Huet）临界对定理的形式化。 Zbl 1207.68338号 安德烈·加尔迪诺。;毛里西奥·阿亚拉·林科恩 5 2010 针对带有盲签名的电子钱包协议，将入侵者推断问题简化为等式初等推导。 Zbl 1253.94074号 Daniele Nantes Sobrinho;毛里西奥·阿亚拉·林科恩 1 2010 术语重写系统的PVS理论。 Zbl 1310.68124号 安德烈·L.Galdino;毛里西奥·阿亚拉·林科恩 2 2009 高阶语言中Newman和Yokouchi引理的形式化。 Zbl 1171.68713号 安德烈·路易斯·加尔迪诺;毛里西奥·阿亚拉·林科恩 5 2008 高阶统一：休特方法和基于显式替换的方法之间的结构关系。 Zbl 1138.03014号 弗拉维奥·德·莫拉。;毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 三 2008 福特-约翰逊算法的一种变体，更节省空间。 Zbl 1184.68660号 毛里西奥·阿亚拉·林科恩;de Abreu，Bruno T。;何塞·德·西奎拉 三 2007 对最优空中交通冲突解决和恢复算法进行形式化验证。 Zbl 1213.90082号 安德烈·加尔迪诺。;塞萨尔·穆尼奥斯;毛里西奥·阿亚拉·林科恩 1 2007 SUBSEXPL：用于模拟和比较显式替换计算的工具。 兹比尔1184.68469 德莫拉，F.L.C。;阿亚拉·林科，M。;卡马雷丁，F。 2 2006 比较并实现显式替换和eta还原的计算。 Zbl 1067.03042号 毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。;法鲁兹卡马雷丁 三 2005 通过显式替换进行二阶匹配。 Zbl 1108.03308号 弗拉维奥·德·莫拉。;法鲁兹卡马雷丁;毛里西奥·阿亚拉·林科恩 2 2005 工作站集群中局部DNA比较的并行Smith-Waterman算法。 Zbl 1121.68463号 阿泽丁·布克切;阿尔巴·克里斯蒂娜（Alba Cristina），马加尔哈斯·阿尔维斯（Magalhaes Alves de Melo）;毛里西奥·阿亚拉·里科;托马斯·桑塔纳。 1 2005 关于将\（\lambda s_e \）-风格的统一应用于简单类型的高阶统一。 Zbl 1073.03007号 毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 三 2003 McCreight的线性时间下限和后缀树的通用更新算法。 Zbl 1069.68548号 毛里西奥·阿亚拉·林科恩;保罗·科内霍。 1 2003 通过\（\lambda s_e \）风格的显式替换进行统一。 Zbl 0987.03012号 毛里西奥·阿亚拉·林科恩;法鲁兹卡马雷丁 7 2001 所有引用出版物 前5名被引用出版物 全部的 前5名69位作者引用 28 毛里西奥·阿亚拉·林科恩 15 玛丽贝尔·费尔南德斯 11 Daniele Nantes Sobrinho 6 卡瓦尔坎蒂·德·莫拉，弗拉维奥·莱昂纳多 5 Fairouz D.卡马雷丁。 5 罗查·奥利维拉，安娜·克里斯蒂娜 4 华盛顿州，de Carvalho-Segundo 4 曼弗雷德·施密特·沙乌 4 安德烈斯·维索 三 爱德华多·博内利 三 特默尔库西亚 三 尤努斯·库茨。 三 加布里埃尔·费雷拉·席尔瓦 2 阿丽亚娜·阿尔维斯·阿尔梅达 2 胡安·埃迪 2 安德烈·路易斯·加尔迪诺 2 罗斯·霍恩 2 川崎岩马 2 肯塔罗州菊池 2 绍克·莫 2 玛丽亚诺·莫斯卡托（Mariano M.Moscato）。 2 塞萨尔·穆尼奥斯。 2 拉莫斯，蒂亚戈·门登萨·费雷拉 2 大卫·萨贝尔 2 纯一县Teruyama 2 迪维德·维尔 2 塞门·尤尔科夫 1 高仁青藤 1 阿维拉·达席尔瓦（Avelar da Silva），安德烈亚·B。 1 安德烈亚·博尔赫斯·艾弗拉尔 1 安妮·巴南 1 巴博萨，A.V。 1 鲁道夫·贝泽拉·巴蒂斯塔 1 艾哈迈德·巴亚特 1 阿泽丁·布克切 1 詹姆斯·切尼 1 巴德拉查拉姆·奇图里 1 保罗·D·科内乔。 1 Joshua N.库珀。 1 Sander R.Dahmen。 1 德利马，塔纳拉·阿里利 1 多明格斯、杰苏斯·埃米利奥 1 Besik Dundua 1 亚伦·M·达特（Aaron M.Dutle）。 1 Shogo Ehara 1 塞尔达尔·埃尔巴图尔 1 伯特伦·费尔根豪尔 1 诺伯特·福加拉西 1 默多克·詹姆斯·加贝 1 伊万尼，安塔尔·米克洛斯 1 约尔迪·利维 1 阿尔巴·克里斯蒂娜（Alba Cristina），马加尔哈斯·阿尔维斯（Magalhaes Alves de Melo） 1 安德鲁·马歇尔。 1 亚历克西斯·马丁 1 朱利安·纳格尔 1 普拉莫德·奈尔。 1 阿什夫尼·纳拉亚南 1 安东尼·约瑟夫·纳卡维奇 1 菲利波·阿尔贝托·埃多亚多·努乔 1 贾尔斯·里格尔 1 克里斯托夫·林盖森 1 亚历杭德罗·雷奥斯 1 米哈伊尔·鲁卡亚 1 安德鲁·保罗·史密斯 1 拉詹·桑达拉瓦德汗 1 丹尼尔·利马·文图拉 1 维拉雷特，马特乌 1 海斯·惠特拉克 1 哈拉尔德·赞克 全部的 前5名15篇连载文章中引用 7 理论计算机科学 6 自动推理杂志 三 计算机科学中的数学结构 2 计算机科学中的逻辑方法 1 计算机与系统科学杂志 1 应用数学进展 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 算法 1 并行与分布式计算杂志 1 应用非经典逻辑杂志 1 计算机基础理论 1 逻辑程序设计理论与实践 1 应用逻辑杂志 1 《大学学报》。Informatica公司 全部的 前5名10个领域引用 51 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 三 组合数学（05-XX） 三 生物学和其他自然科学（92-XX） 2 交换代数（13-XX） 2 群论与推广（20-XX） 1 数论（11-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 结合环与代数（16-XX） 1 数值分析（65-XX） 按年份列出的引文