Mirtha Lina Fernández Venero
Mirtha Lina Fernández Venero
Assistant Professor, Universidade Federal do ABC, SP, Brazil
E-mail confirmado em ufabc.edu.br
Título
Citado por
Citado por
Ano
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
2632001
Relaxing monotonicity for innermost termination
ML Fernández
Information Processing Letters 93 (3), 117-123, 2005
192005
Interaction protocols for cross-organisational workflows
FSC da Silva, MLF Venero, DM David, M Saleem, PWH Chung
Knowledge-Based Systems 37, 121-136, 2013
172013
On the use of SPIN for studying the behavior of nested Petri nets
MLF Venero, FSC da Silva
Brazilian Symposium on Formal Methods, 83-98, 2013
92013
Orderings for innermost termination
ML Fernández, G Godoy, A Rubio
International Conference on Rewriting Techniques and Applications, 17-31, 2005
92005
Model checking multi-level and recursive nets
FSCS Mirtha Lina Fernández Venero
Software & Systems Modeling, 1-28, 2016
7*2016
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
62019
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
62017
Verifying cross-organizational workflows over multi-agent based environments
MLF Venero
Workshop on Enterprise and Organizational Modeling and Simulation, 38-58, 2014
62014
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
42013
Modelling and simulating interaction protocols using Nested Petri Nets
MLF Venero, FSC da Silva
Workshop on Formal Methods in the Development of Software, 2013
42013
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
32018
Recursive path orderings can also be incremental
ML Fernández, G Godoy, A Rubio
International Conference on Logic for Programming Artificial Intelligence …, 2005
32005
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
22019
Um relato sobre estratégias de motivação e ensino de lógica de programação para e por mulheres
C Sass, E Yahata, J de Luccas, L Ferreira, NS Barbosa, C Rodriguez, ...
Anais dos Workshops do Congresso Brasileiro de Informática na Educação 7 (1 …, 2018
22018
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
22017
Avaliando ambientes para ensino de programação com suporte para o desenvolvimento da metacognição
SM Rodrigues, MF Venero, C Rodriguez, D Goya, RV da Rocha
Anais dos Workshops do Congresso Brasileiro de Informática na Educação 8 (1 …, 2019
12019
Met@ Aprendiz@ gem: estratégias metacognitivas e recursos pedagógicos para apoiar a construção do pensamento lógico
C Rodriguez, D Goya, MLF Venero, C Abrão
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2017
12017
A general translation from nested Petri nets into PROMELA
MLF Venero, FSC da Silva
arXiv preprint arXiv:1403.7991, 2014
12014
On proving C ε-termination of rewriting by size-change termination
ML Fernández
Information processing letters 93 (4), 155-162, 2005
12005
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20