Maurício Ayala-Rincón - Publications, H-index & Citations

Maurício Ayala-Rincón

university system of georgia

16H指数

179论文数

1.1K被引数

收录论文 7

发表时间

A PVS Library on the Infinitude of Primes 关于素数无限性的PVS库

INTELLIGENT COMPUTER MATHEMATICS, CICM 2025

IF0

2026-01-01

PREAI

de Oliveira Ribeiro, Bruno Berto; Moscato, Mariano M.; de Lima, Thaynara Arielly; Ayala-Rincon, Mauricio

A Nominal Approach to Equational Problems in Languages with Binders 绑定符语言中的方程式问题的名义方法

ACM Transactions on Computational Logic

IF0

2026-01-01

PREAI

Nantes-Sobrinho, Daniele; Fernandez, Maribel; Vale, Deivid; Ayala-Rincon, Mauricio

Graded Quantitative Narrowing 梯度定量缩窄

INTELLIGENT COMPUTER MATHEMATICS, CICM 2025

IF0

2026-01-01

PREAI

Ayala-Rincon, Mauricio; de Lima, Thaynara Arielly; Ehling, Georg; Kutsia, Temur

On reconfiguring heterogeneous parallel island models

SWARM AND EVOLUTIONARY COMPUTATION

IF8.5

2024-08-01

PREAI

da Silveira, Lucas A.; de Lima, Thaynara A.; Ayala-Rincon, Mauricio

On the behavior of parallel island models

APPLIED SOFT COMPUTING

IF6.6

2023-11-01

PREAI

da Silveira, Lucas A.; de Lima, Thaynara A.; de Barros, Jesse B.; Soncco-Alvarez, Jose L.; Llanos, Carlos H.; Ayala-Rincon, Mauricio

An exact parallel algorithm to compare very long biological sequences in clusters of workstations

CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS

IF4.1

2007-04-05

PREAI

Boukerche, Azzedine; Magalhaes, Alba Cristina; de Melo, Alves; Sandes, Edans Flavius de Oliveira; Ayala-Rincon, Mauricio

Parallel strategies for the local biological sequence alignment in a cluster of workstations

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

IF4

2007-02-01

PREAI

Boukerche, Azzedine; Magalhaes Alves de Melo, Alba Cristina; Ayala-Rincon, Mauricio; Machado Telles Walter, Maria Emilia

研究方向