- Benjamín René Callejas Bedregal (institutional profile, currículo lattes, google scholar, personal site)
- Anderson Paiva Cruz (institutional profile, currículo lattes)
- Joao Marcos (institutional profile, currículo lattes, google scholar, personal site)
- Carlos Olarte (institutional profile, currículo lattes, google scholar, personal site)
- Elaine Pimentel (institutional profile, currículo lattes, google scholar, personal site)
- Umberto Rivieccio (institutional profile, currículo lattes, google scholar, personal site)
- Fágner Lemos de Santana (institutional profile, currículo lattes)
- Regivan Hugo Nunes Santiago (institutional profile, currículo lattes, google scholar, personal site)
PhD theses defended
- Silva, Thiago Nascimento da (2022), Algebraic Semantics and Calculi for Nelson’s logics.
- Costa, Valdigleis da Silva (2020). Autômatos fuzzy hesitantes típicos: teoria e aplicações.
- Lima, Emmanuelly Monteiro Silva de Sousa (2020). Números complexos graduados, ordem local e aplicações.
- Paiva, Rui Eduardo Brasileiro (2019). Uma extensão de overlaps e naBL-Álgebras para reticulados.
- Moura, Ronildo Pinheiro de Araújo (2018). Comitê de agrupamentos hierárquicos que preserva a Ttransitividade.
- Olguin, Cláudio Andrés Callejas (2016). A topological and domain theoretical study of total computable functions.
- Rocha, Lucélia Marques Lima da (2016). Homogeneidade e pseudo-homogeneidade de t-normas intervalares e de t-normas intuicionistas de Atanassov intervalarmente valoradas.
- Santos, Hélida Salles (2016). A new class of fuzzy subsethood measures.
- Silva, Ivanosca Andrade da (2016). Tomada de decisão em grupo e multi-atributos baseada na Lógica fuzzy intuicionista de Atanassov intervalarmente valorada.
- Bergamaschi, Flaulles Boone (2015). Strong primeness in fuzzy environment.
- Oliveira Filho, Isaac de Lima (2014). Algoritmo papílio como método de proteção de templates para aumentar a segurança em sistemas de identificação biométricos.
- Santana, Fabiana Tristão de (2011). Uma fundamentação para sinais e sistemas intervalares.
MA dissertations defended
- Lima Neto, Clodomir Silva (2023), Algebraization in quasi-Nelson logics.
- Greati, Vitor Rodrigues (2022), Hilbert-style formalism for two-dimensional notions of consequence.
- Cunha Neto, Luís Tertulino da (2021). Algoritmo transgenético para os problemas da geometria e da intensidade em IMRT.
- Sales, Emerson Wendlingger Dantas (2020). Modalities in ecumenical systems.
- Frutuoso, Hortevan Marrocos (2019). Transdutores adaptativos programáveis e sua aplicação no desenvolvimento de agentes de diálogos.
- Lima, Annaxsuel Araújo de (2019). Conjuntos fuzzy multidimensionais.
- Lopes, Luiz Ranyer de Araújo (2019). Implementação do algoritmo criptográfico Papílio Versátil na biblioteca OpenSSL.
- Pinheiro, Antônia Jocivania (2019). On algebras for interval-valued fuzzy logic.
- Araújo, Juscelino Pereira de (2018). Análise da taxa de convergência da regra de classificação dos k-vizinhos mais próximos.
- Farias, Antonio Diego Silva (2018). Funções mistura generalizada e aplicações.
- Silva, Josenildo Simões da (2018). Geometrical equivalence and action type geometrical equivalence of group representations.
- Silva, Thiago Nascimento da (2018). Algebraic semantics for Nelson’s logic S.
- Maia, Paulo Roberto Beltrão (2017). Dualidades: de Birkhoff à N4-reticulados limitados.
- Orto, Laura Fernandes Dell (2017). Um estudo de lógica linear com subexponenciais.
- Xavier, Bruno Francisco (2017). Formalização da lógica linear em Coq.
- Costa, Valdigleis da Silva (2016). Linguagens lineares fuzzy.
- Lima, Emmanuelly Monteiro Silva De Sousa (2016). Números complexos graduados e avaliação de desempenho de classificadores.
- Moura, Ronildo Pinheiro de Araújo (2016). Algoritmos de agrupamentos fuzzy intervalares e índice de validação para agrupamento de dados simbólicos do tipo intervalo.
- Silva, Huliane Medeiros da (2016). Otimização de comitês de agrupamento usando o algoritmo coral reefs optimization.
- Andrade, Alexsandra Oliveira (2014). Sistema de contagem com morfologia matemática fuzzy.
- Dodó, Adriano Alves (2013). On rich modal logics.
- Terrematte, Patrick Cesar Alves (2013). A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação.
- Olguín, Claudio Andrés Callejas (2012). What is a Fuzzy Bi-implication?
- Oliveira Filho, Isaac de Lima (2010). Criptoanálise diferencial do papílio.
- Santos, Hélida Salles (2008). The Interval Constructor on classes of ML-algebras.