Ruben Martins

23 papers and 343 indexed citations i.

About

Ruben Martins has authored 23 papers that have received a total of 343 indexed citations. This includes 12 papers in Computer Networks and Communications, 10 papers in Information Systems and 10 papers in Software. The topics of these papers are Software Engineering Research (9 papers), Software Testing and Debugging Techniques (9 papers) and Formal Methods in Verification (7 papers). Ruben Martins is often cited by papers focused on Software Engineering Research (9 papers), Software Testing and Debugging Techniques (9 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in United States, Portugal and Canada. Ruben Martins's co-authors include Işıl Dillig, Yu Feng, Vasco Manquinho, Inês Lynce and Osbert Bastani and has published in prestigious journals such as Journal of Experimental Biology, Journal of Psychiatric Research and Proceedings of the VLDB Endowment

In The Last Decade

Rankless by CCL
2025