Shankaranarayanan Krishna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | Reversible Pebble Transducers. | Luc Dartois, Paul Gastin, Loc Germerie Guizouarn, Shankaranarayanan Krishna |
| 2024 | CONCUR | Reversible Transducers over Infinite Words. | Luc Dartois, Paul Gastin, Loc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna |
| 2023 | AAAI | Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. | Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi |
| 2023 | CAV | Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala |
| 2022 | PODC | Parameterized Verification under Release Acquire is PSPACE-complete. | Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty |
| 2021 | RTSS | Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning. | Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi |