Mauricio Ayala-Rincón

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 63

Top Venues

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Thaynara Arielly de Lima, Andréia Borges Avelar, André Luiz Galdino, Mauricio Ayala-Rincón
Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. CoRR (2024)
Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
Equational Anti-unification over Absorption Theories. IJCAR (2) (2024)
Lucas A. da Silveira, Thaynara A. de Lima, Mauricio Ayala-Rincón
On reconfiguring heterogeneous parallel island models. Swarm Evol. Comput. 89 (2024)
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
Nominal AC-Matching. CICM (2023)
Lucas A. da Silveira, Thaynara A. de Lima, Jessé Barreto de Barros, José Luis Soncco-Álvarez, Carlos H. Llanos, Mauricio Ayala-Rincón
On the behavior of parallel island models. Appl. Soft Comput. 148 (2023)
Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
Equational Anti-Unification over Absorption Theories. CoRR (2023)
Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. FMCAD (2023)
César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar da Silva, Thiago Mendonça Ferreira Ramos
Formal Verification of Termination Criteria for First-Order Recursive Functions. J. Autom. Reason. 67 (4) (2023)
Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino
Formalization of Algebraic Theorems in PVS (Invited Talk). LPAR (2023)
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho
A Certified Algorithm for AC-Unification. FSCD (2022)
Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro
Grammar Compression by Induced Suffix Sorting. ACM J. Exp. Algorithmics 27 (2022)
Thiago Mendonça Ferreira Ramos, Ariane Alves Almeida, Mauricio Ayala-Rincón
Formalization of the Computational Theory of a Turing Complete Functional Language Model. J. Autom. Reason. 66 (4) (2022)
Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara Arielly de Lima
Hall's Theorem for Enumerable Families of Finite Sets. CICM (2022)
Jessé Barreto de Barros, Nidhi Anantharajaiah, Mauricio Ayala-Rincón, Carlos Humberto Llanos Quintero, Jürgen Becker
The impact of formulation of cost function in Task Mapping Problem on NoCs using bio-inspired based-metaheuristics. Microprocess. Microsystems 94 (2022)
Lucas A. da Silveira, Thaynara A. de Lima, Mauricio Ayala-Rincón
Reconfigurable Heterogeneous Parallel Island Models. SSCI (2022)
Lucas Angelo da Silveira, Thaynara Arielly de Lima, Mauricio Ayala-Rincón
Reconfigurable Heterogeneous Parallel Island Models. CoRR (2022)
Mauricio Ayala-Rincón, Samuel Mimram
Introduction to the special issue: Confluence. Math. Struct. Comput. Sci. 32 (7) (2022)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
Nominal Equational Problems. FoSSaCS (2021)
Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón
Heterogeneous Parallel Island Models. SSCI (2021)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
Formalising nominal C-unification generalised with protected variables. Math. Struct. Comput. Sci. 31 (3) (2021)
Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón
Formalization of Ring Theory in PVS. J. Autom. Reason. 65 (8) (2021)
César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar, Thiago Mendonça Ferreira Ramos
Formal Verification of Termination Criteria for First-Order Recursive Functions. ITP (2021)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
On Nominal Syntax and Permutation Fixed Points. Log. Methods Comput. Sci. 16 (1) (2020)
Mauricio Ayala-Rincón, Philippe Balbiani
Introduction to the special issue: Unification. Math. Struct. Comput. Sci. 30 (6) (2020)
Mauricio Ayala-Rincón, Thaynara Arielly de Lima
Teaching Interactive Proofs to Mathematicians. ThEdu@IJCAR (2020)
Edwin Alvarez-Mamani, Lauro Enciso-Rodas, Mauricio Ayala-Rincón, José Luis Soncco-Álvarez
Parallel Social Spider Optimization Algorithms with Island Model for the Clustering Problem. SIMBig (2020)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
An Investigation into General Nominal Equational Problems (Work in progress). UNIF (2020)
Jessé Barreto de Barros, Nidhi Anantharajaiah, Mauricio Ayala-Rincón, Carlos Humberto Llanos Quintero, Jürgen Becker
A Study of the Impact of Formulation of Cost Function in Task Mapping Problem on NoCs. NorCAS (2020)
Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón
Behavior of Bioinspired Algorithms in Parallel Island Models. CEC (2020)
Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro
Grammar Compression By Induced Suffix Sorting. CoRR (2020)
Ariane Alves Almeida, Mauricio Ayala-Rincón
Formalizing the dependency pair criterion for innermost termination. Sci. Comput. Program. 195 (2020)
Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón
Parallel Island Model Genetic Algorithms applied in NP-Hard problems. CEC (2019)
Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso
Typed path polymorphism. Theor. Comput. Sci. 781 (2019)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira
-equivalence with A, C, and AC function symbols. Theor. Comput. Sci. 781 (2019)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
On Solving Nominal Disunification Constraints. LSFA (2019)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
On Nominal Syntax and Permutation Fixed Points. CoRR (2019)
Ariane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón
The Computational Relevance of Formal Logic Through Formal Proofs. FMTea (2019)
Jessé Barreto de Barros, Mauricio Ayala-Rincón, Carlos Humberto Llanos Quintero
Application of an Adaptive Genetic Algorithm for Task Mapping Optimisation on a Wormhole-based Real-time Network-on-Chip. SBESC (2019)
Mauricio Ayala-Rincón, César A. Muñoz
Selected Extended Papers of ITP 2017 - Preface. J. Autom. Reason. 63 (2) (2019)
Ariane Alves Almeida, Mauricio Ayala-Rincón
Formalizing the Dependency Pair Criterion for Innermost Termination. CoRR (2019)
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
A Certified Functional Nominal C-Unification Algorithm. LOPSTR (2019)
José Luis Soncco-Álvarez, Daniel M. Muñoz, Mauricio Ayala-Rincón
Opposition-Based Memetic Algorithm and Hybrid Approach for Sorting Permutations by Reversals. Evol. Comput. 27 (2) (2019)
Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz
Formalization of the Undecidability of the Halting Problem for a Functional Language. WoLLIC (2018)
Thaynara A. de Lima, Mauricio Ayala-Rincón
On the average number of reversals needed to sort signed permutations. Discret. Appl. Math. 235 (2018)
Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón
Parallel Multi-Island Genetic Algotirth for Sorting Unsigned Genomes by Reversals. CEC (2018)
Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira, Daniel Lima Ventura
Nominal essential intersection types. Theor. Comput. Sci. 737 (2018)
Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro
A Grammar Compression Algorithm Based on Induced Suffix Sorting. DCC (2018)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
Fixed-Point Constraints for Nominal Equational Unification. FSCD (2018)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
A Formalisation of Nominal C-Matching through Unification with Protected Variables. LSFA (2018)
Lucas Angelo da Silveira, José Luis Soncco-Álvarez, Mauricio Ayala-Rincón
Parallel genetic algorithms with sharing of individuals for sorting unsigned genomes by reversals. CEC (2017)
Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincón, Gonzalo Navarro
A Grammar Compression Algorithm based on Induced Suffix Sorting. CoRR (2017)
José Luis Soncco-Álvarez, Mauricio Ayala-Rincón
Variable neighborhood search for the large phylogeny problem using gene order data. CEC (2017)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
Nominal C-Unification. CoRR (2017)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
Nominal C-Unification. LOPSTR (2017)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
Intruder deduction problem for locally stable theories with normal forms and inverses. Theor. Comput. Sci. 672 (2017)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
On Solving Nominal Fixpoint Equations. FroCoS (2017)
Ana Cristina Rocha Oliveira, André Luiz Galdino, Mauricio Ayala-Rincón
Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System. J. Autom. Reason. 58 (2) (2017)
Mauricio Ayala-Rincón, Ian Mackie, Ugo Montanari
Logical and Semantic Frameworks with Applications. Theor. Comput. Sci. 685 (2017)
Lucas A. da Silveira, José Luis Soncco-Álvarez, Mauricio Ayala-Rincón
Parallel memetic genetic algorithms for sorting unsigned genomes by translocations. CEC (2016)
Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón
Type Soundness for Path Polymorphism. CoRR (2016)
Daniel Saad Nogueira Nunes, Mauricio Ayala-Rincón
A Practical Semi-External Memory Method for Approximate Pattern Matching. Electron. Notes Theor. Comput. Sci. 324 (2016)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
A Formalisation of Nominal α-equivalence with A and AC Function Symbols. LSFA (2016)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
Nominal Narrowing. FSCD (2016)
Daniel Lima Ventura, Fairouz Kamareddine, Mauricio Ayala-Rincón
Explicit substitution calculi with de Bruijn indices and intersection type systems. Log. J. IGPL 23 (2) (2015)
Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira
Completeness in PVS of a Nominal Unification Algorithm. LSFA (2015)
Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón
Computing translocation distance by a genetic algorithm. CLEI (2015)
Mauricio Ayala-Rincón, Maribel Fernández, Murdoch James Gabbay, Ana Cristina Rocha Oliveira
Checking Overlaps of Nominal Rewriting Rules. LSFA (2015)
José Luis Soncco-Álvarez, Gabriel Marchesan Almeida, Jürgen Becker, Mauricio Ayala-Rincón
Parallelization of genetic algorithms for sorting permutations by reversals over biological data. Int. J. Hybrid Intell. Syst. 12 (1) (2015)
Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón
Memetic and Opposition-Based Learning Genetic Algorithms for Sorting Unsigned Genomes by Translocations. NaBIC (2015)
Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón
Type Soundness for Path Polymorphism. LSFA (2015)
Mauricio Ayala-Rincón
Formalising Confluence in PVS. DCM (2015)
Edward Hermann Haeusler, Mauricio Ayala-Rincón
On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions. LATIN (2014)
Flávio L. C. de Moura, Delia Kesner, Mauricio Ayala-Rincón
Metaconfluence of Calculi with Explicit Substitutions at a Distance. FSTTCS (2014)
Ariane Alves Almeida, Carlos H. Llanos, Janier Arias-Garcia, Mauricio Ayala-Rincón
Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVS. SBCCI (2014)
Andréia Borges Avelar, André Luiz Galdino, Flávio Leonardo Cavalcanti de Moura, Mauricio Ayala-Rincón
First-order unification in the PVS proof assistant. Log. J. IGPL 22 (5) (2014)
Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón
Hardware opposition-based PSO applied to mobile robot controllers. Eng. Appl. Artif. Intell. 28 (2014)
Mauricio Ayala-Rincón, Ian Mackie
Preface. LSFA (2014)
José Luis Soncco-Álvarez, Mauricio Ayala-Rincón
Memetic algorithm for sorting unsigned permutations by reversals. IEEE Congress on Evolutionary Computation (2014)
Daniel M. Muñoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincón
Hardware-based parallel firefly algorithm for embedded applications. AHS (2013)
Daniel Saad Nogueira Nunes, Mauricio Ayala-Rincón
A Compressed Suffix Tree Based Implementation With Low Peak Memory Usage. CLEI Selected Papers (2013)
José Luis Soncco-Álvarez, Gabriel Marchesan Almeida, Jürgen Becker, Mauricio Ayala-Rincón
Parallelization and virtualization of genetic algorithms for sorting permutations by reversals. NaBIC (2013)
Mauricio Ayala-Rincón, Yuri Santos Rego
Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model. J. Formaliz. Reason. 6 (1) (2013)
Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón
Formalizing the Confluence of Orthogonal Rewriting Systems LSFA (2012)
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. CLEI Selected Papers (2012)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho
Elementary Deduction Problem for Locally Stable Theories with Normal Forms LSFA (2012)
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)
Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine
Preface. Theor. Comput. Sci. 412 (37) (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)
André Luiz Galdino, Mauricio Ayala-Rincón
A Formalization of the Knuth-Bendix(-Huet) Critical Pair Theorem. J. Autom. Reason. 45 (3) (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)
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. LSFA (2010)
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)
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)
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC (2010)
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)
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)
Mauricio Ayala-Rincón, Fairouz Kamareddine
Preface. LSFA (2009)
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Explicit substitutions calculi with one step Eta-reduction decided explicitly. Log. J. IGPL 17 (6) (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)
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)

Mauricio Ayala-Rincón.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mauricio Ayala-Rincón