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, ...
Anais do Workshop de Informática na Escola 19 (1), 169, 2013
682013
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
422016
Referenciais de formação em computação: Educação básica
ALA Raabe, I Frango, L Ribeiro, LZ Granville, L Salgado, MJK da Cruz, ...
Sociedade Brasileira de Computação, 2017
312017
Verification of graph grammars using a logical approach
SA da Costa, L Ribeiro
Science of Computer Programming 77 (4), 480-504, 2012
282012
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
202017
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
202017
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
202014
Formal verification of graph grammars using mathematical induction
SA da Costa, L Ribeiro
Electronic Notes in Theoretical Computer Science 240, 43-60, 2009
192009
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
182016
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
172017
Towards theorem proving graph grammars using Event-B
L Ribeiro, FL Dotti, SA Da Costa, FC Dillenburg
Electronic Communications of the EASST 30, 2010
172010
Entendendo o pensamento computacional
L Ribeiro, L Foss, SAC Cavalheiro
arXiv preprint arXiv:1707.00338, 2017
142017
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
142014
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
132016
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
112016
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
102017
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
102017
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
102007
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
92017
Risk factors for cerebral palsy in premature infants identified during the pre and perinatal periods: a case-control study.
E Andrade, LC Rolo
Minerva ginecologica 68 (1), 29-36, 2014
92014
The system can't perform the operation now. Try again later.
Articles 1–20