Login / Signup
Greetha Ramanathan
Publication Activity (10 Years)
Years Active: 1985-1994
Publications (10 Years): 0
</>
Publications
</>
Greetha Ramanathan
Refinement of Events in the Development of Real-Time Distributed Systems.
Theor. Comput. Sci.
133 (2) (1994)
Greetha Ramanathan
A Unified Framework for Database Specification: Functional Approach.
Formal Methods in Databases and Software Engineering
(1992)
Vangalur S. Alagar
,
Greetha Ramanathan
Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems.
Formal Aspects Comput.
3 (3) (1991)
Vangalur S. Alagar
,
Greetha Ramanathan
Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems.
Specification and Verification of Concurrent Systems
(1988)
Greetha Ramanathan
,
Vangalur S. Alagar
Algorithmic motion planning in robotics: Coordinated motion of several disks amidst polygonal obstacles.
ICRA
(1985)