Pritom Rajkhowa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2013–2019
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | VIAP 1.1 - (Competition Contribution). | Pritom Rajkhowa, Fangzhen Lin |
| 2017 | SYNASC | VIAP - Automated System for Verifying Integer Assignment Programs with Loops. | Pritom Rajkhowa, Fangzhen Lin |
| 2013 | Qshine | An Application of Defeasible Logic Programming for Firewall Verification and Reconfiguration. | Pritom Rajkhowa, Shyamanta M. Hazarika, Guillermo Ricardo Simari |