Leila Ribeiro

1.4k total citations
59 papers, 330 citations indexed

About

Leila Ribeiro is a scholar working on Software, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Leila Ribeiro has authored 59 papers receiving a total of 330 indexed citations (citations by other indexed papers that have themselves been cited), including 36 papers in Software, 27 papers in Computational Theory and Mathematics and 20 papers in Artificial Intelligence. Recurrent topics in Leila Ribeiro's work include Model-Driven Software Engineering Techniques (35 papers), Formal Methods in Verification (26 papers) and Software Testing and Debugging Techniques (14 papers). Leila Ribeiro is often cited by papers focused on Model-Driven Software Engineering Techniques (35 papers), Formal Methods in Verification (26 papers) and Software Testing and Debugging Techniques (14 papers). Leila Ribeiro collaborates with scholars based in Brazil, Italy and United Kingdom. Leila Ribeiro's co-authors include Hartmut Ehrig, Julia Padberg, Luciana Foss, Fernando Luís Dotti, Simone A. Costa, Andrea Corradini, Ugo Montanari, Grzegorz Rozenberg, Thierry Lecomte and José C. M. Mombach and has published in prestigious journals such as SHILAP Revista de lepidopterología, Journal of Cleaner Production and Communications of the ACM.

In The Last Decade

Leila Ribeiro

56 papers receiving 302 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Leila Ribeiro Brazil 9 173 140 122 71 32 59 330
Assaf Marron Israel 10 121 0.7× 105 0.8× 229 1.9× 121 1.7× 12 0.4× 47 375
Amiram Yehudai Israel 12 110 0.6× 61 0.4× 174 1.4× 204 2.9× 9 0.3× 39 344
Suzanne W. Dietrich United States 13 56 0.3× 62 0.4× 220 1.8× 196 2.8× 37 1.2× 71 532
Michael T. Grinder United States 11 54 0.3× 44 0.3× 77 0.6× 27 0.4× 6 0.2× 16 282
Martín Nordio Switzerland 12 191 1.1× 27 0.2× 82 0.7× 335 4.7× 26 0.8× 23 444
William C. Chu Taiwan 9 39 0.2× 26 0.2× 106 0.9× 147 2.1× 36 1.1× 36 252
Erik Kamsties Germany 10 128 0.7× 22 0.2× 330 2.7× 433 6.1× 45 1.4× 28 548
P.S. Yu United States 10 85 0.5× 20 0.1× 256 2.1× 176 2.5× 11 0.3× 14 436
Neil Goldman United States 13 183 1.1× 76 0.5× 422 3.5× 309 4.4× 29 0.9× 40 593
Koji Torii Japan 11 119 0.7× 16 0.1× 135 1.1× 245 3.5× 29 0.9× 59 345

Countries citing papers authored by Leila Ribeiro

Since Specialization
Citations

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

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

20 of 20 papers shown
1.
Dongol, Brijesh, Catherine Dubois, Stefan Hallerstede, et al.. (2024). On Formal Methods Thinking in Computer Science Education. Formal Aspects of Computing. 37(1). 1–23. 6 indexed citations
2.
Duran, Rodrigo, et al.. (2023). Potential Factors for Retention and Intent to Drop-out in Brazilian Computing Programs. ACM Transactions on Computing Education. 23(3). 1–33. 5 indexed citations
3.
Ribeiro, Leila, et al.. (2023). The Brazilian School Computing Standard. 53–58. 7 indexed citations
4.
Corradini, Andrea, et al.. (2019). On the essence and initiality of conflicts in M -adhesive transformation systems. Journal of Logical and Algebraic Methods in Programming. 109. 100482–100482. 2 indexed citations
5.
Corradini, Andrea, et al.. (2019). Algebraic graph rewriting with controlled embedding. Theoretical Computer Science. 802. 19–37. 3 indexed citations
6.
Foss, Luciana, et al.. (2017). Theorem proving graph grammars with attributes and negative application conditions. Theoretical Computer Science. 686. 25–77. 6 indexed citations
7.
Zanotto‐Filho, Alfeu, et al.. (2017). NF κ B pathway analysis: An approach to analyze gene co-expression networks employing feedback cycles. Computational Biology and Chemistry. 72. 62–76. 1 indexed citations
8.
Cota, Érika, et al.. (2017). Using formal methods for content validation of medical procedure documents. International Journal of Medical Informatics. 104. 10–25. 5 indexed citations
9.
Ribeiro, Leila, et al.. (2015). Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars. Theoretical Computer Science. 594. 1–23. 7 indexed citations
10.
Pasquali, Matheus Augusto de Bittencourt, Vítor de Miranda Ramos, Ricardo D’Oliveira Albanus, et al.. (2014). Gene Expression Profile of NF-κB, Nrf2, Glycolytic, and p53 Pathways During the SH-SY5Y Neuronal Differentiation Mediated by Retinoic Acid. Molecular Neurobiology. 53(1). 423–435. 20 indexed citations
11.
Ribeiro, Leila, et al.. (2011). Correct transformation: From object-based graph grammars to PROMELA. Science of Computer Programming. 77(3). 214–246. 1 indexed citations
12.
Costa, Simone A. & Leila Ribeiro. (2010). Verification of graph grammars using a logical approach. Science of Computer Programming. 77(4). 480–504. 8 indexed citations
13.
Baldan, Paolo, Andrea Corradini, Ugo Montanari, & Leila Ribeiro. (2007). Unfolding semantics of graph transformation. Information and Computation. 205(5). 733–782. 9 indexed citations
14.
Corradini, Andrea, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, & Grzegorz Rozenberg. (2006). Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings (Lecture Notes in Computer Science). Springer eBooks.
15.
Corradini, Andrea, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, & Grzegorz Rozenberg. (2006). Graph transformations : Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 : proceedings. Springer eBooks. 2 indexed citations
16.
Dotti, Fernando Luís, et al.. (2003). Especificação e Verificação Formal de Sistemas Distribuídos. 221–236. 1 indexed citations
17.
Ribeiro, Leila, et al.. (2000). Complexity analysis of reactive graph grammars.. Lume (Universidade Federal do Rio Grande do Sul). 7. 109–128. 1 indexed citations
18.
Ribeiro, Leila & Martin Korff. (1997). Graph Grammars for the Specification of Concurrent Systems. 199–214. 1 indexed citations
19.
Ribeiro, Leila, Hartmut Ehrig, & Julia Padberg. (1993). Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. 1–16. 1 indexed citations
20.
Ehrig, Hartmut, Julia Padberg, & Leila Ribeiro. (1992). Algebraic High-Level Nets: Petri Nets Revisited. 188–206. 4 indexed citations

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.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Assaf Marron Breakdown of academic impact, for papers by Amiram Yehudai Breakdown of academic impact, for papers by Suzanne W. Dietrich Breakdown of academic impact, for papers by Michael T. Grinder Breakdown of academic impact, for papers by Martín Nordio Breakdown of academic impact, for papers by William C. Chu Breakdown of academic impact, for papers by Erik Kamsties Breakdown of academic impact, for papers by P.S. Yu Breakdown of academic impact, for papers by Neil Goldman Breakdown of academic impact, for papers by Koji Torii
Rankless by CCL
2026