Leila Ribeiro

Dados pessoais

Lattes
Grupos de Pesquisa
Genealogia Acadêmica

Nacionalidade: Brasileira
Grande área de atuação: Ciências Exatas e da Terra
Área de atuação: Ciência da Computação

Publicações

Total: 154

Área temática ASJC

Percentual das publicações classificadas

HS Ciências da Saúde
LS Ciências da Vida
MU Multidisciplinar
PS Ciências Físicas
SH Ciências Sociais e Humanidades

Categoria ASJC

Categorias ASJC mais frequentes

Nome	Vínculo	Grande área de atuação	Área de atuação
Nome	Vínculo	Grande área de atuação	Área de atuação
Aline Brum LORETO		Ciências Exatas e da Terra	Ciência da Computação
Aline Maria Santos ANDRADE		Ciências Exatas e da Terra	Ciência da Computação
Claudia Lage Rebello Da MOTTA		Ciências Exatas e da Terra	Ciência da Computação
Ecivaldo De Souza MATOS		Ciências Humanas	Educação
Jose Claudio Fonseca MOREIRA		Ciências Biológicas	Bioquímica
Lauro André RIBEIRO		Ciências Sociais Aplicadas	Arquitetura e Urbanismo
Luciana FOSS		Ciências Exatas e da Terra	Ciência da Computação
Luciano Paschoal GASPARY		Ciências Exatas e da Terra	Ciência da Computação
Sílvia Amélia BIM		Ciências Exatas e da Terra	Ciência da Computação
Simone André Da Costa CAVALHEIRO		Ciências Exatas e da Terra	Ciência da Computação

Figura 1

Número de publicações por ano e por tipo

Todas as publicações do perfil

Figura 2

Categorias ASJC mais frequentes por ano

A cor dos pontos identifica a categoria predominante

Figura 3

Mapa de calor das categorias ASJC por ano

Frequências absolutas; cores mais escuras indicam mais publicações. Todas as categorias ASJC e anos disponíveis, sem aplicar os filtros da página.

Escala: 0 → 5

