Maurício Ayala-Rincón

1.1k total citations
99 papers, 587 citations indexed

About

Maurício Ayala-Rincón is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Molecular Biology. According to data from OpenAlex, Maurício Ayala-Rincón has authored 99 papers receiving a total of 587 indexed citations (citations by other indexed papers that have themselves been cited), including 63 papers in Artificial Intelligence, 47 papers in Computational Theory and Mathematics and 19 papers in Molecular Biology. Recurrent topics in Maurício Ayala-Rincón's work include Logic, programming, and type systems (36 papers), Formal Methods in Verification (20 papers) and Logic, Reasoning, and Knowledge (17 papers). Maurício Ayala-Rincón is often cited by papers focused on Logic, programming, and type systems (36 papers), Formal Methods in Verification (20 papers) and Logic, Reasoning, and Knowledge (17 papers). Maurício Ayala-Rincón collaborates with scholars based in Brazil, United Kingdom and Germany. Maurício Ayala-Rincón's co-authors include Carlos H. Llanos, Daniel M. Muñoz, Leandro dos Santos Coelho, Ricardo Pezzuol Jacobi, Janier Arias-García, Reiner W. Hartenstein, Azzedine Boukerche, Alba Cristina Magalhães Alves de Melo, Maribel Fernández and Jürgen Becker and has published in prestigious journals such as SHILAP Revista de lepidopterología, Applied Soft Computing and Engineering Applications of Artificial Intelligence.

In The Last Decade

Maurício Ayala-Rincón

86 papers receiving 560 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Maurício Ayala-Rincón Brazil 13 318 209 93 88 84 99 587
Jason D. Bakos United States 11 132 0.4× 87 0.4× 68 0.7× 47 0.5× 164 2.0× 64 484
J.R. Koza United States 14 608 1.9× 125 0.6× 147 1.6× 91 1.0× 35 0.4× 27 870
Raphael C. S. Machado Brazil 11 89 0.3× 112 0.5× 30 0.3× 180 2.0× 47 0.6× 86 499
Iyad Kanj United States 16 147 0.5× 766 3.7× 108 1.2× 88 1.0× 24 0.3× 82 1.2k
Apostolos Dollas Greece 17 256 0.8× 50 0.2× 151 1.6× 83 0.9× 360 4.3× 93 972
Alberto Moraglio United Kingdom 14 391 1.2× 196 0.9× 71 0.8× 21 0.2× 12 0.1× 56 565
David J. Smith New Zealand 7 322 1.0× 177 0.8× 35 0.4× 46 0.5× 24 0.3× 16 726
Ebru Aydın Göl Türkiye 10 189 0.6× 336 1.6× 39 0.4× 186 2.1× 45 0.5× 35 612
Xiaoguang Han China 13 97 0.3× 189 0.9× 68 0.7× 61 0.7× 53 0.6× 44 464
Sean Summers Switzerland 13 93 0.3× 147 0.7× 239 2.6× 211 2.4× 10 0.1× 29 666

Countries citing papers authored by Maurício Ayala-Rincón

Since Specialization
Citations

This map shows the geographic impact of Maurício Ayala-Rincón's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Maurício Ayala-Rincón with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Maurício Ayala-Rincón more than expected).

Fields of papers citing papers by Maurício Ayala-Rincón

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Maurício Ayala-Rincón. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Maurício Ayala-Rincón. The network helps show where Maurício Ayala-Rincón may publish in the future.

Co-authorship network of co-authors of Maurício Ayala-Rincón

