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
2000	Trabalho em evento	An environment for formal modeling and simulation of control systems Bernardo COPSTEIN; Michael Da Costa MÓRA; Leila RIBEIRO ANSS'00 Annual Simulation Symposium	PS Control and Optimization
2000	Trabalho em evento	Towards visual specification and animation of Petri net based models Roswhita BARDOHL; Claudia ERMEL; Leila RIBEIRO GRATRA 2000 Workshop on Graph Transformation Systems	PS Computer Science (miscellaneous)
2000	Trabalho em evento	Complexity analysis of reactive graph grammars Aline Brum LORETO; Leila RIBEIRO; Laira TOSCANI III Workshop de Métodos Formais (WMF 2000)	PS Theoretical Computer Science
2000	Trabalho em evento	A modular approach to animation of simulation models Roswhita BARDOHL; Claudia ERMEL; Leila RIBEIRO XIV Simpósio Brasileiro de Engenharia de Software (SBES 2000)	PS Computer Science Applications
2000	Trabalho em evento	Ferramenta para automatização da análise da complexidade de algoritmos Marco Antônio BARBOSA; Laira Vieira TOSCANI; Leila RIBEIRO XI Simpósio Brasileiro de Informática na Educação (SBIE 2001)	PS Computer Science Applications
2000	Artigo em periódico	Compositional construction of simulation models using graph grammars Leila RIBEIRO; Bernardo COPSTEIN Lecture Notes in Computer Science ISSN 0302-9743	PS Computer Science Applications
2000	Artigo em periódico	Complexity analysis of reactive graph grammars Aline Brum LORETO; Leila RIBEIRO; Laira TOSCANI Revista de Informática Teórica e Aplicada ISSN 0103-4308	PS Computational Theory and Mathematics
2000	Artigo em periódico	Introdução a métodos formais: especificação; semântica e verificação de sistemas concorrentes David DÉHARBE; Anamaria MOREIRA; Leila RIBEIRO; Vanderlei RODRIGUES Revista de Informática Teórica e Aplicada ISSN 0103-4308	PS Theoretical Computer Science
1999	Trabalho em evento	Compositional construction of simulation models using graph grammars Leila RIBEIRO; Bernardo COPSTEIN AGTIVE - Applications of Graph Transformation with Industrial Relevance	PS Computational Mathematics
1999	Trabalho em evento	Formal development of control systems using simulation Leila RIBEIRO; Bernardo COPSTEIN; Michael Da Costa MÓRA II Workshop Brasileiro de Métodos Formais (WMF 1999)	PS Control and Systems Engineering
1999	Artigo em periódico	Parallel composition of graph grammars Leila RIBEIRO Applied Categorical Structures ISSN 0927-2852	PS Mathematics (miscellaneous)
1998	Trabalho em evento	Specifying simulation models using graph grammars Leila RIBEIRO; Bernardo COPSTEIN ESS98 - European Simulation Symopsium	PS Computational Theory and Mathematics
1998	Trabalho em evento	Specifying a graph grammar editor for reactive systems Leila RIBEIRO; Roswhita BARDOHL WMF98 - I Workshop Brasileiro de Métodos Formais	PS Computational Theory and Mathematics
1998	Trabalho em evento	Desenvolvimento da área formal da computação no Instituto de Informática da UFRGS Leila RIBEIRO; Paulo MENEZES; Tiarajú DIVERIO; Daltro NUNES; Vanderlei RODRIGUES et al WMF98 - I Workshop Brasileiro de Métodos Formais	PS Theoretical Computer Science
1998	Trabalho em evento	Graph grammars for the specificaiton of concurrent systems Leila RIBEIRO; Martin KORFF IX SBES - Simpósio Brasileiro de Engenharia de Software	PS Software
1998	Artigo em periódico	Occurrence graph grammars Leila RIBEIRO Logic Journal Of The Igpl	PS Logic
1998	Artigo em periódico	True concurrency = Interleaving + Weak Conflict Leila RIBEIRO; Martin KORFF Electronic Notes in Theoretical Computer Science ISSN 1571-0661	PS Theoretical Computer Science
1998	Artigo em periódico	Compatibility between sintax and semantica of graph grammars Leila RIBEIRO Electronic Notes in Theoretical Computer Science ISSN 1571-0661	PS Theoretical Computer Science
1997	Capítulo de livro	Algebraic approaches to graph transformations Part II: SPO approach and comparison with DPO approach Hartmut EHRIG; Reiko HECKEL; Martin KORFF; Michael LOWE; Leila RIBEIRO et al Handbook of Graph Grammars	PS Mathematics (miscellaneous)
1997	Capítulo de livro	A graph transformation framework for concurrent systems Leila RIBEIRO; Paulo MENEZES Advances in Cybernetics ISBN 0921836546	PS Software
1997	Trabalho em evento	True concurrency model for read/write access systems Leila RIBEIRO; Martin KORFF 4th Wollic - Workshop on Logic; Language ; Information and Computation	PS Artificial Intelligence
1997	Trabalho em evento	Graph grammars Leila RIBEIRO; Martin KORFF I Workshop em Qualidade de Software	PS Computer Science (miscellaneous)
1996	Trabalho em evento	Parallel composition of graph grammars Leila RIBEIRO Dagstuhl Workshop on Graph Grammars	PS Computational Mathematics
1996	Artigo em periódico	Formal relationships between graph grammars and Petri nets Leila RIBEIRO; Martin KORFF Lecture Notes in Computer Science ISSN 0302-9743	PS Computational Theory and Mathematics
1995	Artigo em periódico	Algebraic high-level net transformation systems Leila RIBEIRO; Julia PADBERG; Hartmut EHRIG MSCS. Mathematical Structures in Computer Science ISSN 0960-1295	PS Algebra and Number Theory

