Mauricio Ayala Rincon 个人学术档案

引用次数

	总计	2019 年至今
引用	1697	627
h 指数	21	14
i10 指数	62	20

140

105

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 15 16 7 29 49 36 53 54 78 49 60 111 88 106 98 109 76 134 107 110 71 135 68

开放获取的出版物数量

查看全部

7 篇文章

2 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Carlos Humberto LlanosEng. Mecânica, Universidade de Brasília在 unb.br 的电子邮件经过验证
Maribel FernandezProfessor of Computer Science, King's College London在 kcl.ac.uk 的电子邮件经过验证
Fairouz KamareddineHeriot-Watt University在 hw.ac.uk 的电子邮件经过验证
FLC de MouraUniversidade de Brasília在 unb.br 的电子邮件经过验证
Daniele Nantes-SobrinhoResearcher, Imperial College London and Professor of Mathematics, University of Brasília在 mat.unb.br 的电子邮件经过验证
Daniel M. MuñozAssistant Professor, University of Brasilia在 unb.br 的电子邮件经过验证
José Luis Soncco-ÁlvarezUniversidad Nacional de San Antonio Abad del Cusco在 unsaac.edu.pe 的电子邮件经过验证
Thaynara Arielly de LimaInstitute of Mathematics and Statistics, Universidade Federal de Goiás在 ufg.br 的电子邮件经过验证
Reiner HartensteinUniversity of Kaiserslautern & KIT Karlsruhe在 hartenstein.de 的电子邮件经过验证
Cesar MunozNASA在 nasa.gov 的电子邮件经过验证
Leandro dos Santos CoelhoProfessor of Electrical Engineering, Federal University of Parana (UFPR), ALLIA Founder在 ufpr.br 的电子邮件经过验证
Washington Luís Ribeiro de Carvalho...Coordenador Geral e Pesquisador no Ibict在 ibict.br 的电子邮件经过验证
Janier Arias GarciaAssistant Professor, Department of Electronic Engineering, Federal University of Minas Gerais (UFMG在 ufmg.br 的电子邮件经过验证
Daniel VenturaProfessor de Ciência da Computação, Universidade Federal de Goiás在 ufg.br 的电子邮件经过验证
Juergen BeckerKarlsruhe Institute of Technology在 kit.edu 的电子邮件经过验证
Daniel Saad Nogueira NunesProfessor of Computer Science, Instituto Federal de Brasília / Ph.D Student, Universidade de在 ifb.edu.br 的电子邮件经过验证
Alba Cristina Magalhaes Alves de MeloProfessor at the Department of Computer Science - University of Brasilia在 unb.br 的电子邮件经过验证
Gonzalo NavarroUniversity of Chile在 dcc.uchile.cl 的电子邮件经过验证
Simon GogKarlsruhe Institute of Technology在 kit.edu 的电子邮件经过验证
Temur KutsiaResearch Institute for Symbolic Computation, Johannes Kepler University Linz在 risc.jku.at 的电子邮件经过验证

关注

Mauricio Ayala Rincon

Professor of Computer Science and Mathematics, Universidade de Brasilia

在 unb.br 的电子邮件经过验证 - 首页

Logic Rewriting Type Theory Theorem Proving Automated Reasoning


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Tradeoff of FPGA design of a floating-point library for arithmetic operators DM Muñoz, DF Sanchez, CH Llanos, M Ayala-Rincón Journal of Integrated Circuits and Systems 5 (1), 42-52, 2010	61	2010
Formal verification of an optimal air traffic conflict resolution and recovery algorithm AL Galdino, C Munoz, M Ayala-Rincón Logic, Language, Information and Computation: 14th International Workshop …, 2007	56	2007
Reconfigurable systems for sequence alignment and for general dynamic programming RP Jacobi, M Ayala-Rincón, LGA Carvalho, CH Llanos, RW Hartenstein Genetics and Molecular Research 4 (3), 543-552, 2005	56	2005
A suitable FPGA implementation of floating-point matrix inversion based on Gauss-Jordan elimination J Arias-García, RP Jacobi, CH Llanos, M Ayala-Rincón 2011 vii southern conference on programmable logic (SPL), 263-268, 2011	51	2011
FPGA based floating-point library for CORDIC algorithms DM Muñoz, DF Sanchez, CH Llanos, M Ayala-Rincón 2010 VI Southern Programmable Logic Conference (SPL), 55-60, 2010	44	2010
Unification via the λs_e-style of explicit substitutions M Ayala-Rincón, F Kamareddine Logic Journal of the IGPL 9 (4), 489-523, 2001	42	2001
Parallel strategies for local biological sequence alignment in a cluster of workstations A Boukerche, ACMA de Melo, M Ayala-Rincón 19th IEEE International Parallel and Distributed Processing Symposium, 8 pp., 2005	38	2005
Hardware architecture for particle swarm optimization using floating-point arithmetic DMM Arboleda, CH Llanos, M Ayala-Rincón 2009 Ninth International Conference on Intelligent Systems Design and …, 2009	36	2009
Distributed approach to group control of elevator systems using fuzzy logic and FPGA implementation of dispatching algorithms DM Munoz, CH Llanos, M Ayala-Rincon, RH van Els Engineering Applications of Artificial Intelligence 21 (8), 1309-1320, 2008	36	2008
Comparison between two FPGA implementations of the particle swarm optimization algorithm for high-performance embedded applications DM Muñoz, CH Llanos, LS Coelho, M Ayala-Rincón 2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories …, 2010	32	2010
Nominal narrowing M Ayala-Rincón, M Fernández, D Nantes-Sobrinho 1st International Conference on Formal Structures for Computation and …, 2016	30	2016
Parameterizable floating-point library for arithmetic operations in fpgas DF Sánchez, DM Muñoz, CH Llanos, M Ayala-Rincón Proceedings of the 22nd Annual Symposium on Integrated Circuits and System …, 2009	30	2009
Applied logic for computer scientists: computational deduction and formal proofs M Ayala-Rincón, FLC De Moura Springer, 2017	29	2017
Hardware opposition-based PSO applied to mobile robot controllers DM Muñoz, CH Llanos, LS Coelho, M Ayala-Rincón Engineering Applications of Artificial Intelligence 28, 64-77, 2014	27	2014
Nominal C-Unification M Ayala-Rincón, WR de Carvalho-Segundo, M Fernandez, ... International Symposium on Logic-Based Program Synthesis and Transformation …, 2018	25	2018
On solving nominal fixpoint equations M Ayala-Rincón, W de Carvalho-Segundo, M Fernández, ... International Symposium on Frontiers of Combining Systems, 209-226, 2017	25	2017
A formalization of the Knuth–Bendix (–Huet) critical pair theorem AL Galdino, M Ayala-Rincón Journal of Automated Reasoning 45, 301-325, 2010	25	2010
Completeness in PVS of a nominal unification algorithm M Ayala-Rincón, M Fernández, AC Rocha-Oliveira Electronic Notes in Theoretical Computer Science 323, 57-74, 2016	24	2016
An exact parallel algorithm to compare very long biological sequences in clusters of workstations A Boukerche, ACMA de Melo, EFO Sandes, M Ayala-Rincon Cluster Computing 10, 187-202, 2007	24	2007
Tradeoff of FPGA design of floating-point transcendental functions DM Muñoz, DF Sánchez, CH Llanos, M Ayala-Rincón 2009 17th IFIP international conference on very large scale integration …, 2009	23	2009

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用