Ranjal Gautham Shenoy
Orcid: 0000-0003-1173-2349
According to our database1,
Ranjal Gautham Shenoy
authored at least 6 papers
between 2014 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
IEEE Comput. Archit. Lett., 2021
2020
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020
Proceedings of the Advanced Computing and Systems for Security, 2020
2015
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Effective Verification of Replicated Data Types Using Later Appearance Records (LAR).
Proceedings of the Automated Technology for Verification and Analysis, 2015
2014
Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014