Kaustubh Nimkar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2014–2014
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CAV | Proving Non-termination Using Max-SMT. | Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2014 | FMCAD | Disproving termination with overapproximation. | Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn |
| 2014 | TACAS | Proving Nontermination via Safety. | Hong Yi Chen, Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn |