Radu Mateescu

40 papers and 457 indexed citations i.

About

Radu Mateescu has authored 40 papers that have received a total of 457 indexed citations. This includes 26 papers in Computational Theory and Mathematics, 18 papers in Software and 14 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (26 papers), Model-Driven Software Engineering Techniques (9 papers) and Software Testing and Debugging Techniques (9 papers). Radu Mateescu is often cited by papers focused on Formal Methods in Verification (26 papers), Model-Driven Software Engineering Techniques (9 papers) and Software Testing and Debugging Techniques (9 papers) and collaborates with scholars based in France, Portugal and Canada. Radu Mateescu's co-authors include Frédéric Lang, Hubert Garavel, Hidde de Jong, Wendelin Serwe and Delphine Ropers and has published in prestigious journals such as Bioinformatics, BMC Bioinformatics and IEEE Transactions on Software Engineering

In The Last Decade

Rankless by CCL
2025