| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 2018 | - | Fixed-point constraints for nominal equational unification | Ayala-Rincón, Mauricio; Fernández, Maribel; Nantes Sobrinho, Daniele | - | - |
| 26-Ago-2022 | - | Grammar compression by induced suffix sorting | Nunes, Daniel Saad Nogueira; Louza, Felipe A.; Gog, Simon; Ayala-Rincón, Mauricio; Navarro, Gonzalo | - | - |
| 2004 | - | On automating the extraction of programs from termination proofs | Kamareddiney, Fairouz; Monin, François; Ayala-Rincón, Mauricio | - | - |
| 8-Mar-2013 | - | Unification modulo Presburger Arithmetic and other decidable theories | Ayala-Rincón, Mauricio; Araújo, Ivan Eid Tavares de | - | - |