Gautham Shenoy R.
IBM (India)(IN)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance, Advanced Data Storage Technologies, Interconnection Networks and Systems, Optimization and Search Problems
Most-Cited Works
- → Optimized OR-Sets without Ordering Constraints(2014)12 cited
- → Formalizing and Checking Multilevel Consistency(2020)4 cited
- → TokenSmart: Distributed, Scalable Power Management in the Many-Core Era(2021)3 cited
- → Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)(2015)1 cited
- → Bounded Implementations of Replicated Data Types(2014)1 cited
- → Bounded Version Vectors Using Mazurkiewicz Traces(2020)
- → Code international de nomencalture zoologique(1962)