Proposta de atividades para o desenvolvimento do pensamento computacional no ensino fundamental D Andrade, T Carvalho, J Silveira, S Cavalheiro, L Foss, AM Fleischmann, ... Workshop de Informática na Escola (WIE), 169-178, 2013 | 89 | 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 | 64 | 2016 |
Entendendo o pensamento computacional L Ribeiro, L Foss, SAC Cavalheiro arXiv preprint arXiv:1707.00338, 2017 | 41 | 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 | 36 | 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 |
Verification of graph grammars using a logical approach SA da Costa, L Ribeiro Science of Computer Programming 77 (4), 480-504, 2012 | 31 | 2012 |
Desdobramentos do pensamento computacional no Brasil C Avila, A Bordini, M Marques, S Cavalheiro, L Foss Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2016 | 27 | 2016 |
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 | 26 | 2017 |
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 |
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 |
Diretrizes da sociedade brasileira de computaçao para o ensino de computaçao na educaçao básica L Ribeiro, AN Castro Junior, AA Fröhlich, CAG Ferraz, CE Ferreira, ... | 20 | 2019 |
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 | 19 | 2017 |
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 |
Towards theorem proving graph grammars using Event-B L Ribeiro, F Dotti, S da Costa, F Dillenburg Electronic Communications of the EASST 30, 2010 | 18 | 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 |
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 | 15 | 2015 |
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 |
Evaluation rubric for computational thinking concepts CO Avila, L Foss, A Bordini, MS Debacco, SA da Costa Cavalheiro 2019 IEEE 19th International Conference on Advanced Learning Technologies …, 2019 | 14 | 2019 |
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 | 14 | 2013 |