Plataforma CpE

Busque por temas e encontre especialistas

Luciana Foss

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 Flávio Rech WAGNER Ciências Exatas e da Terra Ciência da Computação
4 Renata Hax Sander REISER Ciências Exatas e da Terra Ciência da Computação
5 Simone André Da Costa CAVALHEIRO 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.
  1. Social Sciences & Humanities Education
    Leila RIBEIRO; Luciana FOSS; Cavalheiro Simone André Da COSTA; 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. Canadá.
  2. Physical Sciences Computer Science (miscellaneous)
    Silva Júlia Veiga DA; Silva Junior Braz Araujo DA; Luciana FOSS; Cavalheiro Simone André Da COSTA. 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
    Santos Júlia De Avila DOS; Cavalheiro Simone André Da COSTA; Luciana FOSS; 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.
  4. Physical Sciences Computer Science (miscellaneous)
    Leila RIBEIRO; Cavalheiro Simone André Da COSTA; Luciana FOSS; 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.
  5. Physical Sciences Artificial Intelligence
    Garcez Ândrea V; S Junior Braz A; Pernas Ana M; Cavalheiro Simone A Da C; Luciana FOSS. 2022. Modelo para representação do conhecimento em pensamento computacional. In: Simpósio brasileiro de informática na educação. Brasil.
  6. Social Sciences & Humanities Education
    Xavier Eduardo ABREU; Luciana FOSS; Cavalheiro Simone André Da COSTA; 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.
  7. Physical Sciences Computer Science (miscellaneous)
    Silva Junior Braz Araujo DA; Silva Júlia Veiga DA; Cavalheiro Simone André Da COSTA; Luciana FOSS. 2022. Pattern recognition in computing education: a systematic review. In: Simpósio brasileiro de informática na educação. Brasil.
  8. 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. Brasil.
  9. 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. Brasil.
  10. 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. Brasil.
  11. Physical Sciences Computer Science (miscellaneous)
    Matheus Figueiredo SCHMALFUSS; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2022. Monitoria remota nas disciplinas teóricas da computação. In: 8ª semana integrada ufpel. Brasil.
  12. Social Sciences & Humanities Education
    Bianca Nunes COELHO; André Rauber Du BOIS; Renata Hax Sander REISER; Ana Marilza PERNAS; Luciana FOSS et al. 2022. Relato sobre curso ministrado para professores do ensino fundamental: atividade soccercraft. In: 8ª semana integrada ufpel. Brasil.
  13. Social Sciences & Humanities Education
    Luize Vargas ABREU; Marilton Sanchotene De AGUIAR; Clause Fátima De Brum PIANA; Ana Rita De Assumpcao MAZZINI; 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. Brasil.
  14. Physical Sciences Computer Science (miscellaneous)
    Cardoso Diogo J; Luciana FOSS; Du Bois Andre R. 2022. Exploring opacity software transactional memory in haskell through graph transformation. In: Sblp 2022: xxvi brazilian symposium on programming languages. Brasil.
  15. Social Sciences & Humanities Education
    Oliveira PLACIDA; Marques JONNHY; Cavalheiro SIMONE; Luciana FOSS; 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.
  16. Physical Sciences Computer Science (miscellaneous)
    Silva Junior Braz Araujo DA; Cavalheiro Simone André Da COSTA; Luciana FOSS. 2021. Pc-tes: catalogando iniciativas de pensamento computacional. In: Workshop sobre educação em computação. Brasil.
  17. Physical Sciences Artificial Intelligence
    Braz Araujo Da Silva JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Ana Marilza FLEISCHMANN; Andrea Volz GARCEZ. 2021. Pact: a citizen science project for computing education. In: Ieee frontiers in education conference. Estados Unidos.
  18. Social Sciences & Humanities Education
    Rosa YURI; Reiser RENATA; Oliveira PLACIDA; Luciana FOSS; Cavalheiro Simone André Da COSTA 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.
  19. Social Sciences & Humanities Education
    Rosa Yuri Da SILVA; Reiser Renata Hax SANDER; Cavalheiro Simone André Da COSTA; Luciana FOSS; 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.
  20. Physical Sciences Computer Science (miscellaneous)
    Cardoso DIOGO; Luciana FOSS; Du Bois ANDRE. 2021. A graph transformation system formalism for correctness of transactional memory algorithms. In: Sblp'21: 25th brazilian symposium on programming languages. Brasil.
  21. Social Sciences & Humanities Education
    Silva Júlia Veiga DA; Silva Junior Braz Araujo DA; Luciana FOSS; Cavalheiro Simone André Da COSTA. 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.
  22. Physical Sciences Computer Science (miscellaneous)
    Silva Junior Braz Araujo DA; Cavalheiro Simone André Da COSTA; Luciana FOSS. 2021. Gramestation: specifying games with graphs. In: Simpósio brasileiro de informática na educação. Brasil.
  23. Social Sciences & Humanities Education
    Xavier Eduardo ABREU; Luciana FOSS; Cavalheiro Simone André Da COSTA; 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.
  24. Physical Sciences Information Systems
    Santos Júlia De Avila DOS; Cavalheiro Simone André Da COSTA; Luciana FOSS; 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.
  25. Physical Sciences Artificial Intelligence
    Alex BERTEI; Renata Hax Sander REISER; Luciana FOSS. 2021. An application for medical diagnosis using correlation coefficient with modal operators and operator identifying and unary. In: Workshop-escola de informática teórica. Brasil.
  26. Social Sciences & Humanities Education
    Julia Veiga Da SILVA; Braz Araujo Da Silva JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2021. A criação de jogos para o ensino de computação: uma análise comparativa. In: Workshop-escola de informática teórica. Brasil.
  27. Physical Sciences Computer Science Applications
    Diogo João CARDOSO; Luciana FOSS; André Rauber Du BOIS. 2021. A methodology for opacity verification for transactional memory algorithms using graph transformation system. In: Workshop-escola de informática teórica. Brasil.
  28. Social Sciences & Humanities Education
    Yuri S 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: Workshop-escola de informática teórica. Brasil.
  29. Physical Sciences Computer Science (miscellaneous)
    Julia Veiga Da SILVA; Braz Araujo Da Silva JUNIOR; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2021. Gramers: agentes pedagogicos para uma plataforma ´ de jogos baseada em gramatica de grafos. In: Workshop-escola de informática teórica. Brasil.
  30. Physical Sciences Computer Science (miscellaneous)
    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: Workshop-escola de informática teórica. Brasil.
  31. 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: Workshop-escola de informática teórica. Brasil.
  32. Social Sciences & Humanities Education
    Bordini ADRIANA; Luciana FOSS; Cavalheiro Simone André Da COSTA. 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.
  33. Physical Sciences Artificial Intelligence
    Martino Otero Avila CHRISTIANO; Luciana FOSS; Bordini ADRIANA; Simone Debacco MARIA; Andre Da Costa Cavalheiro SIMONE. 2019. Evaluation rubric for computational thinking concepts. In: 2019 ieee 19th international conference on advanced learning technologies (icalt). Brasil.
  34. Physical Sciences Artificial Intelligence
    Bertei ALEX; Luciana FOSS; Reiser RENATA. 2019. Correlation coefficient of modal level operators: an application to medical diagnosis. In: 11th international conference on fuzzy computation theory and applications. Brasil.
  35. 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.
  36. Social Sciences & Humanities Education
    Cardozo AMANDA; Gayer CATHERINE; Cavalheiro SIMONE; Luciana FOSS; Bois Andre DU 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.
  37. 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.
  38. Social Sciences & Humanities Education
    Oliveira PLACIDA; Brandão GEAN; Luciana FOSS; Bois Andre DU; Aguiar MARILTON et al. 2019. Proposta e aplicação de atividades para o desenvolvimento das habilidades de organização de informação e pensamento algorítmico. In: Xxv workshop de informática na escola. Brasil.
  39. Physical Sciences Artificial Intelligence
    Cardoso Diogo J; Luciana FOSS; Bois Andre R DU. 2019. A graph transformation system formalism for software transactional memory opacity. In: The xxiii brazilian symposium. Brasil.
  40. Physical Sciences Artificial Intelligence
    Alex BERTEI; Renata Hax Sander REISER; Luciana FOSS. 2019. A-cc: interval-valued atanassov?s fuzzy extension. In: Workshop-escola de informática teórica. Brasil.
  41. Physical Sciences Computer Science (miscellaneous)
    Eduardo Abreu XAVIER; Marcelo B MACHADO; Luciana FOSS; Renata Hax Sander REISER. 2019. Aplicação de lógica fuzzy em uma metodologia de avaliação de ux para uma oficina de aprendizagem criativa. In: Workshop-escola de informática teórica. Brasil.
  42. Social Sciences & Humanities Education
    Placida Giuliane S OLIVEIRA; Jonnhy Moraes MARQUES; Yuri S 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: Workshop-escola de informática teórica. Brasil.
  43. 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: Workshop-escola de informática teórica. Brasil.
  44. Physical Sciences Computer Science (miscellaneous)
    Renã Ferreira De SOUZA; Braz Araujo Da Silva JUNIOR; Luciana FOSS; Gerson Geraldo H CAVALHEIRO; Simone André Da Costa CAVALHEIRO. 2019. Geração procedural de níveis dungeon crawl baseada em gramática de grafos. In: Workshop-escola de informática teórica. Brasil.
  45. Physical Sciences Artificial Intelligence
    Diogo João CARDOSO; Renata Hax Sander REISER; Luciana FOSS. 2019. Ivfpn: fuzzy petri nets using interval-valued fuzzy sets. In: Workshop-escola de informática teórica. Brasil.
  46. Physical Sciences Computer Science (miscellaneous)
    Júlia Krüger VIEIRA; Luciana FOSS; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO. 2019. Primeiros passos da tradução de redes de petri fuzzy para gramática de grafos com atributos. In: Workshop-escola de informática teórica. Brasil.
  47. Social Sciences & Humanities Education
    Braz Araujo Da Silva JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2019. Métodos formais na educação básica: operando gramáticas de grafos em um jogo educacional. In: Workshop-escola de informática teórica. Brasil.
  48. Physical Sciences Computer Science (miscellaneous)
    Adriana BORDIN; 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: Workshop-escola de informática teórica. Brasil.
  49. Social Sciences & Humanities Education
    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: Workshop-escola de informática teórica. Brasil.
  50. Physical Sciences Computer Science (miscellaneous)
    Bordini ADRIANA; Cavalheiro SIMONE; Avila CHRISTIANO; Luciana FOSS. 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.
  51. Social Sciences & Humanities Education
    Junior BRAZ; Cavalheiro SIMONE; Luciana FOSS. 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.
  52. Social Sciences & Humanities Education
    Simão Schiller MARTIN; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Renata Hax Sander REISER; Ana Rita De Assumpcao 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. Brasil.
  53. Social Sciences & Humanities Education
    Amanda Argou CARDOZO; Catherine GAYER; Raissa PINTO; Clause Fátima De Brum PIANA; Ana Rita De Assumpcao MAZZINI 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: Congresso brasileiro de sistemas fuzzy. Brasil.
  54. 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: Semana integrada de inovação; ensino; pesquisa e extensão da ufpel. Brasil.
  55. Social Sciences & Humanities Education
    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: Semana integrada de inovação; ensino; pesquisa e extensão da ufpel. Brasil.
  56. 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: Semana integrada de inovação; ensino; pesquisa e extensão da ufpel. Brasil.
  57. Physical Sciences Artificial Intelligence
    Alex BERTEI; Luciana FOSS; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO. 2017. A relational approach of fuzzy graph grammars. In: 13th international conference on natural computation; fuzzy systems and knowledge discovery (icnc-fskd 2017). China.
  58. Social Sciences & Humanities Education
    Bordini ADRIANA; Avila CHRISTIANO; Marques MONICA; Luciana FOSS; 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.
  59. Physical Sciences Computer Science (miscellaneous)
    Marques MONICA; Cavalheiro SIMONE; Luciana FOSS; 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.
  60. Social Sciences & Humanities Education
    Junior BRAZ; Cavalheiro SIMONE; Luciana FOSS. 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.
  61. Social Sciences & Humanities Education
    Mônica Marques Da CUNHA; Adriana BORDIN; 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. Brasil.
  62. Social Sciences & Humanities Education
    Simão Schiller 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. Brasil.
  63. Social Sciences & Humanities Education
    Braz Araujo Da Silva JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 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. Brasil.
  64. Social Sciences & Humanities Education
    Yuri WEISSHAHN; Rodrigo De Brum ACOSTA; Simone André Da Costa CAVALHEIRO; Clause Fátima 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. Brasil.
  65. Social Sciences & Humanities Education
    Jorge Luis Nachtigall Vaz JUNIOR; 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. Brasil.
  66. 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. Brasil.
  67. Social Sciences & Humanities Education
    Catherine GAYER; Amanda Argou CARDOZO; Renata Hax Sander REISER; Clause Fátima De Brum PIANA; Ana Rita De Assumpcao MAZZINI et al. 2017. Sistema fuzzy de avaliação de habilidades para promoção de aprendizagem via pensamento computacional. In: Iv workshop-escola de informática teórica. Brasil.
  68. Physical Sciences Artificial Intelligence
    Nícolas Oreques De ARAÚJO; 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. Brasil.
  69. Physical Sciences Artificial Intelligence
    Bertei ALEX; Zanotelli ROSANA; Cardoso WILSON; Reiser RENATA; Luciana FOSS et al. 2016. Correlation coefficient analysis based on fuzzy negations and representable automorphisms. In: 2016 ieee international conference on fuzzy systems (fuzzieee). Brasil.
  70. Physical Sciences Artificial Intelligence
    Rosana M ZANOTELLI; Wilson CARDOSO; Renata Hax Sander REISER; Luciana FOSS. 2016. Robustness on the class of fuzzy difference operators. In: Xxxvi congresso nacional de matemática aplicada e computacional. Brasil.
  71. Physical Sciences Computer Science (miscellaneous)
    Alex BERTEI; Renata Hax Sander REISER; Wilson CARDOSO; Luciana FOSS; Bedregal B. 2016. Correlation analysis of intuitionistic fuzzy connectives. In: Xxxvi congresso nacional de matemática computacional. Brasil.
  72. 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.
  73. 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.
  74. Social Sciences & Humanities Education
    Weisshahn YURI; Pinho GUSTAVO; Cavalheiro SIMONE; Bois Andre DU; Aguiar MARILTON 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.
  75. Social Sciences & Humanities Education
    Pinho GUSTAVO; Weisshahn YURI; Reiser RENATA; Brum Clause Fátima DE; Cavalheiro SIMONE 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.
  76. Social Sciences & Humanities Education
    Avila CHRISTIANO; Bordini ADRIANA; Marques MONICA; Cavalheiro SIMONE; Luciana FOSS. 2016. Desdobramentos do pensamento computacional no brasil. In: Xxvii simpósio brasileiro de informática na educação. Brasil.
  77. 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.
  78. Physical Sciences Computer Science (miscellaneous)
    Nícolas Oreques De ARAÚJO; 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. Brasil.
  79. Physical Sciences Computer Science (miscellaneous)
    Rodrigo De Brum ACOSTA; Jones Junior MARCHESAN; Mônica Marques 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. Brasil.
  80. Social Sciences & Humanities Education
    Yuri WEISSHAHN; Pedro HALMENSCHLAGER; 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.
  81. Physical Sciences Computer Science (miscellaneous)
    Zanottelli Rosana M; Reiser Renata H S; Cavalheiro Simone C; Luciana FOSS. 2015. Sensitivity of fuzzy f-xor implication. In: Xxxv cnmac congresso nacional de matemática aplicada e computacional. Brasil.
  82. Physical Sciences Artificial Intelligence
    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. Espanha.
  83. 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.
  84. 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.
  85. Social Sciences & Humanities Language and Linguistics
    Natália 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.
  86. 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: Iii workshop-escola de informática teórica. Brasil.
  87. Physical Sciences Computer Science (miscellaneous)
    Alex BERTEI; Luciana FOSS; Simone André Da COSTA. 2015. Integrando estruturas de controle na abordagem relacional de gramática de grafos. In: Iii workshop-escola de informática teórica. Brasil.
  88. Physical Sciences Artificial Intelligence
    Rosana M ZANOTELLI; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Benjamín René Callejas BEDREGAL. 2015. Robustness of intuitionistic fuzzy implications: the yager?s implication case study. In: Iii workshop-escola de informática teórica. Brasil.
  89. Social Sciences & Humanities Education
    Santos GUSTAVO; Silva WINE; Cavalheiro SIMONE; Luciana FOSS; Aguiar MARILTON et al. 2015. Proposta de atividade para o quinto ano do ensino fundamental: algoritmos desplugados. In: Xxi workshop de informática na escola. Brasil.
  90. Physical Sciences Artificial Intelligence
    Zanotelli R; Reiser R; Costa S; Luciana FOSS; Bedregal B. 2015. Towards robustness and duality analysis of intuitionistic fuzzy aggregations. In: 2015 ieee international conference on fuzzy systems (fuzzieee). Brasil.
  91. Social Sciences & Humanities Education
    Gustavo Cruz De PINHO; Simone André Da Costa CAVALHEIRO; Wine Dos Santos 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. Brasil.
  92. Social Sciences & Humanities Education
    Wine Dos Santos SILVA; Simone André Da Costa CAVALHEIRO; Plinio Finkenauer JUNIOR; Ana Marilza PERNAS; Clause Fátima 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.
  93. Physical Sciences Computer Science (miscellaneous)
    Belisa ARNHOLD; Gustavo Cruz De PINHO; Gustavo SANTOS; Luciana FOSS; Simone André Da COSTA 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.
  94. 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.
  95. 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.
  96. 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.
  97. Physical Sciences Artificial Intelligence
    Benitez IBERO; Zanotelli ROSANA; Reiser RENATA; Costa SIMONE; Luciana FOSS et al. 2014. Aggregating fuzzy implications based on owa-operators. In: 2014 ieee international conference on fuzzy systems (fuzzieee). Brasil.
  98. Physical Sciences Artificial Intelligence
    Zanotelli Rosana MEDINA; Reiser Renata Hax SANDER; 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). Uruguai.
  99. Physical Sciences Artificial Intelligence
    Rosana M ZANOTELLI; Alexandre LEMKE; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2014. Towards an atanassov intuitionistic extensions of fuzzy diskant implication operators. In: Iii congresso brasileiro de sistemas fuzzy. Brasil.
  100. 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çãoo de informações via pensamento computacional: relato de atividade aplicada no ensino fundamental. In: Workshop de informática na escola. Brasil.
  101. Social Sciences & Humanities Education
    Simone André Da Costa CAVALHEIRO; Gleider M De CAMPOS; Plinio Finkenauer JUNIOR; Rafael Dias LAGEMANN; Daiane Focking 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.
  102. Physical Sciences Computer Science (miscellaneous)
    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.
  103. Social Sciences & Humanities Psychology (miscellaneous)
    Simone Drawanz RUTZ; Natália DARLEY; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2014. Otimizações de táticas para prova de teoremas de gramática de grafos. In: Xxiii congresso de iniciação científica da universidade federal de pelotas. Brasil.
  104. Social Sciences & Humanities Linguistics and Language
    Alex BERTEI; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2014. Uma tradução de gramática de grafos controlada para event-b. In: Xxiii congresso de iniciação científica da universidade federal de pelotas. Brasil.
  105. Physical Sciences Computer Science (miscellaneous)
    Rosana M ZANOTELLI; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2014. Análise da robustez na classe f-xor de conectivos fuzzy: implicações e bi-implicações. In: Xvi encontro de pós-graduação da universidade federal de pelotas. Brasil.
  106. 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.
  107. Social Sciences & Humanities Language and Linguistics
    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.
  108. 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: Simpósio brasileiro de métodos formais. Brasil.
  109. Physical Sciences Artificial Intelligence
    Andrei COSTA; Vinicius 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.
  110. Social Sciences & Humanities Language and Linguistics
    Rosana M 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. Brasil.
  111. 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.
  112. 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.
  113. Physical Sciences Computer Science (miscellaneous)
    Mello Andre Moura DE; Luciana FOSS; Cavalheiro Simone Andre Da COSTA. 2013. Graph grammar specification for the populational level of multi-agent system organizations. In: 2013 2nd workshopschool on theoretical computer science (weit). Estados Unidos.
  114. Social Sciences & Humanities Education
    Andrade DAIANE; Carvalho TAINÃ; Silveira JAYNE; Cavalheiro SIMONE; Luciana FOSS et al. 2013. Proposta de atividades para o desenvolvimento do pensamento computacional no ensino fundamental. In: Xix workshop de informática na escola. Brasil.
  115. Physical Sciences Computer Science (miscellaneous)
    Andrei COSTA; Vinicius 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 ufpel. Brasil.
  116. Social Sciences & Humanities Education
    Daiane Focking ANDRADE; Tainã Ribeiro 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 ufpel. Brasil.
  117. Physical Sciences Computer Science (miscellaneous)
    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 ufpel. Brasil.
  118. 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 ufpel. Brasil.
  119. Social Sciences & Humanities Education
    Tainã Ribeiro CARVALHO; Daiane Focking 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 ufpel. Brasil.
  120. 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 teorema. In: Xv encontro de pós-graduação ufpel. Brasil.
  121. Social Sciences & Humanities Education
    Rosana M 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. Brasil.
  122. 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 de informática na escola. Brasil.
  123. Physical Sciences Computer Science (miscellaneous)
    Junior Luiz Carlos LEMOS; Cavalheiro Simone Andre Da COSTA; Luciana FOSS. 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). Estados Unidos.
  124. Physical Sciences Artificial Intelligence
    Costa ANDREI; Pazzini VINICIUS; Luciana FOSS; Cavalheiro Simone Andre Da COSTA; 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). Estados Unidos.
  125. Social Sciences & Humanities Language and Linguistics
    Zanotelli Rosana MEDINA; Reiser Renata Hax SANDER; 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). Estados Unidos.
  126. 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). Estados Unidos.
  127. 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.
  128. Physical Sciences Computer Science (miscellaneous)
    André Moura De MELLO; Luciana FOSS; Simone André Da COSTA. 2012. Gramática de grafos para modelagem de sistemas multi-agentes baseados no poporg. In: Seminário de pesquisa em computação - spc 2012. Brasil.
  129. Physical Sciences Computer Science (miscellaneous)
    Andrei COSTA; Simone André Da COSTA; Luciana FOSS; Lisane Brisolara De BRISOLARA. 2012. Automatização da transformação de sistemas uml para modelos simulink. In: Seminário de pesquisa em computação - spc 2012. Brasil.
  130. Social Sciences & Humanities Education
    Luiz Carlos Lemos JUNIOR; Simone André Da COSTA; Luciana FOSS. 2012. Prova de teoremas para gramática de grafos: estratégias para demonstração de obrigações de prova. In: Seminário de pesquisa em computação - spc 2012. Brasil.
  131. 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: obrigações e táticas de prova no uso do rodin. In: X jornada de pós‐graduação e pesquisa (congrega 2012). Brasil.
  132. 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.
  133. Physical Sciences Artificial Intelligence
    Cícero Augusto De S CAMARGO; Gerson Geraldo H CAVALHEIRO; Maurício 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. Argentina.
  134. 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: || seminário de pesquisa em computação - spc 2011. Brasil.
  135. Physical Sciences Biomedical Engineering
    Vinícius PAZZINI; Nícolas BISI; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2011. Tradução formal de sistemas uml para simulink. In: || seminário de pesquisa em computação - spc 2011. Brasil.
  136. Physical Sciences Artificial Intelligence
    Luciana FOSS; Simone André Da COSTA; Nícolas 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.
  137. Physical Sciences Computer Science (miscellaneous)
    Nícolas BISI; Vinícius 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.
  138. Social Sciences & Humanities Linguistics and Language
    Cícero Augusto De S CAMARGO; Gerson Geraldo H CAVALHEIRO; Luciana FOSS; Simone André Da COSTA. 2011. Uma gramática para a transformação de dags em grafos descrevendo programas multithreaded. In: Workshop-escola de informática teórica. Brasil.
  139. Physical Sciences Artificial Intelligence
    Bisi Nicolas N; Pazzini VINICIUS; Luciana FOSS; Cavalheiro Simone Andre Da COSTA; 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.
  140. Social Sciences & Humanities Language and Linguistics
    Mello Andre Moura DE; Lemos Junior Luiz CARLOS; Luciana FOSS; Cavalheiro Simone Andre Da COSTA. 2011. Graph grammars: a comparison between verification methods. In: 2011 workshopschool on theoretical computer science (weit). Brasil.
  141. Physical Sciences Artificial Intelligence
    Camargo Cicero Augusto De S; Cavalheiro Gerson Geraldo H; Luciana FOSS; Cavalheiro Simone Andre Da COSTA. 2011. A graph grammar to transform dags into graphs describing multithreaded programs. In: 2011 workshopschool on theoretical computer science (weit). Brasil.
  142. Physical Sciences Artificial Intelligence
    Vinícius PAZZINI; Nícolas 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 da ufpel. Brasil.
  143. 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.
  144. Physical Sciences Computer Science (miscellaneous)
    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: || seminário de pesquisa em computação - spc 2011. Brasil.
  145. Physical Sciences Artificial Intelligence
    Lucio Mauro DUARTE; Luciana FOSS; Flávio Rech WAGNER; Tales HEIMFARTH. 2010. Model checking the ant colony optimisation. In: Distributed; parallel and biologically inspired systems. Austrália.
  146. Physical Sciences Artificial Intelligence
    Lucio Mauro DUARTE; Luciana FOSS; Flávio Rech WAGNER; Tales HEIMFARTH. 2010. A probabilistic model checking technique for the verification of self-organising emergent systems. In: Xxxvii seminário integrado de software e hardware - semish. Brasil.
  147. Physical Sciences Computer Science (miscellaneous)
    Flávio Rech WAGNER; Lucio Mauro DUARTE; Tales HEIMFARTH; Luciana FOSS; Rodrigo MACHADO et al. 2009. Uma metodologia de engenharia de software para o desenvolvimento de sistemas emergentes auto-organizáveis. In: Ii seminário sobre grandes desafios da computação no brasil. Brasil.
  148. Physical Sciences Computer Science (miscellaneous)
    Corradini A; Luciana FOSS; Ribeiro L. 2009. Graph transformation with dependencies for the specification of interactive systems. In: 19th international workshop on algebraic development techniques. Itália.
  149. Physical Sciences Artificial Intelligence
    Ribeiro L; Luciana FOSS; Bruno Da SILVA; Daltro NUNES. 2009. Model transformation using graph transactions. In: 11th international conference on software reuse. Estados Unidos.
  150. Physical Sciences Computer Science (miscellaneous)
    Luciana FOSS; Rodrigo MACHADO; Leila RIBEIRO. 2007. Graph productions with dependencies. In: Simpósio brasileiro de métodos formais. Brasil.
  151. Physical Sciences Computer Science (miscellaneous)
    Ana Paula Ludtke FERREIRA; Luciana FOSS; Leila RIBEIRO. 2007. Formal verification of object-oriented graph grammars specifications. In: Workshop on graph transformation for concurrency and verification (gt-vc 2006). Alemanha.
  152. Physical Sciences Artificial Intelligence
    Paolo BALDAN; Andrea CORRADINI; Luciana FOSS; Fabio GADDUCCI. 2006. Graph transactions as processes. In: Third international conference on graph transformations. Brasil.
  153. Physical Sciences Artificial Intelligence
    Paolo BALDAN; Andrea CORRADINI; Luciana FOSS; Fabio GADDUCCI; Leila RIBEIRO. 2006. Graph transactions as a basis for graph transformation modules. In: International workshop on algebraic development techniques. Bélgica.
  154. Life Sciences Clinical Biochemistry
    Marcelo Cezar PINTO; Luciana FOSS; José Carlos Merino MOMBACH; Leila RIBEIRO. 2005. Modeling and property verification of lactose operon regulation. In: Brazilian symposium on bioinformatics. Brasil.
  155. Physical Sciences Computer Science (miscellaneous)
    Fernando Luís DOTTI; Lucio Mauro DUARTE; Luciana FOSS; Leila RIBEIRO; Daniela Tereza Ascencio RUSSI et al. 2005. An environment for the development of concurrent object-based applications. In: International workshop on graph-based tools (grabats 2004). Itália.
  156. Social Sciences & Humanities Language and Linguistics
    Luciana FOSS; Leila RIBEIRO. 2004. A translation from object-based hypergraph grammars into pi-calculus (concurso de teses e dissertações). In: Xvii ctd/sbc - concurso de teses e dissertações. Brasil.
  157. Physical Sciences Computer Science (miscellaneous)
    Andrea CORRADINI; Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO. 2004. Translating java code to graph transformation systems. In: Second international conference on graph transformations. Itália.
  158. Physical Sciences Artificial Intelligence
    Luciana FOSS; Leila RIBEIRO. 2004. A translation from object-based hypergraph grammars into π-calculus. In: Brazilian workshop on formal methods. Brasil.
  159. Physical Sciences Computer Science (miscellaneous)
    Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO; Osmar Marchi Dos SANTOS. 2003. Especificação e verificação formal de sistemas distribuídos. In: Xvii simpósio brasileiro de engenharia de software. Brasil.
  160. Physical Sciences Computer Science (miscellaneous)
    Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO; Osmar Marchi Dos SANTOS. 2003. Verification of distributed object-based systems. In: 6th ifip international conference on formal methods for open object-based distributed systems. França.
  161. Social Sciences & Humanities Language and Linguistics
    Luciana FOSS; Ricardo Vargas DORNELES. 2000. Algomais - interpretador de linguagem algorítmica para o projeto ilena. In: Viii encontro de jovens pesquisadores da ucs. Brasil.
  1. Social Sciences & Humanities Education
    Gonçalves Bruno CABREIRA; Soares João Eduardo SEFFRIN; Oliveira PLACIDA; Marques JONNHY; Cavalheiro Simone André Da COSTA 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 Artificial Intelligence
    Silva Junior Braz Araujo DA; Cavalheiro Simone André Da COSTA; Luciana FOSS. 2018. -the last tree-; exercising the computational thinking through a graph grammar based educational game. Journal on computational thinking (jcthink). 2, 3-22.
  3. Social Sciences & Humanities Language and Linguistics
    Cavalheiro Simone André Da COSTA; Luciana FOSS; 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 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 Artificial Intelligence
    Reiser RENATA; 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; Luciana FOSS; Da Costa Cavalheiro Simone A. 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. Physical Sciences Artificial Intelligence
    Cícero Augusto De S CAMARGO; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Gerson Geraldo H 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.
  9. Physical Sciences Computer Science (miscellaneous)
    Camargo Cícero A S; Cavalheiro Gerson G H; Pilla Maurício L; Costa Simone A; Luciana FOSS. 2013. Aproximating static list schedules in dynamic multithreaded applications. Cluster computing. 17, 1-14.
  10. Social Sciences & Humanities Language and Linguistics
    Luciana FOSS; Simone André Da Costa CAVALHEIRO; Nicolas BISI; Vinicius Steffens PAZZINI; Lisane Brisolara De BRISOLARA et al. 2013. From uml to simulink caam: formal specification and transformation analysis. Revista de informática teórica e aplicada: rita. 20, 102-139.
  11. Physical Sciences Artificial Intelligence
    Leila RIBEIRO; Dos Santos Osmar MARCHI; Dotti Fernando Luã S; Luciana FOSS. 2011. Correct transformation: from object-based graph grammars to promela. Science of computer programming (print). 77, 214-246.
  12. Social Sciences & Humanities Linguistics and Language
    Rodrigo MACHADO; Luciana FOSS; Leila RIBEIRO. 2009. Aspects for graph grammars. Electronic communications of the easst. 18, 275-.
  13. Physical Sciences Computer Science (miscellaneous)
    Baldan P; Corradini A; Dotti F L; Luciana FOSS; Gadducci F et al. 2008. Towards a notion of transaction in graph rewriting. Electronic notes in theoretical computer science. 211, 39-50.
  14. Life Sciences Genetics
    Marcelo Cezar PINTO; Luciana FOSS; José Carlos Merino MOMBACH; Leila RIBEIRO. 2007. Modelling; property verification and behavioural equivalence of lactose operon regulation. Computers in biology and medicine. 37, (2) 134-148.
  1. Physical Sciences Computer Science (miscellaneous)
    Bertei ALEX; Reiser Renata H S; Luciana FOSS. 2021. Correlation analysis via intuitionistic fuzzy modal and aggregation operators. In: Studies in computational intelligence. 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. 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: 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: Jornada de atualização em informática na educação (jaie 2019). Brasil.
  5. 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.
  1. Physical Sciences Computer Science (miscellaneous)
    Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2021. Anais do xxvii workshop de informática na escola. Brasil.
  2. Social Sciences & Humanities Education
    Ana Paula Ludtke FERREIRA; Carlos Amaral HÖLBIG; Graçaliz Pereira DIMURO; Juliana Kaizer VIZZOTTO; Leila RIBEIRO et al. 2019. Anais do weit 2019. Brasil.
  3. Social Sciences & Humanities Arts and Humanities (miscellaneous)
    Juliana Kaizer VIZZOTTO; Giovani Rubert LIBRELOTTO; Eduardo Kessler PIVETA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2017. Anais do weit 2017. Brasil.
  4. Social Sciences & Humanities Arts and Humanities (miscellaneous)
    Juliana Kaizer VIZZOTTO; Leila RIBEIRO; Lucio Mauro DUARTE; Rodrigo MACHADO; Simone André Da Costa CAVALHEIRO et al. 2015. Anai do weit 2015. Brasil.
  5. Physical Sciences Computer Science (miscellaneous)
    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). Estados Unidos.
  6. Physical Sciences Computer Science (miscellaneous)
    Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Graçaliz Pereira DIMURO; Antonio Carlos Da Rocha COSTA. 2011. 1st workshop-school on theoretical computer science (weit 2011). Estados Unidos.
  7. Social Sciences & Humanities Arts and Humanities (miscellaneous)
    Graçaliz Pereira DIMURO; Luciana FOSS; Marilton Sanchotene De AGUIAR; Simone André Da Costa CAVALHEIRO; Antonio Carlos Da Rocha COSTA. 2011. Anais do weit 2011. Brasil.