Mapa de calor das categorias ASJC por ano
Categoria ASJC	1994	1995	1996	1997	1998	1999	2000	2001	2002	2003	2004	2005	2006	2007	2008	2009	2010	2011	2012	2013	2014	2015	2016	2017	2018	2019	2020	2021	2022	2023	2024	2025
2614 · Theoretical Computer Science	0	1	0	0	3	0	3	1	2	1	2	2	3	2	1	2	1	2	1	2	0	1	0	1	2	2	1	0	0	0	0	1
1703 · Computational Theory and Mathematics	0	0	1	0	2	0	2	1	0	1	1	1	2	1	1	3	1	0	1	0	2	3	0	1	1	0	0	0	0	0	0	0
1701 · Computer Science (miscellaneous)	1	0	0	1	0	0	1	2	1	2	2	0	0	4	2	2	0	1	1	1	0	0	1	0	0	0	1	0	0	0	0	1
1712 · Software	2	0	0	1	1	0	0	0	0	1	1	2	3	0	1	1	0	1	1	0	1	0	0	0	0	0	1	1	0	0	0	0
1706 · Computer Science Applications	0	0	0	0	0	0	3	1	1	1	0	0	0	0	0	0	0	0	0	0	0	1	1	0	0	0	0	0	1	0	0	1
3304 · Education	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0	0	0	0	5
1700 · General Computer Science	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0	0	0	0	0	0	0	1	1	0
1702 · Artificial Intelligence	0	0	0	1	0	0	1	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0
1312 · Molecular Biology	0	0	0	0	0	0	0	0	1	0	1	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1305 · Biotechnology	0	0	0	0	0	0	0	0	0	1	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1704 · Computer Graphics and Computer-Aided Design	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0
1705 · Computer Networks and Communications	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2105 · Renewable Energy; Sustainability and the Environment	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	1	0	0	0	0	0	0	0	0
2601 · Mathematics (miscellaneous)	0	0	0	1	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2605 · Computational Mathematics	0	0	1	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1308 · Clinical Biochemistry	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1309 · Developmental Biology	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0
1710 · Information Systems	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0
2207 · Control and Systems Engineering	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2602 · Algebra and Number Theory	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2604 · Applied Mathematics	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2606 · Control and Optimization	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2609 · Logic	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
3201 · Psychology (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0
3310 · Linguistics and Language	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0

Ano	Tipo	Registro	Área temática e categoria ASJC
	Tipo de Publicação	Registro	Área temática e categoria ASJC
2007	Trabalho em evento	Formal Verification of Object-Oriented Graph Grammars Specifications Ana Paula Luedtke FERREIRA; Luciana FOSS; Leila RIBEIRO Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006)	PS Computer Science (miscellaneous)
2007	Artigo em periódico	Unfolding semantics of graph transformation Leila RIBEIRO; Paolo BALDAN; Andrea CORRADINI; Ugo MONTANARI Information and Computation DOI 10.1016/j.ic.2006.11.004 ISSN 0890-5401	PS Theoretical Computer Science
2007	Artigo em periódico	Specification of real-time systerms with graph grammars Leila RIBEIRO; Leonardo MICHELON; Simone André Da COSTA Journal of the Brazilian Computer Society ISSN 0104-6500	PS Computer Science (miscellaneous)
2007	Artigo em periódico	Modeling; Property Verification and Behavioural Equivalence of Lactose Operon Marcelo Cezar PINTO; Luciana FOSS; José Carlos Merino MOMBACH; Leila RIBEIRO Computers in Biology and Medicine ISSN 0010-4825	LS Molecular Biology
2007	Artigo em periódico	Stochastic Graph Transformation Systems Odorico MENDIZABAL; Fernando Luís DOTTI; Leila RIBEIRO Electronic Notes in Theoretical Computer Science ISSN 1571-0661	PS Theoretical Computer Science
2006	Capítulo de livro	Programação orientada a objetos com grafos Ana Paula Luedtke FERREIRA; Leila RIBEIRO Atualizações em Informática ISBN 8587926195	PS Software
2006	Livro	Graph Transformations Andrea CORRADINI; Hartmut EHRIG; Ugo MONTANARI; Leila RIBEIRO; Grzegorz ROZENBERG — ISBN 3540388702	PS Theoretical Computer Science
2006	Livro	SBMF - Brazilian Symposium on Formal Methods Leila RIBEIRO; Anamaria MOREIRA — ISBN 8576690772	PS Theoretical Computer Science
2006	Trabalho em evento	Towards a Notion of Transaction in Graph Rewriting Paolo BALDAN; Andrea CORRADINI; Fernando Luís DOTTI; Luciana FOSS; Fabio GADDUCCI et al GT-VMT 2006 - GT-VMT06 - 5th International Workshop on Graph Transformation	PS Theoretical Computer Science
2006	Trabalho em evento	Specification of real-time systems with graph grammars Leonardo MICHELON; Simone André Da COSTA; Leila RIBEIRO XX Simpópsio Brasileiro de Engenharia de Software - SBES 06 ISBN 8576690799	PS Software
2006	Trabalho em evento	Graph transactions as a basis for graph transformation modules Paolo BALDAN; Andrea CORRADINI; Luciana FOSS; Fabio GADDUCCI; Leila RIBEIRO 18th International Workshop on Algebraic Development Techniques	PS Computational Theory and Mathematics
2006	Trabalho em evento	Modeling the webgraph evolution with graph grammars Leila RIBEIRO; Luciana BURIOL; Fernando Luís DOTTI; Cristina NUNES; Roberto Da SILVA PNGT - Workshop on Petri Nets and Graph Transformations	PS Computational Theory and Mathematics
2006	Artigo em periódico	Verifying Object-Based Graph Grammars: An Assume-Guarantee Approach Leila RIBEIRO; Fernando Luís DOTTI; Osmar Marqui Dos SANTOS; Fábio PASINI Software and Systems Modeling DOI 10.1007/s10270-006-0014-z ISSN 1619-1366	PS Software
2005	Capítulo de livro	A Formal Framework for the Development of Concurrent Object-Based Systems Leila RIBEIRO; Fernando Luís DOTTI; Roswhita BARDOHL Formal Methods in Software and Systems Modeling ISBN 3540249362	PS Software
2005	Livro	Brazilian Symposium on Formal Methods Augusto SAMPAIO; Álvaro Freitas MOREIRA; Leila RIBEIRO — ISBN 8576690594	PS Theoretical Computer Science
2005	Trabalho em evento	Modeling and property verification of lactose operon regulation Marcelo Cezar PINTO; Luciana FOSS; José Carlos Merino MOMBACH; Leila RIBEIRO Brazilian Symposium on Bioinformatics ISBN 354028008	LS Clinical Biochemistry
2005	Trabalho em evento	Stochastic Object-Based Graph Grammars Odorico MENDIZABAL; Fernando Luís DOTTI; Leila RIBEIRO Simpósio Brasileiro de Métodos Formais ISBN 8576690594	PS Theoretical Computer Science
2005	Trabalho em evento	A Graph-based Semantics For Object-oriented Programming Constructs Ana Paula Luedtke FERREIRA; Leila RIBEIRO 10th Conference on Category Theory in Computer Science (CTCS 2004)	PS Computational Theory and Mathematics
2005	Artigo em periódico	An Environment for the Development of Concurrent Object-Based Applications Osmar Marqui Dos SANTOS; Fernando Luís DOTTI; Leila RIBEIRO Electronic Notes in Theoretical Computer Science ISSN 1571-0661	PS Software
2005	Artigo em periódico	Amostragem por Importância para Estimar Valores Esperados: uma Abordagem com Heurísticas para Problemas Intervalares NP-Difíceis Aline Brum LORETO; Roberto Da SILVA; Laira Vieira TOSCANI; Leila RIBEIRO; Dalcidio CLAUDIO et al TEMA. Tendências em Matemática Aplicada e Computacional ISSN 1677-1966	PS Applied Mathematics
2004	Trabalho em evento	Translating Java code to graph transformation systems Andrea CORRADINI; Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO International Conference on Graph Transformation ISBN 3540232079	PS Software
2004	Trabalho em evento	Derivations in object-oriented graph grammars Ana Paula Luedtke FERREIRA; Leila RIBEIRO International Conference on Graph Transformation ISBN 3540232079	PS Computer Science (miscellaneous)
2004	Trabalho em evento	Modeling Metabolic and Regulatory Networks using Graph Transformations Marcelo Cezar PINTO; Leila RIBEIRO Workshop on Petri nets and Graph Transformations	LS Molecular Biology
2004	Trabalho em evento	Modeling metabolic pathways using graph grammars Marcelo Cezar PINTO; Leila RIBEIRO III Brazilian Workshop on Bioinformatics (WOB 2004)	LS Biotechnology
2004	Trabalho em evento	Verifying Object-Based Graph Grammars Osmar Marqui Dos SANTOS; Fernando Luís DOTTI; Leila RIBEIRO Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2004)	PS Computational Theory and Mathematics

