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 1 (1), 169, 2013
562013
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
392016
Verification of graph grammars using a logical approach
SA da Costa, L Ribeiro
Science of Computer Programming 77 (4), 480-504, 2012
282012
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
252017
Formal verification of graph grammars using mathematical induction
SA da Costa, L Ribeiro
Electronic Notes in Theoretical Computer Science 240, 43-60, 2009
192009
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
182017
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
172014
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
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
152017
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
152016
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
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
132014
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
112016
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
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
92017
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
92013
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
82017
Entendendo o pensamento computacional
L Ribeiro, L Foss, SAC Cavalheiro
arXiv preprint arXiv:1707.00338, 2017
82017
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
82016
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
82014
The system can't perform the operation now. Try again later.
Articles 1–20