Radu Iosif
About
Radu Iosif has authored 24 papers that have received a total of 357 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
Top countries impacted by papers by David Connolly Top authors papers by Fei Yin are co-authored with Top authors papers by Elke M. van Veen are co-authored with Top fields papers by Biagio Santella are about Top countries impacted by papers by Sarah Nevo Top countries impacted by papers by Jennifer R. Warren Top journals papers by Chandramouli Kashyap are published in Top authors papers by Erin M. MacKenzie are co-authored with