Radu Mateescu

40 papers and 457 indexed citations i.

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, Hidde de Jong, Wendelin Serwe, Hubert Garavel and Pedro T. Monteiro and has published in prestigious journals such as Bioinformatics, BMC Bioinformatics and IEEE Transactions on Software Engineering.