Domagoj Babić
About
Domagoj Babić has authored 15 papers that have received a total of 196 indexed citations.
This includes 11 papers in Software, 9 papers in Computational Theory and Mathematics and 7 papers in Information Systems. The topics of these papers are Formal Methods in Verification (9 papers), Software Testing and Debugging Techniques (8 papers) and Software Engineering Research (7 papers). Domagoj Babić is often cited by papers focused on Formal Methods in Verification (9 papers), Software Testing and Debugging Techniques (8 papers) and Software Engineering Research (7 papers) and collaborates with scholars based in Canada, United States and United Kingdom. Domagoj Babić's co-authors include Alan J. Hu, Dawn Song, Frank Hutter, Holger H. Hoos and Zvonimir Rakamarić and has published in prestigious journals such as IEEE Transactions on Computers, ACM SIGPLAN Notices and International Journal on Software Tools for Technology Transfer
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Ernest R. Sandeen are co-authored with Top fields papers by Matias Trillini are about Top fields papers by William J. Maxwell are about Top fields papers by Christine Dévelotte are about Top fields papers by P. Gale are about Top fields papers by G. Ferrini are about Top fields papers by Andrea Kirsch are about Top fields papers by Anna‐Brita Stenström are about