Follow
Simone André da Costa Cavalheiro
Simone André da Costa Cavalheiro
Professor de Computação, Universidade Federal de Pelotas
Verified email at inf.ufpel.edu.br
Title
Cited by
Cited by
Year
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
892013
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
642016
Entendendo o pensamento computacional
L Ribeiro, L Foss, SAC Cavalheiro
arXiv preprint arXiv:1707.00338, 2017
412017
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
362017
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
342017
Verification of graph grammars using a logical approach
SA da Costa, L Ribeiro
Science of Computer Programming 77 (4), 480-504, 2012
312012
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
272016
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
262017
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
252014
Formal verification of graph grammars using mathematical induction
SA da Costa, L Ribeiro
Electronic Notes in Theoretical Computer Science 240, 43-60, 2009
212009
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, ...
202019
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
192017
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
192016
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
182017
Towards theorem proving graph grammars using Event-B
L Ribeiro, F Dotti, S da Costa, F Dillenburg
Electronic Communications of the EASST 30, 2010
182010
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
162016
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
152015
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
142021
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
142019
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
142013
The system can't perform the operation now. Try again later.
Articles 1–20