Concepedia

Harsh Raju Chamarthi

HR

Statistics

Publications

3

Citations

88

H-Index

3

Active since

2011

Affiliations

Northeastern University(Current)

Harsh Raju Chamarthi is an author at Northeastern University specializing in computer science, formal methods, and automated theorem proving.

Publications per year

2011–2018

3

Publications

3

Integrating Testing and Interactive Theorem Proving

Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann et al. · Electronic Proceedings in Theoretical Computer Science · 2011 · 53 citations · Full text

, , +13

Towards Development of Complete and Conflict-Free Requirements

Abha Moitra, Kit Siu, Andrew Crapo et al. · 2018 · 24 citations

, , +17

Automated specification analysis using an interactive theorem prover

Harsh Raju Chamarthi, Panagiotis Manolios · 2011 · 11 citations

, , +16

1–3 of 3