| Combining model finder and genetic programming into a general purpose automatic program synthesizer A Correia, J Iyoda, A Mota Information Processing Letters 154, 105866, 2020 | 7 | 2020 |
| A Strategy to Increase Students’ Motivation and Decrease Dropout Rates on Computer Programming Courses in a Public Institute of Education and Technology A Correia, E Ryymin, F Pacheco, P Aarreniemi-Jokipelto, B Joyce EdMedia+ Innovate Learning, 1171-1176, 2015 | 6 | 2015 |
| The effect of distance metrics in a general purpose synthesizer: an empirical study on integer domain imperative programs ARS Correia, JM Iyoda, AC Mota Software: Practice and Experience 52 (5), 1294-1304, 2022 | 2 | 2022 |
| A family of multi-concept program synthesisers in Alloy⁎ A Correia, J Iyoda, A Mota Science of Computer Programming 201, 102536, 2021 | 2 | 2021 |
| From requirements to ready to run software: A brief thought on how to mechanize the software development process ARS Correia, JM Iyoda, CTLL Silva International Journal in Foundations of Computer Science & Technology 4 (3 …, 2014 | 2 | 2014 |
| Towards a Blank Shape Optimization: Enhancement of Procedure and FE Solver ARS Correia, JL Alves, MC Oliveira, R Padmanabhan, and L. F. Menezes 2nd International Conference on Engineering Optimization, edited by H …, 2010 | 1* | 2010 |
| The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces ARS Correia, JM Iyoda, AC Mota Software: Practice and Experience 54 (3), 528-540, 2024 | | 2024 |
| Painel de Indicadores “IFSertãoPE em números”: Expansão, Testes, Documentação e Difusão de Software RLM Nascimento, ARS Correia Jornada de Iniciação Científica e Extensão 17 (1), 2023 | | 2023 |
| Sistema de Monitoramento de PDI do IFSertãoPE: Testes, Implantação, Documentação e Difusão de Software JFS de Lima Costa, ARS Correia Jornada de Iniciação Científica e Extensão 17 (1), 2023 | | 2023 |
| Desenvolvimento De Um Aplicativo De Pesquisa E Venda Para Medicamentos RLM Nascimento, ARS Correia, EG Da Silva Jornada de Iniciação Científica e Extensão 16 (1), 81, 2021 | | 2021 |
| Ações de popularização da estatística das atividades de ciência, tecnologia e inovação no Instituto Federal do Sertão Pernambucano–IFSertãoPE LE Pereira, ARS Correia Jornada de Iniciação Científica e Extensão 16 (1), 78, 2021 | | 2021 |
| Sistema de Apoio à Gestão Educacional-SAGE ARS Correia Instituto Nacional da Propriedade Industrial (INPI), 2017 | | 2017 |
| Tecnologias da Informação (TI) para a cooperação internacional, apoiando a capacitação de pessoas em língua inglesa: relato de uma escola pública localizada no interior do … ARS Correia, CK Snyder, AGB Sá, IMR Araújo Anais do XVII Workshop de Informática na Escola, 1386-1389, 2011 | | 2011 |
| Brazilian students of programming courses improve their motivation when placing them under student-centered learning and project-based learning approaches ARS Correia The Future Makers–Professional Teachers Promoting Pedagogical Change, 81, 0 | | |
| Hora do código: Desmistificando e ressignificando o ensino da Lógica para Programação através dos jogos TM de Oliveira, IF Graduanda, WM Monteiro, DJ Martins, A Correia, ... | | |
