| 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 | 55 | 2005 |
| Formal verification of an optimal air traffic conflict resolution and recovery algorithm AL Galdino, C Munoz, M Ayala-Rincón International Workshop on Logic, Language, Information, and Computation, 177-188, 2007 | 51 | 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 | 41 | 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 | 40 | 2011 |
| Unification via the λse-style of explicit substitutions M Ayala-Rincón, F Kamareddine Logic Journal of the IGPL 9 (4), 489-523, 2001 | 39 | 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 | 36 | 2005 |
| 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 | 34 | 2010 |
| 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 | 31 | 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 | 31 | 2008 |
| 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 | 29 | 2009 |
| 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 | 27 | 2010 |
| An exact parallel algorithm to compare very long biological sequences in clusters of workstations A Boukerche, ACMA de Melo, EF de Oliveira Sandes, M Ayala-Rincon Cluster Computing 10 (2), 187-202, 2007 | 24 | 2007 |
| A formalization of the Knuth–Bendix (–Huet) critical pair theorem AL Galdino, M Ayala-Rincón Journal of Automated Reasoning 45 (3), 301-325, 2010 | 23 | 2010 |
| Nominal narrowing M Ayala-Rincón, M Fernández, D Nantes-Sobrinho 1st International Conference on Formal Structures for Computation and …, 2016 | 20 | 2016 |
| 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 |
| 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 | 19 | 2009 |
| Prototyping time-and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic M Ayala-Rincón, CH Llanos, RP Jacobi, RW Hartenstein ACM Transactions on Design Automation of Electronic Systems (TODAES) 11 (2 …, 2006 | 19 | 2006 |
| Comparing and implementing calculi of explicit substitutions with eta-reduction M Ayala-Rincón, FLC de Moura, F Kamareddine Annals of Pure and Applied Logic 134 (1), 5-41, 2005 | 19 | 2005 |
| Modeling a reconfigurable system for computing the FFT in place via rewriting-logic M Ayala-Rincón, RB Nogueira, CH Llanos, RP Jacobi, RW Hartenstein 16th Symposium on Integrated Circuits and Systems Design, 2003. SBCCI 2003 …, 2003 | 18 | 2003 |
| Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs M Ayala-Rincón, FLC De Moura Springer, 2017 | 17 | 2017 |
Carlos Humberto LlanosEng. Mecânica, Universidade de BrasíliaVerified email at unb.br
