Leila Ribeiro

  • Endereço para acessar este CV: http://lattes.cnpq.br/8705873746227963
  • Última atualização do currículo em 31/07/2018


Possui graduação em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1988), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1991) e doutorado em Informtica - Technische Universitat Berlin (1996). Atualmente é professora titular da Universidade Federal do Rio Grande do Sul. É membro do IFIP Working Group 1,3 (Foundations of System Specification) e membro efetivo da SBC. Tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais, atuando principalmente nos seguintes temas: especificação e semântica formal, bioinformática, verificacao formal e modelos de computação. É Diretora de Ensino de Computação na Educação Básica da SBC (Sociedade Brasileira de Computação). (Texto informado pelo autor)


Identificação


Nome
Leila Ribeiro
Nome em citações bibliográficas
RIBEIRO, L.;Ribeiro, Leila

Endereço


Endereço Profissional
Universidade Federal do Rio Grande do Sul, Instituto de Informática, Departamento de Informática Teórica.
Av. Bento Gonçalves, 9500 - Campus do Vale - Bloco IV
Agronomia
91509-900 - Porto Alegre, RS - Brasil
Telefone: (51) 33089498
Fax: (51) 33087308


Formação acadêmica/titulação


1992 - 1996
Doutorado em Informatik.
Technische Universität Berlin, TUBerlin, Alemanha.
Título: Parallel composition and unfolding semantics of graph grammars, Ano de obtenção: 1996.
Orientador: Hartmut Ehrig.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: semântica formal; composição de sistemas; modelos de computação.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.
Setores de atividade: Informática.
1989 - 1991
Mestrado em Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Integração no PROSOFT de ambientes corretos obtidos a partir de especificações algébricas e executados usando sistemas de reescrita,Ano de Obtenção: 1991.
Orientador: Daltro José Nunes.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: especificação formal; sistemas de reescrita; ambiente de desenvolvimento de software.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1985 - 1988
Graduação em Ciências da Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.


Pós-doutorado


2008 - 2009
Pós-Doutorado.
University of York, YORK, Inglaterra.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.


Atuação Profissional



International Federation For Information Processing, IFIP, Suiça.
Vínculo institucional

2010 - Atual
Vínculo: Membro de grupo de trabalho, Enquadramento Funcional: Membro

Atividades

2010 - Atual
Outras atividades técnico-científicas , Working Group 1.3, Working Group 1.3.

Atividade realizada
Membro do Working Group 1.3 (Foundations of System Specification).

Sociedade Brasileira de Computação, SBC, Brasil.
Vínculo institucional

2018 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Diretora de Computação na Educação Básica, Carga horária: 4

Vínculo institucional

2016 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Presidente de Comissão Especial

Vínculo institucional

2015 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Coordenador do GT de Educação Básica

Vínculo institucional

2006 - 2007
Vínculo: Colaborador, Enquadramento Funcional: Presidente de Comissão Especial

Vínculo institucional

2002 - 2003
Vínculo: Colaborador, Enquadramento Funcional: Presidente de Comissão Especial

Vínculo institucional

2000 - 2001
Vínculo: Colaborador, Enquadramento Funcional: Presidente de Comissão Especial

Atividades

11/2015 - Atual
Pesquisa e desenvolvimento , Secretaria de Eventos e Comissões Especiais, Diretoria de Educação.

09/2006 - Atual
Conselhos, Comissões e Consultoria, Secretaria de Eventos e Comissões Especiais, .

Cargo ou função
Presidente da Comissão Especial de Métodos Formais.
10/2002 - 10/2003
Conselhos, Comissões e Consultoria, Secretaria de Eventos e Comissões Especiais, .

Cargo ou função
Presidente da CEES - Comissão Especial de Engenharia de Software.
10/2000 - 10/2001
Conselhos, Comissões e Consultoria, Secretaria de Eventos e Comissões Especiais, .

Cargo ou função
Presidente da Comissão Especial de Métodos Formais.

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional

1999 - Atual
Vínculo: Bolsista PQ, Enquadramento Funcional: Pesquisador nível II, Carga horária: 0

Atividades

03/1999 - Atual
Conselhos, Comissões e Consultoria, CNPq, .

Cargo ou função
Consultora.

Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Vínculo institucional

2006 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1998 - 2006
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1996 - 1998
Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

01/2007 - Atual
Direção e administração, Instituto de Informática, Departamento de Informática Teórica.

Cargo ou função
Chefe de Departamento.
03/2006 - Atual
Conselhos, Comissões e Consultoria, Instituto de Informática, .

Cargo ou função
Coordenadora da Comissão de Cooperação Internacional.
10/1999 - Atual
Ensino, Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da Computação Avançada
Tópicos Especiais em Ciência da Computação: Modelos Não-convencionais de Computação
Tópicos Especiais em Ciência da Computação: Análise de Algoritmos
Tópicos Especiais em Ciência da Computação: Modelos para Sistemas Distribuídos e Móveis
Tópicos Especiais em Ciência da Computação: Seminários em Bioinformática
Tópicos Especiais em Ciência da Computação: Introdução à Bioinformática
Tópicos Especiais em Ciência da Computação: Gramáticas de Grafos
Tópicos especiais em Ciência da Computação: Verificação Formal
3/1999 - Atual
Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.

3/1998 - Atual
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Fundamentos de Algoritmos
Categorias Computacionais
Complexidade de Algoritmos
Semântica Formal
Teoria da Computação
Tópicos Especiais em Computação
1/2003 - 12/2004
Direção e administração, Instituto de Informática, Departamento de Informática Teórica.

Cargo ou função
Chefe de Departamento.
01/2001 - 12/2002
Conselhos, Comissões e Consultoria, Instituto de Informática, .

Cargo ou função
Coordenadora da Comissão de Pesquisa do instituto de Informática/UFRGS.
1/1999 - 12/2000
Direção e administração, Instituto de Informática, Departamento de Informática Teórica.

Cargo ou função
Membro da Comissão de Graduação do Curso de Ciências da Computação.
11/1999 - 11/1999
Extensão universitária , Instituto de Informática, Departamento de Informática Teórica.

Atividade de extensão realizada
I Escola de Métodos Formais para Qualidade de Software.

Ministério da Educação, MEC, Brasil.
Vínculo institucional

1997 - 2002
Vínculo: Colaborador, Enquadramento Funcional: Consultora, Carga horária: 0
Outras informações
Consultora da Comissão de Especialistas de Ciências da Computação para autorização/reconhecimento de cursos de graduação

Atividades

1997 - 2002
Conselhos, Comissões e Consultoria, Secretaria de Educação Superior, .

Cargo ou função
Consultora para avaliação de cursos de graduação em Informática.

Universidade Luterana do Brasil, ULBRA, Brasil.
Vínculo institucional

1991 - 1992
Vínculo: Colaborador, Enquadramento Funcional: Professor, Carga horária: 8

Atividades

3/1991 - 2/1992
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Informática
Linguagem de Programação I

Ibm do Brasil, IBM, Brasil.
Vínculo institucional

1990 - 1990
Vínculo: Outro, Enquadramento Funcional: Estagiária, Carga horária: 40
Outras informações
Pesquisadora no Centro Científico da IBM no Rio de Janeiro

Vínculo institucional

1987 - 1987
Vínculo: Outro, Enquadramento Funcional: Estagiária, Carga horária: 20

Atividades

1/1990 - 12/1990
Pesquisa e desenvolvimento , Centro Científico, .

Linhas de pesquisa
Métodos Formais
6/1987 - 12/1987
Estágios , Filial Porto Alegre, .

Estágio realizado
Estágio em análise de sistemas.


Linhas de pesquisa


1.
Modelos de Computação

Objetivo: DNA Computing. Modelos de sistemas reativos..
2.
Bioinformática

Objetivo: Desenvolvimento de modelos computationais de processos biológicos. DNA Computing..
3.
Engenharia de Software

Objetivo: Especificação e verificação formal. Técnicas de modularização de sistemas. Desenvolvimento de sistemas computacionais corretos..
4.
Métodos Formais

Objetivo: Construção e análise de modelos semânticos para sistemas concorrentes..
5.
Verificação e Semântica Formal
6.
Métodos Formais

Objetivo: Comparação entre métodos de especificação formal..
7.
Ensino de Computação na Educação Básica


Projetos de pesquisa


