Heitor Silva ÁVILA; Ana Marilza Pernas FLEISCHMANN; Simone Andre Da Costa CAVALHEIRO; Luciana FOSS. 2023. Usando a decomposição para resolver problemas: uma abordagem para o ensino de computação na educação fundamental. Brasil.

Andrea V GARCEZ; Braz Araujo Silva JUNIOR; Ana Marilza Pernas FLEISCHMANN; Luciana FOSS; Simone Andre Da Costa CAVALHEIRO. 2022. Modelo para representação do conhecimento em pensamento computacional. Brasil.

Braz Araujo Silva JUNIOR; Simone Andre Da Costa CAVALHEIRO; Luciana FOSS; Ana Marilza Pernas FLEISCHMANN; Andrea V GARCEZ. 2021. Pact: a citizen science project for computing education. Brasil.

Simone André Da Costa CAVALHEIRO; Ana Marilza Pernas FLEISCHMANN; Marilton Sanchotene De AGUIAR; Luciana FOSS; André Rauber Du BOIS et al. 2016. Information organization via computational thinking: case study in a primary school classroom. Brasil.

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. Brasil.

Iuri WEISSHAHN; Renata Hax Sander REISER; Ana Rita MAZZINI; André Rauber DUBOIS; Adson DUARTE et al. 2015. Pensamento computacional no brasil: o estado da arte. Brasil.

Wine SILVA; Clause PIANA; Luciana FOSS; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO et al. 2015. Desenvolvendo as habilidaddes de coleta; análise e representação de dados no ensino fundamental. Brasil.

Gustavo SANTOS; Plínio Finkenauer JUNIOR; B ARNHOLD; Simone André Da Costa CAVALHEIRO; Clause PIANA et al. 2015. Relato sobre o ensino de algoritmos a estudantes do quinto ano do ensino público fundamental. Brasil.

Gustavo C PINHO; Simone André Da Costa CAVALHEIRO; Wine SILVA; Luciana FOSS; Ana Marilza Pernas FLEISCHMANN et al. 2015. Expandindo o pensamento computacional em turmas de quarto ano do ensino fundamental: relato da atividade números binários. Brasil.

G M CAMPOS; Simone CAVALHEIRO; Luciana FOSS; Ana PERNAS; C F B PIANA et al. 2014. Organização de informações via pensamento computacional: relato de atividade aplicada no ensino fundamental. Brasil.

Daiane ANDRADE; Tainã CARVALHO; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2013. Proposta de atividades para o desenvolvimento do pensamento computacional no ensino fundamental. Brasil.

Tainã CARVALHO; Daiane ANDRADE; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2013. Uma discussão introdutória sobre os desafios e as necessidades à implementação do pensamento computacional no ensino fundamental e médio no brasil. Brasil.

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. Brasil.

Bruno Cabreira GONÇALVES; Jonnhy MARQUES; João Eduardo Seffrin SOARES; Plácida OLIVEIRA; Simone André Da Costa CAVALHEIRO et al. 2022. Jogo de rpg para o desenvolvimento de habilidades do pensamento computacional no ensino fundamental: jogo digital e formação de professores. Revista brasileira de informática na educação (rbie). 30, 262-291.

Cardoso Diogo J; Foss LUCIANA; André Rauber Du BOIS. 2022. Exploring opacity software transactional memory in haskell through graph transformation. Brasil.

Yuri ROSA; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS; André Rauber Du BOIS et al. 2021. Aventura espacial: proposta de atividade para o desenvolvimento do pensamento computacional. Brasil.

Cardoso DIOGO; Luciana FOSS; Du Bois ANDRE. 2021. A graph transformation system formalism for correctness of transactional memory algorithms. Brasil.

Oliveira PLACIDA; Jonnhy MARQUES; Simone CAVALHEIRO; Luciana FOSS; Renata Hax Sander REISER et al. 2021. Jogo de rpg para o desenvolvimento de habilidades do pensamento computacional no ensino fundamental. Brasil.

Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Marilton Sanchotene De AGUIAR; André Rauber Du BOIS; Ana Marilza FLEISCHMANN et al. 2020. Explorando o pensamento computacional para a qualificação do ensino fundamental. In: Computação na educação básica: fundamentos e experiências. Brasil.

Diogo J CARDOSO; Luciana FOSS; André Rauber Du BOIS. 2019. A graph transformation system formalism for software transactional memory opacity. Brasil.

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. Brasil.

Cardozo AMANDA; Gayer CATHERINE; Cavalheiro SIMONE; Foss LUCIANA; André Rauber Du BOIS et al. 2019. Flexible assessment in digital teaching-learning processes: case studies via computational thinking. Brasil.

