Ariane Alves Almeida
发表
Ariane Alves Almeida,
Mauricio Ayala-Rincon,
M. Ayala-Rincón,
2019,
Sci. Comput. Program..
Mauricio Ayala-Rincón,
Thiago Mendonça Ferreira Ramos,
Ana Cristina Rocha Oliveira,
2019,
FMTea.
Carlos H. Llanos,
Mauricio Ayala-Rincón,
Janier Arias-Garcia,
2014,
2014 27th Symposium on Integrated Circuits and Systems Design (SBCCI).
Mariano M. Moscato,
César A. Muñoz,
Mauricio Ayala-Rincón,
2021,
ITP.
Thiago Mendonça Ferreira Ramos,
Ariane Alves Almeida,
M. Ayala-Rincón,
2019
.
Thiago Mendonça Ferreira Ramos,
Ariane Alves Almeida,
M. Ayala-Rincón,
2022,
Journal of Automated Reasoning.