S. Arun-Kumar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2004–2022
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | TASE | Extending Process Algebra with an Undefined Action. | S. Arun-Kumar |
| 2017 | ICTAC | Logical Characterisation of Parameterised Bisimulations. | Divyanshu Bagga, S. Arun-Kumar |
| 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 |
| 2012 | CAV | On Decidability of Prebisimulation for Timed Automata. | Shibashis Guha, Chinmay Narayan, S. Arun-Kumar |
| 2006 | SEFM | On Bisimilarities Induced by Relations on Actions. | S. Arun-Kumar |
| 2005 | FORTE | Amortised Bisimulations. | Astrid Kiehn, S. Arun-Kumar |
| 2004 | ICTAC | A Logical Characterization of Efficiency Preorders. | Neelesh Korade, S. Arun-Kumar |
| 2004 | LPAR | Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals. | M. Jamshid Bagherzadeh, S. Arun-Kumar |