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 authors papers by José Tessada are co-authored with Top journals papers by Dibyakanta Seth are published in Top fields papers by Bryan S. Margulies are about Top fields papers by Elaine Sopiwnyk are about Top fields papers by Elisa Gabanti are about Top authors papers by E. L. Feĭnberg are co-authored with Top fields papers by Virginia Agostiniani are about Top authors papers by S. P. RAO are co-authored with