Simão MARTIN; Cavalheiro SIMONE; Renata Hax Sander REISER; Foss L; Ana Rita MAZZINI et al. 2018. Soccercraft: relato de atividade para ensino aprendizagem de habilidades do pensamento computacional aplicada no sexto ano do ensino fundamental. Brasil.

Simone André Da Costa CAVALHEIRO; Ana Marilza Pernas FLEISCHMANN; Marilton Sanchotene De AGUIAR; Luciana FOSS; André Rauber Du BOIS et al. 2016. Information organization via computational thinking: case study in a primary school classroom. Brasil.

Gustavi PINHO; Yuri WEISSHAHN; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER; C PIANA et al. 2016. Pensamento computacional no ensino fundamental: relato de atividade de introdução a algoritmos. Brasil.

Yuri R WEISSHAHN; Gustavo PINHO; Simone CAVALHEIRO; C F B PIANA; André Rauber Du BOIS et al. 2016. Representação e análise de dados no quinto ano do ensino fundamental: proposta de atividade e relato de aplicação. Brasil.

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. Brasil.

Simone André Da Costa CAVALHEIRO; Gleider M De CAMPOS; Plínio Finkenauer JUNIOR; Rafael Dias LAGEMANN; Daiane ANDRADE et al. 2014. Desenvolvendo habilidades do pensamento computacional no quarto ano do ensino fundamental. Brasil.

G M CAMPOS; Simone CAVALHEIRO; Luciana FOSS; Ana PERNAS; C F B PIANA et al. 2014. Organização de informações via pensamento computacional: relato de atividade aplicada no ensino fundamental. Brasil.

Christiano Martino Otero AVILA; Foss LUCIANA; Bordini ADRIANA; Simone Debacco MARIA; Da Costa Cavalheiro Simone ANDRE. 2019. Evaluation rubric for computational thinking concepts. Brasil.

Bordini ADRIANA; Cavalheiro SIMONE; Christiano Martino Otero AVILA; Foss LUCIANA. 2018. Linguagem visual para resolução de problemas fundamentada no pensamento computacional: uma proposta. Brasil.

Marques MONICA; Cavalheiro SIMONE; Foss LUCIANA; Christiano Martino Otero AVILA; Bordini ADRIANA. 2017. Uma proposta para o desenvolvimento do pensamento computacional integrado ao ensino de matemática. Brasil.

Bordini ADRIANA; Christiano Martino Otero AVILA; Marques MONICA; Foss LUCIANA; Cavalheiro SIMONE. 2017. Pensamento computacional nos ensinos fundamental e médio: uma revisão sistemática. Brasil.

Christiano Martino Otero AVILA; Bordini ADRIANA; Marques MONICA; Cavalheiro SIMONE; Foss LUCIANA. 2016. Desdobramentos do pensamento computacional no brasil. Brasil.

Adriana BORDIN; Christiano Martino Otero AVILA; Yuri WEISSHAHN; Mônica Marques Da CUNHA; Simone André Da Costa CAVALHEIRO et al. 2016. Computação na educação básica no brasil: o estado da arte. Revista de informática teórica e aplicada: rita. 23, 210-238.

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, 1-38.

Andrei COSTA; Vinicius Steffens PAZZINI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA et al. 2013. Automatic translation from uml to simulik caam. Brasil.

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. Brasil.

Lucio Mauro DUARTE; Luciana FOSS; Flávio Rech WAGNER; Tales HEIMFARTH. 2010. Model checking the ant colony optimisation. Austrália.

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. Brasil.

Camargo Cícero A S; Gerson Geraldo Homrich CAVALHEIRO; Pilla Maurício L; Costa Simone A; Foss LUCIANA. 2013. Aproximating static list schedules in dynamic multithreaded applications. Cluster computing-the journal of networks software tools and applications. 16, 1-14.

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.

Cícero Agusto De Souza CAMARGO; Pilla Maurício LIMA; Gerson Geraldo Homrich CAVALHEIRO; Simone André Da COSTA; Luciana FOSS. 2012. Applying list scheduling algorithms in a multithreaded execution environment. Argentina.

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. Brasil.

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. Brasil.

Xavier Eduardo ABREU; Foss LUCIANA; Cavalheiro Simone André Da COSTA; Maria Arlita Da Silveira SOARES; Romio Leugim C. 2021. Pensamento computacional integrado à matemática na bncc: proposta para o primeiro ano do ensino fundamental. Brasil.

Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Marilton Sanchotene De AGUIAR; André Rauber Du BOIS; Ana Marilza FLEISCHMANN et al. 2020. Explorando o pensamento computacional para a qualificação do ensino fundamental. In: Computação na educação básica: fundamentos e experiências. Brasil.

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. Brasil.

