Mauricio Ayala Rincon

Citado por

	Todos	Desde 2019
Citações	1634	572
Índice h	21	13
Índice i10	61	19

140

105

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320246 15 16 7 29 49 36 54 53 78 49 59 109 84 106 97 113 74 132 109 110 72 127 21

Acesso público

Ver tudo

6 artigos

2 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Carlos Humberto LlanosEng. Mecânica, Universidade de BrasíliaEmail confirmado em unb.br
Fairouz KamareddineHeriot-Watt UniversityEmail confirmado em hw.ac.uk
Maribel FernandezProfessor of Computer Science, King's College LondonEmail confirmado em kcl.ac.uk
FLC de MouraUniversidade de BrasíliaEmail confirmado em unb.br
Daniele Nantes-SobrinhoResearcher, Imperial College London and Professor of Mathematics, University of BrasíliaEmail confirmado em mat.unb.br
Daniel M. MuñozAssistant Professor, University of BrasiliaEmail confirmado em unb.br
José Luis Soncco-ÁlvarezUniversidad Nacional de San Antonio Abad del CuscoEmail confirmado em unsaac.edu.pe
Thaynara Arielly de LimaInstitute of Mathematics and Statistics, Universidade Federal de GoiásEmail confirmado em ufg.br
Reiner HartensteinUniversity of Kaiserslautern & KIT KarlsruheEmail confirmado em hartenstein.de
Cesar MunozNASAEmail confirmado em nasa.gov
Leandro dos Santos CoelhoALLIA Founder (Data Science, AI, Machine Learning Consulting), Electrical Engineering (UFPR)Email confirmado em ufpr.br
Washington Luís Ribeiro de Carvalho...Coordenador Geral e Pesquisador no IbictEmail confirmado em ibict.br
Janier Arias GarciaAssistant Professor, Department of Electronic Engineering, Federal University of Minas Gerais (UFMGEmail confirmado em ufmg.br
Daniel VenturaProfessor de Ciência da Computação, Universidade Federal de GoiásEmail confirmado em ufg.br
Juergen BeckerKarlsruhe Institute of TechnologyEmail confirmado em kit.edu
Alba Cristina Magalhaes Alves de MeloProfessor at the Department of Computer Science - University of BrasiliaEmail confirmado em unb.br
Daniel Saad Nogueira NunesProfessor of Computer Science, Instituto Federal de Brasília / Ph.D Student, Universidade deEmail confirmado em ifb.edu.br
Gonzalo NavarroUniversity of ChileEmail confirmado em dcc.uchile.cl
Simon GogKarlsruhe Institute of TechnologyEmail confirmado em kit.edu
Eduardo BonelliStevens Institute of TechnologyEmail confirmado em stevens.edu

Seguir

Mauricio Ayala Rincon

Professor of Computer Science and Mathematics, Universidade de Brasilia

Email confirmado em unb.br - Página inicial

Logic Rewriting Type Theory Theorem Proving Automated Reasoning


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	60	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	56	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	55	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	50	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	41	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	35	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	35	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
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
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
Nominal C-Unification M Ayala-Rincón, WR de Carvalho-Segundo, M Fernandez, ... International Symposium on Logic-Based Program Synthesis and Transformation …, 2018	24	2018
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	24	2014
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
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	22	2017
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

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores