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
2025	Capítulo de livro	A Sociedade Brasileira de Computação e a Educação em Computação Motta Claudia L R DA; Leila RIBEIRO GrandesDesafiosdaEducaçãoemComputaçãonoBrasil2025-2035 ISBN 9788576696421	SH Education
2025	Capítulo de livro	Computação na Educação Básica Amaury Antonio De Castro JUNIOR; Edison ISHIKAWA; Jorge Henrique Cabral FERNANDES; Leila RIBEIRO; Simone André Da Costa CAVALHEIRO et al GrandesDesafiosdaEducaçãoemComputaçãonoBrasil2025-2035PortoAlegre2025 ISBN 9788576696421	SH Education
2025	Capítulo de livro	Habilidades e Competências na Aprendizagem de Computação Claudia Lage Rebello Da MOTTA; Daniel Couyto GATTI; Filippo Valiante FILHO; José Palazzo Moreira De OLIVEIRA; Leila RIBEIRO et al Grandes desafios da Educação em Computaçãono Brasil; 2025-2035 ISBN 9788576696421	SH Education
2025	Livro	Grandes Desafios da Educação em Computação 2025-2035 - Resumo executivo Leila RIBEIRO; LEILA — DOI 10.5753/sbc.16325.4 ISBN 9788576696254	SH Education
2025	Livro	O que é computação? Um guia prático para gestores e docentes da educação básica Leila RIBEIRO; Graziela GUARDA; França Rozelma Soares DE — DOI 10.5753/sbc.17139.1 ISBN 9788576696391	PS Computer Science (miscellaneous)
2025	Trabalho em evento	A Cidade Sustentável do Frankenstein Lucas Nadiele COSTA; Leila RIBEIRO Simpósio Brasileiro de Computação na Educação Básica DOI 10.5753/sbceb.2025.6709	PS Computer Science Applications
2025	Trabalho em evento	A Abstração no Pensamento Computacional Leila RIBEIRO Workshop sobre Educação em Computação DOI 10.5753/wei.2025.9387 ISBN 2595-6175	SH Education
2025	Artigo em periódico	On Formal Methods Thinking in Computer Science Education Dongol BRIJESH; Dubois CATHERINE; Hallerstede STEFAN; Hehner ERIC; Morgan CARROLL et al FORMAL ASPECTS OF COMPUTING DOI 10.1145/3670419 ISSN 0934-5043	PS Theoretical Computer Science
2024	Artigo em periódico	Computing Everywhere; for Everyone; at Any Level Zorzo Avelino F; Motta Claudia L R DA; Leila RIBEIRO; Granville Lisandro Z COMMUNICATIONS OF THE ACM DOI 10.1145/3653308 ISSN 0001-0782	PS General Computer Science
2023	Trabalho em evento	The Brazilian School Computing Standard Leila RIBEIRO; Foss LUCIANA; Cavalheiro Simone André Da COSTA; Kniphoff Da Cruz Marcia Elena JOCHIMS; Soares De França ROZELMA SIGCSE 2023: The 54th ACM Technical Symposium on Computer Science Education DOI 10.1145/3545945.3569863 ISBN 9781450394314	SH Psychology (miscellaneous)
2023	Artigo em periódico	Potential Factors for Retention and Intent to Drop-out in Brazilian Computing Programs Duran RODRIGO; Bim Silvia AMÉLIA; Gimenes ITANA; Leila RIBEIRO; Correia Ronaldo Celso MESSIAS ACM Transactions on Computing Education DOI 10.1145/3607537 ISSN 1946-6226	PS General Computer Science
2022	Trabalho em evento	Proposta para Implantação do Ensino de Computação na Educação Básica no Brasil Leila RIBEIRO; Cavalheiro Simone André Da COSTA; Foss LUCIANA; Cruz Marcia Elena Jochims Kniphoff DA; França Rozelma Soares DE Simpósio Brasileiro de Informática na Educação DOI 10.5753/sbie.2022.225231	PS Computer Science Applications
2021	Trabalho em evento	Module Integration Using Graph Grammars (MIGRATE) Diogo CRAVO; Leila RIBEIRO Brazilian Symposium on Formal Methods - SBMF	PS Software
2020	Capítulo de livro	Entendendo o pensamento computacional Leila RIBEIRO; Luciana FOSS; Simone André Da Costa CAVALHEIRO Computação na Educação Básica: fundamentos e experiências ISBN 9786581334031	PS Computer Science (miscellaneous)
2020	Artigo em periódico	Algebraic graph rewriting with controlled embedding Andrea CORRADINI; Duval DOMINIQUE; Echahed RACHID; Prost FRÉDÉRIC; Leila RIBEIRO THEORETICAL COMPUTER SCIENCE DOI 10.1016/j.tcs.2019.06.004 ISSN 0304-3975	PS Theoretical Computer Science
2020	Artigo em periódico	Use case evolution analysis based on graph transformation with negative application conditions Leila RIBEIRO; Lúcio M DUARTE; Rodrigo MACHADO; Costa ANDREI; Cota ÉRIKA et al SCIENCE OF COMPUTER PROGRAMMING DOI 10.1016/j.scico.2020.102495 ISSN 0167-6423	PS Software
2019	Capítulo de livro	Pensamento computacional: Fundamentos e integração na Educação Básica Leila RIBEIRO; Luciana FOSS; Simone André Da Costa CAVALHEIRO Anais ds VII Jornada de Atualização em Informática na Educação ISBN 9788576694847	SH Education
2019	Capítulo de livro	Diretrizes de ensino de Computação na Educação Básica Leila RIBEIRO; Lisandro GRANVILLE; Dalton SEREY; Simone André Da Costa CAVALHEIRO Educação integral por meio do pensamento computacional ISBN 9788547340179	SH Education
2019	Artigo em periódico	The PBPO graph transformation approach Andrea CORRADINI; Duval DOMINIQUE; Echahed RACHID; Prost FRÉDÉRIC; Leila RIBEIRO Journal of Logical and Algebraic Methods in Programming DOI 10.1016/j.jlamp.2018.12.003 ISSN 2352-2208	PS Theoretical Computer Science
2019	Artigo em periódico	On the essence and initiality of conflicts in -adhesive transformation systems Grochau Azzi GUILHERME; Andrea CORRADINI; Leila RIBEIRO Journal of Logical and Algebraic Methods in Programming DOI 10.1016/j.jlamp.2019.100482 ISSN 2352-2208	PS Theoretical Computer Science
2018	Capítulo de livro	On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches Andrea CORRADINI; Duval DOMINIQUE; Löwe MICHAEL; Leila RIBEIRO; Machado RODRIGO et al Lecture Notes in Computer Science DOI 10.1007/978-3-319-75396-6_1 ISBN 9783319753959	PS Theoretical Computer Science
2018	Capítulo de livro	The Verigraph System for Graph Transformation Azzi Guilherme GROCHAU; Bezerra Jonas SANTOS; Leila RIBEIRO; Costa ANDREI; Rodrigues Leonardo MARQUES et al Lecture Notes in Computer Science DOI 10.1007/978-3-319-75396-6_9 ISBN 9783319753959	PS Computational Theory and Mathematics
2018	Trabalho em evento	On the Essence and Initiality of Conflicts Guilherme Grochau AZZI; Andrea CORRADINI; Leila RIBEIRO International Conference on Graph Transformation (ICGT) ISBN 978-3-319-929	PS Theoretical Computer Science
2018	Artigo em periódico	NF κ B pathway analysis: An approach to analyze gene co-expression networks employing feedback cycles Dillenburg Fabiane CRISTINE; Zanotto Filho ALFEU; Fonseca Moreira José CLÁUDIO; Leila RIBEIRO; Carro LUIGI COMPUTATIONAL BIOLOGY AND CHEMISTRY DOI 10.1016/j.compbiolchem.2017.08.012 ISSN 1476-9271	LS Developmental Biology
2017	Trabalho em evento	The Pullback-Pushout Approach to Algebraic Graph Transformation Andrea CORRADINI; Dominique DUVAL; Rachid ECHAHED; Frederic PROST; Leila RIBEIRO International Conference on Graph Transformation ISBN 978-3-319-614	PS Theoretical Computer Science

