Authors: GUPTA V JAGADEESAN R SARASWAT VA

Citation: V. Gupta et al., COMPUTING WITH CONTINUOUS CHANGE, Science of computer programming, 30(1-2), 1998, pp. 3-49

Authors: SARASWAT V JAGADEESAN R GUPTA V

Citation: V. Saraswat et al., TIMED DEFAULT CONCURRENT CONSTRAINT PROGRAMMING, Journal of symbolic computation, 22(5-6), 1996, pp. 475-520

Authors: TSAI C MANJUNATH BS JAGADEESAN R

Citation: C. Tsai et al., AUTOMATED SEGMENTATION OF BRAIN MR-IMAGES, Pattern recognition, 28(12), 1995, pp. 1825-1837

Authors: ABRAMSKY S JAGADEESAN R

Citation: S. Abramsky et R. Jagadeesan, NEW FOUNDATIONS FOR THE GEOMETRY OF INTERACTION, Information and computation, 111(1), 1994, pp. 53-119

Authors: ABRAMSKY S JAGADEESAN R

Citation: S. Abramsky et R. Jagadeesan, GAMES AND FULL COMPLETENESS FOR MULTIPLICATIVE LINEAR LOGIC, The Journal of symbolic logic, 59(2), 1994, pp. 543-574