Mauricio Ayala Rincon

Cited by

	All	Since 2019
Citations	1788	714
h-index	21	14
i10-index	67	25

160

120

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 15 15 8 29 49 37 53 54 78 49 61 112 91 108 98 109 76 136 108 110 74 132 150

Public access

View all

9 articles

2 articles

available

not available

Based on funding mandates

Co-authors

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

Mauricio Ayala Rincon

Professor of Computer Science and Mathematics, Universidade de Brasilia

Verified email at unb.br - Homepage

Logic Rewriting Type Theory Theorem Proving Automated Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	62	2010
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	57	2005
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
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	53	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	45	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
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	38	2009
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
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
Nominal narrowing M Ayala-Rincón, M Fernández, D Nantes-Sobrinho 1st International Conference on Formal Structures for Computation and …, 2016	34	2016
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	33	2010
Applied logic for computer scientists: computational deduction and formal proofs M Ayala-Rincón, FLC De Moura Springer, 2017	31	2017
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
Nominal C-Unification M Ayala-Rincón, WR de Carvalho-Segundo, M Fernandez, ... International Symposium on Logic-Based Program Synthesis and Transformation …, 2018	28	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	28	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
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	26	2016
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
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors