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
1 Ana Marilza Pernas FLEISCHMANN Ciências Exatas e da Terra Ciência da Computação
2 André Rauber Du BOIS Ciências Exatas e da Terra Ciência da Computação
3 Antonio Carlos Da Rocha COSTA Ciências Exatas e da Terra Ciência da Computação
4 Flávio Rech WAGNER Ciências Exatas e da Terra Ciência da Computação
5 Gerson Geraldo Homrich CAVALHEIRO Ciências Exatas e da Terra Ciência da Computação
6 Graçaliz Pereira DIMURO Ciências Exatas e da Terra Matemática
7 Luciana FOSS Ciências Exatas e da Terra Ciência da Computação
8 Márcia Rodrigues NOTARE Ciências Exatas e da Terra Matemática
9 Renata Hax Sander REISER Ciências Exatas e da Terra Ciência da Computação
10 Rosária Ilgenfritz SPEROTTO Ciências Humanas Educação
Figura 1. Número de publicações por ano e por tipo, considerando todas as publicações.
  1. 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.
  2. 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.
  3. Social Sciences & Humanities Education
    Avila Christiano Martino OTERO; Simone André Da Costa CAVALHEIRO. 2022. Rubrica construcionista para avaliação de atividades didáticas. In: Workshop sobre educação em computação. Brasil.
  4. 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.
  5. Social Sciences & Humanities Education
    Avila Christiano Martino OTERO; Simone André Da Costa CAVALHEIRO. 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.
  6. Physical Sciences Computer Science (miscellaneous)
    Leila RIBEIRO; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Cruz Marcia Elena Jochims Kniphoff DA; França Rozelma Soares DE. 2022. Proposta para implantação do ensino de computação na educação básica no brasil. In: Simpósio brasileiro de informática na educação. Brasil.
  7. Physical Sciences Artificial Intelligence
    Garcez Ândrea V; S Junior Braz A; Pernas Ana M; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2022. Modelo para representação do conhecimento em pensamento computacional. In: Simpósio brasileiro de informática na educação. Brasil.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. Social Sciences & Humanities Education
    Oliveira PLACIDA; Marques JONNHY; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Reiser RENATA 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. Brasil.
  17. 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.
  18. Physical Sciences Computer Science (miscellaneous)
    Braz Araujo Da Silva JUNIOR; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Ana Marilza FLEISCHMANN; Andrea Volz GARCEZ. 2021. Pact: a citizen science project for computing education. In: Ieee frontiers in education conference. Brasil.
  19. Physical Sciences Computer Science (miscellaneous)
    Rosa YURI; Reiser RENATA; Oliveira PLACIDA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO et al. 2021. Pc-câmbio: proposta de atividade lúdica e desplugada aplicando a metodologia do pensamento computacional. In: Simpósio brasileiro de educação em computação. Brasil.
  20. Social Sciences & Humanities Education
    Rosa Yuri Da SILVA; Reiser Renata Hax SANDER; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Du Bois André RAUBER et al. 2021. Aventura espacial: proposta de atividade para o desenvolvimento do pensamento computacional. In: Workshop de informática na escola. Brasil.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. Social Sciences & Humanities Education
    Xavier Eduardo ABREU; Foss LUCIANA; Simone André Da Costa CAVALHEIRO; Soares Maria Arlita Da SILVEIRA; 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. Physical Sciences Artificial Intelligence
    Martino Otero Avila CHRISTIANO; Foss LUCIANA; Bordini ADRIANA; Simone Debacco MARIA; Simone André Da Costa CAVALHEIRO. 2019. Evaluation rubric for computational thinking concepts. In: 2019 ieee 19th international conference on advanced learning technologies (icalt). Brasil.
  41. Physical Sciences Computer Science (miscellaneous)
    Adriana BORDINI; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2019. Metodologia de resolução de problemas utilizando a linguagem live. In: Sbie - simpósio brasileiro de informática na educação. Brasil.
  42. Social Sciences & Humanities Education
    Amanda Argou CARDOZO; Catherine GAYER; Simone André Da Costa CAVALHEIRO; Luciana FOSS; André Rauber Du BOIS et al. 2019. Flexible assessment in digital teaching-learning processes: case studies via computational thinking. In: Sbie - simpósio brasileiro de informática na educação. Brasil.
  43. Physical Sciences Computer Science (miscellaneous)
    Braz Araujo Da Silva JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2019. Revisitando um jogo educacional para desenvolver o pensamento computacional com gramatica de grafos. In: Sbie - simpósio brasileiro de informática na educação. Brasil.
  44. 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.
  45. 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.
  46. 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.
  47. Physical Sciences Engineering (miscellaneous)
    João Vitor Chagas Possobom VAZ; Rafael De Sousa NASCIMENTO; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2019. Especificação e verificação formal de um sistema de troca denominado escambo. In: Weit - workshop-escola de informática teórica. Brasil.
  48. 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.
  49. 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.
  50. 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.
  51. 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.
  52. 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.
  53. 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.
  54. 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.
  55. Physical Sciences Computer Science (miscellaneous)
    Bordini ADRIANA; Simone André Da Costa CAVALHEIRO; Avila CHRISTIANO; 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.
  56. 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.
  57. Social Sciences & Humanities Education
    Simão S MARTIN; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER; Luciana FOSS; 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: 26 wei - workshop sobre educação em computação. Brasil.
  58. Social Sciences & Humanities Education
    Amanda Argou CARDOZO; Catherine GAYER; Raíssa PINTO; Reiser R; Clause De Brum PIANA et al. 2018. Sfuzzy avalia e/a: avaliação de discentes na promoção do ensino e da aprendizagem de habilidades via pensamento computacional. In: V cbsf - congresso brasileiro de sistemas fuzzy. Brasil.
  59. 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.
  60. 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.
  61. 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.
  62. 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.
  63. Social Sciences & Humanities Education
    Avila CHRISTIANO; Simone André Da Costa CAVALHEIRO; 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.
  64. Social Sciences & Humanities Psychology (miscellaneous)
    Avila CHRISTIANO; Simone André Da Costa CAVALHEIRO; 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.
  65. Social Sciences & Humanities Education
    Bordini ADRIANA; Avila CHRISTIANO; Marques MONICA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 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.
  66. Physical Sciences Computer Science (miscellaneous)
    Marques MONICA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Avila CHRISTIANO; 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.
  67. 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.
  68. Social Sciences & Humanities Education
    Avila CHRISTIANO; Sperotto ROSARIA; 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.
  69. Social Sciences & Humanities Education
    Avila CHRISTIANO; Simone André Da Costa CAVALHEIRO. 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.
  70. 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.
  71. Social Sciences & Humanities Education
    Simão S MARTIN; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene De 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.
  72. 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.
  73. 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.
  74. 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.
  75. 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.
  76. 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.
  77. 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.
  78. 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.
  79. 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.
  80. Social Sciences & Humanities Linguistics and Language
    Nícolas Oreques De ARAUJO; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2017. Tradutor automático de gramática de grafos para event-b. In: 3 siiepe - semana integrada ufpel 2017. Brasil.
  81. 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.
  82. 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.
  83. Social Sciences & Humanities Education
    Jorge NACHTIGALL; Luciana FOSS; Renata Hax Sander REISER; André Rauber Du BOIS; Marilton Sanchotene De AGUIAR et al. 2017. Proposta de atividade para o sexto ano do ensino fundamental: ordenação. In: 3 siiepe - semana integrada ufpel 2017. Brasil.
  84. Physical Sciences Artificial Intelligence
    Bertei ALEX; Foss LUCIANA; Simone André Da Costa CAVALHEIRO; Reiser Renata H S. 2017. A relational approach of fuzzy graph grammars. In: 2017 13th international conference on natural computation; fuzzy systems and knowledge discovery (icncfskd). Brasil.
  85. Social Sciences & Humanities Education
    Simone André Da Costa CAVALHEIRO; Ana Marilza PERNAS; 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.
  86. Social Sciences & Humanities Education
    Braz Araujo Da Silva JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2016. A gramática de grafos como uma alternativa para o desenvolvimento do pensamento computacional na educação básica. In: I encontro de teoria da computação. Brasil.
  87. Social Sciences & Humanities Education
    Yuri WEISSHAHN; Gustavo Cruz De PINHO; Simone André Da Costa CAVALHEIRO; Clause Fátima De Brum 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.
  88. Social Sciences & Humanities Education
    Gustavo Cruz De PINHO; Yuri WEISSHAHN; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER; Clause Fátima De Brum 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.
  89. Physical Sciences Artificial Intelligence
    Adriana BORDINI; Christiano ÁVILA; Mônica Marques Da CUNHA; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2016. Desdobramentos do pensamento computacional no brasil. In: V congresso brasileiro de informática na educação. Brasil.
  90. 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.
  91. 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.
  92. Physical Sciences Computer Science (miscellaneous)
    Nícolas Oreques De ARAUJO; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2016. Tradução automática de gramática de grafos para event-b. In: Xxv congresso de iniciação científica (cic). Brasil.
  93. 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.
  94. 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.
  95. 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.
  96. Social Sciences & Humanities Education
    Gustavo Cruz De PINHO; Renata Hax Sander REISER; Clause Fátima De Brum PIANA; André Rauber Du BOIS; Simone André Da Costa CAVALHEIRO. 2016. Pensamento computacional no ensino fundamental: relato de atividade de introdução a algoritmos. In: Iii congresso de extensão e cultura. Brasil.
  97. Physical Sciences Computer Science (miscellaneous)
    Jones Marchesan JUNIOR; Rodrigo De Brum ACOSTA; Simone André Da Costa CAVALHEIRO; Regina Trilho Otero XAVIER; Adriana BORDINI et al. 2016. Robótica com arduino: proposta de trabalho. In: Iii congresso de extensão e cultura (cec 2016). Brasil.
  98. 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.
  99. 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.
  100. 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.
  101. Social Sciences & Humanities Arts and Humanities (miscellaneous)
    Yuri WEISSHAHN; Adson Ileon Ripinski DUARTE; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene De AGUIAR et al. 2015. Pensamento computacional no brasil: o estado da arte. In: Iii workshop-escola de informática teórica. Brasil.
  102. Social Sciences & Humanities Education
    Gustavo SANTOS; Plinio Finkenauer JUNIOR; Belisa ARNHOLD; Simone André Da Costa CAVALHEIRO; Clause Fátima De Brum PIANA et al. 2015. Relato sobre o ensino de algoritmos a estudantes do quinto ano do ensino público fundamental. In: Iii workshop-escola de informática teórica. Brasil.
  103. 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.
  104. Social Sciences & Humanities Education
    Gustavo Cruz De PINHO; Simone André Da Costa CAVALHEIRO; Wine SILVA; Luciana FOSS; Ana Marilza PERNAS 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.
  105. Social Sciences & Humanities Education
    Gustavo SANTOS; Belisa ARNHOLD; Marilton Sanchotene De AGUIAR; Clause De Brum PIANA; Simone André Da Costa CAVALHEIRO et al. 2015. Relato sobre o ensino de algoritmos no contexto do pensamento computacional para estudantes do quinto ano do ensino fundamental. In: Congresso de extensão e cultura (cec 2015). Brasil.
  106. 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.
  107. 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.
  108. Social Sciences & Humanities Arts and Humanities (miscellaneous)
    Yuri WEISSHAHN; Renata Hax Sander REISER; Ana Rita MAZZINI; André Rauber Du BOIS; Adson Ileon Ripinski DUARTE et al. 2015. Pensamento computacional no brasil: o estado da arte. In: Xxiv congresso de iniciação científica da universidade federal de pelotas. Brasil.
  109. Social Sciences & Humanities Education
    Wine SILVA; Simone André Da Costa CAVALHEIRO; Plinio Finkenauer JUNIOR; Ana Marilza PERNAS; Clause De Brum PIANA et al. 2015. Desenvolvendo as habilidaddes de coleta; análise e representação de dados no ensino fundamental. In: Xxiv congresso de iniciação científica da universidade federal de pelotas. Brasil.
  110. 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.
  111. Physical Sciences Artificial Intelligence
    Zanotelli R; Reiser R; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Bedregal B. 2015. Towards robustness and duality analysis of intuitionistic fuzzy aggregations. In: 2015 ieee international conference on fuzzy systems (fuzzieee). Brasil.
  112. Physical Sciences Computer Science (miscellaneous)
    Natália T DARLEY; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2015. Desenvolvimento de uma teoria sobre gramática de grafos para a plataforma rodin. In: Iii workshop-escola de informática teórica. Brasil.
  113. Social Sciences & Humanities Linguistics and Language
    Wilson CARDOSO; Luciana FOSS; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO. 2015. Estudo de gramática de grafos fuzzy. In: Iii workshop-escola de informática teórica. 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. Social Sciences & Humanities Language and Linguistics
    Natália T 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 pelota. Brasil.
  117. 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.
  118. Physical Sciences Computer Science (miscellaneous)
    Benitez IBERO; Zanotelli ROSANA; Reiser RENATA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA et al. 2014. Aggregating fuzzy implications based on owa-operators. In: 2014 ieee international conference on fuzzy systems (fuzzieee). Brasil.
  119. Physical Sciences Artificial Intelligence
    Rosana Medina ZANOTELLI; A LEMKE; Reiser Renata Hax SANDER; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2014. Towards an atanassov-intuitionistic extension of g-implication operators. In: Congresso brasileiro de sistemas fuzzy. Brasil.
  120. Physical Sciences Physics and Astronomy (miscellaneous)
    Rosana Medina ZANOTELLI; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2014. Sensitivity of fuzzy f-xor implications. In: Xxxv congresso nacional de matemática aplicada e computacional. Brasil.
  121. Physical Sciences Artificial Intelligence
    Zanotelli Rosana MEDINA; Reiser Renata Hax SANDER; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; 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.
  122. Social Sciences & Humanities Education
    Gleider M De CAMPOS; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Ana Marilza PERNAS; Clause Fátima De Brum PIANA et al. 2014. Organização de informações via pensamento computacional: relato de atividade aplicada no ensino fundamental. In: Xx workshop de informática na escola (wie 2014). Brasil.
  123. Social Sciences & Humanities Education
    Simone André Da Costa CAVALHEIRO; Gleider M De CAMPOS; Plinio Finkenauer JUNIOR; Rafael Dias LAGEMANN; Daiane ANDRADE et al. 2014. Desenvolvendo habilidades do pensamento computacional no quarto ano do ensino fundamental. In: 32 seminário de extensão universitária da região sul. Brasil.
  124. 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.
  125. Social Sciences & Humanities Education
    Douglas Da Silveira ROCKE; Douglas DETONI; Gleider M De CAMPOS; Ana Marilza PERNAS; 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.
  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
    Plinio Finkenauer JUNIOR; Renata Hax Sander REISER; Ana Marilza PERNAS; Clause De Brum PIANA; 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.
  128. 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: Congresso de extensão e cultura. Brasil.
  129. Social Sciences & Humanities Education
    Gleider M De CAMPOS; Plinio Finkenauer JUNIOR; Daiane ANDRADE; Ana Marilza PERNAS; Simone André Da Costa CAVALHEIRO. 2014. Desenvolvendo habilidades do pensamento computacional no quarto ano do ensino fundamental. In: Congresso de extensão e cultura. Brasil.
  130. 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.
  131. Social Sciences & Humanities Education
    Tainã CARVALHO; Daiane ANDRADE; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Marilton Sanchotene De AGUIAR 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: Workshop-escola de informática teórica. Brasil.
  132. 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.
  133. 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.
  134. Health Sciences Medicine (miscellaneous)
    Andrei COSTA; Vinícius Steffens PAZZINI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA et al. 2013. Automatic translation from uml to simulink caam. In: Workshop-escola de informática teórica. Brasil.
  135. 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.
  136. 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.
  137. 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.
  138. 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.
  139. 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.
  140. 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.
  141. 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.
  142. 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.
  143. 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.
  144. Social Sciences & Humanities Education
    Carvalho TAINA; Andrade DAIANE; Silveira JAYNE; Auler VICTOR; Simone André Da Costa CAVALHEIRO 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.
  145. Social Sciences & Humanities Language and Linguistics
    Zanotelli Rosana MEDINA; Reiser Renata Hax SANDER; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2013. Sensitivity and dual constructions on the fuzzy f-xor class. In: 2013 2nd workshopschool on theoretical computer science (weit). Brasil.
  146. 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.
  147. 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.
  148. 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.
  149. Social Sciences & Humanities Education
    Andrade DAIANE; Carvalho TAINÃ; Silveira JAYNE; Simone André Da Costa CAVALHEIRO; Foss LUCIANA et al. 2013. Proposta de atividades para o desenvolvimento do pensamento computacional no ensino fundamental. In: Xix workshop de informática na escola. Brasil.
  150. 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.
  151. Physical Sciences Artificial Intelligence
    Cícero Augusto De S CAMARGO; Gerson Geraldo Homrich CAVALHEIRO; Mauricio Lima PILLA; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2012. Applying list scheduling algorithms in a multithreaded execution environment. In: Latin american symposium on high performance computing. Brasil.
  152. 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.
  153. Physical Sciences Computer Science (miscellaneous)
    André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2012. Gramática de grafos para modelagem de sistemas multi-agentes baseados no poporg. In: X jornada de pós-graduação e pesquisa (congrega 2012). Brasil.
  154. 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.
  155. 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.
  156. 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.
  157. 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.
  158. 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.
  159. 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.
  160. 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.
  161. 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.
  162. 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.
  163. 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.
  164. Social Sciences & Humanities Linguistics and Language
    Luiz Carlos Lemos JUNIOR; André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2011. Gramática de grafos: um comparativo de métodos de verificação. In: Encontro de pós-graduação ufpel (enpos 2011). Brasil.
  165. 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.
  166. 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.
  167. 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.
  168. 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.
  169. Physical Sciences Artificial Intelligence
    Leila RIBEIRO; Fernando DOTTI; Simone André Da COSTA; Fabiane Cristine DILLENBURG. 2010. Towards theorem proving graph grammars. In: International colloquium on graph and model transformation (gramot) 2010. Brasil.
  170. Physical Sciences Computer Science (miscellaneous)
    Simone André Da COSTA; 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.
  171. Physical Sciences Artificial Intelligence
    Simone André Da COSTA; Leila RIBEIRO. 2009. Formal verification of graph grammars using mathematical induction. In: Brazilian symposium on formal methods. Brasil.
  172. 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.
  173. 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.
  174. 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.
  175. 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.
  176. Physical Sciences Artificial Intelligence
    Júlio Pereira MACHADO; Márcia R NOTARE; Simone André Da Costa CAVALHEIRO; Tiarajú A DIVERIO; Paulo Fernando Blauth MENEZES. 2001. Hyper-automaton system applied to geometry demonstration enviorment. In: Eurocast'2001: 8th international conference on computer aided systems theory and technology. Espanha.
  177. 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.
  178. 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.
  179. 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.
  180. Physical Sciences Artificial Intelligence
    Simone André Da Costa CAVALHEIRO; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO. 1998. Utilizando o maple na matemática intervalar. In: Congresso nacional de matemática aplicada e computacional. Brasil.
  181. 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.
  182. 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.
  183. 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
    Gonçalves Bruno CABREIRA; Soares João Eduardo SEFFRIN; Oliveira PLACIDA; Marques JONNHY; 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 BORDINI; Christiano ÁVILA; 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, 1-29.
  5. Physical Sciences Electrical and Electronic Engineering
    Reiser RENATA; Zanotelli ROSANA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; 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; Cavalheiro Gerson G H; Pilla Maurício L; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2013. Aproximating static list schedules in dynamic multithreaded applications. Cluster computing. 16, 1-14.
  11. Physical Sciences Artificial Intelligence
    Simone André Da COSTA; Leila RIBEIRO. 2012. Verification of graph grammars using a logical approach. Science of computer programming (print). 77, 480-504.
  12. Physical Sciences Artificial Intelligence
    Leila RIBEIRO; Fernando DOTTI; Simone André Da COSTA; 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. Social Sciences & Humanities Education
    Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene De AGUIAR; André Rauber Du BOIS; Ana Marilza PERNAS et al. 2020. Explorando o pensamento computacional para a qualificação do ensino fundamental. In: Computação na educação básica. Brasil.
  2. Physical Sciences Artificial Intelligence
    Leila RIBEIRO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2020. Entendendo o pensamento computacional. In: Computação na educação básica. Brasil.
  3. 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.
  4. Physical Sciences Computer Science (miscellaneous)
    Luciana FOSS; Simone André Da COSTA; 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.
  5. 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 Computer Science (miscellaneous)
    Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO. 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.