Leila Ribeiro
About
In The Last Decade
Leila Ribeiro
56 papers receiving 302 citations
Peers
Comparison fields: 5 of 72
- Software 173
- Computational Theory and Mathematics 140
- Artificial Intelligence 122
- Information Systems 71
- Management Information Systems 32
Countries citing papers authored by Leila Ribeiro
This map shows the geographic impact of Leila Ribeiro's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Leila Ribeiro with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Leila Ribeiro more than expected).
Fields of papers citing papers by Leila Ribeiro
This network shows the impact of papers produced by Leila Ribeiro. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Leila Ribeiro. The network helps show where Leila Ribeiro may publish in the future.
Co-authorship network of co-authors of Leila Ribeiro
This figure shows the co-authorship network connecting the top 25 collaborators of Leila Ribeiro. A scholar is included among the top collaborators of Leila Ribeiro based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Leila Ribeiro. Leila Ribeiro is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Title | Journal | Authors | Indexed citations |
|---|---|---|---|---|
| 1 | On Formal Methods Thinking in Computer Science Education | Formal Aspects of Computing | Brijesh Dongol, Catherine Dubois et al. | 6 |
| 2 | Potential Factors for Retention and Intent to Drop-out in Brazilian Computing Programs | ACM Transactions on Computing Education | Rodrigo Duran, Sílvia Amélia Bim et al. | 5 |
| 3 | The Brazilian School Computing Standard | Leila Ribeiro, Luciana Foss et al. | 7 | |
| 4 | On the essence and initiality of conflicts in | Journal of Logical and Algebraic Methods in Programming | Andrea Corradini, Leila Ribeiro et al. | 2 |
| 5 | Algebraic graph rewriting with controlled embedding | Theoretical Computer Science | Andrea Corradini, Dominique Duval et al. | 3 |
| 6 | Theorem proving graph grammars with attributes and negative application conditions | Theoretical Computer Science | Luciana Foss, Leila Ribeiro et al. | 6 |
| 7 | NF κ B pathway analysis: An approach to analyze gene co-expression networks employing feedback cycles | Computational Biology and Chemistry | Alfeu Zanotto‐Filho, José Cláudio Fonseca Moreira et al. | 1 |
| 8 | Using formal methods for content validation of medical procedure documents | International Journal of Medical Informatics | Érika Cota, Leila Ribeiro et al. | 5 |
| 9 | Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars | Theoretical Computer Science | Leila Ribeiro, Reiko Heckel et al. | 7 |
| 10 | Gene Expression Profile of NF-κB, Nrf2, Glycolytic, and p53 Pathways During the SH-SY5Y Neuronal Differentiation Mediated by Retinoic Acid | Molecular Neurobiology | Matheus Augusto de Bittencourt Pasquali, Vítor de Miranda Ramos et al. | 20 |
| 11 | Correct transformation: From object-based graph grammars to PROMELA | Science of Computer Programming | Leila Ribeiro, Fernando Luís Dotti et al. | 1 |
| 12 | Verification of graph grammars using a logical approach | Science of Computer Programming | Simone A. Costa, Leila Ribeiro | 8 |
| 13 | Unfolding semantics of graph transformation | Information and Computation | Paolo Baldan, Andrea Corradini et al. | 9 |
| 14 | Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings (Lecture Notes in Computer Science) | Springer eBooks | Andrea Corradini, Hartmut Ehrig et al. | 0 |
| 15 | Graph transformations : Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 : proceedings | Springer eBooks | Andrea Corradini, Hartmut Ehrig et al. | 2 |
| 16 | Especificação e Verificação Formal de Sistemas Distribuídos | Fernando Luís Dotti, Luciana Foss et al. | 1 | |
| 17 | Complexity analysis of reactive graph grammars. | Lume (Universidade Federal do Rio Grande do Sul) | Leila Ribeiro et al. | 1 |
| 18 | Graph Grammars for the Specification of Concurrent Systems | Leila Ribeiro, Martin Korff | 1 | |
| 19 | Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations | Leila Ribeiro, Hartmut Ehrig et al. | 1 | |
| 20 | Algebraic High-Level Nets: Petri Nets Revisited | Hartmut Ehrig, Julia Padberg et al. | 4 |
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.