Comissão de Pesquisa e Inovação do IME-USP

Comissão de Pesquisa e Inovação do IME-USP - Pós-Doutorado concluído

Mirtha Lina Fernández Venero

Possui graduação em Ciência da Computação pela Universidad de Oriente, Cuba (1994), mestrado em Computação Aplicada pela Universidad Central "Marta Abreu" de las Villas, Cuba (1996), doutorado em Software pela Universitat Politècnica de Catalunya, Espanha (2007) e pós-doutorado em Computação pela Universidade de São Paulo, Brasil (2014). Atualmente é professora adjunta da Universidade Federal do ABC. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: desenvolvimento de sistemas, teoria da computação, métodos formais, simulação e verificação, linguagens de programação e compiladores, tecnologias e jogos para a educação, gênero e tecnologia. (Texto informado pelo autor)

http://lattes.cnpq.br/2423076793452662 (08/03/2019)

Rótulo/Grupo:

Bolsa CNPq:

Período de análise:

Endereço: Universidade Federal do ABC, Centro de Matemática, Computação e Cognição. Rua Santa Adélia Vila São Pedro 09210170 - Santo André, SP - Brasil Telefone: (11) 49967950

Grande área: Ciências Exatas e da Terra

Área: Ciência da Computação

Citações: Google Acadêmico

Produção bibliográfica