Catherine GAYER; Amanda ARGOU; Marilton Sanchotene AGUIAR; Clause PIANA; André Rauber DUBOIS et al. 2018. Sfuzzy avalia e=a: avaliac~ao de discentes na promoc~ao do ensino e da aprendizagem de habilidades via pensamento computacional. Brasil.

Yuri R WEISSHAHN; Gustavo PINHO; Simone CAVALHEIRO; C F B PIANA; André Rauber Du BOIS et al. 2016. Representação e análise de dados no quinto ano do ensino fundamental: proposta de atividade e relato de aplicação. Brasil.

Gustavi PINHO; Yuri WEISSHAHN; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER; C PIANA et al. 2016. Pensamento computacional no ensino fundamental: relato de atividade de introdução a algoritmos. Brasil.

Adriana BORDIN; Christiano Martino Otero AVILA; Yuri WEISSHAHN; Mônica Marques Da CUNHA; Simone André Da Costa CAVALHEIRO et al. 2016. Computação na educação básica no brasil: o estado da arte. Revista de informática teórica e aplicada: rita. 23, 210-238.

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. Brasil.

Gustavo SANTOS; Plínio Finkenauer JUNIOR; B ARNHOLD; Simone André Da Costa CAVALHEIRO; Clause PIANA et al. 2015. Relato sobre o ensino de algoritmos a estudantes do quinto ano do ensino público fundamental. Brasil.

Iuri WEISSHAHN; Renata Hax Sander REISER; Ana Rita MAZZINI; André Rauber DUBOIS; Adson DUARTE et al. 2015. Pensamento computacional no brasil: o estado da arte. Brasil.

G M CAMPOS; Simone CAVALHEIRO; Luciana FOSS; Ana PERNAS; C F B PIANA et al. 2014. Organização de informações via pensamento computacional: relato de atividade aplicada no ensino fundamental. Brasil.

Simone André Da Costa CAVALHEIRO; Gleider M De CAMPOS; Plínio Finkenauer JUNIOR; Rafael Dias LAGEMANN; Daiane ANDRADE et al. 2014. Desenvolvendo habilidades do pensamento computacional no quarto ano do ensino fundamental. Brasil.

Tainã CARVALHO; Daiane ANDRADE; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2013. Uma discussão introdutória sobre os desafios e as necessidades à implementação do pensamento computacional no ensino fundamental e médio no brasil. Brasil.

Daiane ANDRADE; Tainã CARVALHO; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2013. Proposta de atividades para o desenvolvimento do pensamento computacional no ensino fundamental. Brasil.

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. Brasil.

Bruno Cabreira GONÇALVES; Jonnhy MARQUES; João Eduardo Seffrin SOARES; Plácida OLIVEIRA; Simone André Da Costa CAVALHEIRO et al. 2022. Jogo de rpg para o desenvolvimento de habilidades do pensamento computacional no ensino fundamental: jogo digital e formação de professores. Revista brasileira de informática na educação (rbie). 30, 262-291.

Plácida OLIVEIRA; Yuri ROSA; Simone André Da Costa CAVALHEIRO; Luciana FOSS; André Rauber Du BOIS et al. 2021. Pc-câmbio: proposta de atividade lúdica e desplugada aplicando a metodologia do pensamento computacional. Brasil.

Alex BERTEI; Luciana FOSS; Renata Hax Sander REISER. 2021. An application for medical diagnosis using correlation coefficient with modal operators and operator identifying and unary. Brasil.

Yuri ROSA; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS; André Rauber Du BOIS et al. 2021. Aventura espacial: proposta de atividade para o desenvolvimento do pensamento computacional. Brasil.

Oliveira PLACIDA; Jonnhy MARQUES; Simone CAVALHEIRO; Luciana FOSS; Renata Hax Sander REISER et al. 2021. Jogo de rpg para o desenvolvimento de habilidades do pensamento computacional no ensino fundamental. Brasil.

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. Brasil.

Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Marilton Sanchotene De AGUIAR; André Rauber Du BOIS; Ana Marilza FLEISCHMANN et al. 2020. Explorando o pensamento computacional para a qualificação do ensino fundamental. In: Computação na educação básica: fundamentos e experiências. Brasil.

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. Brasil.

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. Brasil.

Eduardo XAVIER; Marcelo MACHADO; Luciana FOSS; Renata Hax Sander REISER. 2019. Aplicacação de lógica fuzzy em uma metodologia de avaliação de ux para uma oficina de aprendizagem criativa. Brasil.

Alex BERTEI; Luciana FOSS; Renata Hax Sander REISER. 2019. A-cc: interval-valued atanassov?s fuzzy extension. Brasil.

Diogo CARDOSO; Luciana FOSS; Renata Hax Sander REISER. 2019. Ivfpn: fuzzy petri nets using interval-valued fuzzy sets. Brasil.

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. Brasil.

