Gautham Shenoy R.

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 4

Top Topics

Graph Cut Segmentation

Ordering Constraints

Temporal Consistency

Top Venues

Publications

Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
Bounded Version Vectors Using Mazurkiewicz Traces. ACSS (1) (2020)
Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
Formalizing and Checking Multilevel Consistency. VMCAI (2020)
Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
Effective Verification of Replicated Data Types Using Later Appearance Records (LAR). ATVA (2015)
Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
Bounded Implementations of Replicated Data Types. VMCAI (2015)
Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
Optimized OR-Sets without Ordering Constraints. ICDCN (2014)