2025 Capítulo de livro

SH Education

A Sociedade Brasileira de Computação e a Educação em Computação

GrandesDesafiosdaEducaçãoemComputaçãonoBrasil2025-2035

Motta Claudia L R DA; Leila RIBEIRO

ISBN 9788576696421

2025 Capítulo de livro

SH Education

Computação na Educação Básica

GrandesDesafiosdaEducaçãoemComputaçãonoBrasil2025-2035PortoAlegre2025

Amaury Antonio De Castro JUNIOR; Edison ISHIKAWA; Jorge Henrique Cabral FERNANDES; Leila RIBEIRO; Simone André Da Costa CAVALHEIRO et al

ISBN 9788576696421

2025 Capítulo de livro

SH Education

Habilidades e Competências na Aprendizagem de Computação

Grandes desafios da Educação em Computaçãono Brasil; 2025-2035

Claudia Lage Rebello Da MOTTA; Daniel Couyto GATTI; Filippo Valiante FILHO; José Palazzo Moreira De OLIVEIRA; Leila RIBEIRO et al

ISBN 9788576696421

2025 Livro

SH Education

Grandes Desafios da Educação em Computação 2025-2035 - Resumo executivo

—

Leila RIBEIRO; LEILA

DOI ISBN 9788576696254

2025 Livro

