Leila Ribeiro

41 papers and 206 indexed citations i.

About

Leila Ribeiro has authored 41 papers that have received a total of 206 indexed citations. This includes 27 papers in Software, 21 papers in Computational Theory and Mathematics and 14 papers in Artificial Intelligence. The topics of these papers are Model-Driven Software Engineering Techniques (26 papers), Formal Methods in Verification (21 papers) and Software Testing and Debugging Techniques (13 papers). Leila Ribeiro is often cited by papers focused on Model-Driven Software Engineering Techniques (26 papers), Formal Methods in Verification (21 papers) and Software Testing and Debugging Techniques (13 papers) and collaborates with scholars based in Brazil, Italy and United Kingdom. Leila Ribeiro's co-authors include Luciana Foss, Andrea Corradini, Fernando Luís Dotti, Ugo Montanari and Hartmut Ehrig and has published in prestigious journals such as Journal of Cleaner Production, Molecular Neurobiology and International Journal of Medical Informatics

In The Last Decade

Papers:14 Indexedcitations:113 20152020
InformationandComputation MathematicalStructuresinComputerScience MolecularNeurobiology ComputersinBiologyandMedicine ElectronicNotesinTheoreticalComputerScience ScienceofComputerProgramming JournalofLogicalandAlgebraicMethodsinProgramming TheoreticalComputerScience Lecturenotesincomputerscience JournalofCleanerProduction LeilaRibeiro

Papers by

i Specialization
i since
published in

Leila Ribeiro

192 citations, 35 papers

Rankless by CCL
2025