An Automata-Theoretic Decision Procedure for Future Interval Logic. - Y. S. Ramakrishna; Laura K. Dillon; Louise E. Moser; P. M. Melliar-Smith; George Kutty (FSTTCS, 1992)

Graphical Specifications for Concurrent Software Systems. - Laura K. Dillon; George Kutty; Louise E. Moser; P. M. Melliar-Smith; Y. S. Ramakrishna (ICSE, 1992)

An automata-theoretic decision procedure for propositional temporal logic with since and until. - Y. S. Ramakrishna; Louise E. Moser; Laura K. Dillon; P. M. Melliar-Smith; George Kutty (Fundam. Informaticae, 1992)

A Graphical Interval Logic Toolset for Verifying Concurrent Systems. - George Kutty; Y. S. Ramakrishna; Louise E. Moser; Laura K. Dillon; P. M. Melliar-Smith (CAV, 1993)

A Real-Time Interval Logic and Its Decision Procedure. - Y. S. Ramakrishna; Laura K. Dillon; Louise E. Moser; P. M. Melliar-Smith; George Kutty (FSTTCS, 1993)

Really visual temporal reasoning. - Y. S. Ramakrishna; P. Michael Melliar-Smith; Louise E. Moser; Laura K. Dillon; George Kutty (RTSS, 1993)

Visual Tools for Temporal Reasoning. - George Kutty; Laura K. Dillon; Louise E. Moser; P. M. Melliar-Smith; Y. S. Ramakrishna (VL, 1993)

A Graphical Methodology for Concurrent System Design. - George Kutty; Louise E. Moser; P. M. Melliar-Smith; Y. S. Ramakrishna (ACM Conference on Computer Science, 1994)

First-Order Future Interval Logic. - George Kutty; Louise E. Moser; P. M. Melliar-Smith; Laura K. Dillon; Y. S. Ramakrishna (ICTL, 1994)

A System for Automated Deduction in Graphical Interval Logic. - P. M. Melliar-Smith; Louise E. Moser; Y. S. Ramakrishna; George Kutty; Laura K. Dillon (ICTL, 1994)

Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next. - Louise E. Moser; P. M. Melliar-Smith; George Kutty; Y. S. Ramakrishna (Fundam. Informaticae, 1994)

A Graphical Interval Logic for Specifying Concurrent Systems. - Laura K. Dillon; George Kutty; Louise E. Moser; P. M. Melliar-Smith; Y. S. Ramakrishna (ACM Trans. Softw. Eng. Methodol., 1994)

Visual Specifications for Temporal Reasoning. - Laura K. Dillon; George Kutty; P. M. Melliar-Smith; Louise E. Moser; Y. S. Ramakrishna (J. Vis. Lang. Comput., 1994)

Axiomatizations of Interval Logics. - George Kutty; Louise E. Moser; P. M. Melliar-Smith; Y. S. Ramakrishna; Laura K. Dillon (Fundam. Informaticae, 1995)

The Real-Time Graphical Interval Logic Toolset. - Louise E. Moser; P. M. Melliar-Smith; Y. S. Ramakrishna; George Kutty; Laura K. Dillon (CAV, 1996)

Automated Deduction in a Graphical Temporal Logic. - Louise E. Moser; P. M. Melliar-Smith; Y. S. Ramakrishna; George Kutty; Laura K. Dillon (J. Appl. Non Class. Logics, 1996)

Interval Logics and Their Decision Procedures, Part I: An Interval Logic. - Y. S. Ramakrishna; P. M. Melliar-Smith; Louise E. Moser; Laura K. Dillon; George Kutty (Theor. Comput. Sci., 1996)

Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic. - Y. S. Ramakrishna; P. M. Melliar-Smith; Louise E. Moser; Laura K. Dillon; George Kutty (Theor. Comput. Sci., 1996)

A Graphical Environment for the Design of Concurrent Real-Time Systems. - Louise E. Moser; Y. S. Ramakrishna; George Kutty; P. M. Melliar-Smith; Laura K. Dillon (ACM Trans. Softw. Eng. Methodol., 1997)