Theorem proving graph grammars with attributes and negative application conditions
Cavalheiro, Simone André da Costa, Foss, Luciana, Ribeiro, Leila
Published in Theoretical computer science (22.07.2017)
Published in Theoretical computer science (22.07.2017)
Get full text
Journal Article
PACT: A Citizen Science Project for Computing Education
da Silva, Braz Araujo, da Costa Cavalheiro, Simone Andre, Foss, Luciana, Fleischmann, Ana Marilza Pernas, Garcez, Andrea Volz
Published in 2021 IEEE Frontiers in Education Conference (FIE) (13.10.2021)
Published in 2021 IEEE Frontiers in Education Conference (FIE) (13.10.2021)
Get full text
Conference Proceeding
Formal Specification in Basic Education: What Does It Take?
da Silva Junior, Braz Araujo, da Costa Cavalheiro, Simone Andre, Foss, Luciana, da Silva, Julia Veiga
Published in 2023 IEEE Frontiers in Education Conference (FIE) (18.10.2023)
Published in 2023 IEEE Frontiers in Education Conference (FIE) (18.10.2023)
Get full text
Conference Proceeding
Correct transformation: From object-based graph grammars to PROMELA
Ribeiro, Leila, dos Santos, Osmar Marchi, Dotti, Fernando Luís, Foss, Luciana
Published in Science of computer programming (01.03.2012)
Published in Science of computer programming (01.03.2012)
Get full text
Journal Article
Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental: Jogo Digital e Formação de Professores
Gonçalves, Bruno Cabreira, Soares, João Eduardo Seffrin, Oliveira, Placida, Marques, Jonnhy, Cavalheiro, Simone André da Costa, Foss, Luciana, Du Bois, André, Reiser, Renata, Piana, Clause, Mazzini, Ana Rita
Published in Revista brasileira de informática na educação (21.09.2022)
Published in Revista brasileira de informática na educação (21.09.2022)
Get full text
Journal Article
Aproximating static list schedules in dynamic multithreaded applications : Soft computing techniques in cluster and grid computing systems
CAMARGO, Cícero A. S, CAVALHEIRO, Gerson G. H, PILLA, Maurício L, DA COSTA, Simone A, FOSS, Luciana
Published in Cluster computing (2014)
Get full text
Published in Cluster computing (2014)
Journal Article
Graph Transactions as Processes
Baldan, Paolo, Corradini, Andrea, Foss, Luciana, Gadducci, Fabio
Published in Graph Transformations (2006)
Published in Graph Transformations (2006)
Get full text
Book Chapter
Conference Proceeding
Aproximating static list schedules in dynamic multithreaded applications
Camargo, Cícero A. S., Cavalheiro, Gerson G. H., Pilla, Maurício L., da Costa, Simone A., Foss, Luciana
Published in Cluster computing (01.06.2014)
Published in Cluster computing (01.06.2014)
Get full text
Journal Article
Translating Controlled Graph Grammars to Ordinary Graph Grammars
Bertei, Alex, Foss, Luciana, da Costa Cavalheiro, Simone A.
Published in Electronic notes in theoretical computer science (30.09.2016)
Published in Electronic notes in theoretical computer science (30.09.2016)
Get full text
Journal Article
A relational approach of fuzzy graph grammars
Bertei, Alex, Foss, Luciana, Costa, Simone, Reiser, Renata H. S.
Published in 2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD) (01.07.2017)
Published in 2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD) (01.07.2017)
Get full text
Conference Proceeding
Correlation coefficient analysis based on fuzzy negations and representable automorphisms
Bertei, Alex, Zanotelli, Rosana, Cardoso, Wilson, Reiser, Renata, Foss, Luciana, Bedregal, Benjamin
Published in 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (01.07.2016)
Published in 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (01.07.2016)
Get full text
Conference Proceeding
Evaluation Rubric for Computational Thinking Concepts
Otero Avila, Christiano, Foss, Luciana, Bordini, Adriana, Debacco, Maria Simone, da Costa Cavalheiro, Simone Andre
Published in 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT) (01.07.2019)
Published in 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT) (01.07.2019)
Get full text
Conference Proceeding
A Translation from Object-Based Hypergraph Grammars into π-Calculus
Foss, Luciana, Ribeiro, Leila
Published in Electronic notes in theoretical computer science (17.05.2004)
Published in Electronic notes in theoretical computer science (17.05.2004)
Get full text
Journal Article