Harsh Raju Chamarthi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2018
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | RE | Towards Development of Complete and Conflict-Free Requirements. | Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners |
| 2011 | FMCAD | Automated specification analysis using an interactive theorem prover. | Harsh Raju Chamarthi, Panagiotis Manolios |
| 2011 | TACAS | The ACL2 Sedan Theorem Proving System. | Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon |