Mauricio Ayala Rincon

Cited by

	All	Since 2018
Citations	1615	604
h-index	21	13
i10-index	61	20

140

105

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220237 15 15 9 29 51 36 53 53 83 47 61 104 91 106 91 125 73 137 107 114 72 97

Public access

View all

6 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
Fairouz KamareddineHeriot-Watt UniversityVerified email at hw.ac.uk
Maribel FernandezProfessor of Computer Science, King's College LondonVerified email at kcl.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ñozAssistant Professor, University of BrasiliaVerified email at unb.br
José Luis Soncco-ÁlvarezUniversidad Nacional de San Antonio Abad del CuscoVerified email at unsaac.edu.pe
Thaynara Arielly de LimaInstitute of Mathematics and Statistics, Universidade Federal de GoiásVerified email at ufg.br
Reiner HartensteinUniversity of Kaiserslautern & KIT KarlsruheVerified email at hartenstein.de
Leandro dos Santos CoelhoALLIA (Data Science, AI, Machine Learning Consulting), Electr. Eng. (UFPR) and Mechatr. Eng. (PUCPR)Verified email at pucpr.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
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
Daniel Saad Nogueira NunesProfessor of Computer Science, Instituto Federal de Brasília / Ph.D Student, Universidade deVerified email at ifb.edu.br
Gonzalo NavarroUniversity of ChileVerified email at dcc.uchile.cl
Simon GogKarlsruhe Institute of TechnologyVerified email at kit.edu
Mariano M. MoscatoSr. Research Scientist, National Institute of AerospaceVerified email at nianet.org
Eduardo BonelliStevens Institute of TechnologyVerified email at stevens.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	57	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-Rincon 2011 vii southern conference on programmable logic (SPL), 263-268, 2011	48	2011
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
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	41	2010
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	34	2008
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	32	2009
Nominal narrowing M Ayala-Rincón, M Fernández, D Nantes-Sobrinho 1st International Conference on Formal Structures for Computation and …, 2016	31	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	31	2010
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	31	2009
Applied logic for computer scientists: computational deduction and formal proofs M Ayala-Rincón, FLC De Moura Springer, 2017	28	2017
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
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
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	23	2016
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	22	2009
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	21	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	21	2014

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