2000 Trabalho em evento

PS Control and Optimization

An environment for formal modeling and simulation of control systems

ANSS'00 Annual Simulation Symposium

Bernardo COPSTEIN; Michael Da Costa MÓRA; Leila RIBEIRO

2000 Trabalho em evento

PS Computer Science (miscellaneous)

Towards visual specification and animation of Petri net based models

GRATRA 2000 Workshop on Graph Transformation Systems

Roswhita BARDOHL; Claudia ERMEL; Leila RIBEIRO

2000 Trabalho em evento

PS Theoretical Computer Science

Complexity analysis of reactive graph grammars

III Workshop de Métodos Formais (WMF 2000)

Aline Brum LORETO; Leila RIBEIRO; Laira TOSCANI

2000 Trabalho em evento

PS Computer Science Applications

A modular approach to animation of simulation models

XIV Simpósio Brasileiro de Engenharia de Software (SBES 2000)

Roswhita BARDOHL; Claudia ERMEL; Leila RIBEIRO

2000 Trabalho em evento

PS Computer Science Applications

Ferramenta para automatização da análise da complexidade de algoritmos

XI Simpósio Brasileiro de Informática na Educação (SBIE 2001)

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

2000 Artigo em periódico

PS Computer Science Applications

Compositional construction of simulation models using graph grammars

Lecture Notes in Computer Science

Leila RIBEIRO; Bernardo COPSTEIN

ISSN 0302-9743

2000 Artigo em periódico

PS Computational Theory and Mathematics

Complexity analysis of reactive graph grammars

Revista de Informática Teórica e Aplicada

Aline Brum LORETO; Leila RIBEIRO; Laira TOSCANI

ISSN 0103-4308

2000 Artigo em periódico

PS Theoretical Computer Science

Introdução a métodos formais: especificação; semântica e verificação de sistemas concorrentes

Revista de Informática Teórica e Aplicada

David DÉHARBE; Anamaria MOREIRA; Leila RIBEIRO; Vanderlei RODRIGUES

