Edit Profile (opens in new tab) Jana, Anushri Co-Author Distance Author ID: jana.anushri Published as: Jana, Anushri Documents Indexed: 1 Publication since 2017 Co-Authors: 4 Co-Authors with 1 Joint Publication 38 Co-Co-Authors Co-Authors 0 single-authored 1 C., Niyas 1 Datar, Advaita 1 Khedker, Uday P. 1 Venkatesh, Rajendran Serials Fields 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Scaling bounded model checking by transforming programs with arrays. Zbl 1485.68067 Jana, Anushri; Khedker, Uday P.; Datar, Advaita; Venkatesh, R.; C., Niyas 1 2017 Scaling bounded model checking by transforming programs with arrays. Zbl 1485.68067 Jana, Anushri; Khedker, Uday P.; Datar, Advaita; Venkatesh, R.; C., Niyas 1 2017 Cited by 5 Authors 1 Akhundov, Murad 1 Chechik, Marsha 1 Feng, Nick 1 Hui, Vincent W. H. 1 Mora, Federico Cited in 0 Serials Cited in 2 Fields 1 Computer science (68-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year