Artigos completos publicados em periódicos (6)
1. FERNÁNDEZ VENERO, MIRTHA LINA; CORRÊA DA SILVA, FLÁVIO SOARES. Model checking multi-level and recursive nets. Software & Systems Modeling. v. 16, p. 1117-1144, 2017. Qualis: A2
2. RODRIGUEZ, C. L. ; SATO, J. R ; ARAUJO, C. ; FERNÁNDEZ VENERO, MIRTHA LINA ; VITTORI, K. ; SILVA, F. S. C. ; PEREIRA, L.. Computação Afetiva e sua aplicação na educação: trabalhos relacionados e projeções futuras. Research and Innovation in Brazilian Education. v. I, p. 24, 2017.Qualis: C
3. CORRÊA DA SILVA, FLÁVIO SOARES ; FERNÁNDEZ VENERO, MIRTHA LINA ; DAVID, DIEGO MIRA ; SALEEM, MOHAMMAD ; CHUNG, PAUL W.H.. Interaction protocols for cross-organisational workflows. Knowledge-Based Systems. v. 37, p. 121-136, 2013. Qualis: A1
4. Fernández M. L. On proving CE-termination of rewriting by size-change termination. Information Processing Letters (Print). v. 93, p. 155-162, 2005.Qualis: B1
5. Fernández M. L. Relaxing Monotonicity for Innermost Termination. Information Processing Letters (Print). v. 93, p. 117-123, 2005.Qualis: B1
6. Fernández M. L.; Valiente G.. A Graph Distance Metric combining Maximum Common Subgraph and Minimum Common Supergraph. Pattern Recognition Letters. v. 22, p. 753-758, 2001.Qualis: A2
Livros publicados/organizados ou edições (0)
Capítulos de livros publicados (2)
1. Fernández Venero, MirthaLina. Verifying Cross-Organizational Workflows Over Multi-Agent Based Environments. Em: Barjis, Joseph and Pergl, Robert. (Org.). Enterprise and Organizational Modeling and Simulation. 1ed.Berlin. : Springer. 2014.v. 191, p. 38-58.
2. Venero, Mirtha Lina Fernández; da Silva, Flávio Soares Corrêa. Modeling and Simulating Interaction Protocols Using Nested Petri Nets. Lecture Notes in Computer Science. 1ed. Em: . : Springer International Publishing. 2014.v. 8368, p. 135-150.
Textos em jornais de notícias/revistas (0)
Trabalhos completos publicados em anais de congressos (10)
1. RODRIGUEZ, C. L. ; ROCHA, R. V. ; Goya D ; Venero, Mirtha Lina Fernández ; ZAMPIROLLI, F.. Critérios para inserção de estratégias cognitivas e metacognitivas no desenvolvimento de lógica de programação em ambientes virtuais de aprendizagem. Em: BRAZILIAN SYMPOSIUM ON COMPUTERS IN EDUCATION, 2018. Qualis: Não identificado (BRAZILIAN SYMPOSIUM ON COMPUTERS IN EDUCATION)
2. SASS, C. ; KANASHIRO, C. ; YAHATA, E. ; NOCETE, G. ; BALDI, J. ; TENORE, L. ; SANTANA, N. ; RIBEIRO, T. ; RODRIGUEZ, C. L. ; SATO, C. ; Goya D ; Venero, Mirtha Lina Fernández ; ROCHA, R. V.. Um Relato sobre Estratégias de Motivação e Ensino de Lógica de Programação para e por Mulheres. Em: CBIE 2017 - Workshop de Ensino em Pensamento Computacional, 2018.Qualis: Não identificado (CBIE 2017 - Workshop de Ensino em Pensamento Computacional)
3. Goya D ; RODRIGUEZ, C. L. ; Fernández M. L. ; Araujo, C.J.A.. O Uso de Estratégias de Aprendizagem Cognitivas e Metacognitivas na Disciplina Semipresencial de Processamento da Informação. Em: CBIE 2017 - Workshop de Ensino em Pensamento Computacional, p. 1079, 2017.Qualis: Não identificado (CBIE 2017 - Workshop de Ensino em Pensamento Computacional)
4. DANTAS, C. ; GOMES, A. M. G. ; FERNÁNDEZ VENERO, MIRTHA LINA. Programação em Python: Inserindo mulheres na tecnologia. Em: CBIE 2017 - Workshop de Ensino em Pensamento Computacional, v. 6, p. 1041, 2017.Qualis: Não identificado (CBIE 2017 - Workshop de Ensino em Pensamento Computacional)
5. FERNÁNDEZ VENERO, MIRTHA LINA; ARAUJO, C. ; MIRA, D. ; SILVA, F. S. C. ; MAGALHAES, A. G.. OpenMuseum: a Framework for Collaboration Between Cultural Heritage Institutions. Em: Simpósio Brasileiro de Sistemas de Informação, p. 158-169, 2013.Qualis: Não identificado (Simpósio Brasileiro de Sistemas de Informação)
6. FERNÁNDEZ VENERO, MIRTHA LINA; SILVA, F. S. C.. On the use of SPIN for studying the behavior of nested Petri nets. Em: 16th Brazilian Symposium on Formal Methods, v. 8195, p. 83-98, 2013.Qualis: Não identificado (16th Brazilian Symposium on Formal Methods)
7. FERNÁNDEZ VENERO, MIRTHA LINA; CORRÊA DA SILVA, FLÁVIO SOARES. Modelling and simulating interaction protocols using Nested Petri Nets. Em: Workshop on Formal Methods in the Development of Software, 2013.Qualis: Não identificado (Workshop on Formal Methods in the Development of Software)
8. Cobo J.C. ; Rojas Y. ; Fernández M. L.. Un visualizador para traductores de lenguajes. Em: COMPUMAT, 2009.Qualis: Não identificado (COMPUMAT)
9. Fernández M. L.; Godoy G. ; Rubio A. Orderings for Innermost Termination. Em: Term Rewriting and Applications, v. 3467, p. 17-31, 2005.Qualis: Não identificado (Term Rewriting and Applications)
10. Fernández M. L.; Godoy G. ; Rubio A. Recursive Path Orderings can also be Incremental. Em: Logic for Programming and Automated Reasonning, v. 3835, p. 230-245, 2005.Qualis: Não identificado (Logic for Programming and Automated Reasonning)
Resumos expandidos publicados em anais de congressos (1)
1. RODRIGUEZ, C. L. ; Goya D ; FERNÁNDEZ VENERO, MIRTHA LINA ; ARAUJO, C.. Met@ Aprendiz@gem: estratégias metacognitivas e recursos pedagógicos para apoiar a construção do pensamento lógico. Em: Simpósio Brasileiro de Informática na Educação - SBIE, 2017, Recife. Anais do XXVIII Simpósio Brasileiro de Informática na Educação, p. 1775-1777, 2017. Qualis: Não identificado (SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO - SBIE, 2017, RECIFE. ANAIS DO XXVIII SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO)
Resumos publicados em anais de congressos (0)
Artigos aceitos para publicação (0)
Apresentações de trabalho (0)
Demais tipos de produção bibliográfica (0)

Produção técnica

Programas de computador com registro (0)
Programas de computador sem registro (2)
1. Cobo J.C. ; Fernández M. L. ; Rojas Y.. ViTral: un Visualizador para Traductores de Lenguajes. 2009.
2. Pacheco C. ; Fernández M. L.. SIPUPONIC - Sistema de Información para el Control Presupuestario. 2002.
Produtos tecnológicos (0)
Processos ou técnicas (0)
Trabalhos técnicos (0)
Demais tipos de produção técnica (2)
1. Fernández M. L.; SILVA, F. S. C.. Studying the behavior of JamSession interaction protocols using SPIN. 2012. Relatório de pesquisa
2. Fernández M. L.; SILVA, F. S. C.. A formal semantics for the JamSession coordination platform. 2012. Relatório de pesquisa

Produção artística