2007 Trabalho em evento

PS Computer Science (miscellaneous)

Formal Verification of Object-Oriented Graph Grammars Specifications

Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006)

Ana Paula Luedtke FERREIRA; Luciana FOSS; Leila RIBEIRO

2007 Artigo em periódico

PS Theoretical Computer Science

Unfolding semantics of graph transformation

Information and Computation

Leila RIBEIRO; Paolo BALDAN; Andrea CORRADINI; Ugo MONTANARI

DOI ISSN 0890-5401

2007 Artigo em periódico

PS Computer Science (miscellaneous)

Specification of real-time systerms with graph grammars

Journal of the Brazilian Computer Society

Leila RIBEIRO; Leonardo MICHELON; Simone André Da COSTA

ISSN 0104-6500

2007 Artigo em periódico

LS Molecular Biology

Modeling; Property Verification and Behavioural Equivalence of Lactose Operon

Computers in Biology and Medicine

Marcelo Cezar PINTO; Luciana FOSS; José Carlos Merino MOMBACH; Leila RIBEIRO

ISSN 0010-4825

2007 Artigo em periódico

PS Theoretical Computer Science

Stochastic Graph Transformation Systems

Electronic Notes in Theoretical Computer Science

Odorico MENDIZABAL; Fernando Luís DOTTI; Leila RIBEIRO

ISSN 1571-0661

2006 Capítulo de livro

PS Software

Programação orientada a objetos com grafos

Atualizações em Informática

Ana Paula Luedtke FERREIRA; Leila RIBEIRO

ISBN 8587926195

2006 Livro

PS Theoretical Computer Science

Graph Transformations

—

Andrea CORRADINI; Hartmut EHRIG; Ugo MONTANARI; Leila RIBEIRO; Grzegorz ROZENBERG

ISBN 3540388702

2006 Livro

PS Theoretical Computer Science

SBMF - Brazilian Symposium on Formal Methods

—

Leila RIBEIRO; Anamaria MOREIRA

ISBN 8576690772

2006 Trabalho em evento

PS Theoretical Computer Science

Towards a Notion of Transaction in Graph Rewriting