Alex BERTEI; Luciana FOSS; Renata Hax Sander REISER. 2019. Correlation coefficient of modal level operators: an application to medical diagnosis. Austria.

Cardozo AMANDA; Gayer CATHERINE; Cavalheiro SIMONE; Foss LUCIANA; André Rauber Du BOIS et al. 2019. Flexible assessment in digital teaching-learning processes: case studies via computational thinking. Brasil.

Simão MARTIN; Cavalheiro SIMONE; Renata Hax Sander REISER; Foss L; Ana Rita MAZZINI et al. 2018. Soccercraft: relato de atividade para ensino aprendizagem de habilidades do pensamento computacional aplicada no sexto ano do ensino fundamental. Brasil.

Catherine GAYER; Amanda ARGOU; Marilton Sanchotene AGUIAR; Clause PIANA; André Rauber DUBOIS et al. 2018. Sfuzzy avalia e=a: avaliac~ao de discentes na promoc~ao do ensino e da aprendizagem de habilidades via pensamento computacional. Brasil.

Simão MARTIN; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene AGUIAR; Renata Hax Sander REISER. 2017. Desenvolvendo o raciocínio lógico utilizando quadrinhos: uma proposta de atividade para o terceiro ano do ensino fundamental via pensamento computacional. Brasil.

Rosana Medina ZANOTELLI; Wilson CARDOSO; Renata Hax Sander REISER; Luciana FOSS. 2017. Robustness on the class of fuzzy difference operators. Brasil.

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. Brasil.

Catherine GAYER; Amanda ARGOU; Renata Hax Sander REISER; Cavalheiro SIMONE; Luciana FOSS et al. 2017. Sistema fuzzy de avaliação de habilidades para promoção de aprendizagem via pensamento computacional. Brasil.

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. Brasil.

Alex BERTEI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER. 2017. Estudo sobre as abordagens para gramática de grafos fuzzy. Brasil.

Alex BERTEI; Foss L; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER. 2017. A relational approach of fuzzy graph grammars. Estados Unidos.

Alex BERTEI; Rosana Medina ZANOTELLI; Wilson CARDOSO; Renata Hax Sander REISER; Luciana FOSS et al. 2016. Correlation coefficient analysis based on fuzzy negations and representable automorphisms. Brasil.

Adriana BORDIN; Christiano Martino Otero AVILA; Yuri WEISSHAHN; Mônica Marques Da CUNHA; Simone André Da Costa CAVALHEIRO et al. 2016. Computação na educação básica no brasil: o estado da arte. Revista de informática teórica e aplicada: rita. 23, 210-238.

Alex BERTEI; Renata Hax Sander REISER; Wilson CARDOSO; Luciana FOSS; Bedregal B. 2016. Correlation analysis of intuitionistic fuzzy connectives. Brasil.

Gustavi PINHO; Yuri WEISSHAHN; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER; C PIANA et al. 2016. Pensamento computacional no ensino fundamental: relato de atividade de introdução a algoritmos. Brasil.

Renata Hax Sander REISER; Zanotelli ROSANA; Costa SIMONE; Luciana FOSS; Bedregal BENJAMIN. 2016. Robustness of f- and g-generated fuzzy (co)implications: the yager's (co)implication case study. Electronic notes in theoretical computer science. 324, 151-164.

Simone André Da Costa CAVALHEIRO; Ana Marilza Pernas FLEISCHMANN; Marilton Sanchotene De AGUIAR; Luciana FOSS; André Rauber Du BOIS et al. 2016. Information organization via computational thinking: case study in a primary school classroom. Brasil.

Yuri R WEISSHAHN; Gustavo PINHO; Simone CAVALHEIRO; C F B PIANA; André Rauber Du BOIS et al. 2016. Representação e análise de dados no quinto ano do ensino fundamental: proposta de atividade e relato de aplicação. Brasil.

Iuri WEISSHAHN; Renata Hax Sander REISER; Ana Rita MAZZINI; André Rauber DUBOIS; Adson DUARTE et al. 2015. Pensamento computacional no brasil: o estado da arte. Brasil.

Wilson CARDOSO; Luciana FOSS; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO. 2015. Estudo de gramática de grafos fuzzy. Brasil.

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. Brasil.

Wine SILVA; Clause PIANA; Luciana FOSS; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO et al. 2015. Desenvolvendo as habilidaddes de coleta; análise e representação de dados no ensino fundamental. Brasil.

Gustavo SANTOS; Plínio Finkenauer JUNIOR; B ARNHOLD; Simone André Da Costa CAVALHEIRO; Clause PIANA et al. 2015. Relato sobre o ensino de algoritmos a estudantes do quinto ano do ensino público fundamental. Brasil.

Zanotelli R; Renata Hax Sander REISER; Costa S; Foss L; Bedregal B. 2015. Towards robustness and duality analysis of intuitionistic fuzzy aggregations. Brasil.

