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
2017	Trabalho em evento	Graph Grammar Extraction from Source Code Lúcio M DUARTE; Leila RIBEIRO Simpósio Brasileiro de Métodos Formais (SBMF) ISBN 978-3-319-708	PS Computational Theory and Mathematics
2017	Artigo em periódico	Theorem proving graph grammars with attributes and negative application conditions Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Leila RIBEIRO THEORETICAL COMPUTER SCIENCE DOI 10.1016/j.tcs.2017.04.010 ISSN 0304-3975	PS Artificial Intelligence
2017	Artigo em periódico	Using formal methods for content validation of medical procedure documents Cota ÉRIKA; Leila RIBEIRO; Bezerra Jonas SANTOS; Andrei COSTA; Da Silva Rosiana ESTEFANE et al INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS DOI 10.1016/j.ijmedinf.2017.04.012 ISSN 1386-5056	PS Information Systems
2017	Artigo em periódico	Modelling the impacts of policies on advanced biofuel feedstocks diffusion Ribeiro Lauro ANDRÉ; Pereira Da Silva PATRÍCIA; Leila RIBEIRO; Fernando Luís DOTTI JOURNAL OF CLEANER PRODUCTION DOI 10.1016/j.jclepro.2016.11.027 ISSN 0959-6526	PS Renewable Energy; Sustainability and the Environment
2016	Trabalho em evento	Parellelism in AGREE Transformations Andrea CORRADINI; Dominique DUVAL; Frederic PROST; Leila RIBEIRO International Conference on Graph Transformation ISBN 978-3-319-405	PS Computer Science (miscellaneous)
2016	Artigo em periódico	User interfaces metamodel based on graphs Paulo LUMERTZ; Leila RIBEIRO; Lúcio M DUARTE Journal of Visual Languages and Computing DOI 10.1016/j.jvlc.2015.10.026 ISSN 1045-926X	PS Computer Graphics and Computer-Aided Design
2016	Artigo em periódico	Formal Verification of Health Assessment Tools: a Case Study Bezerra Jonas SANTOS; Costa ANDREI; Leila RIBEIRO; Cota ÉRIKA Electronic Notes in Theoretical Computer Science DOI 10.1016/j.entcs.2016.09.005 ISSN 1571-0661	PS Computer Science Applications
2015	Capítulo de livro	Use Case Analysis Based on Formal Methods: An Empirical Study Marcos Antonio Oliveira JUNIOR; Leila RIBEIRO; Érica COTA; Lúcio M DUARTE; Ingrid NUNES et al 22nd International Workshop WADT2014 -- Revised Selected Papers ISBN 9783319281131	PS Computational Theory and Mathematics
2015	Trabalho em evento	AGREE - Algebraic Graph Rewriting with Controlled Embedding Andrea CORRADINI; Dominique DUVAL; Rachid ECHAHED; Frederic PROST; Leila RIBEIRO International Conference on Graph Transformation ISBN 978-3-319-211	PS Theoretical Computer Science
2015	Trabalho em evento	Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems Rodrigo MACHADO; Leila RIBEIRO; Reiko HECKEL International Conference on Graph Transformation ISBN 978-3-319-211	PS Computational Theory and Mathematics
2015	Trabalho em evento	From UML diagrams to simulink models: a precise and verified translation Andrei COSTA; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Leila RIBEIRO ACM Symposium on Applied Computing	PS Computer Science Applications
2015	Artigo em periódico	Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars Rodrigo MACHADO; Leila RIBEIRO; Reiko HECKEL Theoretical Computer Science DOI 10.1016/j.tcs.2015.01.034 ISSN 0304-3975	PS Computational Theory and Mathematics
2014	Trabalho em evento	Transformation of Attributed Structures with Cloning Dominique DUVAL; Rachid ECHAHED; Frederic PROST; Leila RIBEIRO FASE - - 17th International Conference on Fundamental Approaches to Software Engineering DOI 10.1007/978-3-642-54804-8_22 ISBN 978-3-642-548	PS Software
2014	Trabalho em evento	Improving the Quality of Use Cases via Model Construction and Analysis Leila RIBEIRO; Érica COTA; Lúcio M DUARTE; Marcos Antonio Oliveira JUNIOR WADT - 22nd International Workshop on Algebraic Development Techniques	PS Computational Theory and Mathematics
2014	Trabalho em evento	Proving Properties of Concurrent Systems using Graph Transformations and Event-B Simone André Da COSTA; Luciana FOSS; Leila RIBEIRO WADT - 22nd International Workshop on Algebraic Development Techniques	PS Computational Theory and Mathematics
2014	Trabalho em evento	Modelling the impacts of policies on microalgae fuel feedstocks diffusion Lauro André RIBEIRO; Patricia Pereira Da SILVA; Leila RIBEIRO; Fernando Luís DOTTI 14th IAEE European Energy Conference	PS Renewable Energy; Sustainability and the Environment
2013	Trabalho em evento	A Formal Model for the Deferred Update Replication Technique Andrea CORRADINI; Leila RIBEIRO; Fernando Luís DOTTI; Odorico MENDIZABAL TGC - 8th International Symposium Trustworthy Global Computing DOI 10.1007/978-3-319-05119-2_14 ISBN 978-3-319-051	PS Computer Science (miscellaneous)
2013	Trabalho em evento	Computational Thinking: Possibilities and Challenges Leila RIBEIRO; Daltro José NUNES; Marcia Kniphoff Da CRUZ; Ecivaldo De Souza MATOS 2nd Workshop-School on Theoretical Computer Science	PS Theoretical Computer Science
2013	Trabalho em evento	Specification of Models Based on Contexts using Graph Grammars Marcos Antonio Oliveira JUNIOR; Leila RIBEIRO; Lúcio M DUARTE; Érica COTA WEIT 2013 2nd Workshop-School on Theoretical Computer Science	PS Theoretical Computer Science
2012	Capítulo de livro	An institution for graph transformations Andrea CORRADINI; Fabio GADDUCCI; Leila RIBEIRO Recent Trends in Algebraic Development Techniques ISBN 9783642284113	PS Theoretical Computer Science
2012	Trabalho em evento	Modeling communication semantics for distributed systems in Event-B Dotti Fernando LUÍS; Leila RIBEIRO Workshop de Testes e Tolerância a Falhas	PS Computational Theory and Mathematics
2012	Trabalho em evento	Specification Patterns for Properties over Reachable States of Graph Grammars Simone André Da COSTA; Luciana FOSS; Leila RIBEIRO Simpósio Brasileiro de Métodos Formais ISBN 9783642332951	PS Computer Science (miscellaneous)
2012	Artigo em periódico	Verification of graph grammars using a logical approach Simone André Da COSTA; Leila RIBEIRO Science of Computer Programming (Print) DOI 10.1016/j.scico.2010.02.006 ISSN 0167-6423	PS General Computer Science
2012	Artigo em periódico	Correct transformation: From object-based graph grammars to PROMELA Leila RIBEIRO; Dos Santos Osmar MARCHI; Dotti Fernando LUÍS; Foss LUCIANA Science of Computer Programming (Print) ISSN 0167-6423	PS Software
2011	Trabalho em evento	Formal Methods at SBES: Evolution and Perspectives Daltro NUNES; Álvaro Freitas MOREIRA; Leila RIBEIRO Simpósio Brasileiro de Engenharia de Software DOI 10.1109/SBES.2011.29 ISBN 9780769546032	PS Software

