Rastislav Bodík
About
Rastislav Bodík has authored 86 papers that have received a total of 2.3k indexed citations.
This includes 50 papers in Hardware and Architecture, 32 papers in Computer Networks and Communications and 30 papers in Software. The topics of these papers are Parallel Computing and Optimization Techniques (48 papers), Software Testing and Debugging Techniques (30 papers) and Logic, programming, and type systems (21 papers). Rastislav Bodík is often cited by papers focused on Parallel Computing and Optimization Techniques (48 papers), Software Testing and Debugging Techniques (30 papers) and Logic, programming, and type systems (21 papers) and collaborates with scholars based in United States, United Kingdom and Switzerland. Rastislav Bodík's co-authors include Armando Solar-Lezama, Mark D. Hill, Rajiv Gupta, Sanjit A. Seshia and Min Xu and has published in prestigious journals such as Communications of the ACM, Cell Reports and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Dieter Gläser are co-authored with Top countries impacted by papers by Xixi Cai Top journals papers by Daisuke Fujioka are published in Top journals papers by Shih‐Ting Huang are published in Top journals papers by Paolo Ciavola are published in Top authors papers by James W. Freston are co-authored with Top countries impacted by papers by Marie‐Dominique Hardy‐Dessources Top countries impacted by papers by Dean Everett