2012 - Atual
TGV: Transformação de Verificação de Grafos
Descrição: O objetivo do projeto TGV consiste na criação e concepção de diferentes lógicas e técnicas de prova dedicadas a expressar e realizar (semi-)automaticamente provas de propriedades de sistemas de transformações de grafos. A ênfase aqui está na integração destas técnicas dentro do contexto de desenvolvimento de sistemas computacionais complexos especificados como transformações de grafos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (3) .
Integrantes: Leila Ribeiro - Coordenador / Fernando Luís Dotti - Integrante / Alfio Martini - Integrante / Rachid Echahed - Integrante / Christian Percebois - Integrante / Martin Strecker - Integrante / Dominique Duval - Integrante.Financiador(es): Institut National de Recherche en Informatique et en Automatique - Siège - Cooperação / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Cooperação.
2011 - Atual
VeriTeS - Núcleo de Verificação, Validação e Teste de Sistemas Computacionais
Descrição: Este projeto tem por objetivo desenvolver técnicas baseadas na abordagem MDE para o desenvolvimento de sistemas computacionais, bem como ferramentas para apoiar as técnicas propostas. Resumindo, as principais linhas de pesquisa do projeto, baseadas na abordagem de MDE, são: Definição formal de modelos e transformações adequados para descrever sistemas computacionais; Extensão/adaptação de técnicas de teste de software e verificação de modelos para a análise de sistemas computacionais, considerando-se suas particularidades; Análise de impacto de transformações de modelos em relação a testes e verificações já realizados; Adaptação/extensão das técnicas para sistemas embarcados..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) .
Integrantes: Leila Ribeiro - Coordenador / Fernando Luís Dotti - Integrante / Lúcio M. Duarte - Integrante / Luciana Foss - Integrante / Ana Paula Luedtke Ferreira - Integrante / Simone André da Costa - Integrante / Érica Cota - Integrante / Rodrigo Machado - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - 2015
NESS - Núcleo de Excelência em Engenharia de Software para Sistemas Embarcados
Descrição: Este projeto é apoiado pelo programa PRONEX e reúne 17 pesquisadores de quatro universidades do Rio Grande do Sul - UFRGS, UFPel, UFSM e Unipampa. Seu objetivo é o desenvolvimento de competências científicas e tecnológicas visando o projeto de sistemas embarcados complexos num tempo reduzido, garantindo a qualidade e a eficiência do conjunto hardware / software, bem como dando suporte a sua evolução, considerando novas funcionalidades, aplicações, plataformas e requisitos. O Núcleo de Excelência dá ênfase à utilização da abordagem MDE - Engenharia Dirigida por Modelos, bem como de plataformas multiprocessadas e adaptativas. O projeto se desenvolve ao longo de três linhas de pesquisa principais: 1) modelos e transformações adequados ao desenvolvimento de sistemas embarcados; 2) análise de desenvolvimento de sistemas embarcados; 3) adaptabilidade das plataformas..
Situação: Concluído; Natureza: Pesquisa.
2008 - 2009
Uma Metodologia de Desenvolvimento de Sistemas Computacionais à Luz da Transição do Silício para Novas Tecnologias: Fundamentos e Aplicações
Descrição: O projeto tem como objetivo principal o desenvolvimento de uma metodologia de projeto de sistemas computacionais à luz da transição do silício para novas tecnologias. Esta transição tecnológica levará a sociedade a profundas mudanças nas formas de trabalho, pesquisa e uso da computação. O projeto propõe estudos de caso de alta complexidade, com o objetivo de propor tanto uma abordagem evolutiva sobre a construção de sistemas computacionais, quanto uma abordagem disruptiva, tendo em vista novas tecnologias. O projeto é de caráter multi-disciplinar, uma vez que a transição tecnológica obrigará e levará à formação de equipes científicas com formações diversas dentro da computação, em suas aplicações e interfaces com outras ciências. Espera-se, ao final do projeto, que uma teoria e uma conseqüente metodologia de desenvolvimento de sistemas computacionais sejam propostas, elaboradas e validadas através de estudos de caso significativos. As abstrações, teorias, insights e a resultante metodologia são fundamentais em um mundo cada vez mais dependente de sistemas computacionais e, em particular, de sistemas de software capazes de evoluírem não somente com as necessidades da aplicação e de seus usuários finais, mas fundamentalmente tendo em vista a evolução/revolução tecnológica pós-silício. Entre os benefícios científicos desta metodologia estão os princípios norteadores de um processo de raciocínio, reflexão, elaboração, construção e implementação de novos sistemas computacionais, que certamente tem grande impacto na sociedade do conhecimento no século XXI..
Situação: Concluído; Natureza: Pesquisa.
2003 - 2005
* DACHIA
Descrição: Modeling, analysis and development of an approach for the construction of high-quality Internet applications based on visual languages and formal methods.
Situação: Concluído; Natureza: Pesquisa.
2001 - 2004
* IQ-Mobile
Descrição: Improving the quality of open systems with code mobility through rigorous development.
Situação: Concluído; Natureza: Pesquisa.
2001 - 2003
* LabBIOINF
Descrição: Laboratório de Bioinformática..
Situação: Concluído; Natureza: Pesquisa.
1999 - Atual
* PLATUS
Descrição: Especificação e simulação de sistemas reativos..
Situação: Em andamento; Natureza: Pesquisa.
1997 - 1999
* QaP-For
Descrição: Qualidade através do uso de métodos formais.
Situação: Concluído; Natureza: Pesquisa.
1996 - 1998
* Composição e semântica de gramáticas de grafos com atributos
Situação: Concluído; Natureza: Pesquisa.
1994 - 2002
* GRAPHIT
Descrição: Graphical support and integration of formal and semi-formal methods for software specification and development.
Situação: Concluído; Natureza: Pesquisa.


Membro de corpo editorial


2012 - Atual
Periódico: Journal of Software Engineering Research and Development
2005 - Atual
Periódico: Revista de Informática Teórica e Aplicada


Membro de comitê de assessoramento


2007 - 2009
Agência de fomento: (FAPERGS) Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul


Revisor de periódico


2006 - 2006
Periódico: Simulation Modelling Practice and Theory
2004 - 2005
Periódico: Software and Systems Modeling
2006 - 2006
Periódico: IEEE Transactions on Computers
2008 - Atual
Periódico: Theoretical Computer Science
2008 - Atual
Periódico: Science of Computer Programming (Print)
2012 - Atual
Periódico: Journal of Visual Languages and Computing
2016 - Atual
Periódico: FORMAL ASPECTS OF COMPUTING


Revisor de projeto de fomento


2013 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2012 - 2012
Agência de fomento: Fundação para a Ciência e Tecnologia
1999 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Metodos Formais.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Bioinformática.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2006
Segundo melhor artigo no Simpósio Brasileiro de Engenharia de Software, SBC.
1999
Prêmio Santista Juventude - Área Informática, Fundação Santista.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
DILLENBURG, FABIANE CRISTINE2018DILLENBURG, FABIANE CRISTINE ; ZANOTTO-FILHO, ALFEU ; FONSECA MOREIRA, JOSÉ CLÁUDIO ; Ribeiro, Leila ; CARRO, LUIGI . NF κ B pathway analysis: An approach to analyze gene co-expression networks employing feedback cycles. COMPUTATIONAL BIOLOGY AND CHEMISTRY, v. 72, p. 62-76, 2018.

2.
COSTA, Simone André da2017COSTA, Simone André da ; Foss, Luciana ; RIBEIRO, L. . Theorem proving graph grammars with attributes and negative application conditions. THEORETICAL COMPUTER SCIENCE, v. 686, p. 25-77, 2017.

3.
COTA, ÉRIKA2017COTA, ÉRIKA ; RIBEIRO, L. ; BEZERRA, JONAS SANTOS ; COSTA, A. ; DA SILVA, ROSIANA ESTEFANE ; COTA, GLÁUCIA . Using formal methods for content validation of medical procedure documents. INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, v. 104, p. 10-25, 2017.

4.
RIBEIRO, LAURO ANDRÉ2017RIBEIRO, LAURO ANDRÉ ; PEREIRA DA SILVA, PATRÍCIA ; RIBEIRO, L. ; DOTTI, F. L. . Modelling the impacts of policies on advanced biofuel feedstocks diffusion. JOURNAL OF CLEANER PRODUCTION, v. 142, p. 2471-2479, 2017.

5.
LUMERTZ, P.2016LUMERTZ, P. ; RIBEIRO, L. ; DUARTE, L. M. . User interfaces metamodel based on graphs. Journal of Visual Languages and Computing, v. 32, p. 1-34, 2016.

6.
BEZERRA, JONAS SANTOS2016BEZERRA, JONAS SANTOS ; COSTA, ANDREI ; Ribeiro, Leila ; COTA, ÉRIKA . Formal Verification of Health Assessment Tools: a Case Study. Electronic Notes in Theoretical Computer Science, v. 324, p. 31-50, 2016.

7.
MACHADO, R.2015MACHADO, R. ; RIBEIRO, L. ; HECKEL, R. . Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars. Theoretical Computer Science, v. 594, p. 1-23, 2015.

8.
COSTA, S. A.2012COSTA, S. A. ; RIBEIRO, L. . Verification of graph grammars using a logical approach. Science of Computer Programming (Print), v. 77, p. 480-504, 2012.