2017 Trabalho em evento

PS Computational Theory and Mathematics

Graph Grammar Extraction from Source Code

Simpósio Brasileiro de Métodos Formais (SBMF)

Lúcio M DUARTE; Leila RIBEIRO

ISBN 978-3-319-708

2017 Artigo em periódico

PS Artificial Intelligence

Theorem proving graph grammars with attributes and negative application conditions

THEORETICAL COMPUTER SCIENCE

Simone André Da Costa CAVALHEIRO; Foss LUCIANA; Leila RIBEIRO

DOI ISSN 0304-3975

2017 Artigo em periódico

PS Information Systems

Using formal methods for content validation of medical procedure documents

INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS

Cota ÉRIKA; Leila RIBEIRO; Bezerra Jonas SANTOS; Andrei COSTA; Da Silva Rosiana ESTEFANE et al

DOI ISSN 1386-5056

2017 Artigo em periódico

PS Renewable Energy; Sustainability and the Environment

Modelling the impacts of policies on advanced biofuel feedstocks diffusion

JOURNAL OF CLEANER PRODUCTION

Ribeiro Lauro ANDRÉ; Pereira Da Silva PATRÍCIA; Leila RIBEIRO; Fernando Luís DOTTI

DOI ISSN 0959-6526

2016 Trabalho em evento

PS Computer Science (miscellaneous)

Parellelism in AGREE Transformations

International Conference on Graph Transformation

Andrea CORRADINI; Dominique DUVAL; Frederic PROST; Leila RIBEIRO

ISBN 978-3-319-405

2016 Artigo em periódico

PS Computer Graphics and Computer-Aided Design

User interfaces metamodel based on graphs

Journal of Visual Languages and Computing

Paulo LUMERTZ; Leila RIBEIRO; Lúcio M DUARTE

DOI ISSN 1045-926X

2016 Artigo em periódico

PS Computer Science Applications

Formal Verification of Health Assessment Tools: a Case Study

Electronic Notes in Theoretical Computer Science

Bezerra Jonas SANTOS; Costa ANDREI; Leila RIBEIRO; Cota ÉRIKA

DOI ISSN 1571-0661

2015 Capítulo de livro

PS Computational Theory and Mathematics

