| 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 | 75 | 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 | 51 | 2016 |
| 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 | 30 | 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 |
| Entendendo o pensamento computacional L Ribeiro, L Foss, SAC Cavalheiro arXiv preprint arXiv:1707.00338, 2017 | 27 | 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 | 26 | 2017 |
| 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 | 24 | 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 | 23 | 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 | 20 | 2017 |
| Formal verification of graph grammars using mathematical induction SA da Costa, L Ribeiro Electronic Notes in Theoretical Computer Science 240, 43-60, 2009 | 20 | 2009 |
| Towards theorem proving graph grammars using Event-B L Ribeiro, FL Dotti, SA da Costa, FC Dillenburg Electronic Communications of the EASST 30, 2010 | 18 | 2010 |
| Pensamento computacional no ensino fundamental: Relato de atividade de introduçao a algoritmos G Pinho, Y Weisshahn, S Cavalheiro, R Reiser, C Piana, L Foss, M Aguiar, ... Anais do XXII Workshop de Informática na Escola, 261-270, 2016 | 16 | 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 | 15 | 2017 |
| 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 | 15 | 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 | 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 | 13 | 2015 |
| 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 | 12 | 2017 |
| 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 | 11 | 2013 |
| Formal specification and verification of real-time systems using graph grammars L Michelon, SA Da Costa, L Ribeiro Journal of the Brazilian Computer Society 13, 51-68, 2007 | 10 | 2007 |
| Specification patterns for properties over reachable states of graph grammars SA da Costa Cavalheiro, L Foss, L Ribeiro Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF …, 2012 | 9 | 2012 |