ISSN 0103-4308

1999 Trabalho em evento

PS Computational Mathematics

Compositional construction of simulation models using graph grammars

AGTIVE - Applications of Graph Transformation with Industrial Relevance

Leila RIBEIRO; Bernardo COPSTEIN

1999 Trabalho em evento

PS Control and Systems Engineering

Formal development of control systems using simulation

II Workshop Brasileiro de Métodos Formais (WMF 1999)

Leila RIBEIRO; Bernardo COPSTEIN; Michael Da Costa MÓRA

1999 Artigo em periódico

PS Mathematics (miscellaneous)

Parallel composition of graph grammars

Applied Categorical Structures

Leila RIBEIRO

ISSN 0927-2852

1998 Trabalho em evento

PS Computational Theory and Mathematics

Specifying simulation models using graph grammars

ESS98 - European Simulation Symopsium

Leila RIBEIRO; Bernardo COPSTEIN

1998 Trabalho em evento

PS Computational Theory and Mathematics

Specifying a graph grammar editor for reactive systems

WMF98 - I Workshop Brasileiro de Métodos Formais

Leila RIBEIRO; Roswhita BARDOHL

1998 Trabalho em evento

PS Theoretical Computer Science

Desenvolvimento da área formal da computação no Instituto de Informática da UFRGS

WMF98 - I Workshop Brasileiro de Métodos Formais

Leila RIBEIRO; Paulo MENEZES; Tiarajú DIVERIO; Daltro NUNES; Vanderlei RODRIGUES et al

1998 Trabalho em evento

PS Software

Graph grammars for the specificaiton of concurrent systems

IX SBES - Simpósio Brasileiro de Engenharia de Software

Leila RIBEIRO; Martin KORFF

1998 Artigo em periódico

PS Logic

Occurrence graph grammars

Logic Journal Of The Igpl

Leila RIBEIRO

1998 Artigo em periódico

PS Theoretical Computer Science

True concurrency = Interleaving + Weak Conflict

Electronic Notes in Theoretical Computer Science

Leila RIBEIRO; Martin KORFF

ISSN 1571-0661

1998 Artigo em periódico

PS Theoretical Computer Science

Compatibility between sintax and semantica of graph grammars

Electronic Notes in Theoretical Computer Science

Leila RIBEIRO

ISSN 1571-0661

1997 Capítulo de livro

PS Mathematics (miscellaneous)

Algebraic approaches to graph transformations Part II: SPO approach and comparison with DPO approach

Handbook of Graph Grammars

Hartmut EHRIG; Reiko HECKEL; Martin KORFF; Michael LOWE; Leila RIBEIRO et al

1997 Capítulo de livro

PS Software

A graph transformation framework for concurrent systems

Advances in Cybernetics

Leila RIBEIRO; Paulo MENEZES

ISBN 0921836546

1997 Trabalho em evento

PS Artificial Intelligence

True concurrency model for read/write access systems

4th Wollic - Workshop on Logic; Language ; Information and Computation

Leila RIBEIRO; Martin KORFF

1997 Trabalho em evento

PS Computer Science (miscellaneous)

Graph grammars

I Workshop em Qualidade de Software

Leila RIBEIRO; Martin KORFF

1996 Trabalho em evento

PS Computational Mathematics

Parallel composition of graph grammars

Dagstuhl Workshop on Graph Grammars

Leila RIBEIRO

1996 Artigo em periódico

PS Computational Theory and Mathematics

Formal relationships between graph grammars and Petri nets

Lecture Notes in Computer Science

Leila RIBEIRO; Martin KORFF

ISSN 0302-9743

1995 Artigo em periódico

PS Algebra and Number Theory

Algebraic high-level net transformation systems

MSCS. Mathematical Structures in Computer Science

Leila RIBEIRO; Julia PADBERG; Hartmut EHRIG

ISSN 0960-1295