9.
Ribeiro, Leila2012Ribeiro, Leila; dos Santos, Osmar Marchi ; Dotti, Fernando Luís ; Foss, Luciana . Correct transformation: From object-based graph grammars to PROMELA. Science of Computer Programming (Print), v. 77, p. 214-246, 2012.

10.
da Silva, Roberto2011da Silva, Roberto ; Buriol, Luciana S. ; Ribeiro, Leila ; Dotti, Fernando L. . Modeling the webgraph evolution. Journal of Computational Science, v. 2, p. 67-79, 2011.

11.
NUNES, D. J.2011NUNES, D. J. ; MOREIRA, ALVARO ; RIBEIRO, L. . Formal Methods at SBES: Evolution and Perspectives. Formal Methods at SBES: Evolution and Perspectives, v. 1, p. 1-3, 2011.

12.
MACHADO, R.2010MACHADO, R. ; HECKEL, R. ; RIBEIRO, L. . Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars. Electronic Proceedings in Theoretical Computer Science, v. 21, p. 39-50, 2010.

13.
RIBEIRO, L.2010RIBEIRO, L.; DOTTI, F. L. ; COSTA, S. A. ; DILLENBURG, F. . Towards theorem proving graph grammars using event-b. Electronic Communications of the EASST, v. 30, p. 1-16, 2010.

14.
da Costa, Simone André2009da Costa, Simone André ; Ribeiro, Leila . Formal Verification of Graph Grammars using Mathematical Induction. Electronic Notes in Theoretical Computer Science, v. 240, p. 43-60, 2009.

15.
MACHADO, R.2009MACHADO, R. ; FOSS, L. ; RIBEIRO, L. . Aspects for Graph Grammars. Electronic Communications of the EASST, v. 18, p. 275, 2009.

16.
RUBBO, F.2008RUBBO, F. ; MACHADO, R. ; MOREIRA, A. F. ; RIBEIRO, L. ; NUNES, D. . On the Interaction of Advices and Raw Types in AspectJ. Journal of Universal Computer Science, v. 14, p. 3534-3555, 2008.

17.
BALDAN, Paolo2008BALDAN, Paolo ; CORRADINI, Andrea ; DOTTI, F. L. ; FOSS, L. ; GADDUCCI, F. ; RIBEIRO, L. . Towards a Notion of Transaction in Graph Rewriting. Electronic Notes in Theoretical Computer Science, v. 211, p. 39-50, 2008.

18.
RIBEIRO, L.;Ribeiro, Leila2007 RIBEIRO, L.; BALDAN, Paolo ; CORRADINI, Andrea ; MONTANARI, Ugo . Unfolding semantics of graph transformation. Information and Computation, v. 205(5), p. 733-782, 2007.

19.
RIBEIRO, L.;Ribeiro, Leila2007RIBEIRO, L.; MICHELON, L. ; COSTA, S. A. . Specification of real-time systerms with graph grammars. Journal of the Brazilian Computer Society, v. 13, p. 51-68, 2007.

20.
PINTO, M. C.2007PINTO, M. C. ; FOSS, L. ; MOMBACH, J. C. M. ; RIBEIRO, L. . Modeling, Property Verification and Behavioural Equivalence of Lactose Operon. Computers in Biology and Medicine, v. 37(2), p. 134-148, 2007.

21.
MENDIZABAL, O.2007MENDIZABAL, O. ; DOTTI, F. L. ; RIBEIRO, L. . Stochastic Graph Transformation Systems. Electronic Notes in Theoretical Computer Science, v. 184, p. 151-170, 2007.

22.
RIBEIRO, L.;Ribeiro, Leila2006 RIBEIRO, L.; DOTTI, F. L. ; SANTOS, O. M. ; PASINI, F. . Verifying Object-Based Graph Grammars: An Assume-Guarantee Approach. Software and Systems Modeling, v. 5(3), p. 289-312, 2006.

23.
SANTOS, O. M.2005SANTOS, O. M. ; DOTTI, F. L. ; RIBEIRO, L. . An Environment for the Development of Concurrent Object-Based Applications. Electronic Notes in Theoretical Computer Science, v. 127, p. 3-13, 2005.

24.
LORETO, A. B.2005LORETO, A. B. ; SILVA, R. ; TOSCANI, L. V. ; RIBEIRO, L. ; CLAUDIO, D. ; LEAL, L. . Amostragem por Importância para Estimar Valores Esperados: uma Abordagem com Heurísticas para Problemas Intervalares NP-Difíceis. TEMA. Tendências em Matemática Aplicada e Computacional, v. 6(2), p. 261-272, 2005.

25.
FOSS, L.2004FOSS, L. ; RIBEIRO, L. . A Translation from Object-Based Hypergraph Grammars into pi-Calculus. Electronic Notes in Theoretical Computer Science, v. 95, p. 245-267, 2004.

26.
FERREIRA, A. P. L.2004FERREIRA, A. P. L. ; RIBEIRO, L. . A graph-based semantics for object-oriented programming constructs. Electronic Notes in Theoretical Computer Science, v. 122, p. 89-104, 2004.

27.
SANTOS, O. M.2004SANTOS, O. M. ; DOTTI, F. L. ; RIBEIRO, L. . Verifying Object-Based Graph Grammars. Electronic Notes in Theoretical Computer Science, v. 109, p. 125-136, 2004.

28.
CORRADINI, Andrea2001CORRADINI, Andrea ; DOTTI, F. L. ; RIBEIRO, L. . A graph transformation view on the specification of applications using mobile code. Electronic Notes in Theoretical Computer Science, v. 50, n.3, 2001.

29.
RIBEIRO, L.;Ribeiro, Leila2000RIBEIRO, L.; COPSTEIN, B. . Compositional construction of simulation models using graph grammars. Lecture Notes in Computer Science, v. 1779, p. 87-94, 2000.

30.
LORETO, A. B.2000LORETO, A. B. ; RIBEIRO, L. ; TOSCANI, L. . Complexity analysis of reactive graph grammars. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 7, n.1, p. 109-128, 2000.

31.
DÉHARBE, D.2000DÉHARBE, D. ; MOREIRA, A. ; RIBEIRO, L. ; RODRIGUES, V. . Introdução a métodos formais: especificação, semântica e verificação de sistemas concorrentes. Revista de Informática Teórica e Aplicada, Porto Alegre, v. 7, n.1, p. 7-48, 2000.

32.
RIBEIRO, L.;Ribeiro, Leila1999 RIBEIRO, L.. Parallel composition of graph grammars. Applied Categorical Structures, v. 7, n.4, p. 405-430, 1999.

33.
RIBEIRO, L.;Ribeiro, Leila1998RIBEIRO, L.; KORFF, M. . True concurrency = Interleaving + Weak Conflict. Electronic Notes in Theoretical Computer Science, v. 14, p. 1-8, 1998.

34.
RIBEIRO, L.;Ribeiro, Leila1998RIBEIRO, L.. Compatibility between sintax and semantica of graph grammars. Electronic Notes in Theoretical Computer Science, v. 14, 1998.

35.
RIBEIRO, L.;Ribeiro, Leila1996RIBEIRO, L.; KORFF, M. . Formal relationships between graph grammars and Petri nets. Lecture Notes in Computer Science, v. 1073, p. 288-303, 1996.

36.
RIBEIRO, L.;Ribeiro, Leila1995RIBEIRO, L.; PADBERG, J. ; EHRIG, H. . Algebraic high-level net transformation systems. MSCS. Mathematical Structures in Computer Science, Cambridge, v. 5, p. 217-256, 1995.

37.
RIBEIRO, L.;Ribeiro, Leila1994RIBEIRO, L.; EHRIG, H. ; PADBERG, J. . Algebraic high-level nets: Petri nets revisited. Lecture Notes in Computer Science, v. 785, p. 188-206, 1994.

Livros publicados/organizados ou edições
1.
RIBEIRO, L.; MOREIRA, A. (Org.) . SBMF - Brazilian Symposium on Formal Methods. 1. ed. , 2006. v. 1. 266p .

2.
CORRADINI, Andrea (Org.) ; EHRIG, H. (Org.) ; MONTANARI, Ugo (Org.) ; RIBEIRO, L. (Org.) ; Rozenberg, G. (Org.) . Graph Transformations. 1. ed. Berlim: Springer - LNCS Vol. 4178, 2006. v. 1. 472p .

3.
SAMPAIO, A. (Org.) ; MOREIRA, A. F. (Org.) ; RIBEIRO, L. (Org.) . Brazilian Symposium on Formal Methods. , 2005. v. 1. 205p .

Capítulos de livros publicados
1.
Azzi, Guilherme Grochau ; BEZERRA, JONAS SANTOS ; Ribeiro, Leila ; COSTA, ANDREI ; Rodrigues, Leonardo Marques ; Machado, Rodrigo . The Verigraph System for Graph Transformation. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 10800, p. 160-178.