Rosana Medina ZANOTELLI; Renata Hax Sander REISER; Cavalheiro SIMONE; Foss L; Bedregal B. 2015. Robustness of intuitionistic fuzzy implications: the yager?s implication case study. Brasil.

Rosana Medina ZANOTELLI; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2014. Sensitivity of fuzzy f-xor implications. Brasil.

G M CAMPOS; Simone CAVALHEIRO; Luciana FOSS; Ana PERNAS; C F B PIANA et al. 2014. Organização de informações via pensamento computacional: relato de atividade aplicada no ensino fundamental. Brasil.

Zanotelli Rosana MEDINA; Renata Hax Sander REISER; Andre Da Costa Cavalheiro SIMONE; Luciana FOSS; Bedregal Benjamin Rene CALLEJAS. 2014. Robustness on the fuzzy f-xor class: implication; bi-implications and dual constructions. Brasil.

Benitez IBERO; Zanotelli ROSANA; Renata Hax Sander REISER; Costa SIMONE; Luciana FOSS et al. 2014. Aggregating fuzzy implications based on owa-operators. Índia.

Zanotelli Rosana MEDINA; Renata Hax Sander REISER; Cavalheiro Simone Andre Da COSTA; Luciana FOSS. 2013. Sensitivity and dual constructions on the fuzzy f-xor class. Brasil.

Tainã CARVALHO; Daiane ANDRADE; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2013. Uma discussão introdutória sobre os desafios e as necessidades à implementação do pensamento computacional no ensino fundamental e médio no brasil. Brasil.

Rosana Medina ZANOTELLI; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2013. Fuzzy f-xor class and dual constructions. Brasil.

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. Brasil.

Daiane ANDRADE; Tainã CARVALHO; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2013. Proposta de atividades para o desenvolvimento do pensamento computacional no ensino fundamental. Brasil.

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. Brasil.

Leila RIBEIRO; Luciana FOSS; Marcia Elena Jochims Kniphoff Da CRUZ; Rozelma Soares De FRANÇA; Simone André Da Costa CAVALHEIRO. 2022. Proposta para implantação do ensino de computação na educação básica no brasil. Brasil.

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. Brasil.

Abreu Luize V; Foss LUCIANA; Cavalheiro Simone André Da COSTA; Ferrão Rafael S; Tatiana Aires TAVARES. 2023. Explorando a mesa tangível no desenvolvimento da versão virtual da atividade "uma aventura no espaço". Brasil.

Silva Júlia Veiga DA; Silva Junior Braz Araujo DA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2023. Problem-solving systematization: introducing formal methods in basic education. Brasil.

Silva Júlia Veiga DA; Silva Junior Braz Araujo DA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2023. A user experience and usability test on creating games specified as graph grammars. Brasil.

Silva Junior Braz Araujo DA; Silva Júlia Veiga DA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2023. Featuring layers of abstraction as a modeling resource in an educational game-based learning platform. Brasil.

Da Silva Junior Braz ARAUJO; Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Da Silva Júlia VEIGA. 2023. Formal specification in basic education: what does it take?. Brasil.

Heitor Silva ÁVILA; Ana Marilza Pernas FLEISCHMANN; Simone Andre Da Costa CAVALHEIRO; Luciana FOSS. 2023. Usando a decomposição para resolver problemas: uma abordagem para o ensino de computação na educação fundamental. Brasil.

Silva Júlia Veiga DA; Rosa Yuri SILVA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2023. Battleships: a digital game for the development of computational thinking in elementary school. Brasil.

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. Brasil.

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. Brasil.

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. Brasil.

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. Brasil.

Leila RIBEIRO; Luciana FOSS; Marcia Elena Jochims Kniphoff Da CRUZ; Rozelma Soares De FRANÇA; Simone André Da Costa CAVALHEIRO. 2022. Proposta para implantação do ensino de computação na educação básica no brasil. Brasil.

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. Brasil.

Bruno Cabreira GONÇALVES; Jonnhy MARQUES; João Eduardo Seffrin SOARES; Plácida OLIVEIRA; Simone André Da Costa CAVALHEIRO et al. 2022. Jogo de rpg para o desenvolvimento de habilidades do pensamento computacional no ensino fundamental: jogo digital e formação de professores. Revista brasileira de informática na educação (rbie). 30, 262-291.

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. Brasil.

Andrea V GARCEZ; Braz Araujo Silva JUNIOR; Ana Marilza Pernas FLEISCHMANN; Luciana FOSS; Simone Andre Da Costa CAVALHEIRO. 2022. Modelo para representação do conhecimento em pensamento computacional. Brasil.

Matheus Figueiredo SCHMALFUSS; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2022. Monitoria remota nas disciplinas teóricas da computação. Brasil.

