Plataforma CpE

Busque por temas e encontre especialistas

Simone André da Costa Cavalheiro

Dados pessoais

  • HS Health Sciences
  • LS Life Sciences
  • MU Multidisciplinary
  • PS Physical Sciences
  • SH Social Sciences & Humanities
Nome Links Grande Área Área
Ana Marilza Pernas FLEISCHMANN Ciências Exatas e da Terra Ciência da Computação
André Rauber du BOIS Ciências Exatas e da Terra Ciência da Computação
Antonio Carlos da Rocha COSTA Ciências Exatas e da Terra Ciência da Computação
Christiano Martino Otero AVILA Ciências Exatas e da Terra Ciência da Computação
Flávio Rech WAGNER Ciências Exatas e da Terra Ciência da Computação
Gerson Geraldo Homrich CAVALHEIRO Ciências Exatas e da Terra Ciência da Computação
Graçaliz Pereira DIMURO Ciências Exatas e da Terra Matemática
Luciana FOSS Ciências Exatas e da Terra Ciência da Computação
Márcia Rodrigues NOTARE Ciências Exatas e da Terra Matemática
Maria Arlita da Silveira SOARES Ciências Exatas e da Terra Matemática
Marilton Sanchotene de AGUIAR Ciências Exatas e da Terra Ciência da Computação
Renata Hax Sander REISER Ciências Exatas e da Terra Ciência da Computação
Rosária Ilgenfritz SPEROTTO Ciências Humanas Educação
Rozelma Soares de FRANÇA Ciências Exatas e da Terra Ciência da Computação
Tatiana Aires TAVARES Ciências Exatas e da Terra Ciência da Computação
Figura 1. Número de publicações por ano e por tipo, considerando todas as publicações.
Figura 1. ASJC mais frequente por ano.
Tabela 1. Frequência de ASJC (código, nome e grupo) por ano.
Código Nome Grupo Ano Frequência
1700 General Computer Science Physical Sciences 2024 2
1700 General Computer Science Physical Sciences 2023 8
3304 Education Social Sciences & Humanities 2023 2
1709 Human-Computer Interaction Physical Sciences 2023 2
1402 Accounting Social Sciences & Humanities 2023 1
3201 Psychology (miscellaneous) Social Sciences & Humanities 2023 1
3304 Education Social Sciences & Humanities 2022 8
1702 Artificial Intelligence Physical Sciences 2022 2
1700 General Computer Science Physical Sciences 2022 2
1701 Computer Science (miscellaneous) Physical Sciences 2022 1
1203 Language and Linguistics Social Sciences & Humanities 2022 1
2601 Mathematics (miscellaneous) Physical Sciences 2022 1
1701 Computer Science (miscellaneous) Physical Sciences 2021 7
3304 Education Social Sciences & Humanities 2021 7
1702 Artificial Intelligence Physical Sciences 2021 1
1201 Arts and Humanities (miscellaneous) Social Sciences & Humanities 2021 1
1706 Computer Science Applications Physical Sciences 2021 1
1700 General Computer Science Physical Sciences 2021 1
2601 Mathematics (miscellaneous) Physical Sciences 2021 1
1211 Philosophy Social Sciences & Humanities 2021 1
1701 Computer Science (miscellaneous) Physical Sciences 2020 3
3304 Education Social Sciences & Humanities 2020 3
1700 General Computer Science Physical Sciences 2020 1
3304 Education Social Sciences & Humanities 2019 8
1701 Computer Science (miscellaneous) Physical Sciences 2019 5
1700 General Computer Science Physical Sciences 2019 3
3304 Education Social Sciences & Humanities 2018 4
1701 Computer Science (miscellaneous) Physical Sciences 2018 2
1706 Computer Science Applications Physical Sciences 2018 2
1700 General Computer Science Physical Sciences 2018 1
3304 Education Social Sciences & Humanities 2017 12
1701 Computer Science (miscellaneous) Physical Sciences 2017 3
1402 Accounting Social Sciences & Humanities 2017 2
1702 Artificial Intelligence Physical Sciences 2017 2
1700 General Computer Science Physical Sciences 2017 2
1201 Arts and Humanities (miscellaneous) Social Sciences & Humanities 2017 1
1706 Computer Science Applications Physical Sciences 2017 1
3310 Linguistics and Language Social Sciences & Humanities 2017 1
3304 Education Social Sciences & Humanities 2016 9
1701 Computer Science (miscellaneous) Physical Sciences 2016 1
1706 Computer Science Applications Physical Sciences 2016 1
2102 Energy Engineering and Power Technology Physical Sciences 2016 1
1700 General Computer Science Physical Sciences 2016 1
2200 General Engineering Physical Sciences 2016 1
3310 Linguistics and Language Social Sciences & Humanities 2016 1
3201 Psychology (miscellaneous) Social Sciences & Humanities 2016 1
3304 Education Social Sciences & Humanities 2015 8
1701 Computer Science (miscellaneous) Physical Sciences 2015 3
1702 Artificial Intelligence Physical Sciences 2015 2
1201 Arts and Humanities (miscellaneous) Social Sciences & Humanities 2015 2
1203 Language and Linguistics Social Sciences & Humanities 2015 2
2801 Neuroscience (miscellaneous) Life Sciences 2015 1
3304 Education Social Sciences & Humanities 2014 5
1702 Artificial Intelligence Physical Sciences 2014 3
1701 Computer Science (miscellaneous) Physical Sciences 2014 1
1706 Computer Science Applications Physical Sciences 2014 1
1700 General Computer Science Physical Sciences 2014 1
3304 Education Social Sciences & Humanities 2013 10
1702 Artificial Intelligence Physical Sciences 2013 5
1701 Computer Science (miscellaneous) Physical Sciences 2013 5
1706 Computer Science Applications Physical Sciences 2013 2
1203 Language and Linguistics Social Sciences & Humanities 2013 2
3310 Linguistics and Language Social Sciences & Humanities 2013 1
1702 Artificial Intelligence Physical Sciences 2012 2
1701 Computer Science (miscellaneous) Physical Sciences 2012 2
3201 Psychology (miscellaneous) Social Sciences & Humanities 2012 2
1700 General Computer Science Physical Sciences 2012 1
1702 Artificial Intelligence Physical Sciences 2011 5
3310 Linguistics and Language Social Sciences & Humanities 2011 3
1701 Computer Science (miscellaneous) Physical Sciences 2011 2
3304 Education Social Sciences & Humanities 2011 1
2700 General Medicine Health Sciences 2011 1
1203 Language and Linguistics Social Sciences & Humanities 2011 1
3201 Psychology (miscellaneous) Social Sciences & Humanities 2011 1
2614 Theoretical Computer Science Physical Sciences 2011 1
1700 General Computer Science Physical Sciences 2010 2
1700 General Computer Science Physical Sciences 2009 2
1712 Software Physical Sciences 2009 1
1701 Computer Science (miscellaneous) Physical Sciences 2007 1
1701 Computer Science (miscellaneous) Physical Sciences 2006 1
1701 Computer Science (miscellaneous) Physical Sciences 2004 2
1701 Computer Science (miscellaneous) Physical Sciences 2003 1
1702 Artificial Intelligence Physical Sciences 2002 1
1203 Language and Linguistics Social Sciences & Humanities 2002 1
3310 Linguistics and Language Social Sciences & Humanities 2002 1
1702 Artificial Intelligence Physical Sciences 2001 1
1706 Computer Science Applications Physical Sciences 2001 1
3201 Psychology (miscellaneous) Social Sciences & Humanities 2000 1
3304 Education Social Sciences & Humanities 1999 1
1702 Artificial Intelligence Physical Sciences 1998 1
2700 General Medicine Health Sciences 1997 1
2404 Microbiology Life Sciences 1997 1
2201 Engineering (miscellaneous) Physical Sciences 1996 1
  1. Physical Sciences General Computer Science
    Santos Júlia De Avila DOS; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2024. Validação da caracterização de conceitos do pensamento computacional em atividades da engenharia de software. In: Workshop sobre educação em computação. Brasil.
  2. Physical Sciences General Computer Science
    Rafael FERRÃO; Luize ABREU; Simone Andre Da Costa CAVALHEIRO; Luciana FOSS; André Rauber Du BOIS et al. 2024. Uma abordagem para a introdução de estruturas de dados homogêneas no ensino fundamental. In: Workshop sobre educação em computação (wei). Brasil.
  3. Physical Sciences General Computer Science
    Caruso André Luis MACEDO; Cavalheiro Simone André Da COSTA; Marilton Sanchotene De AGUIAR. 2023. Mapeamento semântico entre mecânicas de jogos sérios e linhas do pensamento computacional. In: Simpósio brasileiro de informática na educação. Brasil.
  4. Social Sciences & Humanities Psychology (miscellaneous)
    Leila RIBEIRO; Foss LUCIANA; Simone André Da Costa CAVALHEIRO; Kniphoff Da Cruz Marcia Elena JOCHIMS; Soares De França ROZELMA. 2023. The brazilian school computing standard. In: Sigcse 2023: the 54th acm technical symposium on computer science education. Brasil.
  5. Physical Sciences Human-Computer Interaction
    Silva Júlia Veiga DA; Silva Junior Braz Araujo DA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2023. A user experience and usability test on creating games specified as graph grammars. In: Workshop sobre educação em computação. Brasil.
  6. Physical Sciences General Computer Science
    Silva Júlia Veiga DA; Rosa Yuri SILVA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2023. Battleships: a digital game for the development of computational thinking in elementary school. In: Workshop sobre educação em computação. Brasil.
  7. Physical Sciences General Computer Science
    Silva Junior Braz Araujo DA; Silva Júlia Veiga DA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2023. Featuring layers of abstraction as a modeling resource in an educational game-based learning platform. In: Simpósio brasileiro de informática na educação. Brasil.
  8. Physical Sciences General Computer Science
    Da Silva Junior Braz ARAUJO; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Da Silva Júlia VEIGA. 2023. Formal specification in basic education: what does it take?. In: 2023 ieee frontiers in education conference (fie). Brasil.
  9. Physical Sciences General Computer Science
    Silva Júlia Veiga DA; Silva Junior Braz Araujo DA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2023. Problem-solving systematization: introducing formal methods in basic education. In: Workshopescola de informática teórica. Brasil.
  10. Social Sciences & Humanities Education
    Ferrão Rafael S; Abreu Luize V; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2023. Uma abordagem para o ensino de estruturas de dados homogêneas no ensino fundamental. In: X congresso de extensão e cultura. Brasil.
  11. Social Sciences & Humanities Education
    Abreu Luize V; Ferrão Rafael S; Reiser Renata H S; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2023. Desenvolvimento de um curso de formação para professores. In: X congresso de extensão e cultura. Brasil.
  12. Physical Sciences Human-Computer Interaction
    Da Silva Júlia VEIGA; Braz Araujo Da Silva JUNIOR; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2023. Jogabilidade e criação de jogos especificados como gramática de grafos no gramestation: dois experimentos com foco em usabilidade e experiência do usuário. In: Xxxii congresso de iniciação científica. Brasil.
  13. Social Sciences & Humanities Accounting
    Rafael De MATTIA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2023. Grafotopia: introdução ao pensamento algorítmico e à depuração nos primeiros anos do ensino fundamental. In: Xxxii congresso de iniciação científica. Brasil.
  14. Physical Sciences General Computer Science
    Abreu Luize V; Foss LUCIANA; Cavalheiro Simone André Da COSTA; Ferrão Rafael S; Tatiana Aires TAVARES. 2023. Explorando a mesa tangível no desenvolvimento da versão virtual da atividade "uma aventura no espaço". In: Workshopescola de informática teórica. Brasil.
  15. Physical Sciences General Computer Science
    Heitor Silva ÁVILA; Ana Marilza Pernas FLEISCHMANN; Simone Andre Da Costa CAVALHEIRO; Luciana FOSS. 2023. Usando a decomposição para resolver problemas: uma abordagem para o ensino de computação na educação fundamental. In: Workshopescola de informática teórica. Brasil.
  16. Social Sciences & Humanities Education
    Christiano Martino Otero AVILA; Cavalheiro Simone André Da COSTA. 2022. Rubrica construcionista para avaliação de atividades didáticas. In: Workshop sobre educação em computação. Brasil.
  17. Physical Sciences General Computer Science
    Christiano Martino Otero AVILA; Cavalheiro Simone André Da COSTA. 2022. Practical guide for designing activities that integrate curricular content; computational thinking and constructionist theory. In: Simpósio brasileiro de informática na educação. Brasil.
  18. Social Sciences & Humanities Language and Linguistics
    Silva Júlia Veiga DA; Silva Junior Braz Araujo DA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2022. A user experience and usability test on playing games specified as graph grammars in gramestation. In: Workshop sobre educação em computação. Brasil.
  19. Social Sciences & Humanities Education
    Santos Júlia De Avila DOS; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Rosa Jr Leomar S DA. 2022. Pensamento computacional e engenharia de software: primeiros passos em direção a uma proposta de sistematização de resolução de problemas. In: Workshop sobre educação em computação. Brasil.
  20. Physical Sciences General Computer Science
    Leila RIBEIRO; Luciana FOSS; Marcia Elena Jochims Kniphoff Da CRUZ; Rozelma Soares De FRANÇA; Simone André Da Costa CAVALHEIRO. 2022. Proposta para implantação do ensino de computação na educação básica no brasil. In: Xxxiii simpósio brasileiro de informática na educação. Brasil.
  21. Social Sciences & Humanities Education
    Xavier Eduardo ABREU; Foss LUCIANA; Simone André Da Costa CAVALHEIRO; Lima Liz Fernanda Carrard DE. 2022. Pensamento computacional integrado à álgebra na bncc: proposta para os primeiros anos do ensino fundamental. In: Simpósio brasileiro de informática na educação. Brasil.
  22. Social Sciences & Humanities Education
    Rafael De MATTIA; Gabriele Da Silva LUCAS; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2022. Atividades para o desenvolvimento do pensamento computacional integrado à matemática. In: 8 semana integrada ufpel 2022 - xxxi cic. Brasil.
  23. Social Sciences & Humanities Education
    Allan SCHUCH; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2022. Monitoria à distância em sistemas discretos: aproveitamento do monitor e dos monitorados. In: 8 semana integrada ufpel 2022 - viii ceg. Brasil.
  24. Physical Sciences Mathematics (miscellaneous)
    Heitor Silva AVILA; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2022. A matemática discreta da computação no ensino remoto. In: 8 semana integrada ufpel 2022 - viii ceg. Brasil.
  25. Physical Sciences Computer Science (miscellaneous)
    Matheus Figueiredo SCHMALFUSS; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2022. Monitoria remota nas disciplinas teóricas da computação. In: 8 semana integrada ufpel 2022 - viii ceg. Brasil.
  26. Social Sciences & Humanities Education
    Bianca Nunes COELHO; André Rauber Du BOIS; Reiser R; Ana Marilza PERNAS; Luciana FOSS et al. 2022. Relato sobre curso ministrado para professores do ensino fundamental ? atividade soccercraft. In: 8 semana integrada ufpel 2022 - ix cec. Brasil.
  27. Social Sciences & Humanities Education
    Luize Vargas ABREU; Marilton Sanchotene De AGUIAR; Piana Clause Fátima De BRUM; Mazzini Ana RITA; Simone André Da Costa CAVALHEIRO et al. 2022. Extensão e adaptação da atividade uma aventura no espaço. In: 8 semana integrada ufpel 2022 - ix cec. Brasil.
  28. Physical Sciences Artificial Intelligence
    Silva Junior Braz Araujo DA; Silva Júlia Veiga DA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2022. Pattern recognition in computing education: a systematic review. In: Simpósio brasileiro de informática na educação. Brasil.
  29. Physical Sciences Artificial Intelligence
    Andrea V GARCEZ; Braz Araujo Silva JUNIOR; Ana Marilza Pernas FLEISCHMANN; Luciana FOSS; Simone Andre Da Costa CAVALHEIRO. 2022. Modelo para representação do conhecimento em pensamento computacional. In: Simpósio brasileiro de informática na educação (sbie). Brasil.
  30. Physical Sciences Computer Science (miscellaneous)
    Silva Junior Braz Araujo DA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2021. Pc-tes: catalogando iniciativas de pensamento computacional. In: Workshop sobre educação em computação. Brasil.
  31. Social Sciences & Humanities Education
    Jonnhy MARQUES; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2021. Minecraft educacional: proposta de atividades para a promoção do pensamento computacional. In: Xxx congresso de iniciação científica - siiepe 2021. Brasil.
  32. Physical Sciences Computer Science (miscellaneous)
    Júlia Veiga Da SILVA; Braz Araujo Da Silva JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2021. Gramers: agentes pedagógicos para um motor de jogos basead o em gramática de grafos. In: Xxx congresso de iniciação científica - siiepe. Brasil.
  33. Social Sciences & Humanities Education
    Yuri Da Silva ROSA; Renata Hax Sander REISER; Luciana FOSS; André Rauber Du BOIS; Marilton Sanchotene De AGUIAR et al. 2021. Uma aventura no espaço: proposta de atividade e de tutorial de formação. In: Viii congresso de extensão e cultura - siiepe. Brasil.
  34. Social Sciences & Humanities Education
    Silva Júlia Veiga DA; Silva Junior Braz Araujo DA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2021. Adaptação do processo engaged para o desenvolvimento de conteúdos curriculares em uma plataforma de jogos baseada em gramática de grafos. In: Simpósio brasileiro de informática na educação. Brasil.
  35. Physical Sciences Computer Science (miscellaneous)
    Silva Junior Braz Araujo DA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2021. Gramestation: specifying games with graphs. In: Simpósio brasileiro de informática na educação. Brasil.
  36. Social Sciences & Humanities Arts and Humanities (miscellaneous)
    Santos Júlia De Avila DOS; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Rosa Jr Leomar S DA. 2021. Relações entre o pensamento computacional e a engenharia de software: uma revisão sistemática da literatura. In: Simpósio brasileiro de informática na educação. Brasil.
  37. Social Sciences & Humanities Philosophy
    Caruso André Luis MACEDO; Simone André Da Costa CAVALHEIRO. 2021. Integração entre pensamento computacional e inteligência artificial: uma revisão sistemática de literatura. In: Simpósio brasileiro de informática na educação. Brasil.
  38. Physical Sciences Artificial Intelligence
    Júlia Veiga Da SILVA; Braz Araujo Da Silva JUNIOR; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2021. A criação de jogos para o ensino de computação: uma análise comparativa. In: Vi workshop-escola de informática teórica (weit 2021). Brasil.
  39. Physical Sciences Mathematics (miscellaneous)
    Yuri Da Silva ROSA; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS; André Rauber Du BOIS. 2021. Consolidando a modelagem do jogo aventura espacial. In: Vi workshop-escola de informática teórica (weit 2021). Brasil.
  40. Physical Sciences Computer Science (miscellaneous)
    Júlia Veiga Da SILVA; Braz Araujo Da Silva JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2021. Gramers: agentes pedagógicos para uma plataforma de jogos baseada em gramática de grafos. In: Vi workshop-escola de informática teórica (weit 2021). Brasil.
  41. Social Sciences & Humanities Education
    Jonnhy Moraes MARQUES; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2021. Proposta de atividades lúdicas no minecraft educacional para a promoção do pensamento computacional. In: Vi workshop-escola de informática teórica (weit 2021). Brasil.
  42. Physical Sciences Computer Science (miscellaneous)
    Braz Araujo Da Silva JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2021. Theoretical computer science in basic education: a systematic review. In: Vi workshop-escola de informática teórica (weit 2021). Brasil.
  43. Physical Sciences Computer Science (miscellaneous)
    Julia Krüger VIEIRA; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2021. Uma tradução de redes de petri fuzzy generalizadas para gramáticas de grafos com atributos. In: Vi workshop-escola de informática teórica (ctd weit 2021). Brasil.
  44. Social Sciences & Humanities Education
    Yuri ROSA; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS; André Rauber Du BOIS et al. 2021. Aventura espacial: proposta de atividade para o desenvolvimento do pensamento computacional. In: Wie - cbie 2021 workshop de informática na escola. Brasil.
  45. Social Sciences & Humanities Education
    Plácida OLIVEIRA; Yuri ROSA; Simone André Da Costa CAVALHEIRO; Luciana FOSS; André Rauber Du BOIS et al. 2021. Pc-câmbio: proposta de atividade lúdica e desplugada aplicando a metodologia do pensamento computacional. In: Educomp 2021: simpósio brasileiro de educação em computação relatos de experiência. Brasil.
  46. Social Sciences & Humanities Education
    Oliveira PLACIDA; Jonnhy MARQUES; Simone CAVALHEIRO; Luciana FOSS; Renata Hax Sander REISER et al. 2021. Jogo de rpg para o desenvolvimento de habilidades do pensamento computacional no ensino fundamental. In: Workshop sobre educação em computação; 2021. Brasil.
  47. Physical Sciences Computer Science (miscellaneous)
    Braz Araujo Silva JUNIOR; Simone Andre Da Costa CAVALHEIRO; Luciana FOSS; Ana Marilza Pernas FLEISCHMANN; Andrea V GARCEZ. 2021. Pact: a citizen science project for computing education. In: Ieee frontiers in education conference. Brasil.
  48. Physical Sciences General Computer Science
    Xavier Eduardo ABREU; Foss LUCIANA; Cavalheiro Simone André Da COSTA; Maria Arlita Da Silveira SOARES; Romio Leugim C. 2021. Pensamento computacional integrado à matemática na bncc: proposta para o primeiro ano do ensino fundamental. In: Simpósio brasileiro de informática na educação. Brasil.
  49. Physical Sciences Computer Science (miscellaneous)
    Bordini ADRIANA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2020. Metodologia da decomposição e composição para resolução de problemas em live. In: Simpósio brasileiro de informática na educação. Brasil.
  50. Physical Sciences Computer Science (miscellaneous)
    Jonnhy Moraes MARQUES; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2020. Minecraft educacional: proposta metodológica para a inserção do pesamento computacional nas escolas. In: Semana integrada de inovação; ensino; pesquisa e extensão da ufpel. xxix congresso de iniciação científica. Brasil.
  51. Social Sciences & Humanities Education
    Yuri Da Silva ROSA; Reiser R; Luciana FOSS; André Rauber Du BOIS; Marilton Sanchotene De AGUIAR et al. 2020. Aprendendo vetores com uma aventura no espaço. In: Semana integrada de inovação; ensino; pesquisa e extensão da ufpel. vii congresso de extensão e cultura. Brasil.
  52. Social Sciences & Humanities Education
    João Ladeira REZENDE; Dara Dos Santos LIMA; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2020. A monitoria como ferramenta no ensino remoto de teoria da computação. In: Semana integrada de inovação; ensino; pesquisa e extensão da ufpel. vi congresso de ensino de graduação. Brasil.
  53. Social Sciences & Humanities Education
    Silva Junior Braz Araujo DA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2020. Ggasct: bringing formal methods to the computational thinking. In: Workshops do congresso brasileiro de informática na educação. Brasil.
  54. Physical Sciences General Computer Science
    Christiano Martino Otero AVILA; Foss LUCIANA; Bordini ADRIANA; Simone Debacco MARIA; Da Costa Cavalheiro Simone ANDRE. 2019. Evaluation rubric for computational thinking concepts. In: 2019 ieee 19th international conference on advanced learning technologies (icalt). Brasil.
  55. Physical Sciences Computer Science (miscellaneous)
    Bordini ADRIANA; Cavalheiro SIMONE; Luciana FOSS. 2019. Metodologia de resolução de problemas utilizando a linguagem live. In: Xxx simpósio brasileiro de informática na educação (brazilian symposium on computers in education). Brasil.
  56. Physical Sciences Computer Science (miscellaneous)
    Junior BRAZ; Cavalheiro SIMONE; Luciana FOSS. 2019. Revisitando um jogo educacional para desenvolver o pensamento computacional com gramática de grafos. In: Xxx simpósio brasileiro de informática na educação (brazilian symposium on computers in education). Brasil.
  57. Social Sciences & Humanities Education
    Placida Giuliane Silveira De OLIVEIRA; Jonnhy MARQUES; Yuri ROSA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2019. Elementais rpg ? aplicação da atividade para o desenvolvimento das habilidades de abstração; reconhecimento de padrões e pensamento algorítmico. In: Weit - workshop-escola de informática teórica. Brasil.
  58. Social Sciences & Humanities Education
    Christiano ÁVILA; Simone André Da Costa CAVALHEIRO; Cris Helena Padilha Da SILVA. 2019. Framework de desenvolvimento do pensamento computacional. In: Weit - workshop-escola de informática teórica. Brasil.
  59. Social Sciences & Humanities Education
    Braz Araujo Da Silva JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2019. Métodos formais na educação básica: operando gramáticas de grafos em um jogo educacional. In: Weit - workshop-escola de informática teórica. Brasil.
  60. Physical Sciences Computer Science (miscellaneous)
    Renã Ferreira De SOUZA; Braz Araujo Da Silva JUNIOR; Luciana FOSS; Gerson Geraldo Homrich CAVALHEIRO; Simone André Da Costa CAVALHEIRO. 2019. Geração procedural de níveis dungeon crawl baseada em gramática de grafos. In: Weit - workshop-escola de informática teórica. Brasil.
  61. Physical Sciences General Computer Science
    Rafael De Sousa NASCIMENTO; João Vitor Chagas Possobom VAZ; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2019. Skamboo: especificação formal e implementação de um sistema web voltado a prática de trocas. In: Weit - workshop-escola de informática teórica. Brasil.
  62. Physical Sciences Computer Science (miscellaneous)
    Julia Krüger VIEIRA; Luciana FOSS; Reiser Renata H S; Simone André Da Costa CAVALHEIRO. 2019. Primeiros passos da tradução de redes de petri fuzzy para gramática de grafos com atributos. In: Weit - workshop-escola de informática teórica. Brasil.
  63. Physical Sciences Computer Science (miscellaneous)
    Adriana BORDINI; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2019. Proposta de uma metodologia de generalização para resolução de problemas utilizando a linguagem live. In: Weit - workshop-escola de informática teórica. Brasil.
  64. Physical Sciences General Computer Science
    João Vitor Chagas Possobom VAZ; Simone André Da Costa CAVALHEIRO. 2019. Especificação e verificação formal de um sistema de troca denominado escambo. In: Xxvi congresso de iniciação científica; 5 semana integrada de inovação; ensino; pesquisa e extensão da ufpel (siiepe). Brasil.
  65. Social Sciences & Humanities Education
    Victor Delmonaco Tarrago GROVERMANN; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2019. Educação com minecraft: introduzindo o pensamento computacional. In: Xxviii congresso de iniciação científica; 5 semana integrada de inovação; ensino; pesquisa e extensão da ufpel (siiepe). Brasil.
  66. Social Sciences & Humanities Education
    Placida Giuliane S OLIVEIRA; Jonnhy Moraes MARQUES; Yuri Da Silva ROSA; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER et al. 2019. Robopel 2019 ? aplicação da atividade elementais rpg. In: Vi congresso de extensão e cultura; 5 semana integrada de inovação; ensino; pesquisa e extensão. Brasil.
  67. Social Sciences & Humanities Education
    Cardozo AMANDA; Gayer CATHERINE; Cavalheiro SIMONE; Foss LUCIANA; André Rauber Du BOIS et al. 2019. Flexible assessment in digital teaching-learning processes: case studies via computational thinking. In: Xxx simpósio brasileiro de informática na educação (brazilian symposium on computers in education). Brasil.
  68. Physical Sciences General Computer Science
    Bordini ADRIANA; Cavalheiro SIMONE; Christiano Martino Otero AVILA; Foss LUCIANA. 2018. Linguagem visual para resolução de problemas fundamentada no pensamento computacional: uma proposta. In: Xxix simpósio brasileiro de informática na educação (brazilian symposium on computers in education). Brasil.
  69. Social Sciences & Humanities Education
    Junior BRAZ; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2018. Uma análise de um jogo educacional sob a ótica do pensamento computacional. In: Xxix simpósio brasileiro de informática na educação (brazilian symposium on computers in education). Brasil.
  70. Physical Sciences Computer Science Applications
    João Vitor Chagas Possobom VAZ; Simone André Da Costa CAVALHEIRO. 2018. Primeiros passos para a especificação e verificação formal de um sistema de troca denominado escambo. In: Xxvii congresso de iniciação científica; 4 siiepe - semana integrada de inovação; ensino; pesquisa e extensão da ufpel. Brasil.
  71. Physical Sciences Computer Science (miscellaneous)
    Matheus Ianzer HERTZOG; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2018. Ferramenta para edição de uma linguagem visual para desenvolvimento de habilidades do pensamento computacional. In: Xxvii congresso de iniciação científica; 4 siiepe - semana integrada de inovação; ensino; pesquisa e extensão da ufpel. Brasil.
  72. Physical Sciences Computer Science Applications
    Braz Araujo Da Silva JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2018. ?a última árvore? digital; a implementação de um jogo educacional que utiliza métodos formais para estimular o pensamento computacional. In: Xx encontro de pós-graduação(enpos); 4 semana integrada de inovação; ensino; pesquisa e extensão da ufpel. Brasil.
  73. Social Sciences & Humanities Education
    Placida Giuliane Silveira De OLIVEIRA; Gean Carlos BRANDÃO; André Rauber Du BOIS; Marilton Sanchotene De AGUIAR; Luciana FOSS et al. 2018. Explorando o pensamento computacional para a qualificação do ensino fundamental: relato do desenvolvimento da atividade piratas x marinheiros. In: V congresso de extensão e cultura; 4 semana integrada de inovação; ensino; pesquisa e extensão da ufpel. Brasil.
  74. Social Sciences & Humanities Education
    Simão MARTIN; Cavalheiro SIMONE; Renata Hax Sander REISER; Foss L; Ana Rita MAZZINI et al. 2018. Soccercraft: relato de atividade para ensino aprendizagem de habilidades do pensamento computacional aplicada no sexto ano do ensino fundamental. In: Workshop sobre educação em computação (wei_csbc). Brasil.
  75. Social Sciences & Humanities Education
    Catherine GAYER; Amanda ARGOU; Marilton Sanchotene AGUIAR; Clause PIANA; André Rauber DUBOIS et al. 2018. Sfuzzy avalia e=a: avaliac~ao de discentes na promoc~ao do ensino e da aprendizagem de habilidades via pensamento computacional. In: Cbsf 2018 - congresso brasileiro de sistemas fuzzy. Brasil.
  76. Social Sciences & Humanities Accounting
    Christiano Martino Otero AVILA; Cavalheiro SIMONE; Bordini ADRIANA; Marques MONICA. 2017. O pensamento computacional por meio da robótica no ensino básico - uma revisão sistemática. In: Xxviii simpósio brasileiro de informática na educação sbie (brazilian symposium on computers in education). Brasil.
  77. Physical Sciences General Computer Science
    Christiano Martino Otero AVILA; Cavalheiro SIMONE; Bordini ADRIANA; Marques MONICA; Cardoso MAICON et al. 2017. Metodologias de avaliação do pensamento computacional: uma revisão sistemática. In: Xxviii simpósio brasileiro de informática na educação sbie (brazilian symposium on computers in education). Brasil.
  78. Social Sciences & Humanities Accounting
    Marques MONICA; Cavalheiro SIMONE; Foss LUCIANA; Christiano Martino Otero AVILA; Bordini ADRIANA. 2017. Uma proposta para o desenvolvimento do pensamento computacional integrado ao ensino de matemática. In: Xxviii simpósio brasileiro de informática na educação sbie (brazilian symposium on computers in education). Brasil.
  79. Physical Sciences Computer Science Applications
    Christiano Martino Otero AVILA; Cavalheiro SIMONE. 2017. Robótica educacional como estratégia de promoção do pensamento computacional - uma proposta de metodologia baseada em taxonomias de aprendizagem. In: Vi congresso brasileiro de informática na educação. Brasil.
  80. Physical Sciences General Computer Science
    Bordini ADRIANA; Christiano Martino Otero AVILA; Marques MONICA; Foss LUCIANA; Cavalheiro SIMONE. 2017. Pensamento computacional nos ensinos fundamental e médio: uma revisão sistemática. In: Xxviii simpósio brasileiro de informática na educação sbie (brazilian symposium on computers in education). Brasil.
  81. Social Sciences & Humanities Education
    Junior BRAZ; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2017. A última árvore: exercitando o pensamento computacional por meio de um jogo educacional baseado em gramática de grafos. In: Xxviii simpósio brasileiro de informática na educação sbie (brazilian symposium on computers in education). Brasil.
  82. Social Sciences & Humanities Education
    Mônica Marques Da CUNHA; Adriana BORDINI; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2017. A integração da matemática e do pensamento computacional na educação. In: Iv workshop-escola de informática teórica (weit 2017). Brasil.
  83. Social Sciences & Humanities Education
    Braz Araujo Da Silva JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2017. 'a última árvore: o povo da cidade'; utilizando a condição negativa de aplicação em um jogo educacional. In: Iv workshop-escola de informática teórica (weit 2017). Brasil.
  84. Social Sciences & Humanities Education
    Yuri Rocha WEISSHAHN; Rodrigo De Brum ACOSTA; Simone André Da Costa CAVALHEIRO; Clause De Brum PIANA; André Rauber Du BOIS et al. 2017. Desenvolvendo o pensamento computacional com a plataforma lego no terceiro ano do ensino fundamental: proposta de atividade e relato de aplicação. In: Iv workshop-escola de informática teórica (weit 2017). Brasil.
  85. Social Sciences & Humanities Education
    Jorge NACHTIGALL; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Renata Hax Sander REISER; André Rauber Du BOIS et al. 2017. Proposta de atividade para o sexto ano do ensino fundamental: ordenação. In: Iv workshop-escola de informática teórica (weit 2017). Brasil.
  86. Social Sciences & Humanities Education
    Christiano ÁVILA; Narúsci BASTOS; Reiser R; Simone André Da Costa CAVALHEIRO; Bruno ZATT. 2017. Aplicação da lógica fuzzy no ensino e aprendizagem: uma revisão sistemática. In: Iv workshop-escola de informática teórica (weit 2017). Brasil.
  87. Physical Sciences Computer Science (miscellaneous)
    Alex BERTEI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER. 2017. Estudo sobre as abordagens para gramática de grafos fuzzy. In: Iv workshop-escola de informática teórica (weit 2017). Brasil.
  88. Social Sciences & Humanities Linguistics and Language
    Nícolas Oreques De ARAUJO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2017. Tradução automatizada de gramática de grafos para event-b. In: Iv workshop-escola de informática teórica (weit 2017). Brasil.
  89. Physical Sciences Computer Science (miscellaneous)
    Wine SILVA; Eduardo LEMOS; Vagner SEIBERT; Simone André Da Costa CAVALHEIRO. 2017. Proposta de artefatos para o ensino de lógica para crianças. In: Iv workshop-escola de informática teórica (weit 2017). Brasil.
  90. Social Sciences & Humanities Education
    Braz Araujo Da Silva JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2017. 'a última árvore: a chegada da fazenda?; aplicando gramática de grafos com atributos ao desenvolvimento do pensamento computacional. In: 3 siiepe - semana integrada ufpel 2017. Brasil.
  91. Social Sciences & Humanities Education
    Rodrigo RAUPP; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Renata Hax Sander REISER. 2017. Pensamento computacional: ensinando algoritmos para o 6º ano do ensino fundamental. In: 3 siiepe - semana integrada ufpel 2017. Brasil.
  92. Social Sciences & Humanities Education
    Simão S MARTIN; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER. 2017. Soccercraft: uma proposta de atividade para aprendizado de algoritmos para o sexto ano do ensino fundamental via pensamento computacional. In: 3 siiepe - semana integrada ufpel 2017. Brasil.
  93. Physical Sciences Artificial Intelligence
    Alex BERTEI; Foss L; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER. 2017. A relational approach of fuzzy graph grammars. In: The 2017 13th international conference on natural computation; fuzzy systems and knowledge discovery (icnc-fskd 2017). Estados Unidos.
  94. Social Sciences & Humanities Education
    Simão MARTIN; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene AGUIAR; Renata Hax Sander REISER. 2017. Desenvolvendo o raciocínio lógico utilizando quadrinhos: uma proposta de atividade para o terceiro ano do ensino fundamental via pensamento computacional. In: Iv workshop-escola de informática teórica (weit 2017). Brasil.
  95. Physical Sciences Computer Science (miscellaneous)
    Avila CHRISTIANO; Rosária Ilgenfritz SPEROTTO; Debacco MARIA; Xavier Regina Trilho OTERO; Alkimim MARCO et al. 2017. Programação e robótica na escola: aplicação de roteiros e instrumentos avaliativos em um projeto piloto. In: Xxiii workshop de informática na escola. Brasil.
  96. Physical Sciences General Computer Science
    Christiano Martino Otero AVILA; Bordini ADRIANA; Marques MONICA; Cavalheiro SIMONE; Foss LUCIANA. 2016. Desdobramentos do pensamento computacional no brasil. In: Xxvii simpósio brasileiro de informática na educação. Brasil.
  97. Physical Sciences General Engineering
    Jones Marchesan JUNIOR; Christiano Martino Otero AVILA; Cavalheiro Simone André Da COSTA; Bordini ADRIANA; Regina Trilho Otero XAVIER. 2016. Robótica com arduino: proposta de trabalho. In: Iii congresso de extensão e cultura (cec 2016). Brasil.
  98. Physical Sciences Computer Science Applications
    Gustavo Cruz De PINHO; Yuri Rocha WEISSHAHN; Simone André Da Costa CAVALHEIRO; Gerson Geraldo Homrich CAVALHEIRO; Clause Fátima De Brum PIANA. 2016. Proposta de jogo digital para dispositivos móveis: desenvolvendo habilidades do pensamento computacional. In: Xxvii simpósio brasileiro de informática na educação. Brasil.
  99. Social Sciences & Humanities Education
    Braz Araujo Da Silva JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2016. Gggame; um jogo educacional baseado em gramática de grafos para o desenvolvimento do pensamento computacional. In: Xxv congresso de iniciação científica. Brasil.
  100. Social Sciences & Humanities Education
    Yuri WEISSHAHN; Mônica Marques Da CUNHA; Adriana BORDINI; Christiano ÁVILA; Simone André Da Costa CAVALHEIRO et al. 2016. Computação na educação básica no brasil: o estado da arte. In: Xxv congresso de iniciação científica (cic). Brasil.
  101. Social Sciences & Humanities Education
    Gustavo Cruz De PINHO; Gerson Geraldo Homrich CAVALHEIRO; Clause Fátima De Brum PIANA; Simone André Da Costa CAVALHEIRO. 2016. Pensamento computacional: relato de aplicação de atividade utilizando dispositivos tecnológicos. In: Xxv congresso de iniciação científica (cic). Brasil.
  102. Social Sciences & Humanities Education
    Rodrigo De Brum ACOSTA; Jones Marchesan JUNIOR; Mônica Marques Da CUNHA; Marilton Sanchotene De AGUIAR; Simone André Da Costa CAVALHEIRO et al. 2016. Desenvolvendo o pensamento computacional através da plataforma lego. In: Xxv congresso de iniciação científica (cic). Brasil.
  103. Social Sciences & Humanities Education
    Pedro HALMENSCHLEGER; Yuri WEISSHAHN; André Rauber Du BOIS; Ana Rita MAZZINI; Simone André Da Costa CAVALHEIRO et al. 2016. Pensamento computacional no quinto ano do ensino fundamental: proposta e aplicação de atividades. In: Iii congresso de extensão e cultura. Brasil.
  104. Social Sciences & Humanities Psychology (miscellaneous)
    Yuri WEISSHAHN; Pedro HALMENSCHLEGER; Luciana FOSS; Renata Hax Sander REISER; Clause Fátima De Brum PIANA et al. 2016. Tratamento de informação no quinto ano do ensino fundamental. In: Iii congresso de extensão e cultura. Brasil.
  105. Social Sciences & Humanities Education
    Yuri R WEISSHAHN; Gustavo PINHO; Simone CAVALHEIRO; C F B PIANA; André Rauber Du BOIS et al. 2016. Representação e análise de dados no quinto ano do ensino fundamental: proposta de atividade e relato de aplicação. In: Xxii workshop de informática na escola. Brasil.
  106. Social Sciences & Humanities Education
    Gustavi PINHO; Yuri WEISSHAHN; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER; C PIANA et al. 2016. Pensamento computacional no ensino fundamental: relato de atividade de introdução a algoritmos. In: Xxii workshop de informática na escola. Brasil.
  107. Social Sciences & Humanities Education
    Simone André Da Costa CAVALHEIRO; Ana Marilza Pernas FLEISCHMANN; Marilton Sanchotene De AGUIAR; Luciana FOSS; André Rauber Du BOIS et al. 2016. Information organization via computational thinking: case study in a primary school classroom. In: 24º wei - workshop sobre educação em computação. Brasil.
  108. Life Sciences Neuroscience (miscellaneous)
    Andrei COSTA; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Leila RIBEIRO. 2015. From uml diagrams to simulink models: a precise and verified translation. In: The 30th annual acm symposium on applied computing. Brasil.
  109. Social Sciences & Humanities Education
    Gustavo SANTOS; Wine SILVA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Marilton Sanchotene De AGUIAR et al. 2015. Proposta de atividade para o quinto ano do ensino fundamental: algoritmos desplugados. In: Xxi workshop de informática na escola (wie). Brasil.
  110. Social Sciences & Humanities Education
    Plinio Finkenauer JUNIOR; Simone André Da Costa CAVALHEIRO; Clause De Brum PIANA; Ana Rita MAZZINI; André Rauber Du BOIS et al. 2015. Desenvolvendo o pensamento computacional via algoritmos de ordenação: relato de atividade no ensino fundamental. In: Congresso de extensão e cultura (cec 2015). Brasil.
  111. Social Sciences & Humanities Education
    Adson Ileon Ripinski DUARTE; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER; Marilton Sanchotene De AGUIAR; Yuri WEISSHAHN et al. 2015. Relato da atividade ?colorindo com números? nas escolas de ensino fundamental de pelotas. In: Congresso de extensão e cultura (cec 2015). Brasil.
  112. Physical Sciences Computer Science (miscellaneous)
    Belisa ARNHOLD; Gustavo Cruz De PINHO; Gustavo SANTOS; Luciana FOSS; Simone André Da Costa CAVALHEIRO et al. 2015. Explorando o pensamento computacional através do ensino de algoritmos para alunos do ensino fundamental. In: Xxiv congresso de iniciação científica da universidade federal de pelotas. Brasil.
  113. Physical Sciences Computer Science (miscellaneous)
    Natália DARLEY; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2015. Desenvolvimento de uma teoria de gramática de grafos para a plataforma rodin. In: Xxiv congresso de iniciação científica da universidade federal de pelotas. Brasil.
  114. Physical Sciences Computer Science (miscellaneous)
    Alex BERTEI; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2015. Integrando estruturas de controle na abordagem relacional de gramática de grafos. In: Iii workshop-escola de informática teórica. Brasil.
  115. Social Sciences & Humanities Education
    Braz Araujo Da Silva JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2015. A gramática de grafos como alternativa para o desenvolvimento do pensamento computacional na educação básica. In: Xxiv congresso de iniciação científica da universidade federal de pelotas. Brasil.
  116. Physical Sciences Artificial Intelligence
    Talisson Rosa GALHO; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2015. Implementação do algoritmo para a construção do sistema abstrato associado a um sistema de transformação de grafos transacional com relação de dependência. In: Xxiv congresso de iniciação científica da universidade federal de pelotas. Brasil.
  117. Physical Sciences Artificial Intelligence
    Zanotelli R; Renata Hax Sander REISER; Costa S; Foss L; Bedregal B. 2015. Towards robustness and duality analysis of intuitionistic fuzzy aggregations. In: 2015 ieee international conference on fuzzy systems (fuzzieee). Brasil.
  118. Social Sciences & Humanities Language and Linguistics
    Wilson CARDOSO; Luciana FOSS; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO. 2015. Estudo de gramática de grafos fuzzy. In: Weit 2015: iii workshop-escola de informática teórica. Brasil.
  119. Social Sciences & Humanities Education
    Plínio Finkenauer JUNIOR; Simone André Da Costa CAVALHEIRO; Classe PIANA; Ana Rita MAZZINI; André Rauber DUBOIS et al. 2015. Relato sobre o ensino de algoritmos no contexto do pensamento computacional para estudantes do quinto ano do ensino fundamental. In: Cec 2015 - congresso de extensão e cultura. Brasil.
  120. Social Sciences & Humanities Arts and Humanities (miscellaneous)
    Iuri WEISSHAHN; Renata Hax Sander REISER; Ana Rita MAZZINI; André Rauber DUBOIS; Adson DUARTE et al. 2015. Pensamento computacional no brasil: o estado da arte. In: Cic 2105 - xxiv congresso de iniciação científica da universidade federal de pelotas. Brasil.
  121. Social Sciences & Humanities Education
    Wine SILVA; Clause PIANA; Luciana FOSS; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO et al. 2015. Desenvolvendo as habilidaddes de coleta; análise e representação de dados no ensino fundamental. In: Cic 2015 - xxiv congresso de iniciação científica da universidade federal de pelotas. Brasil.
  122. Social Sciences & Humanities Education
    Gustavo SANTOS; Plínio Finkenauer JUNIOR; B ARNHOLD; Simone André Da Costa CAVALHEIRO; Clause PIANA et al. 2015. Relato sobre o ensino de algoritmos a estudantes do quinto ano do ensino público fundamental. In: Weit 2015 iii workshop-escola de informática teórica. Brasil.
  123. Social Sciences & Humanities Education
    Gustavo C PINHO; Simone André Da Costa CAVALHEIRO; Wine SILVA; Luciana FOSS; Ana Marilza Pernas FLEISCHMANN et al. 2015. Expandindo o pensamento computacional em turmas de quarto ano do ensino fundamental: relato da atividade números binários. In: Congresso de extensão e cultura (cec 2015). Brasil.
  124. Physical Sciences General Computer Science
    Simone André Da Costa CAVALHEIRO; Gleider M De CAMPOS; Plínio Finkenauer JUNIOR; Rafael Dias LAGEMANN; Daiane ANDRADE et al. 2014. Desenvolvendo habilidades do pensamento computacional no quarto ano do ensino fundamental. In: 32o seminário de extensão universitária da região sul. Brasil.
  125. Social Sciences & Humanities Education
    Plinio Finkenauer JUNIOR; Daiane ANDRADE; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER. 2014. Introdução de algoritmos de busca em turmas do ensino fundamental. In: Xxiii congresso de iniciação científica da universidade federal de pelotas. Brasil.
  126. Social Sciences & Humanities Education
    Rafael Dias LAGEMANN; Daiane ANDRADE; Marilton Sanchotene De AGUIAR; Plinio Finkenauer JUNIOR; Tainã CARVALHO et al. 2014. Desenvolvendo o pensamento computacional em turmas de quarto ano do ensino fundamental: atividade colorindo com números. In: Xxiii congresso de iniciação científica da universidade federal de pelotas. Brasil.
  127. Social Sciences & Humanities Education
    Rafael Dias LAGEMANN; Tainã CARVALHO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Simone André Da Costa CAVALHEIRO. 2014. Desenvolvendo o pensamento computacional em escolas de ensino fundamental: relato de atividade sobre representação de imagens. In: I congresso de extensão e cultura da ufpel. Brasil.
  128. Physical Sciences Computer Science (miscellaneous)
    Benitez IBERO; Zanotelli ROSANA; Renata Hax Sander REISER; Costa SIMONE; Luciana FOSS et al. 2014. Aggregating fuzzy implications based on owa-operators. In: 2014 ieee international conference on fuzzy systems (fuzzieee). Índia.
  129. Physical Sciences Artificial Intelligence
    Rosana Medina ZANOTTELLI; Alexander LEMKE; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2014. Towards an atanassov-intuitionistic extension of g-implication operators. In: Congresso brasileiro de sistemas fuzzy. Brasil.
  130. Physical Sciences Artificial Intelligence
    Zanotelli Rosana MEDINA; Renata Hax Sander REISER; Andre Da Costa Cavalheiro SIMONE; Luciana FOSS; Bedregal Benjamin Rene CALLEJAS. 2014. Robustness on the fuzzy f-xor class: implication; bi-implications and dual constructions. In: 2014 xl latin american computing conference (clei). Brasil.
  131. Physical Sciences Artificial Intelligence
    Rosana Medina ZANOTELLI; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2014. Sensitivity of fuzzy f-xor implications. In: Cnmac 2014 congresso nacional de matemática aplicada e computacional. Brasil.
  132. Physical Sciences Computer Science Applications
    G M CAMPOS; Simone CAVALHEIRO; Luciana FOSS; Ana PERNAS; C F B PIANA et al. 2014. Organização de informações via pensamento computacional: relato de atividade aplicada no ensino fundamental. In: Xix workshop de informática na escola (wie 2014); 2014; dourados. anais do xix workshop de informática na escola. Brasil.
  133. Social Sciences & Humanities Education
    Douglas S ROCKE; D DETONI; Gleider Machedanz De CAMPOS; Ana Marilza Pernas FLEISCHMANN; Simone André Da Costa CAVALHEIRO et al. 2014. Desenvolvendo o pensamento computacional em turmas de quarto ano do ensino fundamental: roteamento e bolqueio de redes. In: Xxiii congresso de iniciação científica da universidade federal de pelotas. Brasil.
  134. Social Sciences & Humanities Education
    Gleider Machedanz De CAMPOS; Plínio Finkenauer JUNIOR; Daiane ANDRADE; Ana Marilza Pernas FLEISCHMANN; Simone André Da Costa CAVALHEIRO. 2014. Análise; classificação e organização de dados via pensamento computacional: relato de atiivdade no ensino fundamental. In: Congresso de extensão e cultura. Brasil.
  135. Physical Sciences Artificial Intelligence
    André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2013. Using graph grammars to specify populational level of multi-agent system organizations. In: Workshop-escola de informática teórica. Brasil.
  136. Physical Sciences Computer Science (miscellaneous)
    Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2013. Towards the use of proof tactics for theorem proving graph grammars through rodin. In: Workshop-escola de informática teórica. Brasil.
  137. Physical Sciences Computer Science (miscellaneous)
    Rosana Medina ZANOTELLI; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2013. Fuzzy f-xor class and dual constructions. in: workshop-escola de informática teórica. In: Workshop-escola de informática teórica. Brasil.
  138. Physical Sciences Computer Science Applications
    Andrei COSTA; Vinicius Steffens PAZZINI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA et al. 2013. Automatic translation from uml to simulik caam. In: Weit 2013 - ii workshop-escola em informática teórica. Brasil.
  139. Physical Sciences Computer Science (miscellaneous)
    André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2013. Towards the use of graph grammars for specification of multi-agent system organizations. In: Xvi simpósio brasileiro de métodos formais. Brasil.
  140. Social Sciences & Humanities Education
    Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2013. Theorem proving graph grammars: strategies for discharging proof obligations. In: Simpósio brasileiro de métodos formais. Brasil.
  141. Social Sciences & Humanities Education
    Luiz Carlos Lemos JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2013. Gramática de grafos em event-b: estratégias para demonstrar propriedades utilizando prova de teoremas. In: Xv encontro de pós-graduação ufpel (xv enpos). Brasil.
  142. Social Sciences & Humanities Linguistics and Language
    Rosana Medina ZANOTELLI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER. 2013. Investigações na classe de conectivos fuzzy f-xor: dualidade; robustez e implicações. In: Xv encontro de pós-graduação ufpel (xv enpos). Brasil.
  143. Social Sciences & Humanities Education
    Daiane ANDRADE; Tainã CARVALHO; Victor Alexandre AULER; Marilton Sanchotene De AGUIAR; Luciana FOSS et al. 2013. Desenvolvendo o pensamento computacional no ensino fundamental. In: Xxii congresso de iniciação científica da universidade federal de pelotas (xxii cic 2013 - ufpel). Brasil.
  144. Social Sciences & Humanities Language and Linguistics
    Simone Drawanz RUTZ; Plinio Finkenauer JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2013. Proposta de padrões de propriedades e táticas de prova para sistemas especificados em gramática de grafos na plataforma rodin. In: Xxii congresso de iniciação científica da universidade federal de pelotas (xxii cic 2013 - ufpel). Brasil.
  145. Social Sciences & Humanities Education
    Tainã CARVALHO; Daiane ANDRADE; Victor Alexandre AULER; Marilton Sanchotene De AGUIAR; Luciana FOSS et al. 2013. Discussão sobre os desafios relacionados à implantação do pensamento computacional no ensino brasileiro. In: Xxii congresso de iniciação científica da universidade federal de pelotas (xxii cic 2013 - ufpel). Brasil.
  146. Physical Sciences Computer Science (miscellaneous)
    Andrei COSTA; Vinícius Steffens PAZZINI; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA; Flávio Rech WAGNER et al. 2013. Transformação automática de diagramas uml para modelos simulink. In: Xxii congresso de iniciação científica da universidade federal de pelotas (xxii cic 2013 - ufpel). Brasil.
  147. Physical Sciences Artificial Intelligence
    Erick C ESPINDULA; Tamara M Da CRUZ; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2013. Ferramenta para extração de transações de sistemas de transformação de grafos transacionais. In: Xxii congresso de iniciação científica da universidade federal de pelotas (xxii cic 2013 - ufpel). Brasil.
  148. Physical Sciences Artificial Intelligence
    Costa ANDREI; Pazzini VINICIUS; Foss LUCIANA; Simone André Da Costa CAVALHEIRO; Brisolara Lisane Brisolara DE et al. 2013. Automatic translation from uml to simulink caam using graph grammars. In: 2013 2nd workshopschool on theoretical computer science (weit). Brasil.
  149. Social Sciences & Humanities Education
    Junior Luiz Carlos LEMOS; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2013. Towards the use and description of proof tactics for theorem proving graph grammars through rodin. In: 2013 2nd workshopschool on theoretical computer science (weit). Brasil.
  150. Physical Sciences Computer Science (miscellaneous)
    Mello Andre Moura DE; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2013. Graph grammar specification for the populational level of multi-agent system organizations. In: 2013 2nd workshopschool on theoretical computer science (weit). Brasil.
  151. Social Sciences & Humanities Education
    Tainã CARVALHO; Daiane ANDRADE; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2013. Uma discussão introdutória sobre os desafios e as necessidades à implementação do pensamento computacional no ensino fundamental e médio no brasil. In: Weit 2013 - second workshop school on theoretical computer science. Brasil.
  152. Social Sciences & Humanities Education
    Daiane ANDRADE; Tainã CARVALHO; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2013. Proposta de atividades para o desenvolvimento do pensamento computacional no ensino fundamental. In: 19 wie - trilha 1: relatos de experiência de uso de tecnologias digitais de informação e comunicação (tdic) na educação. Brasil.
  153. Social Sciences & Humanities Language and Linguistics
    Zanotelli Rosana MEDINA; Renata Hax Sander REISER; Cavalheiro Simone Andre Da COSTA; Luciana FOSS. 2013. Sensitivity and dual constructions on the fuzzy f-xor class. In: 2013 2nd workshopschool on theoretical computer science (weit). Brasil.
  154. Social Sciences & Humanities Education
    Carvalho TAINA; Andrade DAIANE; Silveira JAYNE; Auler VICTOR; Cavalheiro SIMONE et al. 2013. Discussing the challenges related to deployment of computational thinking in brazilian basic education. In: 2013 2nd workshopschool on theoretical computer science (weit). Brasil.
  155. Physical Sciences Computer Science (miscellaneous)
    Simone André Da Costa CAVALHEIRO; Luciana FOSS; Leila RIBEIRO. 2012. Specification patterns for properties over reachable states of graph grammars. In: Simpósio brasileiro de métodos formais. Brasil.
  156. Physical Sciences Artificial Intelligence
    Cícero Agusto De Souza CAMARGO; Pilla Maurício LIMA; Gerson Geraldo Homrich CAVALHEIRO; Simone André Da COSTA; Luciana FOSS. 2012. Applying list scheduling algorithms in a multithreaded execution environment. In: Latin american symposium on high performance computing (hpclatam). Argentina.
  157. Social Sciences & Humanities Psychology (miscellaneous)
    Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2012. Prova de teoremas para gramática de grafos: obrigações e táticas de prova no uso do rodin. In: X jornada de pós-graduação e pesquisa (congrega 2012). Brasil.
  158. Physical Sciences Computer Science (miscellaneous)
    André Moura De MELLO; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2012. Gramática de grafos para modelagem de sistemas multi-agentes baseados no poporg. In: Iii seminário de pesquisa em computação da ufpel (spc2012). Brasil.
  159. Physical Sciences Artificial Intelligence
    Andrei COSTA; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2012. Automatização da transformação de sistemas uml para modelos simulink. In: Iii seminário de pesquisa em computação da ufpel (spc2012). Brasil.
  160. Social Sciences & Humanities Psychology (miscellaneous)
    Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2012. Prova de teoremas para gramática de grafos: estratégias para demonstração de obrigações de prova. In: Iii seminário de pesquisa em computação da ufpel (spc2012). Brasil.
  161. Physical Sciences Computer Science (miscellaneous)
    Nicolas BISI; Vinícius Steffens PAZZINI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA. 2011. Utilizando gramática de grafos para o desenvolvimento de sistemas embarcados baseado em modelos uml. In: Workshop-escola de informática teórica. Brasil.
  162. Physical Sciences Computer Science (miscellaneous)
    Cícero Augusto De S CAMARGO; Gerson Geraldo Homrich CAVALHEIRO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2011. Uma gramática para a transformação de dags em grafos descrevendo programas multithreaded. In: Workshop-escola de informática teórica. Brasil.
  163. Social Sciences & Humanities Language and Linguistics
    Luciana FOSS; Simone André Da Costa CAVALHEIRO; Nicolas BISI; Lisane Brisolara De BRISOLARA; Flávio Rech WAGNER. 2011. From uml to simulink: a graph grammar specification. In: Simpósio brasileiro de métodos formais. Brasil.
  164. Physical Sciences Artificial Intelligence
    Camargo Cicero Augusto De S; Cavalheiro Gerson Geraldo H; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2011. A graph grammar to transform dags into graphs describing multithreaded programs. In: 2011 workshopschool on theoretical computer science (weit). Brasil.
  165. Social Sciences & Humanities Linguistics and Language
    Mello Andre Moura DE; Lemos Junior Luiz CARLOS; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2011. Graph grammars: a comparison between verification methods. In: 2011 workshopschool on theoretical computer science (weit). Brasil.
  166. Physical Sciences Artificial Intelligence
    Bisi Nicolas N; Pazzini VINICIUS; Foss LUCIANA; Simone André Da Costa CAVALHEIRO; Brisolara Lisane B DE et al. 2011. Using graph grammars to develop embedded systems based on uml models. In: 2011 workshopschool on theoretical computer science (weit). Brasil.
  167. Physical Sciences Artificial Intelligence
    Vinícius Steffens PAZZINI; Nicolas BISI; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Lisane Brisolara De BRISOLARA. 2011. Tradução formal de diagramas uml para modelos simulink. In: Xx congresso de iniciação científica (xx cic - ufpel). Brasil.
  168. Social Sciences & Humanities Linguistics and Language
    Luiz Carlos Lemos JUNIOR; André Moura De MELLO; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2011. Gramática de grafos: um comparativo de métodos de verificação. In: Xiii encontro de pós-graduação ufpel - enpos 2011. Brasil.
  169. Social Sciences & Humanities Linguistics and Language
    André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2011. Modelo poporg: uma proposta de especificação em gramática de grafos. In: Ii seminário de pesquisa em computação da ufpel (spc2011). Brasil.
  170. Social Sciences & Humanities Psychology (miscellaneous)
    Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2011. Provador de teoremas para gramática de grafos: um estudo nas árvores de prova e proposta de táticas. In: Ii seminário de pesquisa em computação da ufpel (spc2011). Brasil.
  171. Physical Sciences Artificial Intelligence
    Pazzini VINICIUS; Nicolas BISI; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2011. Tradução formal de sistemas uml para simulink. In: Ii seminário de pesquisa em computação da ufpel (spc2011). Brasil.
  172. Physical Sciences Artificial Intelligence
    Simone André Da Costa CAVALHEIRO; Costa Antonio Carlos Da ROCHA; Dimuro Gracaliz PEREIRA. 2011. Towards developmental turing machines. In: 2011 workshopschool on theoretical computer science (weit). Brasil.
  173. Physical Sciences General Computer Science
    Leila RIBEIRO; Fernando DOTTI; Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Fabiane Cristine DILLENBURG. 2010. Towards theorem proving graph grammars. In: International colloquium on graph and model transformation (gramot) 2010. Brasil.
  174. Physical Sciences General Computer Science
    Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO; Fernando DOTTI; Antônio Carlos Da Rocha COSTA. 2009. Using attributed graph grammars to verify properties of a mobile internet protocol. In: Clei 2009. Brasil.
  175. Physical Sciences General Computer Science
    Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO. 2009. Formal verification of graph grammars using mathematical induction. In: Brazilian symposium on formal methods. Brasil.
  176. Physical Sciences Computer Science (miscellaneous)
    Leonardo MICHELON; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO. 2006. Specification of real-time systems with graph grammars. In: Simpósio brasileiro de engenharia de software. Brasil.
  177. Physical Sciences Computer Science (miscellaneous)
    Cláudio Naoto FUZITAKI; Paulo Blauth MENEZES; Júlio Pereira MACHADO; Simone André Da Costa CAVALHEIRO. 2003. Mapping nautilus language into java: towards a specification and programming environment for distributed systems. In: Eurocast'2003: ninth international conference on computer aided systems theory and technology. Espanha.
  178. Physical Sciences Artificial Intelligence
    Paulo Fernando Blauth MENEZES; Júlio Pereira MACHADO; Simone André Da Costa CAVALHEIRO. 2002. Explicit and implicit nondeterministic refinement for concurrent; interacting systems. In: Pdpta'2002: international conference on parallel and distributed processing techniques and applications. Estados Unidos.
  179. Social Sciences & Humanities Linguistics and Language
    Fernando D ANDREA; Simone André Da Costa CAVALHEIRO; Paulo Fernando Blauth MENEZES; Cláudio FUZITAKI; Júlio Pereira MACHADO. 2002. Nautilus; a diagrammatic specification and programming language. In: Pdcs'2002: 14th international conference on parallel and distributed computing and systems. Estados Unidos.
  180. Physical Sciences Computer Science Applications
    Júlio Henrique Pereira MACHADO; Márcia Rodrigues NOTARE; Simone André Da COSTA; Tiarajú Asmuz DIVERIO; Paulo Blauth MENEZES. 2001. Hyper-automaton system applied to geometry demonstration environment. In: Eurocast 2001 - eigth international conference on computer aided systems theory and technology. Espanha.
  181. Physical Sciences Artificial Intelligence
    Paulo Fernando Blauth MENEZES; Simone André Da Costa CAVALHEIRO; Júlio Pereira MACHADO; Jaime RAMOS. 2001. Nautilus: a concurrent anticipatory programming language. In: Casys'2001: 5th international conference on computing anticipatory systems. Bélgica.
  182. Social Sciences & Humanities Psychology (miscellaneous)
    Simone André Da Costa CAVALHEIRO; Antônio Carlos Da Rocha COSTA. 2000. Espaços coerentes do ponto de vista de topos. In: Semana acadêmica do programa de pós-graduação em computação. Brasil.
  183. Social Sciences & Humanities Education
    Simone André Da Costa CAVALHEIRO; Júlio Pereira MACHADO; Paulo Fernando Blauth MENEZES. 1999. Teoria das categorias: experiência e proposta de ensino. In: Sbie'99: x simpósio brasileiro de informática na educação. Brasil.
  184. Physical Sciences Artificial Intelligence
    Simone A COSTA; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO. 1998. Utilizando o maple na matemática intervalar. In: Xxi congresso nacional de matemática aplicada e computacional. Brasil.
  185. Health Sciences General Medicine
    João Nilo Rodrigues JR; Simone André Da Costa CAVALHEIRO. 1997. Influência da temperatura de cura na atividade pozolânica da cinza de casca de arroz. In: Xiii congresso regional de iniciação científica e tecnológica em engenharia. Brasil.
  186. Life Sciences Microbiology
    Simone André Da Costa CAVALHEIRO; João Nilo Rodrigues JR. 1997. Influência da cimentação na microestrutura de um solo residual compactado. In: Xiii congresso regional de iniciação científica e tecnológica (cricte 97). Brasil.
  187. Physical Sciences Engineering (miscellaneous)
    Simone André Da Costa CAVALHEIRO; Christiano ÁVILA; João Nilo Rodrigues JR; Margareth CONRADO. 1996. Secor - sistema eletrônico para cálculo de orçamentos. In: Viii salão de iniciação científica. Brasil.
  1. Social Sciences & Humanities Education
    Bruno Cabreira GONÇALVES; Jonnhy MARQUES; João Eduardo Seffrin SOARES; Plácida OLIVEIRA; Simone André Da Costa CAVALHEIRO et al. 2022. Jogo de rpg para o desenvolvimento de habilidades do pensamento computacional no ensino fundamental: jogo digital e formação de professores. Revista brasileira de informática na educação (rbie). 30, 262-291.
  2. Physical Sciences Computer Science (miscellaneous)
    Silva Junior Braz Araujo DA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2018. -the last tree-; exercising the computational thinking through a graph grammar based educational game. Journal on computational thinking (jcthink). 2, 3-22.
  3. Physical Sciences Artificial Intelligence
    Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Leila RIBEIRO. 2017. Theorem proving graph grammars with attributes and negative application conditions. Theoretical computer science. 686, 25-77.
  4. Social Sciences & Humanities Education
    Adriana BORDIN; Christiano Martino Otero AVILA; Yuri WEISSHAHN; Mônica Marques Da CUNHA; Simone André Da Costa CAVALHEIRO et al. 2016. Computação na educação básica no brasil: o estado da arte. Revista de informática teórica e aplicada: rita. 23, 210-238.
  5. Physical Sciences Energy Engineering and Power Technology
    Renata Hax Sander REISER; Zanotelli ROSANA; Costa SIMONE; Luciana FOSS; Bedregal BENJAMIN. 2016. Robustness of f- and g-generated fuzzy (co)implications: the yager's (co)implication case study. Electronic notes in theoretical computer science. 324, 151-164.
  6. Social Sciences & Humanities Linguistics and Language
    Bertei ALEX; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2016. Translating controlled graph grammars to ordinary graph grammars. Electronic notes in theoretical computer science. 324, 15-30.
  7. Social Sciences & Humanities Language and Linguistics
    Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2015. Proof tactics for theorem proving graph grammars through rodin. Revista de informática teórica e aplicada: rita. 22, 190-241.
  8. Social Sciences & Humanities Education
    Luciana FOSS; Simone André Da Costa CAVALHEIRO; Nicolas BISI; Pazzini VINICIUS; Lisane Brisolara De BRISOLARA et al. 2013. From uml to simulink caam: formal specification and transformation analysis papers. Revista de informática teórica e aplicada: rita. 20, 102-139.
  9. Physical Sciences Artificial Intelligence
    Simone André Da Costa CAVALHEIRO; Luciana FOSS; Cícero Augusto De S CAMARGO; Gerson Geraldo Homrich CAVALHEIRO. 2013. A graph grammar to transform a dataflow graph into a multithread graph and its application in task scheduling. Revista de informática teórica e aplicada: rita. 20, 140-179.
  10. Physical Sciences Artificial Intelligence
    Camargo Cícero A S; Gerson Geraldo Homrich CAVALHEIRO; Pilla Maurício L; Costa Simone A; Foss LUCIANA. 2013. Aproximating static list schedules in dynamic multithreaded applications. Cluster computing-the journal of networks software tools and applications. 16, 1-14.
  11. Physical Sciences General Computer Science
    Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO. 2012. Verification of graph grammars using a logical approach. Science of computer programming (print). 77, 480-504.
  12. Physical Sciences General Computer Science
    Leila RIBEIRO; Fernando DOTTI; Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Fabiane Cristine DILLENBURG. 2010. Towards theorem proving graph grammars using event-b. Electronic communications of the easst. 30, 1-16.
  13. Physical Sciences Computer Science (miscellaneous)
    Leonardo MICHELON; Simone André Da Costa CAVALHEIRO; Leila RIBEIRO. 2007. Formal specification and verificaiton of real-time systems using graph grammars. Journal of the brazilian computer society (impresso). 13, 51-68.
  14. Social Sciences & Humanities Language and Linguistics
    Simone André Da Costa CAVALHEIRO; Júlio Pereira MACHADO; Paulo Fernando Blauth MENEZES. 2002. Composicionalidade de primitivas - uma abordagem categorial. Revista de informática teórica e aplicada. 9, (1) 67-80.
  1. Physical Sciences General Computer Science
    Avila Heitor SILVA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2023. A matemática discreta da computação no ensino remoto. In: Innovate: engenharia elétrica e de computação. Brasil.
  2. Physical Sciences Computer Science (miscellaneous)
    Leila RIBEIRO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2020. Entendendo o pensamento computacional. In: Computação na educação básica: fundamentos e experiências. Brasil.
  3. Physical Sciences General Computer Science
    Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Marilton Sanchotene De AGUIAR; André Rauber Du BOIS; Ana Marilza FLEISCHMANN et al. 2020. Explorando o pensamento computacional para a qualificação do ensino fundamental. In: Computação na educação básica: fundamentos e experiências. Brasil.
  4. Social Sciences & Humanities Education
    Leila RIBEIRO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2019. Pensamento computacional: fundamentos e integração na educação básica. In: Anais da vii jornada de atualização em informática na educação. Brasil.
  5. Physical Sciences Software
    Luciana FOSS; Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Aline Brum LORETO; Leila RIBEIRO. 2009. Especificação de sistemas baseados em objetos com gramática de grafos. In: Desafios e avanços em computação: o estado da arte. Brasil.
  6. Physical Sciences Computer Science (miscellaneous)
    Gerson Geraldo Homrich CAVALHEIRO; Simone André Da Costa CAVALHEIRO. 2004. Programação de sistemas e aplicações. In: Desenvolvimento em software livre. Brasil.
  1. Physical Sciences Computer Science Applications
    Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2021. Anais do xxvii workshop de informática na escola. Brasil.
  2. Social Sciences & Humanities Education
    Ana Paula Lüdke FERREIRA; Carlos Amaral HÖLBIG; Graçaliz Pereira DIMURO; Juliana Kaizer VIZZOTTO; Leila RIBEIRO et al. 2019. Anais weit 2019. Brasil.
  3. Social Sciences & Humanities Education
    Simone André Da Costa CAVALHEIRO; José FIADEIRO. 2017. Formal methods: foundations and applications. Brasil.
  4. Social Sciences & Humanities Arts and Humanities (miscellaneous)
    Juliana VIZZOTTO; Giovani Rubert LIBRELOTTO; Eduardo Kessler PIVETA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2017. Anais do weit 2017. Brasil.
  5. Social Sciences & Humanities Education
    Simone André Da Costa CAVALHEIRO; José Luiz FIADEIRO. 2017. Selected papers from the brazilian symposium on formal methods (sbmf 2017). Brasil.
  6. Physical Sciences Computer Science (miscellaneous)
    Simone André Da Costa CAVALHEIRO; Martin Alejandro MUSICANTE; Leila RIBEIRO; Marcel Vinicius MEDEIROS. 2016. Escola de informática teórica e métodos formais - anais. Brasil.
  7. Social Sciences & Humanities Arts and Humanities (miscellaneous)
    Leila RIBEIRO; Lucio Mauro DUARTE; Rodrigo MACHADO; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2015. Anais do weit 2015. Brasil.
  8. Social Sciences & Humanities Education
    Marilton Sanchotene De AGUIAR; Raquel De Miranda BARBOSA; Simone André Da Costa CAVALHEIRO; Graçaliz Pereira DIMURO; Lucio Mauro DUARTE et al. 2013. Anais do weit 2013. Brasil.
  9. Physical Sciences Computer Science Applications
    Graçaliz Pereira DIMURO; Eder GONÇALVES; Leila RIBEIRO; Luciana FOSS; Lucio Mauro DUARTE et al. 2013. 2nd workshop-school on theoretical computer science (weit 2013). Brasil.
  10. Physical Sciences Theoretical Computer Science
    Marilton Sanchotene De AGUIAR; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA. 2011. Post-proceedings of the workshop-school in theoretical computer science. Brasil.
  11. Health Sciences General Medicine
    Graçaliz Pereira DIMURO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Simone André Da Costa CAVALHEIRO; Antônio Carlos Da Rocha COSTA. 2011. Anais do weit 2011. Brasil.
  12. Social Sciences & Humanities Education
    Simone André Da Costa CAVALHEIRO; Rivalino Matias JR. 2011. Xii workshop de software livre. Brasil.
  13. Physical Sciences Computer Science (miscellaneous)
    Simone André Da Costa CAVALHEIRO. 2004. Desenvolvimento em software livre. Brasil.