Richard H. Carver
About
Richard H. Carver has authored 15 papers that have received a total of 259 indexed citations.
This includes 9 papers in Software, 8 papers in Computational Theory and Mathematics and 7 papers in Hardware and Architecture. The topics of these papers are Software Testing and Debugging Techniques (9 papers), Formal Methods in Verification (8 papers) and Parallel Computing and Optimization Techniques (7 papers). Richard H. Carver is often cited by papers focused on Software Testing and Debugging Techniques (9 papers), Formal Methods in Verification (8 papers) and Parallel Computing and Optimization Techniques (7 papers) and collaborates with scholars based in United States. Richard H. Carver's co-authors include Kuo‐Chung Tai, Yu Lei, David Chenho Kung, Raghu N. Kacker and Pramod V. Koppol and has published in prestigious journals such as IEEE Transactions on Software Engineering, IEEE Software and Journal of Systems and Software
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Jennifer M. Tomlinson are about Top journals papers by Evandro Guimarães de Aguiar are published in Top countries impacted by papers by Anna Prenestini Top authors papers by Fabian Wunderlich are co-authored with Top countries impacted by papers by Linda J. Keilman Top journals papers by Megan Henry are published in Top authors papers by J. Guignard are co-authored with Top journals papers by Mary M. Barker are published in