Greetha Ramanathan

According to our database, Greetha Ramanathan authored at least 5 papers between 1985 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

Refinement of Events in the Development of Real-Time Distributed Systems.

Greetha Ramanathan

Theor. Comput. Sci., 1994

1992

A Unified Framework for Database Specification: Functional Approach.

Greetha Ramanathan

Proceedings of the Formal Methods in Databases and Software Engineering, 1992

1991

Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems.

Vangalur S. Alagar, Greetha Ramanathan

Formal Aspects Comput., 1991

1988

Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems.

Vangalur S. Alagar, Greetha Ramanathan

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1985

Algorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles.

Greetha Ramanathan, Vangalur S. Alagar

Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985