Allan SCHUCH; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2022. Monitoria à distância em sistemas discretos: aproveitamento do monitor e dos monitorados. Brasil.

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. Brasil.

Heitor Silva AVILA; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2022. A matemática discreta da computação no ensino remoto. Brasil.

Xavier Eduardo ABREU; Foss LUCIANA; Cavalheiro Simone André Da COSTA; Maria Arlita Da Silveira SOARES; Romio Leugim C. 2021. Pensamento computacional integrado à matemática na bncc: proposta para o primeiro ano do ensino fundamental. Brasil.

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. Brasil.

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. Brasil.

Braz Araujo Da Silva JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2021. Theoretical computer science in basic education: a systematic review. Brasil.

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. Brasil.

Oliveira PLACIDA; Jonnhy MARQUES; Simone CAVALHEIRO; Luciana FOSS; Renata Hax Sander REISER et al. 2021. Jogo de rpg para o desenvolvimento de habilidades do pensamento computacional no ensino fundamental. Brasil.

Silva Junior Braz Araujo DA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2021. Gramestation: specifying games with graphs. Brasil.

Yuri ROSA; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS; André Rauber Du BOIS et al. 2021. Aventura espacial: proposta de atividade para o desenvolvimento do pensamento computacional. Brasil.

Silva Junior Braz Araujo DA; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2021. Pc-tes: catalogando iniciativas de pensamento computacional. Brasil.

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. Brasil.

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. Brasil.

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. Brasil.

Braz Araujo Silva JUNIOR; Simone Andre Da Costa CAVALHEIRO; Luciana FOSS; Ana Marilza Pernas FLEISCHMANN; Andrea V GARCEZ. 2021. Pact: a citizen science project for computing education. Brasil.

Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2021. Anais do xxvii workshop de informática na escola. Brasil.

Plácida OLIVEIRA; Yuri ROSA; Simone André Da Costa CAVALHEIRO; Luciana FOSS; André Rauber Du BOIS et al. 2021. Pc-câmbio: proposta de atividade lúdica e desplugada aplicando a metodologia do pensamento computacional. Brasil.

Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Marilton Sanchotene De AGUIAR; André Rauber Du BOIS; Ana Marilza FLEISCHMANN et al. 2020. Explorando o pensamento computacional para a qualificação do ensino fundamental. In: Computação na educação básica: fundamentos e experiências. Brasil.

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.

Bordini ADRIANA; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2020. Metodologia da decomposição e composição para resolução de problemas em live. Brasil.

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. Brasil.

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. Brasil.

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. Brasil.

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. Brasil.

Bordini ADRIANA; Cavalheiro SIMONE; Luciana FOSS. 2019. Metodologia de resolução de problemas utilizando a linguagem live. Brasil.

Cardozo AMANDA; Gayer CATHERINE; Cavalheiro SIMONE; Foss LUCIANA; André Rauber Du BOIS et al. 2019. Flexible assessment in digital teaching-learning processes: case studies via computational thinking. Brasil.

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.

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. Brasil.

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. Brasil.

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. Brasil.

Junior BRAZ; Cavalheiro SIMONE; Luciana FOSS. 2019. Revisitando um jogo educacional para desenvolver o pensamento computacional com gramática de grafos. Brasil.

Christiano Martino Otero AVILA; Foss LUCIANA; Bordini ADRIANA; Simone Debacco MARIA; Da Costa Cavalheiro Simone ANDRE. 2019. Evaluation rubric for computational thinking concepts. Brasil.

Simão MARTIN; Cavalheiro SIMONE; Renata Hax Sander REISER; Foss L; Ana Rita MAZZINI et al. 2018. Soccercraft: relato de atividade para ensino aprendizagem de habilidades do pensamento computacional aplicada no sexto ano do ensino fundamental. Brasil.

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. Brasil.

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.

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. Brasil.

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. Brasil.

Bordini ADRIANA; Cavalheiro SIMONE; Christiano Martino Otero AVILA; Foss LUCIANA. 2018. Linguagem visual para resolução de problemas fundamentada no pensamento computacional: uma proposta. Brasil.

Catherine GAYER; Amanda ARGOU; Marilton Sanchotene AGUIAR; Clause PIANA; André Rauber DUBOIS et al. 2018. Sfuzzy avalia e=a: avaliac~ao de discentes na promoc~ao do ensino e da aprendizagem de habilidades via pensamento computacional. Brasil.

Junior BRAZ; Simone André Da Costa CAVALHEIRO; Foss LUCIANA. 2018. Uma análise de um jogo educacional sob a ótica do pensamento computacional. Brasil.

Bordini ADRIANA; Christiano Martino Otero AVILA; Marques MONICA; Foss LUCIANA; Cavalheiro SIMONE. 2017. Pensamento computacional nos ensinos fundamental e médio: uma revisão sistemática. Brasil.

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. Brasil.

