publicações selecionadas artigo de conferência Survey for Smart and Adaptative Education 2022 capítulo de livro Future of Education on Pre-university Studies 2024 teses Problemas de decisão para semigrupos finitos 2009