2.
CORRADINI, Andrea ; Duval, Dominique ; Löwe, Michael ; Ribeiro, Leila ; Machado, Rodrigo ; COSTA, ANDREI ; Azzi, Guilherme Grochau ; BEZERRA, JONAS SANTOS ; Rodrigues, Leonardo Marques . On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 10800, p. 1-18.

3.
OLIVEIRA JUNIOR, M. A. ; RIBEIRO, L. ; COTA, E. ; DUARTE, L. M. ; NUNES, I. ; REIS, F. . Use Case Analysis Based on Formal Methods: An Empirical Study. In: M. Codescu; R. Diaconescu; I. Tutu. (Org.). 22nd International Workshop WADT2014 -- Revised Selected Papers. : Springer - LNCS, 2015, v. 9463, p. 110-130.

4.
CORRADINI, Andrea ; GADDUCCI, F. ; RIBEIRO, L. . An institution for graph transformations. In: Till Mossakowaki; Hans-Jörg Kreowski. (Org.). Recent Trends in Algebraic Development Techniques. Berlim: Springer, 2012, v. 7137, p. 160-174.

5.
FOSS, L. ; CORRADINI, Andrea ; RIBEIRO, L. . Graph transformation with dependencies for the specification of interactive systems. Recent Trends in Algebraic Development Techniques. : Springer - LNCS Vol. 5486, 2009, v. , p. 102-118.

6.
FOSS, L. ; COSTA, S. A. ; LORETO, A. B. ; RIBEIRO, L. . Especificação de sistemas baseados em objetos com gramáticas de grafos. Desafios e Avanços em Computação: o estado da arte. : Editora e Gráfica Universitária UFPel, 2009, v. , p. 15-32.

7.
RIBEIRO, L.; DOTTI, F. L. . Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. In: Degano, Pierpaolo; Nicola, Rocco de; Meseguer, José. (Org.). Concurrency, Graphs and Models. Berlin: Springer, Série LNCS, 2008, v. 5065, p. 133-150.

8.
FERREIRA, A. P. L. ; RIBEIRO, L. . Programação orientada a objetos com grafos. In: K. Breitman; R. Anido. (Org.). Atualizações em Informática. : Editora PUC Rio, 2006, v. 1, p. 387-452.

9.
RIBEIRO, L.; DOTTI, F. L. ; BARDOHL, R. . A Formal Framework for the Development of Concurrent Object-Based Systems. In: Hans-Jörg Kreowski; Ugo Montanari; Fernando Orejas; et al.. (Org.). Formal Methods in Software and Systems Modeling. : Springer, 2005, v. 3393, p. 385-401.

10.
BALDAN, Paolo ; CORRADINI, Andrea ; MONTANARI, Ugo ; RIBEIRO, L. . Correflective concurrent semantics for single pushout graph grammars. In: Martin Wirsing; Dirk Pattinson; Rolf Hennicker. (Org.). Recent Trends in Algebraic Development Techniques. : Springer, 2003, v. 2755, p. 165-184.

11.
RIBEIRO, L.. Métodos formais de especificação: Gramáticas de grafos. In: SBC Sul. (Org.). VIII Escola de Informática da SBC-Sul. Porto Alegre: Editora da UFRGS, 2000, v. , p. 1-33.

12.
DOTTI, F. L. ; RIBEIRO, L. . Specification of mobile code using graph grammars. In: Scott Smith; Carolyn Talcott. (Org.). Formal Methods for Open Object-Based Distributed Systems IV. Norwell, EUA: Kluwer Academic Publishers, 2000, v. , p. 45-64.

13.
EHRIG, H. ; HECKEL, R. ; KORFF, M. ; LOWE, M. ; RIBEIRO, L. ; WAGNER, A. . Algebraic approaches to graph transformations Part II: SPO approach and comparison with DPO approach. In: Gregorz Rozenberg. (Org.). Handbook of Graph Grammars. : World Scientific, 1997, v. , p. -.

14.
RIBEIRO, L.; MENEZES, P. . A graph transformation framework for concurrent systems. In: ?. (Org.). Advances in Cybernetics. : , 1997, v. IV, p. 85-89.

Trabalhos completos publicados em anais de congressos
1.
AZZI, G. G. ; CORRADINI, Andrea ; RIBEIRO, L. . On the Essence and Initiality of Conflicts. In: International Conference on Graph Transformation (ICGT), 2018, Toulouse, França. Graph Transformation - LNCS. Berlin: Springer International Publishing, 2018. v. 10887. p. 99-117.

2.
CORRADINI, A. ; DUVAL, D. ; ECHAHED, R. ; PROST, F. ; RIBEIRO, L. . The Pullback-Pushout Approach to Algebraic Graph Transformation. In: International Conference on Graph Transformation, 2017. Graph Transformation, 2017. v. 10373. p. 3-19.

3.
DUARTE, L. M. ; RIBEIRO, L. . Graph Grammar Extraction from Source Code. In: Simpósio Brasileiro de Métodos Formais (SBMF), 2017, Recife. Formal Methods: Foundations and Applications, LNCS. Berlin: Springer International Publishing, 2017. v. 10623. p. 52-69.

4.
CORRADINI, A. ; DUVAL, D. ; PROST, F. ; RIBEIRO, L. . Parellelism in AGREE Transformations. In: International Conference on Graph Transformation, 2016, Viena, Austria. Graph Transformation, 2016. v. 9761. p. 37-53.

5.
CORRADINI, Andrea ; DUVAL, D. ; ECHAHED, R. ; PROST, F. ; RIBEIRO, L. . AGREE - Algebraic Graph Rewriting with Controlled Embedding. In: International Conference on Graph Transformation, 2015, Roma, Itália. Graph Transformation - 8th International Conference, ICGT 2015, 2015. v. 9151. p. 35-51.

6.
MACHADO, R. ; RIBEIRO, L. ; HECKEL, R. . Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems. In: International Conference on Graph Transformation, 2015, Roma, Itália. Graph Transformation - 8th International Conference, ICGT 2015, 2015. v. 9151. p. 171-186.

7.
COSTA, A. ; CAVALHEIRO, S. A. C. ; FOSS, L. ; RIBEIRO, L. . From UML diagrams to simulink models: a precise and verified translation. In: ACM Symposium on Applied Computing, 2015, Salamanca, Espanha. Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015. p. 1547-1552.

8.
DUVAL, D. ; ECHAHED, R. ; PROST, F. ; RIBEIRO, L. . Transformation of Attributed Structures with Cloning. In: FASE - - 17th International Conference on Fundamental Approaches to Software Engineering, 2014, Grenoble. Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, 2014. v. 8411. p. 310-324.

9.
RIBEIRO, L.; COTA, E. ; DUARTE, L. M. ; OLIVEIRA JUNIOR, M. A. . Improving the Quality of Use Cases via Model Construction and Analysis. In: WADT - 22nd International Workshop on Algebraic Development Techniques, 2014, Sinaia. 22nd International Workshop on Algebraic Development Techniques, 2014. p. 1-15.

10.
COSTA, S. A. ; FOSS, L. ; RIBEIRO, L. . Proving Properties of Concurrent Systems using Graph Transformations and Event-B. In: WADT - 22nd International Workshop on Algebraic Development Techniques, 2014, Sinaia. 22nd International Workshop on Algebraic Development Techniques, 2014.

11.
RIBEIRO, L. A. ; SILVA, P. P. ; RIBEIRO, L. ; DOTTI, F. L. . Modelling the impacts of policies on microalgae fuel feedstocks diffusion. In: 14th IAEE European Energy Conference, 2014, Roma. Sustainable Energy Policy and Strategies for Europe, 2014.

12.
CORRADINI, Andrea ; RIBEIRO, L. ; DOTTI, F. L. ; MENDIZABAL, O. . A Formal Model for the Deferred Update Replication Technique. In: TGC - 8th International Symposium Trustworthy Global Computing, 2013, Buenos Aires. Trustworthy Global Computing - 8th International Symposium, TGC 2013, 2013. v. 8358. p. 235-253.

13.
RIBEIRO, L.; NUNES, D. J. ; CRUZ, M. K. ; MATOS, E. S. . Computational Thinking: Possibilities and Challenges. In: 2nd Workshop-School on Theoretical Computer Science, 2013, Rio Grande. WEIT - 2nd Workshop-School on Theoretical Computer Science, 2013. p. 22-25.

14.
OLIVEIRA JUNIOR, M. A. ; RIBEIRO, L. ; DUARTE, L. M. ; COTA, E. . Specification of Models Based on Contexts using Graph Grammars. In: WEIT 2013 2nd Workshop-School on Theoretical Computer Science, 2013, Rio Grande. Theoretical Computer Science (WEIT), 2013 2nd Workshop-School on, 2013. p. 129-134.

15.
Dotti, Fernando Luís ; RIBEIRO, L. . Modeling communication semantics for distributed systems in Event-B. In: Workshop de Testes e Tolerância a Falhas, 2012, Ouro Preto. Workshop de Testes e Tolerância a Falhas - WTF 2012, 2012. p. 1-12.

