Amey Karkare

12 papers and 130 indexed citations i.

Amey Karkare has authored 12 papers that have received a total of 130 indexed citations. This includes 6 papers in Artificial Intelligence, 5 papers in Software and 4 papers in Information Systems. The topics of these papers are Software Testing and Debugging Techniques (5 papers), Logic, programming, and type systems (4 papers) and Software Engineering Research (4 papers). Amey Karkare is often cited by papers focused on Software Testing and Debugging Techniques (5 papers), Logic, programming, and type systems (4 papers) and Software Engineering Research (4 papers) and collaborates with scholars based in India, United States and Australia. Amey Karkare's co-authors include Renuka Sindhgatta, Nisheeth Srivastava, Sumit Gulwani, Norma P. Simon and Oscar Karnalim and has published in prestigious journals such as Communications of the ACM, ACM Transactions on Programming Languages and Systems and ACM Transactions on Architecture and Code Optimization