| Proposta de atividades para o desenvolvimento do pensamento computacional no ensino fundamental D Andrade, T Carvalho, J Silveira, S Cavalheiro, L Foss, AM Fleischmann, ... Anais do XIX Workshop de Informática na Escola, 169-178, 2013 | 84 | 2013 |
| Computaçao na educaçao básica no brasil: o estado da arte A Bordini, CMO Avila, Y Weisshahn, MM da Cunha, ... Revista de Informática Teórica e Aplicada 23 (2), 210-238, 2016 | 62 | 2016 |
| Entendendo o pensamento computacional L Ribeiro, L Foss, SAC Cavalheiro arXiv preprint arXiv:1707.00338, 2017 | 39 | 2017 |
| Metodologias de Avaliação do Pensamento Computacional: uma revisão sistemática C Avila, S Cavalheiro, A Bordini, M Marques, M Cardoso, G Feijó Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2017 | 34 | 2017 |
| Pensamento Computacional nos Ensinos Fundamental e Médio: uma revisão sistemática A Bordini, C Avila, M Marques, L Foss, S Cavalheiro Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2017 | 33 | 2017 |
| Verification of graph grammars using a logical approach SA da Costa, L Ribeiro Science of Computer Programming 77 (4), 480-504, 2012 | 29 | 2012 |
| Desdobramentos do pensamento computacional no Brasil A Bordini, C Avila, M Marques, S Cavalheiro, L Foss Anais do SBIE 2016, 200-209, 2016 | 27 | 2016 |
| Organizaçao de informaçoes via pensamento computacional: Relato de atividade aplicada no ensino fundamental GM de Campos, S Cavalheiro, L Foss, AM Pernas, CF de Brum Piana, ... Anais do Workshop de Informática na Escola 20 (1), 390-399, 2014 | 25 | 2014 |
| O pensamento computacional por meio da robótica no ensino básico-uma revisao sistemática C Avila, S Cavalheiro, A Bordini, M Marques Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2017 | 24 | 2017 |
| Formal verification of graph grammars using mathematical induction SA da Costa, L Ribeiro Electronic Notes in Theoretical Computer Science 240, 43-60, 2009 | 21 | 2009 |
| Pensamento computacional no ensino fundamental: Relato de atividade de introduçao a algoritmos G Pinho, Y Weisshahn, S Cavalheiro, R Reiser, CF de Brum, L Foss, ... Anais do Workshop de Informática na Escola 22 (1), 261-270, 2016 | 19 | 2016 |
| Theorem proving graph grammars with attributes and negative application conditions SA da Costa Cavalheiro, L Foss, L Ribeiro Theoretical computer science 686, 25-77, 2017 | 18 | 2017 |
| Diretrizes da sociedade brasileira de computaçao para o ensino de computaçao na educaçao básica L Ribeiro, A Castro, AA Fröhlich, CAG Ferraz, CE Ferreira, D Serey, ... Sociedade Brasileira de Computação, 2019 | 17 | 2019 |
| Towards theorem proving graph grammars using Event-B L Ribeiro, FL Dotti, SA da Costa, FC Dillenburg Electronic Communications of the EASST 30, 2010 | 17 | 2010 |
| Proposta de jogo digital para dispositivos móveis: Desenvolvendo habilidades do pensamento computacional G Pinho, Y Weisshahn, CF de Brum, GGH Cavalheiro, S Cavalheiro Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2016 | 16 | 2016 |
| Uma proposta para o desenvolvimento do pensamento computacional integrado ao ensino de matemática M Marques, S Cavalheiro, L Foss, C Avila, A Bordini Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2017 | 15 | 2017 |
| Integração entre pensamento computacional e inteligência artificial: uma revisão sistemática de literatura ALM Caruso, SA da Costa Cavalheiro Anais do XXXII Simpósio Brasileiro de Informática na Educação, 1051-1062, 2021 | 14 | 2021 |
| Robótica Educacional como Estratégia de Promoção do Pensamento Computacional-Uma Proposta de Metodologia Baseada em Taxonomias de Aprendizagem C Avila, S Cavalheiro Anais dos Workshops do Congresso Brasileiro de Informática na Educação 6 (1 …, 2017 | 14 | 2017 |
| Proposta de atividade para o quinto ano do ensino fundamental: Algoritmos Desplugados G Santos, W Silva, S Cavalheiro, L Foss, M Aguiar, AM Pernas, A Du Bois, ... Anais do Workshop de Informática na Escola 21 (1), 246-255, 2015 | 14 | 2015 |
| Discussing the challenges related to deployment of computational thinking in brazilian basic education T Carvalho, D Andrade, J Silveira, V Auler, S Cavalheiro, M Aguiar, ... 2013 2nd workshop-school on theoretical computer science, 111-115, 2013 | 13 | 2013 |