16.
COSTA, S. A. ; FOSS, L. ; RIBEIRO, L. . Specification Patterns for Properties over Reachable States of Graph Grammars. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal. Formal Methods: Foundations and Applications, 2012. v. 7498. p. 83-98.

17.
RIBEIRO, L.; Dotti, Fernando L. . Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. In: WEIT Workshop-School on Theoretical Computer Science, 2011, Pelotas. Workshop-School on Theoretical Computer Science, 2011. p. 15-20.

18.
OTERO, J. C. ; DILLENBURG, F. ; WAGNER, F. R. ; RIBEIRO, L. . Formal verification of a deadlock recovering algorithm for heterogeneous NoC routing support. In: DSNOC - Workshop on Diagnostic Services in Network-on-Chips, 2011, San Diego. Workshop on Diagnostic Services in Network-on-Chips, 2011. p. 279-213.

19.
RIBEIRO, L.; DOTTI, F. L. ; COSTA, S. A. ; DILLENBURG, F. . Towards theorem proving graph grammars. In: International Colloquium on Graph and Model Transformation, 2010, Berlim. Relatório Técnico da Universidade Técnica de Berlim - FB IV, 2010. v. 2010-1. p. 122-135.

20.
RIBEIRO, L.; FOSS, L. ; Bruno da Silva ; NUNES, D. . Model transformation using graph transactions. In: International Conference on Software Reuse, 2009, Washington. Formal Foundations of Reuse and Domain Engineering, 2009. v. 5791. p. 95-105.

21.
COSTA, S. A. ; RIBEIRO, L. ; DOTTI, F. L. ; Antônio Carlos da Rocha Costa . Using attributed graph grammars to verify properties of a mobile Internet protocol. In: XXXV Conferência Latino-mericana de Informática, 2009, Pelotas. CLEI 2009, 2009.

22.
FOSS, L. ; MACHADO, R. ; RIBEIRO, L. . Aspects for graph grammars. In: 10th International Workshop on Graph Transformations and Visual Modeling Techniques, 2009, York. GT-VMT 2009, 2009.

23.
MACHADO, R. ; RIBEIRO, L. ; HECKEL, R. . Modeling and reasoning over distributed systems with aspect-oriented graph grammars. In: 10th International Workshop on Rule-Based Programming, 2009, Brasília. RULE 2009, 2009.

24.
Ramon Medrado ; RIBEIRO, L. . Graph Grammars as a Formal Foundation for Biological Process Diagrams. In: XXXV Conferência Latino-mericana de Informática, 2009, Pelotas. CLEI 2009, 2009.

25.
DOTTI, F. L. ; ILIASOV, A. ; RIBEIRO, L. ; ROMANOWSKY, A. . Modal Systems: Specification, Refinement and Realisation. In: 11th International Conference on Formal Engineering Methods ICFEM 2009, 2009, Rio de Janeiro. Formal Methods and Software Engineering, 2009. p. 601-619.

26.
RUBBO, F. ; MACHADO, R. ; MOREIRA, A. F. ; RIBEIRO, L. ; NUNES, D. . On the interaction of Advices and Raw Types in AspectJ. In: XII Simpósio Brasileiro de Linguagens de Programação, 2008, Fortaleza. XII Simpósio Brasileiro de Linguagens de Programação - Anais, 2008. p. 103-116.

27.
COSTA, S. A. ; RIBEIRO, L. . Formal verification of graph grammars using mathematical induction. In: Brazilian Symposium on Formal Methods, 2008, Salvador. Proceedings of the SBMF 2008, 2008. p. 161-176.

28.
MOREIRA, A. F. ; COTA, E. ; RIBEIRO, L. ; GASPARY, L. ; CARRO, L. ; RITT, M. ; WEBER, T. . Em direção a um modelo para desenvolvimento de sistemas computacionais de qualidade para aplicações onivalentes. In: SEMISH - XXXIV Seminário Integrado do Software e Hardware, 2007, Rio de Janeiro. XXVII Congresso da Sociedade Brasileira de Computação, 2007. v. 1. p. 2262-2276.

29.
LAMB, L. C. ; VILLAVICENZIO, A. ; IDIART, M. ; BURIOL, L. ; RIBEIRO, L. ; SILVA, R. . Modelagem de sistemas computacionais complexos: Em direção a uma fundamentação científica e aplicações tecnológicas. In: SEMISH - XXXIV Seminário Integrado do Software e Hardware, 2007, Rio de Janeiro. XXVII Congresso da Sociedade Brasileira de Computação, 2007. v. 1. p. 2113-2127.

30.
FOSS, L. ; MACHADO, R. ; RIBEIRO, L. . Graph productions with dependencies. In: SBMF - Simpósio Brasileiro de Métodos Formais, 2007, Ouro Preto. Brazilian Symposium on Formal Methods, 2007.

31.
FERREIRA, A. P. L. ; FOSS, L. ; RIBEIRO, L. . Formal Verification of Object-Oriented Graph Grammars Specifications. In: Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006), 2007, Bonn (Alemanha). Electronic Notes in Theoretical Computer Science, 2006. v. 174. p. 101-114.

32.
BALDAN, Paolo ; CORRADINI, Andrea ; DOTTI, F. L. ; FOSS, L. ; GADDUCCI, F. ; RIBEIRO, L. . Towards a Notion of Transaction in Graph Rewriting. In: GT-VMT 2006 - GT-VMT06 - 5th International Workshop on Graph Transformation, 2006, Viena. Proc. of the 5th International Workshop on Graph Transformation, 2006. v. 1. p. 1-12.

33.
MICHELON, L. ; COSTA, S. A. ; RIBEIRO, L. . Specification of real-time systems with graph grammars. In: XX Simpópsio Brasileiro de Engenharia de Software - SBES 06, 2006, Florianópolis. Anais do XX Simpósio Brasileiro de Engenharia de Software, 2006. p. 97-112.

34.
PINTO, M. C. ; FOSS, L. ; MOMBACH, J. C. M. ; RIBEIRO, L. . Modeling and property verification of lactose operon regulation. In: Brazilian Symposium on Bioinformatics, 2005, São Leopoldo. Advances in Bioinformatics and Computational Biology, 2005. v. 3594. p. 95-106.

35.
MENDIZABAL, O. ; DOTTI, F. L. ; RIBEIRO, L. . Stochastic Object-Based Graph Grammars. In: Simpósio Brasileiro de Métodos Formais, 2005, Porto Alegre. SBMF 2005, 2005. p. 128-143.

36.
FERREIRA, A. P. L. ; RIBEIRO, L. . A Graph-based Semantics For Object-oriented Programming Constructs. In: 10th Conference on Category Theory in Computer Science (CTCS 2004), 2005, Copenhagen. Electronic Notes in Theoretical Computer Science, 2004. v. 122. p. 89-104.

37.
CORRADINI, Andrea ; DOTTI, F. L. ; FOSS, L. ; RIBEIRO, L. . Translating Java code to graph transformation systems. In: International Conference on Graph Transformation, 2004, Roma, Itália. Proceeding of the 2nd. International Conference on Graph Transformation (ICGT 2004), 2004. v. 3256. p. 383-398.

38.
FERREIRA, A. P. L. ; RIBEIRO, L. . Derivations in object-oriented graph grammars. In: International Conference on Graph Transformation, 2004, Roma, Itália. Proceeding of the 2nd International Conference on Graph Transformation (ICGT 2004), 2004. v. 3256. p. 416-430.

39.
SANTOS, O. M. ; DOTTI, F. L. ; RIBEIRO, L. . Verifying Object-Based Graph Grammars. In: Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2004), 2004, Barcelona (Espanha). Electronic Notes in Theoretical Computer Science, 2004. v. 109. p. 125-136.

40.
DOTTI, F. L. ; FOSS, L. ; RIBEIRO, L. ; SANTOS, O. M. . Especificação e verificação formal de sistemas distribuidos. In: 17o. Simpósio Brasileiro de Engenharia de Software (SBES), 2003, Manaus. 17o. Simpósio Brasileiro de Engenharia de Software, 2003. v. 1. p. 225-240.

41.
DOTTI, F. L. ; RIBEIRO, L. ; SANTOS, O. M. . Specification and analysis of fault behaviors using graph grammars. In: Application of Graph Transformation with Industrial Relevance, 2003, Charlottesville. AGTIVE'2003 - Applications of Graph Transformation with Industrial Relevance, 2003. v. 3062. p. 120-133.

42.
DOTTI, F. L. ; FOSS, L. ; RIBEIRO, L. ; SANTOS, O. M. . Verification of distributed object-based systems. In: 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 2003, Paris. FMOODS'2003 - 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 2003. v. 2884. p. 261-275.

43.
FERREIRA, A. P. L. ; RIBEIRO, L. . Towards object-oriented graphs and grammars. In: 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 2003, Paris. FMOODS'2003 - 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 2003. v. 2884. p. 16-31.

