Ranjal Gautham Shenoy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2020
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | VMCAI | Formalizing and Checking Multilevel Consistency. | Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2015 | ATVA | Effective Verification of Replicated Data Types Using Later Appearance Records (LAR). | Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2015 | VMCAI | Bounded Implementations of Replicated Data Types. | Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2014 | ICDCN | Optimized OR-Sets without Ordering Constraints. | Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |