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
2004	Artigo em periódico	A Translation from Object-Based Hypergraph Grammars into pi-Calculus Luciana FOSS; Leila RIBEIRO Electronic Notes in Theoretical Computer Science ISSN 1571-0661	PS Theoretical Computer Science
2004	Artigo em periódico	A graph-based semantics for object-oriented programming constructs Ana Paula Luedtke FERREIRA; Leila RIBEIRO Electronic Notes in Theoretical Computer Science ISSN 1571-0661	PS Computer Science (miscellaneous)
2004	Artigo em periódico	Verifying Object-Based Graph Grammars Osmar Marqui Dos SANTOS; Fernando Luís DOTTI; Leila RIBEIRO Electronic Notes in Theoretical Computer Science ISSN 1571-0661	PS Theoretical Computer Science
2003	Capítulo de livro	Correflective concurrent semantics for single pushout graph grammars Paolo BALDAN; Andrea CORRADINI; Ugo MONTANARI; Leila RIBEIRO Recent Trends in Algebraic Development Techniques ISBN 3-540-2053	PS Theoretical Computer Science
2003	Trabalho em evento	Specification and analysis of fault behaviors using graph grammars Fernando Luís DOTTI; Leila RIBEIRO; Osmar Marqui Dos SANTOS Application of Graph Transformation with Industrial Relevance ISBN 3540221204	PS Computer Science Applications
2003	Trabalho em evento	Verification of distributed object-based systems Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO; Osmar Marqui Dos SANTOS 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems ISBN 3540204911	PS Computer Science (miscellaneous)
2003	Trabalho em evento	Towards object-oriented graphs and grammars Ana Paula Luedtke FERREIRA; Leila RIBEIRO 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems ISBN 3540204911	PS Computer Science (miscellaneous)
2003	Trabalho em evento	A translation of object-based hypergraph grammars into pi-calculus Luciana FOSS; Leila RIBEIRO 6th Workshop on Formal Methods	PS Computational Theory and Mathematics
2003	Trabalho em evento	Algoritmo molecular utilizando fluoroforos para resolução do problema do caixeiro viajante Cristiane Regina Yamaguti MASHUDA; Leila RIBEIRO; Tarso B L KIST Conferência Latino Americana de Informática	PS Artificial Intelligence
2003	Trabalho em evento	Computação com DNA para resolução de problemas de otimização Cristiane Regina Yamaguti MASHUDA; Leila RIBEIRO; Tarso B L KIST Escola Regional de Informática da Sociedade Brasileira de Computação	LS Biotechnology
2003	Trabalho em evento	Especificação e verificação formal de sistemas distribuidos Fernando Luís DOTTI; Luciana FOSS; Leila RIBEIRO; Osmar Marqui Dos SANTOS 17o. Simpósio Brasileiro de Engenharia de Software (SBES)	PS Software
2002	Trabalho em evento	Simulation of Mobile Applications Lúcio M DUARTE; Fernando Luís DOTTI; Bernardo COPSTEIN; Leila RIBEIRO CNDS 2002 - Communication Networks and Distributed Systems Modeling and Simulation Conference	PS Computer Science Applications
2002	Trabalho em evento	Decidability and tractability of a problem in object-based graph grammars Aline Brum LORETO; Leila RIBEIRO; Laira Vieira TOSCANI 17th IFIP World Computer Congress - Theoretical Computer Science	PS Theoretical Computer Science
2002	Trabalho em evento	Linear ordered graph grammars and their algebraic foundations Leila RIBEIRO; Ugo MONTANARI International Conference on Graph Transformation (ICGT 2002) ISBN 354044310X	PS Theoretical Computer Science
2002	Trabalho em evento	Correflective concurrent semantics for single pushout graph grammars Paolo BALDAN; Andrea CORRADINI; Ugo MONTANARI; Leila RIBEIRO 16th Intrenational Workshop on Algebraic Development Techniques	PS Computer Science (miscellaneous)
2002	Trabalho em evento	DNA-based modeling of parallel algorithms Leonardo Vieira CERVO; Leila RIBEIRO I Worksop Brasileiro de Bioinformática	LS Molecular Biology
2001	Trabalho em evento	A graph transformation view on the specification of applications using mobile code Andrea CORRADINI; Fernando Luís DOTTI; Leila RIBEIRO 2nd International Workshop on Graph Transformations and Visula Modeling Techniques	PS Computer Science (miscellaneous)
2001	Trabalho em evento	Towards a Compositional Approach to Define Graphical Animation of Software Applications Roswhita BARDOHL; Leila RIBEIRO Visual Languages and Formal Methods (VLFM'01)	PS Computer Graphics and Computer-Aided Design
2001	Trabalho em evento	Decidibilidade e tratabilidade de gramáticas de grafos orientadas a objeto Aline Brum LORETO; Leila RIBEIRO; Laira Vieira TOSCANI IV Workshop de Métodos Formais	PS Theoretical Computer Science
2001	Trabalho em evento	Apoio ao ensino de complexidade de algoritmos Marco Antônio BARBOSA; Laira Vieira TOSCANI; Leila RIBEIRO III Simpósio Internacional de Informática Educativa	PS Computer Science Applications
2001	Trabalho em evento	ANAC - Uma ferramenta para análise automática da complexidade de algoritmos Marco Antônio BARBOSA; Laira Vieira TOSCANI; Leila RIBEIRO XXVII Conferencia Latinoamericana de Informática (CLEI 2001)	PS Computer Science (miscellaneous)
2001	Artigo em periódico	A graph transformation view on the specification of applications using mobile code Andrea CORRADINI; Fernando Luís DOTTI; Leila RIBEIRO Electronic Notes in Theoretical Computer Science ISSN 1571-0661	PS Computational Theory and Mathematics
2000	Capítulo de livro	Métodos formais de especificação: Gramáticas de grafos Leila RIBEIRO VIII Escola de Informática da SBC-Sul	PS Theoretical Computer Science
2000	Capítulo de livro	Specification of mobile code using graph grammars Fernando Luís DOTTI; Leila RIBEIRO Formal Methods for Open Object-Based Distributed Systems IV ISBN 0792379233	PS Computational Theory and Mathematics
2000	Trabalho em evento	Code mobility in open systems: a formal apporach Fernando Luís DOTTI; Leila RIBEIRO PDPTA'00 - Parallel and Distributed Processing Techniques and Applications ISBN 1892512513	PS Artificial Intelligence

2004 Artigo em periódico

PS Theoretical Computer Science

A Translation from Object-Based Hypergraph Grammars into pi-Calculus

Electronic Notes in Theoretical Computer Science

Luciana FOSS; Leila RIBEIRO

ISSN 1571-0661

2004 Artigo em periódico

PS Computer Science (miscellaneous)

A graph-based semantics for object-oriented programming constructs

Electronic Notes in Theoretical Computer Science

Ana Paula Luedtke FERREIRA; Leila RIBEIRO

ISSN 1571-0661

2004 Artigo em periódico

PS Theoretical Computer Science

Verifying Object-Based Graph Grammars

Electronic Notes in Theoretical Computer Science

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

ISSN 1571-0661

2003 Capítulo de livro

PS Theoretical Computer Science

Correflective concurrent semantics for single pushout graph grammars

Recent Trends in Algebraic Development Techniques

Paolo BALDAN; Andrea CORRADINI; Ugo MONTANARI; Leila RIBEIRO

ISBN 3-540-2053

2003 Trabalho em evento

PS Computer Science Applications

Specification and analysis of fault behaviors using graph grammars

Application of Graph Transformation with Industrial Relevance

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

ISBN 3540221204

2003 Trabalho em evento

PS Computer Science (miscellaneous)

Verification of distributed object-based systems

6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems

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

ISBN 3540204911

2003 Trabalho em evento

PS Computer Science (miscellaneous)

Towards object-oriented graphs and grammars

6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems

Ana Paula Luedtke FERREIRA; Leila RIBEIRO

ISBN 3540204911

2003 Trabalho em evento

PS Computational Theory and Mathematics

A translation of object-based hypergraph grammars into pi-calculus

6th Workshop on Formal Methods

Luciana FOSS; Leila RIBEIRO

2003 Trabalho em evento

PS Artificial Intelligence

Algoritmo molecular utilizando fluoroforos para resolução do problema do caixeiro viajante

Conferência Latino Americana de Informática

Cristiane Regina Yamaguti MASHUDA; Leila RIBEIRO; Tarso B L KIST

2003 Trabalho em evento

LS Biotechnology

Computação com DNA para resolução de problemas de otimização

Escola Regional de Informática da Sociedade Brasileira de Computação

Cristiane Regina Yamaguti MASHUDA; Leila RIBEIRO; Tarso B L KIST

2003 Trabalho em evento

PS Software

Especificação e verificação formal de sistemas distribuidos

17o. Simpósio Brasileiro de Engenharia de Software (SBES)

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

2002 Trabalho em evento

PS Computer Science Applications

Simulation of Mobile Applications

CNDS 2002 - Communication Networks and Distributed Systems Modeling and Simulation Conference

Lúcio M DUARTE; Fernando Luís DOTTI; Bernardo COPSTEIN; Leila RIBEIRO

2002 Trabalho em evento

PS Theoretical Computer Science

Decidability and tractability of a problem in object-based graph grammars

17th IFIP World Computer Congress - Theoretical Computer Science

Aline Brum LORETO; Leila RIBEIRO; Laira Vieira TOSCANI

2002 Trabalho em evento

PS Theoretical Computer Science

Linear ordered graph grammars and their algebraic foundations

International Conference on Graph Transformation (ICGT 2002)

Leila RIBEIRO; Ugo MONTANARI

ISBN 354044310X

2002 Trabalho em evento

PS Computer Science (miscellaneous)

Correflective concurrent semantics for single pushout graph grammars

16th Intrenational Workshop on Algebraic Development Techniques

Paolo BALDAN; Andrea CORRADINI; Ugo MONTANARI; Leila RIBEIRO

2002 Trabalho em evento

LS Molecular Biology

DNA-based modeling of parallel algorithms

I Worksop Brasileiro de Bioinformática

Leonardo Vieira CERVO; Leila RIBEIRO

2001 Trabalho em evento

PS Computer Science (miscellaneous)

A graph transformation view on the specification of applications using mobile code

2nd International Workshop on Graph Transformations and Visula Modeling Techniques

Andrea CORRADINI; Fernando Luís DOTTI; Leila RIBEIRO

2001 Trabalho em evento

PS Computer Graphics and Computer-Aided Design

Towards a Compositional Approach to Define Graphical Animation of Software Applications

Visual Languages and Formal Methods (VLFM'01)

Roswhita BARDOHL; Leila RIBEIRO

2001 Trabalho em evento

PS Theoretical Computer Science

Decidibilidade e tratabilidade de gramáticas de grafos orientadas a objeto

IV Workshop de Métodos Formais

Aline Brum LORETO; Leila RIBEIRO; Laira Vieira TOSCANI

2001 Trabalho em evento

PS Computer Science Applications

Apoio ao ensino de complexidade de algoritmos

III Simpósio Internacional de Informática Educativa

Marco Antônio BARBOSA; Laira Vieira TOSCANI; Leila RIBEIRO

2001 Trabalho em evento

PS Computer Science (miscellaneous)

ANAC - Uma ferramenta para análise automática da complexidade de algoritmos

XXVII Conferencia Latinoamericana de Informática (CLEI 2001)

Marco Antônio BARBOSA; Laira Vieira TOSCANI; Leila RIBEIRO

2001 Artigo em periódico

PS Computational Theory and Mathematics

A graph transformation view on the specification of applications using mobile code

Electronic Notes in Theoretical Computer Science

Andrea CORRADINI; Fernando Luís DOTTI; Leila RIBEIRO

ISSN 1571-0661

2000 Capítulo de livro

PS Theoretical Computer Science

Métodos formais de especificação: Gramáticas de grafos

VIII Escola de Informática da SBC-Sul

Leila RIBEIRO

2000 Capítulo de livro

PS Computational Theory and Mathematics

Specification of mobile code using graph grammars

Formal Methods for Open Object-Based Distributed Systems IV

Fernando Luís DOTTI; Leila RIBEIRO

ISBN 0792379233

2000 Trabalho em evento

PS Artificial Intelligence

Code mobility in open systems: a formal apporach

PDPTA'00 - Parallel and Distributed Processing Techniques and Applications

Fernando Luís DOTTI; Leila RIBEIRO

ISBN 1892512513