Mauricio Ayala-Rincón

José Luis Soncco-Álvarez, Mauricio Ayala-Rincón: Sorting Permutations by Reversals through a Hybrid Genetic Algorithm based on Breakpoint Elimination and Exact Solutions for Signed Permutations. Electr. Notes Theor. Comput. Sci. 292: 119-133 (2013)

Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho: Elementary Deduction Problem for Locally Stable Theories with Normal Forms. LSFA 2012: 45-60

Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón: Formalizing the Confluence of Orthogonal Rewriting Systems. LSFA 2012: 145-152

Flávio L. C. de Moura, A. V. Barbosa, Mauricio Ayala-Rincón, Fairouz Kamareddine: A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi. Electr. Notes Theor. Comput. Sci. 269: 41-54 (2011)

Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine: Preface. Theor. Comput. Sci. 412(37): 4851-4852 (2011)

Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón: Opposition-based shuffled PSO with passive congregation applied to FM matching synthesis. IEEE Congress on Evolutionary Computation 2011: 2775-2781

Andréia B. Avelar, André Luiz Galdino, Flávio L. C. de Moura, Mauricio Ayala-Rincón: A Formalization of the Theorem of Existence of First-Order Most General Unifiers. LSFA 2011: 63-78

André Luiz Galdino, Mauricio Ayala-Rincón: A Formalization of the Knuth-Bendix(-Huet) Critical Pair Theorem. J. Autom. Reasoning 45(3): 301-325 (2010)

Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón: Accelerating the Shuffled Frog Leaping algorithm by parallel implementations in FPGAs. BIC-TA 2010: 1526-1534

Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón: Comparison between two FPGA implementations of the Particle Swarm Optimization algorithm for high-performance embedded applications. BIC-TA 2010: 1637-1645

Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón: Hardware Particle Swarm Optimization Based on the Attractive-Repulsive Scheme for Embedded Applications. ReConFig 2010: 55-60

Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón: Verification of the Completeness of Unification Algorithms à la Robinson. WoLLIC 2010: 110-124

Daniele Nantes Sobrinho, Mauricio Ayala-Rincón: Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. WoLLIC 2010: 218-231

Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC 2010: 232-246

André Luiz Galdino, Mauricio Ayala-Rincón: A PVS Theory for Term Rewriting Systems. Electr. Notes Theor. Comput. Sci. 247: 67-83 (2009)

Mauricio Ayala-Rincón, Fairouz Kamareddine: Preface. Electr. Notes Theor. Comput. Sci. 256: 1-3 (2009)

Mauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. Logic Journal of the IGPL 17(5): 487-488 (2009)

Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Explicit substitutions calculi with one step Eta-reduction decided explicitly. Logic Journal of the IGPL 17(6): 697-718 (2009)

Daniel M. Muñoz Arboleda, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón: Hardware Architecture for Particle Swarm Optimization Using Floating-Point Arithmetic. ISDA 2009: 243-248

Diego F. Sánchez, Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón: Parameterizable floating-point library for arithmetic operations in FPGAs. SBCCI 2009

Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices. WRS 2009: 69-82

André Luiz Galdino, Mauricio Ayala-Rincón: A Theory for Abstract Reduction Systems in PVS. CLEI Electron. J. 11(2) (2008)

Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón, Rudi H. van Els: Distributed approach to group control of elevator systems using fuzzy logic and FPGA implementation of dispatching algorithms. Eng. Appl. of AI 21(8): 1309-1320 (2008)

Mauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. Electr. Notes Theor. Comput. Sci. 205: 1-3 (2008)

Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions. J. Applied Logic 6(1): 72-108 (2008)

Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings for Explicit Substitutions Calculi. CiE 2008: 567-578

Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Edans Flavius de Oliveira Sandes, Mauricio Ayala-Rincón: An exact parallel algorithm to compare very long biological sequences in clusters of workstations. Cluster Computing 10(2): 187-202 (2007)

Mauricio Ayala-Rincón, Bruno T. de Abreu, José de Siqueira: A variant of the Ford-Johnson algorithm that is more space efficient. Inf. Process. Lett. 102(5): 201-207 (2007)

Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Maria Emilia Telles Walter: Parallel strategies for the local biological sequence alignment in a cluster of workstations. J. Parallel Distrib. Comput. 67(2): 170-185 (2007)

André Luiz Galdino, César Muñoz, Mauricio Ayala-Rincón: Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. WoLLIC 2007: 177-188

Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine: SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. Journal of Applied Non-Classical Logics 16(1-2): 119-150 (2006)

Mauricio Ayala-Rincón, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein: Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logic. ACM Trans. Design Autom. Electr. Syst. 11(2): 251-281 (2006)

Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón, Rudi H. van Els: Implementation, Simulation and Validation of Dispatching Algorithms for Elevator Systems. ReConFig 2006: 290-297

Daniel M. Muñoz, Carlos H. Llanos, Mauricio Ayala-Rincón, Rudi H. van Els, Renato P. Almeida: Implementation of dispatching algorithms for elevator systems using reconfigurable architectures. SBCCI 2006: 32-37