Alex BERTEI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER. 2017. Estudo sobre as abordagens para gramática de grafos fuzzy. Brasil.

Marques MONICA; Cavalheiro SIMONE; Foss LUCIANA; Christiano Martino Otero AVILA; Bordini ADRIANA. 2017. Uma proposta para o desenvolvimento do pensamento computacional integrado ao ensino de matemática. Brasil.

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. Brasil.

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. Brasil.

Simão MARTIN; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene AGUIAR; Renata Hax Sander REISER. 2017. Desenvolvendo o raciocínio lógico utilizando quadrinhos: uma proposta de atividade para o terceiro ano do ensino fundamental via pensamento computacional. Brasil.

Alex BERTEI; Foss L; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER. 2017. A relational approach of fuzzy graph grammars. Estados Unidos.

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. Brasil.

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. Brasil.

Nícolas Oreques De ARAUJO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2017. Tradução automatizada de gramática de grafos para event-b. Brasil.

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.

Christiano Martino Otero AVILA; Bordini ADRIANA; Marques MONICA; Cavalheiro SIMONE; Foss LUCIANA. 2016. Desdobramentos do pensamento computacional no brasil. Brasil.

Renata Hax Sander REISER; Zanotelli ROSANA; Costa SIMONE; Luciana FOSS; Bedregal BENJAMIN. 2016. Robustness of f- and g-generated fuzzy (co)implications: the yager's (co)implication case study. Electronic notes in theoretical computer science. 324, 151-164.

Gustavi PINHO; Yuri WEISSHAHN; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER; C PIANA et al. 2016. Pensamento computacional no ensino fundamental: relato de atividade de introdução a algoritmos. Brasil.

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. Brasil.

Yuri R WEISSHAHN; Gustavo PINHO; Simone CAVALHEIRO; C F B PIANA; André Rauber Du BOIS et al. 2016. Representação e análise de dados no quinto ano do ensino fundamental: proposta de atividade e relato de aplicação. Brasil.

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.

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. Brasil.

Simone André Da Costa CAVALHEIRO; Ana Marilza Pernas FLEISCHMANN; Marilton Sanchotene De AGUIAR; Luciana FOSS; André Rauber Du BOIS et al. 2016. Information organization via computational thinking: case study in a primary school classroom. Brasil.

Adriana BORDIN; Christiano Martino Otero AVILA; Yuri WEISSHAHN; Mônica Marques Da CUNHA; Simone André Da Costa CAVALHEIRO et al. 2016. Computação na educação básica no brasil: o estado da arte. Revista de informática teórica e aplicada: rita. 23, 210-238.

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. Brasil.

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. Brasil.

Gustavo SANTOS; Plínio Finkenauer JUNIOR; B ARNHOLD; Simone André Da Costa CAVALHEIRO; Clause PIANA et al. 2015. Relato sobre o ensino de algoritmos a estudantes do quinto ano do ensino público fundamental. Brasil.

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. Brasil.

Iuri WEISSHAHN; Renata Hax Sander REISER; Ana Rita MAZZINI; André Rauber DUBOIS; Adson DUARTE et al. 2015. Pensamento computacional no brasil: o estado da arte. Brasil.

Natália DARLEY; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2015. Desenvolvimento de uma teoria de gramática de grafos para a plataforma rodin. Brasil.

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. Brasil.

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.

Zanotelli R; Renata Hax Sander REISER; Costa S; Foss L; Bedregal B. 2015. Towards robustness and duality analysis of intuitionistic fuzzy aggregations. Brasil.

Alex BERTEI; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2015. Integrando estruturas de controle na abordagem relacional de gramática de grafos. Brasil.

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. Brasil.

Wine SILVA; Clause PIANA; Luciana FOSS; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO et al. 2015. Desenvolvendo as habilidaddes de coleta; análise e representação de dados no ensino fundamental. Brasil.

Wilson CARDOSO; Luciana FOSS; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO. 2015. Estudo de gramática de grafos fuzzy. Brasil.

Andrei COSTA; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Leila RIBEIRO. 2015. From uml diagrams to simulink models: a precise and verified translation. Brasil.

Gustavo C PINHO; Simone André Da Costa CAVALHEIRO; Wine SILVA; Luciana FOSS; Ana Marilza Pernas FLEISCHMANN et al. 2015. Expandindo o pensamento computacional em turmas de quarto ano do ensino fundamental: relato da atividade números binários. Brasil.

Simone André Da Costa CAVALHEIRO; Gleider M De CAMPOS; Plínio Finkenauer JUNIOR; Rafael Dias LAGEMANN; Daiane ANDRADE et al. 2014. Desenvolvendo habilidades do pensamento computacional no quarto ano do ensino fundamental. Brasil.

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. Brasil.