Use Case Analysis Based on Formal Methods: An Empirical Study

22nd International Workshop WADT2014 -- Revised Selected Papers

Marcos Antonio Oliveira JUNIOR; Leila RIBEIRO; Érica COTA; Lúcio M DUARTE; Ingrid NUNES et al

ISBN 9783319281131

2015 Trabalho em evento

PS Theoretical Computer Science

AGREE - Algebraic Graph Rewriting with Controlled Embedding

International Conference on Graph Transformation

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

ISBN 978-3-319-211

2015 Trabalho em evento

PS Computational Theory and Mathematics

Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems

International Conference on Graph Transformation

Rodrigo MACHADO; Leila RIBEIRO; Reiko HECKEL

ISBN 978-3-319-211

2015 Trabalho em evento

PS Computer Science Applications

From UML diagrams to simulink models: a precise and verified translation

ACM Symposium on Applied Computing

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

2015 Artigo em periódico

PS Computational Theory and Mathematics

Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars

Theoretical Computer Science

Rodrigo MACHADO; Leila RIBEIRO; Reiko HECKEL

DOI ISSN 0304-3975

2014 Trabalho em evento

PS Software

Transformation of Attributed Structures with Cloning

FASE - - 17th International Conference on Fundamental Approaches to Software Engineering

Dominique DUVAL; Rachid ECHAHED; Frederic PROST; Leila RIBEIRO

DOI ISBN 978-3-642-548

2014 Trabalho em evento

PS Computational Theory and Mathematics

Improving the Quality of Use Cases via Model Construction and Analysis

WADT - 22nd International Workshop on Algebraic Development Techniques

Leila RIBEIRO; Érica COTA; Lúcio M DUARTE; Marcos Antonio Oliveira JUNIOR

2014 Trabalho em evento

PS Computational Theory and Mathematics

Proving Properties of Concurrent Systems using Graph Transformations and Event-B

WADT - 22nd International Workshop on Algebraic Development Techniques

Simone André Da COSTA; Luciana FOSS; Leila RIBEIRO

2014 Trabalho em evento

PS Renewable Energy; Sustainability and the Environment

Modelling the impacts of policies on microalgae fuel feedstocks diffusion

14th IAEE European Energy Conference

Lauro André RIBEIRO; Patricia Pereira Da SILVA; Leila RIBEIRO; Fernando Luís DOTTI

2013 Trabalho em evento

PS Computer Science (miscellaneous)

A Formal Model for the Deferred Update Replication Technique

TGC - 8th International Symposium Trustworthy Global Computing

Andrea CORRADINI; Leila RIBEIRO; Fernando Luís DOTTI; Odorico MENDIZABAL

DOI ISBN 978-3-319-051

2013 Trabalho em evento

PS Theoretical Computer Science

Computational Thinking: Possibilities and Challenges

2nd Workshop-School on Theoretical Computer Science

Leila RIBEIRO; Daltro José NUNES; Marcia Kniphoff Da CRUZ; Ecivaldo De Souza MATOS

2013 Trabalho em evento

PS Theoretical Computer Science

Specification of Models Based on Contexts using Graph Grammars

WEIT 2013 2nd Workshop-School on Theoretical Computer Science

Marcos Antonio Oliveira JUNIOR; Leila RIBEIRO; Lúcio M DUARTE; Érica COTA

2012 Capítulo de livro

PS Theoretical Computer Science

An institution for graph transformations

Recent Trends in Algebraic Development Techniques

Andrea CORRADINI; Fabio GADDUCCI; Leila RIBEIRO

ISBN 9783642284113

2012 Trabalho em evento

PS Computational Theory and Mathematics

Modeling communication semantics for distributed systems in Event-B

Workshop de Testes e Tolerância a Falhas

Dotti Fernando LUÍS; Leila RIBEIRO

2012 Trabalho em evento

PS Computer Science (miscellaneous)

Specification Patterns for Properties over Reachable States of Graph Grammars

Simpósio Brasileiro de Métodos Formais

Simone André Da COSTA; Luciana FOSS; Leila RIBEIRO

ISBN 9783642332951

2012 Artigo em periódico

PS General Computer Science

Verification of graph grammars using a logical approach

Science of Computer Programming (Print)

Simone André Da COSTA; Leila RIBEIRO

DOI ISSN 0167-6423

2012 Artigo em periódico

PS Software

Correct transformation: From object-based graph grammars to PROMELA

Science of Computer Programming (Print)

Leila RIBEIRO; Dos Santos Osmar MARCHI; Dotti Fernando LUÍS; Foss LUCIANA

ISSN 0167-6423

2011 Trabalho em evento

PS Software

Formal Methods at SBES: Evolution and Perspectives

Simpósio Brasileiro de Engenharia de Software

Daltro NUNES; Álvaro Freitas MOREIRA; Leila RIBEIRO

DOI ISBN 9780769546032