Total de produção artística (0)

Orientações em andamento

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (1)
1. Gustavo Lugoni. Análise de Redes de Petri Aninhadas usando Verificação de Modelos (provisório). Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, . Início: 2018.
  Orientador: Mirtha Lina Fernández Venero.
Monografia de conclusão de curso de aperfeiçoamento/especialização (0)
Trabalho de conclusão de curso de graduação (0)
Iniciação científica (2)
1. Sabrina Morales Rodrigues. Objetos de Aprendizagem para o desenvolvimento da lógica de programação: articulação entre conteúdo e estratégias cognitivas e metacognitivas. Iniciação científica (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC, . Início: 2018.
  Orientador: Mirtha Lina Fernández Venero.
2. Maria Eduarda de Souza Brandão. Análise da representatividade feminina nos cursos pós-BC&T na UFABC. Iniciação científica (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC, . Início: 2018.
  Orientador: Mirtha Lina Fernández Venero.
Orientações de outra natureza (0)

Supervisões e orientações concluídas

Supervisão de pós-doutorado (0)
Tese de doutorado (0)
Dissertação de mestrado (1)
1. Yudei Rojas Sánchez. Un mediador didáctico para la asignatura Compilación. Dissertação (Mestrado em Maestría en Ciencia de la Computación) - Universidad del Oriente Cuba, . 2009.
  Orientador: Mirtha Lina Fernández Venero.
Monografia de conclusão de curso de aperfeiçoamento/especialização (2)

Vanessa Ferraz Duarte Costa. ELYSIUM: Sistema para gerenciamento de atividades extraclasse. (Aperfeiçoamento/Especialização em Especialização em Tecnologias e Sistemas de Informação) - Universidade Federal do ABC, . 2018.
Orientador: Mirtha Lina Fernández Venero.
Antonio Marcos dos Santos. Análise espacial orientada a objetos aplicada à área urbana. (Aperfeiçoamento/Especialização em Especialização em Tecnologias e Sistemas de Informação) - Universidade Federal do ABC, . 2018.
Orientador: Mirtha Lina Fernández Venero.
Trabalho de conclusão de curso de graduação (3)

Jose Carlos Cobo Méndes. ViTral: un Visualizador para Traductores de Lenguajes. (Graduação em Licenciatura en Ciencia de la Computación) - Universidad del Oriente Cuba, . 2009.
Orientador: Mirtha Lina Fernández Venero.
Carlos Pacheco Cedeño. Sistema de Información para el control presupuestario. (Graduação em Licenciatura en Ciencia de la Computación) - Universidad del Oriente Cuba, . 2002.
Orientador: Mirtha Lina Fernández Venero.
Yiezenia Rosario Ferrer. Prototipo de Sistema de Tutorial Inteligente para Lenguajes Regulares. (Graduação em Licenciatura en Ciencia de la Computación) - Universidad del Oriente Cuba, . 2002.
Orientador: Mirtha Lina Fernández Venero.
Iniciação científica (1)

Isabela Maria Biagioni Pedro. Análise de regiões urbanas brasileiras com base em características da configuração de logradouros. (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC, . 2017.
Orientador: Mirtha Lina Fernández Venero.
Orientações de outra natureza (0)

Projetos de pesquisa

Total de projetos de pesquisa (1)

2011-2014. Especificação formal, verificação e avaliação empírica de protocolos de interação construídos usando a plataforma JamSession
Situação: Concluído; Natureza: Pesquisa. Integrantes: Mirtha Lina Fernández Venero - Integrante / Flavio Soares Correa da Silva - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
Membro: Mirtha Lina Fernández Venero.

Prêmios e títulos

Total de prêmios e títulos (0)

Participação em eventos

Total de participação em eventos (5)

X Congresso da Mulher Latino-americana em Computação. 2018. (Congresso).
European Joint Conferences on Theory and Practice of Software. 2004. (Congresso).
6th International Workshop on Termination. 2003. (Encontro).
Federated Conference on Rewriting, Deduction and Programming. 2003. (Congresso).
8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR). 2001. (Congresso).

Organização de eventos

Total de organização de eventos (1)

SATO, C. ; Venero, Mirtha Lina Fernández ; Goya D ; ROCHA, R. V. ; RODRIGUEZ, C. L. ; MEDEIROS, D. M. R.. Mulheres na Computação: os desafios da carreira. 2018. Outro

Lista de colaborações

Colaborações endôgenas (0)

(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 08/08/2024 12:42:22

Relatório gerado por scriptLattes V9. Os resultados podem ser afetados por possíveis falhas decorrentes de inconsistências no preenchimento dos Currículos Lattes. E-mail de contato: webmaster@ime.usp.br