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
2011	Trabalho em evento	Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars Leila RIBEIRO; Dotti Fernando L WEIT Workshop-School on Theoretical Computer Science DOI 10.1109/WEIT.2011.33 ISBN 9780769546285	PS Theoretical Computer Science
2011	Trabalho em evento	Formal verification of a deadlock recovering algorithm for heterogeneous NoC routing support João Claudio OTERO; Fabiane Cristine DILLENBURG; Flávio Rech WAGNER; Leila RIBEIRO DSNOC - Workshop on Diagnostic Services in Network-on-Chips	PS Computer Networks and Communications
2011	Artigo em periódico	Modeling the webgraph evolution Da Silva ROBERTO; Buriol Luciana S; Leila RIBEIRO; Dotti Fernando L Journal of Computational Science DOI 10.1016/j.jocs.2010.11.003 ISSN 1877-7503	PS Computer Science (miscellaneous)
2011	Artigo em periódico	Formal Methods at SBES: Evolution and Perspectives Daltro José NUNES; Moreira ALVARO; Leila RIBEIRO Formal Methods at SBES: Evolution and Perspectives DOI 10.1109/sbes.2011.29 ISSN 9781-4577	PS Theoretical Computer Science
2010	Trabalho em evento	Towards theorem proving graph grammars Leila RIBEIRO; Fernando Luís DOTTI; Simone André Da COSTA; Fabiane Cristine DILLENBURG International Colloquium on Graph and Model Transformation ISBN 14369915	PS Theoretical Computer Science
2010	Artigo em periódico	Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars Rodrigo MACHADO; Reiko HECKEL; Leila RIBEIRO Electronic Proceedings in Theoretical Computer Science DOI 10.4204/EPTCS.21.4 ISSN 2075-2180	PS Computational Theory and Mathematics
2010	Artigo em periódico	Towards theorem proving graph grammars using event-b Leila RIBEIRO; Fernando Luís DOTTI; Simone André Da COSTA; Fabiane Cristine DILLENBURG Electronic Communications of the EASST ISSN 1863-2122	PS General Computer Science
2009	Capítulo de livro	Graph transformation with dependencies for the specification of interactive systems Luciana FOSS; Andrea CORRADINI; Leila RIBEIRO Recent Trends in Algebraic Development Techniques ISBN 3642034284	PS Computational Theory and Mathematics
2009	Capítulo de livro	Especificação de sistemas baseados em objetos com gramáticas de grafos Luciana FOSS; Simone André Da COSTA; Aline Brum LORETO; Leila RIBEIRO Desafios e Avanços em Computação: o estado da arte ISBN 9788571925281	PS Computer Science (miscellaneous)
2009	Trabalho em evento	Model transformation using graph transactions Leila RIBEIRO; Luciana FOSS; Bruno Da SILVA; Daltro NUNES International Conference on Software Reuse DOI 10.1007/978-3-642-04211-9_10 ISBN 3642042104	PS Software
2009	Trabalho em evento	Using attributed graph grammars to verify properties of a mobile Internet protocol Simone André Da COSTA; Leila RIBEIRO; Fernando Luís DOTTI; Antônio Carlos Da Rocha COSTA XXXV Conferência Latino-mericana de Informática	PS Computer Networks and Communications
2009	Trabalho em evento	Aspects for graph grammars Luciana FOSS; Rodrigo MACHADO; Leila RIBEIRO 10th International Workshop on Graph Transformations and Visual Modeling Techniques	PS Theoretical Computer Science
2009	Trabalho em evento	Modeling and reasoning over distributed systems with aspect-oriented graph grammars Rodrigo MACHADO; Leila RIBEIRO; Reiko HECKEL 10th International Workshop on Rule-Based Programming	PS Computational Theory and Mathematics
2009	Trabalho em evento	Graph Grammars as a Formal Foundation for Biological Process Diagrams Ramon MEDRADO; Leila RIBEIRO XXXV Conferência Latino-mericana de Informática	PS Computer Science (miscellaneous)
2009	Trabalho em evento	Modal Systems: Specification; Refinement and Realisation Fernando Luís DOTTI; Alexei ILIASOV; Leila RIBEIRO; Alexandeer ROMANOWSKY 11th International Conference on Formal Engineering Methods ICFEM 2009 DOI 10.1007/978-3-642-10373-5_31	PS Computational Theory and Mathematics
2009	Artigo em periódico	Formal Verification of Graph Grammars using Mathematical Induction Da Costa Simone ANDRÉ; Leila RIBEIRO Electronic Notes in Theoretical Computer Science DOI 10.1016/j.entcs.2009.05.044 ISSN 1571-0661	PS Theoretical Computer Science
2009	Artigo em periódico	Aspects for Graph Grammars Rodrigo MACHADO; Luciana FOSS; Leila RIBEIRO Electronic Communications of the EASST ISSN 1863-2122	SH Linguistics and Language
2008	Capítulo de livro	Linear-Ordered Graph Grammars: Applications to Distributed Systems Design Leila RIBEIRO; Fernando Luís DOTTI Concurrency; Graphs and Models ISBN 9783540686767	PS Computational Theory and Mathematics
2008	Trabalho em evento	On the interaction of Advices and Raw Types in AspectJ Fernando RUBBO; Rodrigo MACHADO; Álvaro Freitas MOREIRA; Leila RIBEIRO; Daltro NUNES XII Simpósio Brasileiro de Linguagens de Programação	PS Computer Science (miscellaneous)
2008	Trabalho em evento	Formal verification of graph grammars using mathematical induction Simone André Da COSTA; Leila RIBEIRO Brazilian Symposium on Formal Methods	PS Theoretical Computer Science
2008	Artigo em periódico	On the Interaction of Advices and Raw Types in AspectJ Fernando RUBBO; Rodrigo MACHADO; Álvaro Freitas MOREIRA; Leila RIBEIRO; Daltro NUNES Journal of Universal Computer Science ISSN 0948-695X	PS Software
2008	Artigo em periódico	Towards a Notion of Transaction in Graph Rewriting Paolo BALDAN; Andrea CORRADINI; Fernando Luís DOTTI; Luciana FOSS; Fabio GADDUCCI et al Electronic Notes in Theoretical Computer Science DOI 10.1016/j.entcs.2008.04.028 ISSN 1571-0661	PS Computer Science (miscellaneous)
2007	Trabalho em evento	Em direção a um modelo para desenvolvimento de sistemas computacionais de qualidade para aplicações onivalentes Álvaro Freitas MOREIRA; Érica COTA; Leila RIBEIRO; Luciano GASPARY; Luigi CARRO et al SEMISH - XXXIV Seminário Integrado do Software e Hardware ISBN 9878576691167	PS Computer Science (miscellaneous)
2007	Trabalho em evento	Modelagem de sistemas computacionais complexos: Em direção a uma fundamentação científica e aplicações tecnológicas Luís C LAMB; Aline VILLAVICENZIO; Marco IDIART; Luciana BURIOL; Leila RIBEIRO et al SEMISH - XXXIV Seminário Integrado do Software e Hardware ISBN 9878576691167	PS Computer Science (miscellaneous)
2007	Trabalho em evento	Graph productions with dependencies Luciana FOSS; Rodrigo MACHADO; Leila RIBEIRO SBMF - Simpósio Brasileiro de Métodos Formais	PS Computational Theory and Mathematics