44.
FOSS, L. ; RIBEIRO, L. . A translation of object-based hypergraph grammars into pi-calculus. In: 6th Workshop on Formal Methods, 2003, Campina Grande. WMF'2003 - 6th Workshop on Formal Methods, 2003. v. 1. p. 1-16.

45.
MASHUDA, C. R. Y. ; RIBEIRO, L. ; KIST, T. B. L. . Algoritmo molecular utilizando fluoroforos para resolução do problema do caixeiro viajante. In: Conferência Latino Americana de Informática, 2003, La Paz. Anais da XXIX Conferencia CLEI' 2003, 2003. v. 1. p. 1-8.

46.
MASHUDA, C. R. Y. ; RIBEIRO, L. ; KIST, T. B. L. . Computação com DNA para resolução de problemas de otimização. In: Escola Regional de Informática da Sociedade Brasileira de Computação, 2003, Paraná. Anais da XI Escola Regional de Informática da Sociedade Brasileira de Computação, 2003.

47.
DUARTE, L. M. ; DOTTI, F. L. ; COPSTEIN, B. ; RIBEIRO, L. . Simulation of Mobile Applications. In: CNDS 2002 - Communication Networks and Distributed Systems Modeling and Simulation Conference, 2002, San Antonio. Proceedings of CNDS 2002, 2002. v. 1. p. 1-15.

48.
LORETO, A. B. ; RIBEIRO, L. ; TOSCANI, L. V. . Decidability and tractability of a problem in object-based graph grammars. In: 17th IFIP World Computer Congress - Theoretical Computer Science, 2002, Montreal. Proc. of TCS 2002 - Theoretical Computer Science, 2002. v. 1. p. 396-408.

49.
RIBEIRO, L.; MONTANARI, Ugo . Linear ordered graph grammars and their algebraic foundations. In: International Conference on Graph Transformation (ICGT 2002), 2002, Barcelona, Espanha. Graph Transformation, 2002. v. 2505. p. 317-333.

50.
CERVO, L. V. ; RIBEIRO, L. . DNA-based modeling of parallel algorithms. In: I Worksop Brasileiro de Bioinformática, 2002, Gramado. WOB 2002 - I Workshop Brasileiro de Bioinformática, 2002. v. 1. p. 16-23.

