| 2025 |
C |
conf |
CICM
Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara Arielly de Lima, Mauricio Ayala-Rincón
|
| 2025 |
C |
conf |
CICM
Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Georg Ehling, Temur Kutsia
|
| 2025 |
J |
jnl |
CoRR
Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Georg Ehling, Temur Kutsia
|
| 2025 |
— |
conf |
NFM
Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Maria Júlia Dias Lima, Mariano M. Moscato, Temur Kutsia
|
| 2024 |
B |
conf |
ITP
Thaynara Arielly de Lima, André Luiz Galdino, Bruno Berto de Oliveira Ribeiro, Mauricio Ayala-Rincón
|
| 2024 |
J |
jnl |
Arch. Formal Proofs
Fabián Fernando Serrano Suárez, Thaynara Arielly de Lima, Mauricio Ayala-Rincón
|
| 2023 |
B |
conf |
LPAR
Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino
|
| 2023 |
— |
conf |
LSFA/HCVS
Thaynara Arielly de Lima, Andréia Borges Avelar, André Luiz Galdino, Mauricio Ayala-Rincón
|
| 2022 |
C |
conf |
CICM
Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara Arielly de Lima
|
| 2022 |
J |
jnl |
CoRR
Lucas Angelo da Silveira, Thaynara Arielly de Lima, Mauricio Ayala-Rincón
|
| 2021 |
J |
jnl |
J. Autom. Reason.
Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón
|
| 2020 |
— |
conf |
ThEdu@IJCAR
Mauricio Ayala-Rincón, Thaynara Arielly de Lima
|
| 2018 |
B |
conf |
ITP
Andréia B. Avelar da Silva, Thaynara Arielly de Lima, André Luiz Galdino
|