2011 Trabalho em evento

PS Theoretical Computer Science

Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars

WEIT Workshop-School on Theoretical Computer Science

Leila RIBEIRO; Dotti Fernando L

DOI ISBN 9780769546285

2011 Trabalho em evento

PS Computer Networks and Communications

Formal verification of a deadlock recovering algorithm for heterogeneous NoC routing support

DSNOC - Workshop on Diagnostic Services in Network-on-Chips

João Claudio OTERO; Fabiane Cristine DILLENBURG; Flávio Rech WAGNER; Leila RIBEIRO

2011 Artigo em periódico

PS Computer Science (miscellaneous)

Modeling the webgraph evolution

Journal of Computational Science

Da Silva ROBERTO; Buriol Luciana S; Leila RIBEIRO; Dotti Fernando L

DOI ISSN 1877-7503

2011 Artigo em periódico

PS Theoretical Computer Science

Formal Methods at SBES: Evolution and Perspectives

Daltro José NUNES; Moreira ALVARO; Leila RIBEIRO

DOI ISSN 9781-4577

2010 Trabalho em evento

PS Theoretical Computer Science

Towards theorem proving graph grammars

International Colloquium on Graph and Model Transformation

Leila RIBEIRO; Fernando Luís DOTTI; Simone André Da COSTA; Fabiane Cristine DILLENBURG

ISBN 14369915

2010 Artigo em periódico

PS Computational Theory and Mathematics

Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars

Electronic Proceedings in Theoretical Computer Science

Rodrigo MACHADO; Reiko HECKEL; Leila RIBEIRO

DOI ISSN 2075-2180

2010 Artigo em periódico

PS General Computer Science

Towards theorem proving graph grammars using event-b

Electronic Communications of the EASST

Leila RIBEIRO; Fernando Luís DOTTI; Simone André Da COSTA; Fabiane Cristine DILLENBURG

ISSN 1863-2122

2009 Capítulo de livro

PS Computational Theory and Mathematics

Graph transformation with dependencies for the specification of interactive systems

Recent Trends in Algebraic Development Techniques

Luciana FOSS; Andrea CORRADINI; Leila RIBEIRO

ISBN 3642034284

2009 Capítulo de livro

