Mauricio Ayala Rincon

Cited by

	All	Since 2018
Citations	1514	526
h-index	20	12
i10-index	59	18

140

105

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220234 8 15 15 9 29 53 36 53 57 79 41 73 94 94 99 102 102 77 123 112 126 76 11

Public access

View all

4 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
FLC de MouraUniversidade de BrasíliaVerified email at unb.br
Maribel FernandezProfessor of Computer Science, King's College LondonVerified email at kcl.ac.uk
Daniel M. MuñozAssistant Professor, University of BrasiliaVerified email at unb.br
Daniele Nantes-SobrinhoProfessor of Mathematics, University of BrasíliaVerified email at mat.unb.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
Thaynara Arielly de LimaInstitute of Mathematics and Statistics, Universidade Federal de GoiásVerified email at ufg.br
Leandro dos Santos CoelhoData Science, AI and Machine Learning Consulting, Mechatr. Eng. (PUCPR) and Electr. Eng. (UFPR)Verified email at pucpr.br
Washington Luís Ribeiro de Carvalho...Coordenador 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 inf.ufg.br
Alba Cristina Magalhaes Alves de MeloProfessor at the Department of Computer Science - University of BrasiliaVerified email at unb.br
Juergen BeckerKarlsruhe Institute of TechnologyVerified email at kit.edu
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
Eduardo BonelliStevens Institute of TechnologyVerified email at stevens.edu
Felipe A. LouzaUniversidade Federal de UberlândiaVerified email at ufu.br

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
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 WoLLIC 4576, 177-188, 2007	55	2007
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	51	2010
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	47	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	36	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	34	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	34	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	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	30	2009
Applied Logic for Computer Scientists M Ayala-Rincón, FLC De Moura	25	2017
Nominal narrowing M Ayala-Rincón, M Fernández, D Nantes-Sobrinho 1st International Conference on Formal Structures for Computation and …, 2016	25	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 Munoz, DF Sánchez, CH Llanos, M Ayala-Rincón 2009 17th IFIP international conference on very large scale integration …, 2009	22	2009
Nominal C-Unification M Ayala-Rincón, WR de Carvalho-Segundo, M Fernandez, ... International Symposium on Logic-Based Program Synthesis and Transformation …, 2018	20	2018
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	20	2016
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	20	2014
FELIX: using rewriting-logic for generating functionally equivalent implementations C Morra, J Becker, M Ayala-Rincon, R Hartenstein International Conference on Field Programmable Logic and Applications, 2005 …, 2005	20	2005

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