51.
CORRADINI, Andrea ; DOTTI, F. L. ; RIBEIRO, L. . A graph transformation view on the specification of applications using mobile code. In: 2nd International Workshop on Graph Transformations and Visula Modeling Techniques, 2001, Creta, Grécia. Proc. of the Satellite Wokrshops of the 28th International Colloquium on Automata, Languages and Programming (ICALP'01), 2001. v. 1. p. 240-248.

52.
LORETO, A. B. ; RIBEIRO, L. ; TOSCANI, L. V. . Decidibilidade e tratabilidade de gramáticas de grafos orientadas a objeto. In: IV Workshop de Métodos Formais, 2001, Rio de Janeiro, Brasil. Proc. of IV WMF Workshop on Formal Methods, 2001. v. 1. p. 129-140.

53.
BARBOSA, M. A. ; TOSCANI, L. V. ; RIBEIRO, L. . Apoio ao ensino de complexidade de algoritmos. In: III Simpósio Internacional de Informática Educativa, 2001, Viseu. Proc. 3º Simpósio Internacional Informática Educativa, 2001. v. 1. p. 1-5.

54.
BARBOSA, M. A. ; TOSCANI, L. V. ; RIBEIRO, L. . ANAC - Uma ferramenta para análise automática da complexidade de algoritmos. In: XXVII Conferencia Latinoamericana de Informática (CLEI 2001), 2001, Mérida, Venezuela. Proc. CLEI 2001, 2001. v. 1. p. 1-8.

55.
DOTTI, F. L. ; RIBEIRO, L. . Code mobility in open systems: a formal apporach. In: PDPTA'00 - Parallel and Distributed Processing Techniques and Applications, 2000, Las Vegas. International Conference on Parallel and Distributed Processing Techniques and Applications, 2000. v. V. p. 2401-2408.

56.
COPSTEIN, B. ; MÓRA, M. C. ; RIBEIRO, L. . An environment for formal modeling and simulation of control systems. In: ANSS'00 Annual Simulation Symposium, 2000, Washington. ANSS'00 Annual Simulation Symposium, 2000. p. 74-82.

57.
BARDOHL, R. ; ERMEL, C. ; RIBEIRO, L. . Towards visual specification and animation of Petri net based models. In: GRATRA 2000 Workshop on Graph Transformation Systems, 2000, Berlim. GRATRA 2000 Workshop on Graph Transformation Systems. Berlim: Technical University of Berlin, 2000. v. 1. p. 22-31.

58.
LORETO, A. B. ; RIBEIRO, L. ; TOSCANI, L. . Complexity analysis of reactive graph grammars. In: III Workshop de Métodos Formais (WMF 2000), 2000, João Pessoa. SBES´2000 - Workshops, 2000. v. 1. p. 193-204.

59.
BARDOHL, R. ; ERMEL, C. ; RIBEIRO, L. . A modular approach to animation of simulation models. In: XIV Simpósio Brasileiro de Engenharia de Software (SBES 2000), 2000, Joâo Pessoa. XIV Simpósio Brasileiro de Engenharia de Software, 2000. v. 1. p. 133-146.

60.
BARBOSA, M. A. ; TOSCANI, L. V. ; RIBEIRO, L. . Ferramenta para automatização da análise da complexidade de algoritmos. In: XI Simpósio Brasileiro de Informática na Educação (SBIE 2001), 2000, Maceió, Brazil. Proc. XI Simpósio Brasileiro de Informática na Educação, 2000. v. 1. p. 160-166.

61.
RIBEIRO, L.; COPSTEIN, B. . Compositional construction of simulation models using graph grammars. In: AGTIVE - Applications of Graph Transformation with Industrial Relevance, 1999, Rolduc. AGTIVE - Applications of Graph Transformation with Industrial Relevance, 1999.

62.
RIBEIRO, L.; COPSTEIN, B. ; MÓRA, M. C. . Formal development of control systems using simulation. In: II Workshop Brasileiro de Métodos Formais (WMF 1999), 1999, Florianópolis. WMF99 - II Workshop Brasileiro de Métodos Formais, 1999. v. 1. p. 1-8.

63.
RIBEIRO, L.; COPSTEIN, B. . Specifying simulation models using graph grammars. In: ESS98 - European Simulation Symopsium, 1998, Nottinhgham. ESS98 Proceedings, 1998. p. 60-64.

64.
RIBEIRO, L.; MENEZES, P. ; DIVERIO, T. ; NUNES, D. ; RODRIGUES, V. ; TOSCANI, L. . Desenvolvimento da área formal da computação no Instituto de Informática da UFRGS. In: WMF98 - I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. I Workshop Brasileiro de Métodos Formais, 1998. p. 1-12.

65.
RIBEIRO, L.; KORFF, M. . Graph grammars for the specificaiton of concurrent systems. In: IX SBES - Simpósio Brasileiro de Engenharia de Software, 1998, Fortaleza. IX Simpósio Brasileiro de Engenharia de Software, 1998. p. 199-214.

66.
RIBEIRO, L.; KORFF, M. . Graph grammars. In: I Workshop em Qualidade de Software, 1997, Porto Alegre. I Workshop em Qualidade de Software, 1997. p. 88-104.

67.
RIBEIRO, L.. Object-oriented AHL-nets. In: IS-CORE Workshop on correctness and reusability of software, 1994, Amsterdam. IS-CORE Workshop on correctness and reusability of software, 1994. v. 357.

Resumos expandidos publicados em anais de congressos
1.
NUNES, D. ; MOREIRA, A. F. ; RIBEIRO, L. . Formal Methods at SBES: Evolution and Perspectives. In: Simpósio Brasileiro de Engenharia de Software, 2011, São Paulo. 25th Brazilian Symposium on Software Engineering, 2011. p. 1-3.

2.
RIBEIRO, L.; BURIOL, L. ; DOTTI, F. L. ; NUNES, C. ; SILVA, R. . Modeling the webgraph evolution with graph grammars. In: PNGT - Workshop on Petri Nets and Graph Transformations, 2006, Natal. Petri Nets and Graph Transformations, 2006. p. 17-18.

3.
PINTO, M. C. ; RIBEIRO, L. . Modeling metabolic pathways using graph grammars. In: III Brazilian Workshop on Bioinformatics (WOB 2004), 2004, Brasília. Terceiro Workshop Brasileiro de Bioinformática (WOB), 2004. v. 1. p. 154-157.

Resumos publicados em anais de congressos
1.
BALDAN, Paolo ; CORRADINI, Andrea ; FOSS, L. ; GADDUCCI, F. ; RIBEIRO, L. . Graph transactions as a basis for graph transformation modules. In: 18th International Workshop on Algebraic Development Techniques, 2006, La Roche en Ardenne. 18th International Workshop on Algebraic Development Techniques, 2006. p. 21-21.

2.
PINTO, M. C. ; RIBEIRO, L. . Modeling Metabolic and Regulatory Networks using Graph Transformations. In: Workshop on Petri nets and Graph Transformations, 2004, Roma, Itália. Proceedings of the Workshop on Petri nets and Graph Transformations (PNGT 2004), 2004. v. 1. p. 1-2.

3.
BALDAN, Paolo ; CORRADINI, Andrea ; MONTANARI, Ugo ; RIBEIRO, L. . Correflective concurrent semantics for single pushout graph grammars. In: 16th Intrenational Workshop on Algebraic Development Techniques, 2002, Frauenchiemsee. Proc. 16th International Workshop on Algebraic Development Techniques,WADT 2002,, 2002. v. 1. p. 1-4.

4.
BARDOHL, R. ; RIBEIRO, L. . Towards a Compositional Approach to Define Graphical Animation of Software Applications. In: Visual Languages and Formal Methods (VLFM'01), 2001, Stresa, Itália. IEEE Symposia on Human-Centric Computing Languages and Environments, 2001. v. 1. p. 38-40.

5.
RIBEIRO, L.; BARDOHL, R. . Specifying a graph grammar editor for reactive systems. In: WMF98 - I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. I Workshop Brasileiro de Métodos Formais, 1998. p. 90-93.

6.
RIBEIRO, L.; KORFF, M. . True concurrency model for read/write access systems. In: 4th Wollic - Workshop on Logic, Language , Information and Computation, 1997, Fortaleza. 4th Wollic - Workshop on Logic, Language , Information and Computation, 1997. p. 51-54.

7.
RIBEIRO, L.. Parallel composition of graph grammars. In: Dagstuhl Workshop on Graph Grammars, 1996, Dagstuhl. Dagstuhl seminar report, 1996. v. 155. p. 9-10.

8.
RIBEIRO, L.; KORFF, M. . An attributed graph transformation approach to the behaviour of AHL-nets. In: 5th International Workshop on Graph Grammars, 1994, Williamsburg. 5th International Workshop on Graph Grammars, 1994. p. 133-138.

Resumos publicados em anais de congressos (artigos)
1.
RIBEIRO, L.;Ribeiro, Leila1998RIBEIRO, L.. Occurrence graph grammars. Logic Journal Of The Igpl, Oxford, v. 6, n.6, p. 928-929, 1998.

2.
RIBEIRO, L.;Ribeiro, Leila1995RIBEIRO, L.; KORFF, M. . Concurrent derivations as single-pushout graph grammar processes. Eletronic Notes In Theoretical Computer Science, v. 2, 1995.

Apresentações de Trabalho
1.
RIBEIRO, L.; TUTTMAN, M. . Painel sobre ?Computação na BNCC?. 2018. (Apresentação de Trabalho/Conferência ou palestra).

2.
RIBEIRO, L.; SIRQUEIRA, I. C. P. ; PEREIRA, L. V. . Mesa-Redonda: ?O pensamento computacional na Educação Básica: O que esperar?. 2018. (Apresentação de Trabalho/Conferência ou palestra).

3.
RIBEIRO, L.. Painel sobre Computação na Educação Básica ? CSBC17. 2017. (Apresentação de Trabalho/Conferência ou palestra).

4.
RIBEIRO, L.. O que é Computação? Da Máquina de Turing ao Pensamento Computacional. 2012. (Apresentação de Trabalho/Conferência ou palestra).

5.
RIBEIRO, L.. Painel sobre Pensamento Computacional/WEIT2011. 2011. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
RIBEIRO, L.; FOSS, L. ; CAVALHEIRO, S. A. C. . Entendendo o Pensamento Computacional. Cornell University Library, 2017 (Relatório técnico).

2.
CARVALHO, A. P. L. ; RIBEIRO, L. ; et alli . Grandes Desafios da Pesquisa em Computação no Brasil 2006-2016. SBC, 2006 (Relatório).

3.
RIBEIRO, L.; KORFF, M. . Métodos formais de especificação: Gramáticas de Grafos 1997 (Livro para escola).

4.
RIBEIRO, L.. Parallel composition and unfolding semantics of graph grammars 1996 (Tese de doutorado).

5.
RIBEIRO, L.. A telephone´s system specification using graph grammars 1996 (Relatório técnico).


Demais tipos de produção técnica
1.
RIBEIRO, L.. Minicurso: 'Computação na Educação Básica: O que ensinar, quando e como?. 2018. (Curso de curta duração ministrado/Outra).

2.
RIBEIRO, L.; DUARTE, L. M. ; MACHADO, R. . Coordenadora do evento nacional WEIT2015. 2015. (Coordenação).



Bancas




Participação em bancas de comissões julgadoras
Concurso público
1.
RIBEIRO, L.. Concurso Prof. na área de Qualidade de Software e Aprimoramento do Processo. 2010. Universidade Federal do Pampa.

2.
RIBEIRO, L.; Bigonha, R.; MELO, A. C. V.. Concurso Profesor Adjunto. 2005. Universidade Federal do Rio Grande do Sul.

Outras participações
1.
RIBEIRO, L.. Prêmio Jovem Cientista. 2012. Conselho Nacional de Desenvolvimento Científico e Tecnológico.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
SECOMU. Painel sobre Raciocínio Computacional e Interdisciplinaridade. 2016. (Congresso).

2.
WEI.Computação na Educação Básica. 2016. (Simpósio).

3.
Simpósio de Informática da regi!ão Centro do Rio Grande do Sul - SIRC/RS.O que é Computação? Da Máquina de Turing ao Pensamento Computacional. 2012. (Simpósio).

4.
SEMISH - Seminário Integrado de Software e Hardware.Os Desafios da Computação Biológica (Palestra convidada). 2007. (Seminário).

5.
Simpósio de Informática da regi!ão Centro do Rio Grande do Sul - SIRC/RS.Desafios da Computação Biológica. 2007. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
RIBEIRO, L.. SEFM - International Conference on Software Engineering and Formal Methods (Membro do Comitê de Programa). 2014. (Congresso).

2.
RIBEIRO, L.. ICGT - International Conference on Graph Transformation (Membro do Comtê de Programa). 2014. (Congresso).

3.
RIBEIRO, L.. SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2014. (Congresso).

4.
RIBEIRO, L.. SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2013. (Congresso).

5.
RIBEIRO, L.. SEFM - International Conference on Software Engineering and Formal Methods (Membro do Comitê de Programa). 2013. (Congresso).

6.
RIBEIRO, L.. GT-VMT - International Workshop on Graph Transformation and Visual Modeling Techniques (Coordenador do Comitê de Programa). 2013. (Congresso).

7.
RIBEIRO, L.. FORMATS - Formal Modelling and Analysis of Timed Systems (Membro do Comitê de Programa). 2013. (Congresso).

8.
RIBEIRO, L.. WEIT - Workshop-Escola de Informática Teórica (Coordenadora do Comitê de Programa). 2013. (Congresso).

9.
RIBEIRO, L.. LAFM - Latin American Workshop on Formal Methods (Coordenadora do Comitê de Programa). 2013. (Congresso).

10.
RIBEIRO, L.. SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2012. (Congresso).

11.
RIBEIRO, L.. SEFM - International Conference on Software Engineering and Formal Methods (Membro do Comitê de Programa). 2012. (Congresso).

12.
RIBEIRO, L.. ICGT - International Conference on Graph Transformation (Membro do Comtê de Programa). 2012. (Congresso).

13.
RIBEIRO, L.. SEMISH (Membro do Comitê de Programa). 2011. (Congresso).

14.
RIBEIRO, L.. SBES - Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2011. (Congresso).

15.
RIBEIRO, L.. SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2011. (Congresso).

16.
RIBEIRO, L.. AGTIVE - Applications of Graph Transformation with Industrial Relevance (Membro do Comitê de Programa). 2011. (Congresso).

17.
RIBEIRO, L.. SEFM - International Conference on Software Engineering and Formal Methods (Membro do Comitê de Programa). 2011. (Congresso).

18.
RIBEIRO, L.. SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2010. (Congresso).

19.
RIBEIRO, L.. SBES - Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2010. (Congresso).

20.
RIBEIRO, L.. AMAST - International Conference on Algebraic Methodology And Software Technology (Membro do Comitê de Programa). 2010. (Congresso).

21.
RIBEIRO, L.. SEMISH (Membro do Comitê de Programa). 2010. (Congresso).

22.
RIBEIRO, L.. FASE - Fundamental Aspects of Software Engineering (Membro do Comitê de Programa). 2010. (Congresso).

23.
RIBEIRO, L.. ICGT - International Conference on Graph Transformation (Membro do Comtê de Programa). 2010. (Congresso).

24.
RIBEIRO, L.. ICTAC - Internationa Colloquium on Theoretical Aspects of Computing (Membro do Comitê de Programa). 2010. (Congresso).

25.
RIBEIRO, L.. CTD - Concurso de Teses e Dissertações da SBC. 2010. (Congresso).

26.
RIBEIRO, L.. SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2009. (Congresso).

27.
RIBEIRO, L.. SBES - Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2009. (Congresso).

28.
RIBEIRO, L.. ICFEM - International Conference on Formal Engineering Methods (Membro do Comitê de Programa). 2009. (Congresso).

29.
RIBEIRO, L.. FM - International Symposium on Formal Methods (Membro do Comitê de Programa). 2009. (Congresso).

30.
RIBEIRO, L.. RULE - International Workshop on Rule-Based Programming (Membro do Comitê de Programa). 2009. (Congresso).

31.
RIBEIRO, L.. SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2008. (Congresso).

32.
RIBEIRO, L.. SBES - Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2008. (Congresso).

33.
RIBEIRO, L.. ICGT - International Conference on Graph Transformation (Membro do Comtê de Programa). 2008. (Congresso).

34.
RIBEIRO, L.. SEMISH (Membro do Comitê de Programa). 2008. (Congresso).

35.
RIBEIRO, L.. VODCA - International Workshop on Views On Designing Complex Architectures (Membro do Comitê de Programa). 2008. (Congresso).

36.
RIBEIRO, L.. AGTIVE - Applications of Graph Transformation with Industrial Relevance (Membro do Comitê de Programa). 2007. (Congresso).

37.
RIBEIRO, L.. SBES - Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2007. (Congresso).

38.
RIBEIRO, L.. SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2007. (Congresso).

39.
RIBEIRO, L.. BSB - Brazilian Symposium on Bioinformatics (Membro do Comitê de Programa). 2007. (Congresso).

40.
RIBEIRO, L.. FASE - Fundamental Approaches to Software Engineering (Membro do Comitê de Programa). 2007. (Congresso).

41.
RIBEIRO, L.. SEMISH - Seminário Integrado de Software e Hardware (Membro do Comitê de Programa). 2007. (Congresso).

42.
RIBEIRO, L.; MOREIRA, A. . International Conference on Graph Transformation (Organizadora Geral). 2006. (Congresso).

43.
RIBEIRO, L.; MONTANARI, Ugo . International Conference on Graph Transformation (Coordenadora do ComitIe de Programa). 2006. (Congresso).

44.
RIBEIRO, L.; MOREIRA, A. . Simpósio Brasileiro de Métodos Formais (Coordenadora do Comitê de Programa). 2006. (Congresso).

45.
RIBEIRO, L.. FASE - Fundamental Approaches to Software Engineering (Membro do ComitIe de Programa). 2006. (Congresso).

46.
RIBEIRO, L.; MOREIRA, A. . SBMF - Brazilian Symposium on Formal Methods (Organizadora). 2006. (Concurso).

47.
RIBEIRO, L.. SBES - Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2006. (Congresso).

48.
RIBEIRO, L.. BSB05 - Brazilian Symposium on Bioinformaics (Membro do Comitê de Programa). 2005. (Congresso).

49.
RIBEIRO, L.; MOREIRA, A. F. . SBMF - Brazilian Symposium on Formal Methods (Organizadora). 2005. (Congresso).

50.
RIBEIRO, L.. SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2005. (Congresso).

51.
RIBEIRO, L.. SBES - Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2005. (Congresso).

52.
RIBEIRO, L.. SBES - Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2004. (Congresso).

53.
RIBEIRO, L.. SBMF - Simpósio Brasileiro de Métodos Formais (Membro do Comitê de Programa). 2004. (Congresso).

54.
RIBEIRO, L.. XVII Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2003. (Congresso).

55.
RIBEIRO, L.. VI Workshop de Métodos Formais (Membro do Comitê de Programa). 2003. (Congresso).

56.
RIBEIRO, L.. 2nd Theoretical Computer Science Conference (TCS 2002), Membro do Comitê de Programa. 2002. (Congresso).

57.
RIBEIRO, L.. 6th World Conference on Integrated Design & Process Technology (IDPT'2002), Membro do Comitê de Programa. 2002. (Congresso).

58.
RIBEIRO, L.. XVI Simpósio Brasileiro de Engenharia de Software (Presidente do Comitê de Programa e Coordenadora do Comitê Organizador). 2002. (Congresso).

59.
RIBEIRO, L.. XV Simpósio Brasileiro de Engenharia de Software (Membro do Comitê de Programa). 2001. (Congresso).

60.
RIBEIRO, L.. IV Workshop de Métodos Formais (Membro do Comitê de Programa). 2001. (Congresso).

61.
RIBEIRO, L.. III Workshop de Metodos Formais - Presidente do Comitê de Programa. 2000. (Congresso).

62.
RIBEIRO, L.. XVI Simpósio Brasileiro de Engenharia de Software - Membro do Comitê de Programa. 2000. (Congresso).

63.
RIBEIRO, L.. XIII Simpósio Brasileiro de Engenharia de Software - Membro do Comitê de Programa. 1999. (Congresso).

64.
RIBEIRO, L.. III Simpósio Brasileiro de Linguagens de Programação - Membro do Comitê de Programa. 1999. (Congresso).

65.
RIBEIRO, L.. I Workshop de Métodos Formais - Membro do Comitê de Programa. 1998. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Diogo Raphael Cravo. Geração de testes de gramáticas de gratos. Início: 2018. Dissertação (Mestrado profissional em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul. (Orientador).

2.
Alexandre Flores John. Extração de modelos. Início: 2018. Dissertação (Mestrado profissional em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul. (Orientador).

3.
Guilherme Grochau Azzi. Verificação de transformações de grafos usando prova de teoremas. Início: 2017. Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

4.
Andrei Costa. Estudo de Conflitos entre Regras de Segunda Ordem em Sistemas de Reescrita de Grafos. Início: 2017. Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

5.
Jonas Santos Bezerra. Verificação de integração entre casos de uso. Início: 2017. Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Marcos Antonio de Oliveira Junior. Especificação e análise de sistemas através de gramática de grafos. 2016. Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Ribeiro.

2.
paulo roberto lummertz. Metamodelo de interfaces do usuário baseado em grafos. 2013. Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

3.
Ramon Medrado. Formalização de uma Linguagem Visual para Descrição de Sistemas Biológicos. 2009. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Leila Ribeiro.

4.
Leonardo Michelon. Gramáticas de grafos baseada em objetos com tempo. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Ribeiro.

5.
Cristiane Regina Mashuda. Computação com DNA para a resolução de problemas de otimização. 2004. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

6.
Luciana Foss. Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-pi. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Ribeiro.

7.
Daniela Russi. Representação e análise de gramáticas de grafos. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

8.
Leonardo Vieira Cervo. Modelagem e simulação de algoritmos paralelos baseados em operações com DNA. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

9.
Eduardo Pretz. Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos. 2000. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

10.
Marcelo Cunha dos Santos. Relações formais entre redes de Petri e gramáticas de grafos. 1999. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Leila Ribeiro.

Tese de doutorado
1.
Fabiane Cristine Dillenburg. An Approach for Analyzing and Classifying Microarray Data Using Gene Co-expression Networks Cycles. 2017. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Leila Ribeiro.

2.
Rodrigo Machado. Higher-Order Graph Rewriting Systems. 2012. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

3.
Simone André da Costa. Relational Approach of Graph Grammars. 2010. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

4.
Luciana Foss. Transactional graph transformation systems. 2008. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Leila Ribeiro.

5.
Aline Brum Loreto. Análise da complexidade computacional de problemas de estatística descritiva com entradas intervalares. 2006. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.

6.
Ana Paula Luedtke Ferreira. Object-oriented graph grammars. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Leila Ribeiro.



Educação e Popularização de C & T



Apresentações de Trabalho
1.
RIBEIRO, L.. O que é Computação? Da Máquina de Turing ao Pensamento Computacional. 2012. (Apresentação de Trabalho/Conferência ou palestra).

2.
RIBEIRO, L.; TUTTMAN, M. . Painel sobre ?Computação na BNCC?. 2018. (Apresentação de Trabalho/Conferência ou palestra).

3.
RIBEIRO, L.; SIRQUEIRA, I. C. P. ; PEREIRA, L. V. . Mesa-Redonda: ?O pensamento computacional na Educação Básica: O que esperar?. 2018. (Apresentação de Trabalho/Conferência ou palestra).


Cursos de curta duração ministrados
1.
RIBEIRO, L.. Minicurso: 'Computação na Educação Básica: O que ensinar, quando e como?. 2018. (Curso de curta duração ministrado/Outra).



Outras informações relevantes


Página sobre Computação no Ensino Básico: www.computacaonaescola.com.br



Página gerada pelo Sistema Currículo Lattes em 15/10/2018 às 10:52:09