G M CAMPOS; Simone CAVALHEIRO; Luciana FOSS; Ana PERNAS; C F B PIANA et al. 2014. Organização de informações via pensamento computacional: relato de atividade aplicada no ensino fundamental. Brasil.

Zanotelli Rosana MEDINA; Renata Hax Sander REISER; Andre Da Costa Cavalheiro SIMONE; Luciana FOSS; Bedregal Benjamin Rene CALLEJAS. 2014. Robustness on the fuzzy f-xor class: implication; bi-implications and dual constructions. Brasil.

Benitez IBERO; Zanotelli ROSANA; Renata Hax Sander REISER; Costa SIMONE; Luciana FOSS et al. 2014. Aggregating fuzzy implications based on owa-operators. Índia.

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. Brasil.

Rosana Medina ZANOTELLI; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2014. Sensitivity of fuzzy f-xor implications. Brasil.

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. Brasil.

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. Brasil.

Zanotelli Rosana MEDINA; Renata Hax Sander REISER; Cavalheiro Simone Andre Da COSTA; Luciana FOSS. 2013. Sensitivity and dual constructions on the fuzzy f-xor class. Brasil.

Daiane ANDRADE; Tainã CARVALHO; Victor Alexandre AULER; Marilton Sanchotene De AGUIAR; Luciana FOSS et al. 2013. Desenvolvendo o pensamento computacional no ensino fundamental. Brasil.

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. Brasil.

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. Brasil.

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. Brasil.

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.

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. Brasil.

Daiane ANDRADE; Tainã CARVALHO; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2013. Proposta de atividades para o desenvolvimento do pensamento computacional no ensino fundamental. Brasil.

Camargo Cícero A S; Gerson Geraldo Homrich CAVALHEIRO; Pilla Maurício L; Costa Simone A; Foss LUCIANA. 2013. Aproximating static list schedules in dynamic multithreaded applications. Cluster computing-the journal of networks software tools and applications. 16, 1-14.

Tainã CARVALHO; Daiane ANDRADE; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al. 2013. Uma discussão introdutória sobre os desafios e as necessidades à implementação do pensamento computacional no ensino fundamental e médio no brasil. Brasil.

Luiz Carlos Lemos JUNIOR; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2013. Theorem proving graph grammars: strategies for discharging proof obligations. Brasil.

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. Brasil.

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.

Mello Andre Moura DE; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2013. Graph grammar specification for the populational level of multi-agent system organizations. Brasil.

André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2013. Using graph grammars to specify populational level of multi-agent system organizations. Brasil.

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. Brasil.

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. Brasil.

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. Brasil.

Andrei COSTA; Vinicius Steffens PAZZINI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA et al. 2013. Automatic translation from uml to simulik caam. Brasil.

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. Brasil.

Cícero Agusto De Souza CAMARGO; Pilla Maurício LIMA; Gerson Geraldo Homrich CAVALHEIRO; Simone André Da COSTA; Luciana FOSS. 2012. Applying list scheduling algorithms in a multithreaded execution environment. Argentina.

Simone André Da Costa CAVALHEIRO; Luciana FOSS; Leila RIBEIRO. 2012. Specification patterns for properties over reachable states of graph grammars. Brasil.

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. Brasil.

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. Brasil.

Andrei COSTA; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2012. Automatização da transformação de sistemas uml para modelos simulink. Brasil.

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. Brasil.

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. Brasil.

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. Brasil.

Mello Andre Moura DE; Lemos Junior Luiz CARLOS; Foss LUCIANA; Simone André Da Costa CAVALHEIRO. 2011. Graph grammars: a comparison between verification methods. Brasil.

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. Brasil.

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. Brasil.

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. Brasil.

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. Brasil.

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. Brasil.

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. Brasil.

Pazzini VINICIUS; Nicolas BISI; Simone André Da Costa CAVALHEIRO; Luciana FOSS. 2011. Tradução formal de sistemas uml para simulink. Brasil.

André Moura De MELLO; Luciana FOSS; Simone André Da Costa CAVALHEIRO. 2011. Modelo poporg: uma proposta de especificação em gramática de grafos. Brasil.

Luciana FOSS; Simone André Da COSTA; Simone André Da Costa CAVALHEIRO; Aline Brum LORETO; Leila RIBEIRO. 2009. Especificação de sistemas baseados em objetos com gramática de grafos. In: Desafios e avanços em computação: o estado da arte. Brasil.

Abreu Luize V; Foss LUCIANA; Cavalheiro Simone André Da COSTA; Ferrão Rafael S; Tatiana Aires TAVARES. 2023. Explorando a mesa tangível no desenvolvimento da versão virtual da atividade "uma aventura no espaço". Brasil.