Simone André da Costa Cavalheiro

Statistics

Publications

Citations

H-Index

Active since

2017

Affiliations

Universidade Federal de Pelotas(Current)

Universidade Federal do Rio Grande do Sul

Simone André da Costa Cavalheiro is an author at Universidade Federal de Pelotas specializing in computer science education, computer science, and education.

ORCID

Publications per year

2017–2023

Publications

The Brazilian School Computing Standard

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro et al. · 2023 · 15 citations

Education, Curriculum, Secondary Education +11

Theorem proving graph grammars with attributes and negative application conditions

Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro · Theoretical Computer Science · 2017 · 11 citations

Computing, Computer Science, Formal Methods +9

Evaluation Rubric for Computational Thinking Concepts

Christiano Otero Avila, Luciana Foss, Adriana Bordini et al. · 2019 · 11 citations

Education, Computer Science, Educational Assessment +12

GGasCT: Bringing Formal Methods to the Computational Thinking

Braz Araujo da Silva, Simone André da Costa Cavalheiro, Luciana Foss · 2020 · 11 citations · Full text

Education, Computer Science, Educational Technology +15

1–4 of 4