Algorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles. - Greetha Ramanathan; Vangalur S. Alagar (ICRA, 1985)

Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. - Vangalur S. Alagar; Greetha Ramanathan (Specification and Verification of Concurrent Systems, 1988)

Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems. - Vangalur S. Alagar; Greetha Ramanathan (Formal Aspects Comput., 1991)

A Unified Framework for Database Specification: Functional Approach. - Greetha Ramanathan (Formal Methods in Databases and Software Engineering, 1992)

Refinement of Events in the Development of Real-Time Distributed Systems. - Greetha Ramanathan (Theor. Comput. Sci., 1994)