Chinmay Narayan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | TASE | From Traces to Proofs: Proving Concurrent Programs Safe. | Chinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar |
| 2014 | CONCUR | Reducing Clocks in Timed Automata while Preserving Bisimulation. | Shibashis Guha, Chinmay Narayan, S. Arun-Kumar |
| 2013 | OOPSLA | Relaxed separation logic: a program logic for C11 concurrency. | Viktor Vafeiadis, Chinmay Narayan |
| 2012 | CAV | On Decidability of Prebisimulation for Timed Automata. | Shibashis Guha, Chinmay Narayan, S. Arun-Kumar |