Radu Iosif
About
Radu Iosif has authored 24 papers that have received a total of 361 indexed citations.
This includes 21 papers in Computational Theory and Mathematics, 19 papers in Artificial Intelligence and 8 papers in Software. The topics of these papers are Formal Methods in Verification (19 papers), Logic, programming, and type systems (15 papers) and Software Testing and Debugging Techniques (7 papers). Radu Iosif is often cited by papers focused on Formal Methods in Verification (19 papers), Logic, programming, and type systems (15 papers) and Software Testing and Debugging Techniques (7 papers) and collaborates with scholars based in France, Czechia and Italy. Radu Iosif's co-authors include Marius Bozga, Filip Konečný, Matthew B. Dwyer, John Hatcliff and Peter Habermehl and has published in prestigious journals such as Lecture notes in computer science, Journal of Systems and Software and ACM SIGPLAN Notices.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Robabeh Rahimi Breakdown of academic impact, for papers by Takahiro Nishio Breakdown of academic impact, for papers by Arie Apel Breakdown of academic impact, for papers by Danielle L. Wilson Breakdown of academic impact, for papers by D.B. Muggeridge Breakdown of academic impact, for papers by Luc Rubinger Breakdown of academic impact, for papers by Hejia Wang Breakdown of academic impact, for papers by Rui Lü