Mauricio Ayala-Rincón, Thomas Mailleux Santana: SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. SBCCI 2006: 125-130

Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine: Comparing and implementing calculi of explicit substitutions with eta-reduction. Ann. Pure Appl. Logic 134(1): 5-41 (2005)

Carlos Morra, Jürgen Becker, Mauricio Ayala-Rincón, Reiner W. Hartenstein: FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations. FPL 2005: 25-30

Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Thomas Mailleux Santana: Parallel Strategies for Local Biological Sequence Alignment in a Cluster of Workstations. IPDPS 2005

André L. S. Braga, Carlos H. Llanos, Mauricio Ayala-Rincón, Ricardo P. Jacobi: VANNGen: a flexible CAD tool for hardware implementation of artificial neural networks. ReConFig 2005

Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Thomas Mailleux Santana: Parallel Smith-Waterman Algorithm for Local DNA Comparison in a Cluster of Workstations. WEA 2005: 464-475

Rodrigo de Castro Miranda, Mauricio Ayala-Rincón: A Modification of the Landau-Vishkin Algorithm Computing Longest Common Extensions via Suffix Arrays. BSB 2005: 210-213

Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón: Second-Order Matching via Explicit Substitutions. LPAR 2004: 433-448

Mauricio Ayala-Rincón, Ricardo P. Jacobi, Luis G. A. Carvalho, Carlos H. Llanos, Reiner W. Hartenstein: Modeling and prototyping dynamically reconfigurable systems for efficient computation of dynamic programming methods by rewriting-logic. SBCCI 2004: 248-253

Ricardo P. Jacobi, Mauricio Ayala-Rincón, Luis G. A. Carvalho, Carlos H. Llanos, Reiner W. Hartenstein: Reconfigurable Systems for Sequence Alignment and for General Dynamic Programming. WOB 2004: 25-32

Mauricio Ayala-Rincón, Paulo D. Conejo: A Linear Time Lower Bound on McCreight and General Updating Algorithms for Suffix Trees. Algorithmica 37(3): 233-241 (2003)

Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón: On Automating the Extraction of Programs from Termination Proofs. Revista Colombiana de Computación 4(2) (2003)

Mauricio Ayala-Rincón, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein: Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing. FDL 2003: 492-504

Mauricio Ayala-Rincón, Rodrigo B. Nogueira, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein: Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic. SBCCI 2003: 205-210

Mauricio Ayala-Rincón, Rodrigo B. Nogueira, Carlos H. Llanos, Ricardo P. Jacobi, Reiner W. Hartenstein: Efficient Computation of Algebraic Operations over Dynamically Reconfigurable Systems Specified by Rewriting-Logic Environments. SCCC 2003: 60-

Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine: Comparing Calculi of Explicit Substitutions with Eta-reduction. Electr. Notes Theor. Comput. Sci. 67: 76-95 (2002)

Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón: On automating the extraction of programs from proofs using product types. Electr. Notes Theor. Comput. Sci. 67: 233-253 (2002)

Mauricio Ayala-Rincón, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein: Applying ELAN Strategies in Simulating Processors over Simple Architectures. Electr. Notes Theor. Comput. Sci. 70(6): 84-99 (2002)

Mauricio Ayala-Rincón, Alexsandro F. da Fonseca, Haydée Werneck Poubel, José de Siqueira: A framework to visualize equivalences between computational models of regular languages. Inf. Process. Lett. 84(1): 5-16 (2002)

Mauricio Ayala-Rincón, Reiner W. Hartenstein, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos: Architectural Specification, Exploration and Simulation Through Rewriting-Logic. Revista Colombiana de Computación 3(2) (2002)

Mauricio Ayala-Rincón, Fairouz Kamareddine: Unification via the lambda s_e-Style of Explicit Substitutions. Logic Journal of the IGPL 9(4): 489-523 (2001)

Mauricio Ayala-Rincón, Ivan E. Tavares de Araújo: Unification Modulo Presburger Arithmetic and Other Decidable Theories. Revista Colombiana de Computación 2(2) (2001)

Luiz M. R. Gadelha Jr., Mauricio Ayala-Rincón: An Efficient Strategy for Word-Cycle Completion in Finitely Presented Groups. SCCC 2001: 80-85

Mauricio Ayala-Rincón, César Muñoz: Explicit Substitions and All That. Revista Colombiana de Computación 1(1): 47-71 (2000)

Mauricio Ayala-Rincón, Fairouz Kamareddine: Unification via s_e-style of explicit substitution. PPDP 2000: 163-174

Mauricio Ayala-Rincón, Paulo D. Conejo: A Linear Time Lower Bound on Updating Algorithms for Suffix Trees. SPIRE 1998: 1-6

Mauricio Ayala-Rincón: Expressiveness of conditional equational systems with built-in predicates. Universität Kaiserslautern 1993, pp. 1-154