PS Computer Science (miscellaneous)

Especificação de sistemas baseados em objetos com gramáticas de grafos

Desafios e Avanços em Computação: o estado da arte

Luciana FOSS; Simone André Da COSTA; Aline Brum LORETO; Leila RIBEIRO

ISBN 9788571925281

2009 Trabalho em evento

PS Software

Model transformation using graph transactions

International Conference on Software Reuse

Leila RIBEIRO; Luciana FOSS; Bruno Da SILVA; Daltro NUNES

DOI ISBN 3642042104

2009 Trabalho em evento

PS Computer Networks and Communications

Using attributed graph grammars to verify properties of a mobile Internet protocol

XXXV Conferência Latino-mericana de Informática

Simone André Da COSTA; Leila RIBEIRO; Fernando Luís DOTTI; Antônio Carlos Da Rocha COSTA

2009 Trabalho em evento

PS Theoretical Computer Science

Aspects for graph grammars

10th International Workshop on Graph Transformations and Visual Modeling Techniques

Luciana FOSS; Rodrigo MACHADO; Leila RIBEIRO

2009 Trabalho em evento

PS Computational Theory and Mathematics

Modeling and reasoning over distributed systems with aspect-oriented graph grammars

10th International Workshop on Rule-Based Programming

Rodrigo MACHADO; Leila RIBEIRO; Reiko HECKEL

2009 Trabalho em evento

PS Computer Science (miscellaneous)

Graph Grammars as a Formal Foundation for Biological Process Diagrams

XXXV Conferência Latino-mericana de Informática

Ramon MEDRADO; Leila RIBEIRO

2009 Trabalho em evento

PS Computational Theory and Mathematics

Modal Systems: Specification; Refinement and Realisation

11th International Conference on Formal Engineering Methods ICFEM 2009

Fernando Luís DOTTI; Alexei ILIASOV; Leila RIBEIRO; Alexandeer ROMANOWSKY

DOI

2009 Artigo em periódico

PS Theoretical Computer Science

Formal Verification of Graph Grammars using Mathematical Induction

Electronic Notes in Theoretical Computer Science

Da Costa Simone ANDRÉ; Leila RIBEIRO

DOI ISSN 1571-0661

2009 Artigo em periódico

SH Linguistics and Language

Aspects for Graph Grammars

Electronic Communications of the EASST

Rodrigo MACHADO; Luciana FOSS; Leila RIBEIRO

ISSN 1863-2122

2008 Capítulo de livro

PS Computational Theory and Mathematics

Linear-Ordered Graph Grammars: Applications to Distributed Systems Design

Concurrency; Graphs and Models

Leila RIBEIRO; Fernando Luís DOTTI

ISBN 9783540686767

2008 Trabalho em evento

PS Computer Science (miscellaneous)

On the interaction of Advices and Raw Types in AspectJ

XII Simpósio Brasileiro de Linguagens de Programação

Fernando RUBBO; Rodrigo MACHADO; Álvaro Freitas MOREIRA; Leila RIBEIRO; Daltro NUNES

2008 Trabalho em evento

PS Theoretical Computer Science

Formal verification of graph grammars using mathematical induction

Brazilian Symposium on Formal Methods

Simone André Da COSTA; Leila RIBEIRO

2008 Artigo em periódico

PS Software

On the Interaction of Advices and Raw Types in AspectJ

Journal of Universal Computer Science

Fernando RUBBO; Rodrigo MACHADO; Álvaro Freitas MOREIRA; Leila RIBEIRO; Daltro NUNES

ISSN 0948-695X

2008 Artigo em periódico

PS Computer Science (miscellaneous)

Towards a Notion of Transaction in Graph Rewriting

Electronic Notes in Theoretical Computer Science

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

DOI ISSN 1571-0661

2007 Trabalho em evento

PS Computer Science (miscellaneous)

Em direção a um modelo para desenvolvimento de sistemas computacionais de qualidade para aplicações onivalentes

SEMISH - XXXIV Seminário Integrado do Software e Hardware

Álvaro Freitas MOREIRA; Érica COTA; Leila RIBEIRO; Luciano GASPARY; Luigi CARRO et al

ISBN 9878576691167

2007 Trabalho em evento

PS Computer Science (miscellaneous)

Modelagem de sistemas computacionais complexos: Em direção a uma fundamentação científica e aplicações tecnológicas

SEMISH - XXXIV Seminário Integrado do Software e Hardware

Luís C LAMB; Aline VILLAVICENZIO; Marco IDIART; Luciana BURIOL; Leila RIBEIRO et al

ISBN 9878576691167

2007 Trabalho em evento

PS Computational Theory and Mathematics

Graph productions with dependencies

SBMF - Simpósio Brasileiro de Métodos Formais

Luciana FOSS; Rodrigo MACHADO; Leila RIBEIRO