GT-VMT 2006 - GT-VMT06 - 5th International Workshop on Graph Transformation

Paolo BALDAN; Andrea CORRADINI; Fernando Luís DOTTI; Luciana FOSS; Fabio GADDUCCI et al

2006 Trabalho em evento

PS Software

Specification of real-time systems with graph grammars

XX Simpópsio Brasileiro de Engenharia de Software - SBES 06

Leonardo MICHELON; Simone André Da COSTA; Leila RIBEIRO

ISBN 8576690799

2006 Trabalho em evento

PS Computational Theory and Mathematics

Graph transactions as a basis for graph transformation modules

18th International Workshop on Algebraic Development Techniques

Paolo BALDAN; Andrea CORRADINI; Luciana FOSS; Fabio GADDUCCI; Leila RIBEIRO

2006 Trabalho em evento

PS Computational Theory and Mathematics

Modeling the webgraph evolution with graph grammars

PNGT - Workshop on Petri Nets and Graph Transformations

Leila RIBEIRO; Luciana BURIOL; Fernando Luís DOTTI; Cristina NUNES; Roberto Da SILVA

2006 Artigo em periódico

PS Software

Verifying Object-Based Graph Grammars: An Assume-Guarantee Approach

Software and Systems Modeling

Leila RIBEIRO; Fernando Luís DOTTI; Osmar Marqui Dos SANTOS; Fábio PASINI

DOI ISSN 1619-1366

2005 Capítulo de livro

PS Software

A Formal Framework for the Development of Concurrent Object-Based Systems

Formal Methods in Software and Systems Modeling

Leila RIBEIRO; Fernando Luís DOTTI; Roswhita BARDOHL

ISBN 3540249362

2005 Livro

PS Theoretical Computer Science

Brazilian Symposium on Formal Methods

—

Augusto SAMPAIO; Álvaro Freitas MOREIRA; Leila RIBEIRO

ISBN 8576690594

2005 Trabalho em evento

LS Clinical Biochemistry

Modeling and property verification of lactose operon regulation

Brazilian Symposium on Bioinformatics

Marcelo Cezar PINTO; Luciana FOSS; José Carlos Merino MOMBACH; Leila RIBEIRO

ISBN 354028008

2005 Trabalho em evento

PS Theoretical Computer Science

Stochastic Object-Based Graph Grammars

Simpósio Brasileiro de Métodos Formais

Odorico MENDIZABAL; Fernando Luís DOTTI; Leila RIBEIRO

ISBN 8576690594

2005 Trabalho em evento

PS Computational Theory and Mathematics

A Graph-based Semantics For Object-oriented Programming Constructs

10th Conference on Category Theory in Computer Science (CTCS 2004)

Ana Paula Luedtke FERREIRA; Leila RIBEIRO

2005 Artigo em periódico

PS Software

An Environment for the Development of Concurrent Object-Based Applications

Electronic Notes in Theoretical Computer Science

Osmar Marqui Dos SANTOS; Fernando Luís DOTTI; Leila RIBEIRO

ISSN 1571-0661

2005 Artigo em periódico

PS Applied Mathematics

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

Aline Brum LORETO; Roberto Da SILVA; Laira Vieira TOSCANI; Leila RIBEIRO; Dalcidio CLAUDIO et al

ISSN 1677-1966

2004 Trabalho em evento

PS Software

Translating Java code to graph transformation systems

International Conference on Graph Transformation

Andrea CORRADINI; Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO

ISBN 3540232079

2004 Trabalho em evento

PS Computer Science (miscellaneous)

Derivations in object-oriented graph grammars

International Conference on Graph Transformation

Ana Paula Luedtke FERREIRA; Leila RIBEIRO

ISBN 3540232079

2004 Trabalho em evento

LS Molecular Biology

Modeling Metabolic and Regulatory Networks using Graph Transformations

Workshop on Petri nets and Graph Transformations

Marcelo Cezar PINTO; Leila RIBEIRO

2004 Trabalho em evento

LS Biotechnology

Modeling metabolic pathways using graph grammars

III Brazilian Workshop on Bioinformatics (WOB 2004)

Marcelo Cezar PINTO; Leila RIBEIRO

2004 Trabalho em evento

PS Computational Theory and Mathematics

Verifying Object-Based Graph Grammars

Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2004)

Osmar Marqui Dos SANTOS; Fernando Luís DOTTI; Leila RIBEIRO