Mauricio Ayala-Rincn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
18
Active years
1998–2025
Best venue rank
B
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FSCD | Combining Generalization Algorithms in Regular Collapse-Free Theories. | Mauricio Ayala-Rincn, David M. Cerna, Temur Kutsia, Christophe Ringeissen |
| 2024 | IJCAR | Equational Anti-unification over Absorption Theories. | Mauricio Ayala-Rincn, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia |
| 2024 | ITP | A Formalization of the General Theory of Quaternions. | Thaynara Arielly de Lima, Andr Luiz Galdino, Bruno Berto de Oliveira Ribeiro, Mauricio Ayala-Rincn |
| 2023 | FMCAD | A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. | Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincn |
| 2023 | LPAR | Formalization of Algebraic Theorems in PVS (Invited Talk). | Mauricio Ayala-Rincn, Thaynara Arielly de Lima, Andria B. Avelar, Andr Luiz Galdino |
| 2022 | FSCD | A Certified Algorithm for AC-Unification. | Mauricio Ayala-Rincn, Maribel Fernndez, Gabriel Ferreira Silva, Daniele Nantes Sobrinho |
| 2021 | FOSSACS | Nominal Equational Problems. | Mauricio Ayala-Rincn, Maribel Fernndez, Daniele Nantes-Sobrinho, Deivid Vale |
| 2021 | ITP | Formal Verification of Termination Criteria for First-Order Recursive Functions. | Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andria B. Avelar, Thiago Mendona Ferreira Ramos |
| 2020 | CEC | Behavior of Bioinspired Algorithms in Parallel Island Models. | Lucas A. da Silveira, Jos Luis Soncco-lvarez, Thaynara A. de Lima, Mauricio Ayala-Rincn |
| 2019 | CEC | Parallel Island Model Genetic Algorithms applied in NP-Hard problems. | Lucas A. da Silveira, Jos Luis Soncco-lvarez, Thaynara A. de Lima, Mauricio Ayala-Rincn |
| 2019 | LOPSTR | A Certified Functional Nominal C-Unification Algorithm. | Mauricio Ayala-Rincn, Maribel Fernndez, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho |
| 2018 | CEC | Parallel Multi-Island Genetic Algotirth for Sorting Unsigned Genomes by Reversals. | Lucas A. da Silveira, Jos Luis Soncco-lvarez, Thaynara A. de Lima, Mauricio Ayala-Rincn |
| 2018 | DCC | A Grammar Compression Algorithm Based on Induced Suffix Sorting. | Daniel Saad Nogueira Nunes, Felipe A. Louza, Simon Gog, Mauricio Ayala-Rincn, Gonzalo Navarro |
| 2018 | WoLLIC | Formalization of the Undecidability of the Halting Problem for a Functional Language. | Thiago Mendona Ferreira Ramos, Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
| 2017 | CEC | Parallel genetic algorithms with sharing of individuals for sorting unsigned genomes by reversals. | Lucas Angelo da Silveira, Jos Luis Soncco-lvarez, Mauricio Ayala-Rincn |
| 2017 | CEC | Variable neighborhood search for the large phylogeny problem using gene order data. | Jos Luis Soncco-lvarez, Mauricio Ayala-Rincn |
| 2017 | LOPSTR | Nominal C-Unification. | Mauricio Ayala-Rincn, Washington de Carvalho Segundo, Maribel Fernndez, Daniele Nantes-Sobrinho |
| 2016 | CEC | Parallel memetic genetic algorithms for sorting unsigned genomes by translocations. | Lucas A. da Silveira, Jos Luis Soncco-lvarez, Mauricio Ayala-Rincn |
| 2015 | CLEI | Computing translocation distance by a genetic algorithm. | Lucas A. da Silveira, Jos Luis Soncco-lvarez, Thaynara A. de Lima, Mauricio Ayala-Rincn |
| 2014 | CEC | Memetic algorithm for sorting unsigned permutations by reversals. | Jos Luis Soncco-lvarez, Mauricio Ayala-Rincn |
| 2014 | LATIN | On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions. | Edward Hermann Haeusler, Mauricio Ayala-Rincn |
| 2011 | CEC | Opposition-based shuffled PSO with passive congregation applied to FM matching synthesis. | Daniel M. Muoz, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincn |
| 2010 | WoLLIC | Verification of the Completeness of Unification Algorithms la Robinson. | Andria B. Avelar, Flvio L. C. de Moura, Andr Luiz Galdino, Mauricio Ayala-Rincn |
| 2010 | WoLLIC | Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. | Daniele Nantes Sobrinho, Mauricio Ayala-Rincn |
| 2010 | WoLLIC | Intersection Type Systems and Explicit Substitutions Calculi. | Daniel Lima Ventura, Mauricio Ayala-Rincn, Fairouz Kamareddine |
| 2009 | ISDA | Hardware Architecture for Particle Swarm Optimization Using Floating-Point Arithmetic. | Daniel M. Muoz Arboleda, Carlos H. Llanos, Leandro dos Santos Coelho, Mauricio Ayala-Rincn |
| 2008 | CiE | Principal Typings for Explicit Substitutions Calculi. | Daniel Lima Ventura, Mauricio Ayala-Rincn, Fairouz Kamareddine |
| 2007 | WoLLIC | Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. | Andr Luiz Galdino, Csar A. Muoz, Mauricio Ayala-Rincn |
| 2005 | FPL | FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations. | Carlos Morra, Jrgen Becker, Mauricio Ayala-Rincn, Reiner W. Hartenstein |
| 2004 | LPAR | Second-Order Matching via Explicit Substitutions. | Flvio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincn |
| 2003 | FDL | Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing. | Mauricio Ayala-Rincn, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein |
| 2000 | PPDP | Unification via | Mauricio Ayala-Rincn, Fairouz Kamareddine |
| 1998 | SPIRE | A Linear Time Lower Bound on Updating Algorithms for Suffix Trees. | Mauricio Ayala-Rincn, Paulo D. Conejo |