Proving Termination of Logic Programs. - Bal Wang; R. K. Shyamsundar (A Perspective in Theoretical Computer Science, 1989)

HUMSAT for State Based Web Service Composition. - Hrushikesha Mohanty; Deepak Chenthati; Supriya Vaddi; R. K. Shyamsundar (ICIT, 2008)

Engineering location based pathfinding on Indian road networks over low end mobile phones. - Siddharth Jain; Ratan K. Ghosh; R. K. Shyamsundar (COMSNETS, 2010)

Holistic Performance Monitoring of Hybrid Clouds: Complexities and Future Directions. - Maitreya Natu; Ratan K. Ghosh; R. K. Shyamsundar; Rajiv Ranjan 001 (IEEE Cloud Comput., 2016)

City Data Fusion: Sensor Data Fusion in the Internet of Things. - Meisong Wang; Charith Perera; Prem Prakash Jayaraman; Miranda Zhang; Peter Strazdins; R. K. Shyamsundar; Rajiv Ranjan 001 (Int. J. Distributed Syst. Technol., 2016)