PS Computer Science (miscellaneous)

O que é computação? Um guia prático para gestores e docentes da educação básica

—

Leila RIBEIRO; Graziela GUARDA; França Rozelma Soares DE

DOI ISBN 9788576696391

2025 Trabalho em evento

PS Computer Science Applications

A Cidade Sustentável do Frankenstein

Simpósio Brasileiro de Computação na Educação Básica

Lucas Nadiele COSTA; Leila RIBEIRO

DOI

2025 Trabalho em evento

SH Education

A Abstração no Pensamento Computacional

Workshop sobre Educação em Computação

Leila RIBEIRO

DOI ISBN 2595-6175

2025 Artigo em periódico

PS Theoretical Computer Science

On Formal Methods Thinking in Computer Science Education

FORMAL ASPECTS OF COMPUTING

Dongol BRIJESH; Dubois CATHERINE; Hallerstede STEFAN; Hehner ERIC; Morgan CARROLL et al

DOI ISSN 0934-5043

2024 Artigo em periódico

PS General Computer Science

Computing Everywhere; for Everyone; at Any Level

COMMUNICATIONS OF THE ACM

Zorzo Avelino F; Motta Claudia L R DA; Leila RIBEIRO; Granville Lisandro Z

DOI ISSN 0001-0782

2023 Trabalho em evento

SH Psychology (miscellaneous)

The Brazilian School Computing Standard

SIGCSE 2023: The 54th ACM Technical Symposium on Computer Science Education

Leila RIBEIRO; Foss LUCIANA; Cavalheiro Simone André Da COSTA; Kniphoff Da Cruz Marcia Elena JOCHIMS; Soares De França ROZELMA

DOI ISBN 9781450394314

2023 Artigo em periódico

PS General Computer Science

Potential Factors for Retention and Intent to Drop-out in Brazilian Computing Programs

ACM Transactions on Computing Education

Duran RODRIGO; Bim Silvia AMÉLIA; Gimenes ITANA; Leila RIBEIRO; Correia Ronaldo Celso MESSIAS

DOI ISSN 1946-6226

2022 Trabalho em evento

PS Computer Science Applications

Proposta para Implantação do Ensino de Computação na Educação Básica no Brasil

Simpósio Brasileiro de Informática na Educação

Leila RIBEIRO; Cavalheiro Simone André Da COSTA; Foss LUCIANA; Cruz Marcia Elena Jochims Kniphoff DA; França Rozelma Soares DE

DOI

2021 Trabalho em evento

PS Software

