| 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 Workshop de Informática na Escola 1 (1), 169, 2013 | 56 | 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 | 39 | 2016 |
| Verification of graph grammars using a logical approach SA da Costa, L Ribeiro Science of Computer Programming 77 (4), 480-504, 2012 | 28 | 2012 |
| Referenciais de formação em computação: Educação básica ALA Raabe, AF Zorzo, I Frango, L Ribeiro, LZ Granville, L Salgado, ... Sociedade Brasileira de Computação, 2017 | 25 | 2017 |
| Formal verification of graph grammars using mathematical induction SA da Costa, L Ribeiro Electronic Notes in Theoretical Computer Science 240, 43-60, 2009 | 19 | 2009 |
| 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 | 18 | 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, 2014 | 17 | 2014 |
| 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 |
| Metodologias de Avaliação do Pensamento Computacional: uma revisão sistemática C Avila, S Cavalheiro, A Bordini, M Marques, M Cardoso, G Feijo Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2017 | 15 | 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 | 15 | 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 | 14 | 2017 |
| Flow-mediated dilation of brachial artery and endothelial dysfunction in pregnant women with preeclampsia: a case control study. OP Oliveira, JW Lima, EM Salustiano, R Ruano, WP Martins Minerva ginecologica 67 (4), 307-313, 2014 | 13 | 2014 |
| 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 | 11 | 2016 |
| 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 (4), 51-68, 2007 | 10 | 2007 |
| 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 | 9 | 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 | 9 | 2013 |
| 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 | 8 | 2017 |
| Entendendo o pensamento computacional L Ribeiro, L Foss, SAC Cavalheiro arXiv preprint arXiv:1707.00338, 2017 | 8 | 2017 |
| Pensamento computacional no ensino fundamental: Relato de atividade de introduçao a algoritmos G Pinho, Y Weisshahn, R Reiser, CF de Brum, S Cavalheiro, L Foss, ... Anais do Workshop de Informática na Escola 22 (1), 261, 2016 | 8 | 2016 |
| Risk factors associated with weight retention in postpartum period CMCS Vasconcelos, FS Costa, PC Almeida, E Araujo Júnior, ... Revista Brasileira de Ginecologia e Obstetrícia 36 (5), 222-227, 2014 | 8 | 2014 |
