A graph distance metric combining maximum common subgraph and minimum common supergraph ML Fernández, G Valiente Pattern Recognition Letters 22 (6-7), 753-758, 2001 | 294 | 2001 |
An experience of automated assessment in a largescale introduction programming course FA Zampirolli, JM Borovina Josko, MLF Venero, G Kobayashi, FJ Fraga, ... Computer Applications in Engineering Education 29 (5), 1284-1299, 2021 | 29 | 2021 |
Avaliações em Jogos Educacionais: instrumentos de avaliação da reação, aprendizagem e comparação de jogos R Oliveira, G Belarmino, C Rodriguez, D Goya, MF Venero, AO Júnior, ... Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2019 | 20 | 2019 |
Interaction protocols for cross-organisational workflows FSC da Silva, MLF Venero, DM David, M Saleem, PWH Chung Knowledge-Based Systems 37, 121-136, 2013 | 19 | 2013 |
Relaxing monotonicity for innermost termination ML Fernández Information Processing Letters 93 (3), 117-123, 2005 | 18 | 2005 |
O uso de estratégias de aprendizagem cognitivas e metacognitivas na disciplina semipresencial de processamento da informação D Goya, C Rodriguez, MLF Venero, C Abrão Anais dos Workshops do Congresso Brasileiro de Informática na Educação 6 (1 …, 2017 | 13 | 2017 |
Orderings for innermost termination ML Fernández, G Godoy, A Rubio International Conference on Rewriting Techniques and Applications, 17-31, 2005 | 12 | 2005 |
Model checking multi-level and recursive nets FSCS Mirtha Lina Fernández Venero Software & Systems Modeling, 1-28, 2016 | 11* | 2016 |
Modeling and simulating interaction protocols using nested Petri nets MLF Venero, FSC da Silva International Conference on Software Engineering and Formal Methods, 135-150, 2013 | 10 | 2013 |
Desenvolvimento e avaliação da usabilidade e acessibilidade de um protótipo de jogo educacional digital para pessoas com deficiência visual RNR OLIVEIRA, GD BELARMINO, C RODRIGUEZ, D GOYA, RV ROCHA, ... Revista brasileira de educação especial 27, e0190, 2021 | 9 | 2021 |
Um relato sobre estratégias de motivação e ensino de lógica de programação para e por mulheres C Sass, C Kanashiro, É Yahata, G Nocete, J Baldi, L Tenore, N Santana, ... UFSCar, 2018 | 9 | 2018 |
On the use of SPIN for studying the behavior of nested Petri nets ML Fernández Venero, F Soares Corrêa da Silva Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF …, 2013 | 9 | 2013 |
Verifying cross-organizational workflows over multi-agent based environments ML Fernández Venero Enterprise and Organizational Modeling and Simulation: 10th International …, 2014 | 8 | 2014 |
Aula Invertida para la inclusión de Recursos Educativos Abiertos M Fernández, G Godoy IV Workshop Recursos Educativos Abiertos 12, 2017 | 7 | 2017 |
Um Relato sobre a Capacitação e a Produção de um Jogo Sério: a experiência de um projeto de extensão com um game para conscientização da adoção de animais JPF Motta, MA Oliveira, C Rodriguez, DH Goya, MLF Venero, RV Rocha Ann. SBGames, 1086-1095, 2019 | 6 | 2019 |
Critérios para inserção de estratégias cognitivas e metacognitivas no desenvolvimento de lógica de programação em ambientes virtuais de aprendizagem. C Rodriguez, RV da Rocha, D Goya, MF Venero, F Zampirolli Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2018 | 4 | 2018 |
Programação em Python: Inserindo mulheres na tecnologia C Dantas, AMG Gomes, MLF Venero Anais dos Workshops do Congresso Brasileiro de Informática na Educação 6 (1 …, 2017 | 4 | 2017 |
Software Livre Twine: ensino de programação Web por meio da criação de jogos educacionais W Carvalho, C Rodriguez, D Goya, MF Venero, RV da Rocha Anais dos Workshops do Congresso Brasileiro de Informática na Educação 8 (1 …, 2019 | 3 | 2019 |
Ensino de programação avançada incentivando a metacognição: uma experiência positiva usando Moodle+ VPL MF Venero, J Mena-Chalco Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2019 | 3 | 2019 |
Recursive path orderings can also be incremental ML Fernández, G Godoy, A Rubio International Conference on Logic for Programming Artificial Intelligence …, 2005 | 3 | 2005 |