Module Integration Using Graph Grammars (MIGRATE)

Brazilian Symposium on Formal Methods - SBMF

Diogo CRAVO; Leila RIBEIRO

2020 Capítulo de livro

PS Computer Science (miscellaneous)

Entendendo o pensamento computacional

Computação na Educação Básica: fundamentos e experiências

Leila RIBEIRO; Luciana FOSS; Simone André Da Costa CAVALHEIRO

ISBN 9786581334031

2020 Artigo em periódico

PS Theoretical Computer Science

Algebraic graph rewriting with controlled embedding

THEORETICAL COMPUTER SCIENCE

Andrea CORRADINI; Duval DOMINIQUE; Echahed RACHID; Prost FRÉDÉRIC; Leila RIBEIRO

DOI ISSN 0304-3975

2020 Artigo em periódico

PS Software

Use case evolution analysis based on graph transformation with negative application conditions

SCIENCE OF COMPUTER PROGRAMMING

Leila RIBEIRO; Lúcio M DUARTE; Rodrigo MACHADO; Costa ANDREI; Cota ÉRIKA et al

DOI ISSN 0167-6423

2019 Capítulo de livro

SH Education

Pensamento computacional: Fundamentos e integração na Educação Básica

Anais ds VII Jornada de Atualização em Informática na Educação

Leila RIBEIRO; Luciana FOSS; Simone André Da Costa CAVALHEIRO

ISBN 9788576694847

2019 Capítulo de livro

SH Education

Diretrizes de ensino de Computação na Educação Básica

Educação integral por meio do pensamento computacional

Leila RIBEIRO; Lisandro GRANVILLE; Dalton SEREY; Simone André Da Costa CAVALHEIRO

ISBN 9788547340179

2019 Artigo em periódico

PS Theoretical Computer Science

The PBPO graph transformation approach

Journal of Logical and Algebraic Methods in Programming

Andrea CORRADINI; Duval DOMINIQUE; Echahed RACHID; Prost FRÉDÉRIC; Leila RIBEIRO

DOI ISSN 2352-2208

2019 Artigo em periódico

PS Theoretical Computer Science

On the essence and initiality of conflicts in -adhesive transformation systems

Journal of Logical and Algebraic Methods in Programming

Grochau Azzi GUILHERME; Andrea CORRADINI; Leila RIBEIRO

DOI ISSN 2352-2208

2018 Capítulo de livro

PS Theoretical Computer Science

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches

Lecture Notes in Computer Science

Andrea CORRADINI; Duval DOMINIQUE; Löwe MICHAEL; Leila RIBEIRO; Machado RODRIGO et al

DOI ISBN 9783319753959

2018 Capítulo de livro

PS Computational Theory and Mathematics

The Verigraph System for Graph Transformation

Lecture Notes in Computer Science

Azzi Guilherme GROCHAU; Bezerra Jonas SANTOS; Leila RIBEIRO; Costa ANDREI; Rodrigues Leonardo MARQUES et al

DOI ISBN 9783319753959

2018 Trabalho em evento

PS Theoretical Computer Science

On the Essence and Initiality of Conflicts

International Conference on Graph Transformation (ICGT)

Guilherme Grochau AZZI; Andrea CORRADINI; Leila RIBEIRO

ISBN 978-3-319-929

2018 Artigo em periódico

LS Developmental Biology

NF κ B pathway analysis: An approach to analyze gene co-expression networks employing feedback cycles

COMPUTATIONAL BIOLOGY AND CHEMISTRY

Dillenburg Fabiane CRISTINE; Zanotto Filho ALFEU; Fonseca Moreira José CLÁUDIO; Leila RIBEIRO; Carro LUIGI

DOI ISSN 1476-9271

2017 Trabalho em evento

PS Theoretical Computer Science

The Pullback-Pushout Approach to Algebraic Graph Transformation

International Conference on Graph Transformation

Andrea CORRADINI; Dominique DUVAL; Rachid ECHAHED; Frederic PROST; Leila RIBEIRO

ISBN 978-3-319-614