This figure shows the co-authorship network connecting the top 25 collaborators of Maurício Ayala-Rincón. A scholar is included among the top collaborators of Maurício Ayala-Rincón based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Maurício Ayala-Rincón. Maurício Ayala-Rincón is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Ayala-Rincón, Maurício, et al.. (2024). Certified First-Order AC-Unification and Applications. Journal of Automated Reasoning. 68(4).
2.
Ayala-Rincón, Maurício, et al.. (2024). On reconfiguring heterogeneous parallel island models. Swarm and Evolutionary Computation. 89. 101624–101624. 2 indexed citations
3.
Ayala-Rincón, Maurício, et al.. (2022). Reconfigurable Heterogeneous Parallel Island Models. 11. 1618–1625. 1 indexed citations
4.
Gog, Simon, et al.. (2022). Grammar Compression by Induced Suffix Sorting. ACM Journal of Experimental Algorithmics. 27. 1–33. 2 indexed citations
5.
Ayala-Rincón, Maurício, et al.. (2020). On Nominal Syntax and Permutation Fixed Points. SHILAP Revista de lepidopterología.
6.
Ayala-Rincón, Maurício, et al.. (2020). On Solving Nominal Disunification Constraints. Electronic Notes in Theoretical Computer Science. 348. 3–22.
7.
Gog, Simon, et al.. (2019). A grammar compression algorithm based on induced suffix sorting. Universidad de Chile. 3 indexed citations
8.
Ayala-Rincón, Maurício, et al.. (2019). Typed path polymorphism. Theoretical Computer Science. 781. 111–130.
9.
Ayala-Rincón, Maurício, et al.. (2014). First-order unification in the PVS proof assistant. Logic Journal of IGPL. 22(5). 758–789. 2 indexed citations
10.
Muñoz, Daniel M., Carlos H. Llanos, Leandro dos Santos Coelho, & Maurício Ayala-Rincón. (2013). Hardware opposition-based PSO applied to mobile robot controllers. Engineering Applications of Artificial Intelligence. 28. 64–77. 22 indexed citations
11.
Ayala-Rincón, Maurício, et al.. (2013). Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model. SHILAP Revista de lepidopterología. 1 indexed citations
12.
Ayala-Rincón, Maurício, et al.. (2012). A genetic approach with a simple fitness function for sorting unsigned permutations by reversals. 1–6. 6 indexed citations
13.
Arias-García, Janier, Ricardo Pezzuol Jacobi, Carlos H. Llanos, & Maurício Ayala-Rincón. (2011). A suitable FPGA implementation of floating-point matrix inversion based on Gauss-Jordan elimination. 263–268. 40 indexed citations
14.
Ayala-Rincón, Maurício, et al.. (2007). Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions. Journal of Applied Logic. 6(1). 72–108.
15.
Ayala-Rincón, Maurício, et al.. (2004). Comparing and implementing calculi of explicit substitutions with eta-reduction. Annals of Pure and Applied Logic. 134(1). 5–41. 2 indexed citations
16.
Ayala-Rincón, Maurício, Ricardo Pezzuol Jacobi, Carlos H. Llanos, & Reiner W. Hartenstein. (2003). Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing.. Forum on specification and Design Languages. 492–504. 1 indexed citations
17.
Ayala-Rincón, Maurício, et al.. (2002). Architectural specification, exploration and simulation through rewriting-logic. SHILAP Revista de lepidopterología. 2 indexed citations
18.
Ayala-Rincón, Maurício. (2001). Unification via the  se-style of explicit substitutions. Logic Journal of IGPL. 9(4). 489–523. 6 indexed citations
19.
Ayala-Rincón, Maurício & César Muñoz. (2000). Explicit substitions and all that. SHILAP Revista de lepidopterología. 2 indexed citations
20.
Ayala-Rincón, Maurício, et al.. (2000). Unification via λ s e -style of explicit substitution. 163–174. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Jason D. Bakos Breakdown of academic impact, for papers by J.R. Koza Breakdown of academic impact, for papers by Raphael C. S. Machado Breakdown of academic impact, for papers by Iyad Kanj Breakdown of academic impact, for papers by Apostolos Dollas Breakdown of academic impact, for papers by Alberto Moraglio Breakdown of academic impact, for papers by David J. Smith Breakdown of academic impact, for papers by Ebru Aydın Göl Breakdown of academic impact, for papers by Xiaoguang Han Breakdown of academic impact, for papers by Sean Summers
Rankless by CCL
2026