|
Search the dblp DataBase
G. Kutty:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
A Graphical Methodology for Concurrent System Design. [Citation Graph (0, 0)][DBLP] ACM Conference on Computer Science, 1994, pp:52-59 [Conf]
- G. Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith
A Graphical Interval Logic Toolset for Verifying Concurrent Systems. [Citation Graph (0, 0)][DBLP] CAV, 1993, pp:138-153 [Conf]
- Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon
The Real-Time Graphical Interval Logic Toolset. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:446-449 [Conf]
- Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty
An Automata-Theoretic Decision Procedure for Future Interval Logic. [Citation Graph (0, 0)][DBLP] FSTTCS, 1992, pp:51-67 [Conf]
- Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty
A Real-Time Interval Logic and Its Decision Procedure. [Citation Graph (0, 0)][DBLP] FSTTCS, 1993, pp:173-192 [Conf]
- Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
Graphical Specifications for Concurrent Software Systems. [Citation Graph (0, 0)][DBLP] ICSE, 1992, pp:214-224 [Conf]
- G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna
First-Order Future Interval Logic. [Citation Graph (0, 0)][DBLP] ICTL, 1994, pp:195-209 [Conf]
- P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon
A System for Automated Deduction in Graphical Interval Logic. [Citation Graph (0, 0)][DBLP] ICTL, 1994, pp:540-542 [Conf]
- G. Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
Visual Tools for Temporal Reasoning. [Citation Graph (0, 0)][DBLP] VL, 1993, pp:152-159 [Conf]
- G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon
Axiomatizations of Interval Logics. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1995, v:24, n:4, pp:313-331 [Journal]
- Louise E. Moser, P. M. Melliar-Smith, G. Kutty, Y. S. Ramakrishna
Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1994, v:21, n:4, pp:257-305 [Journal]
- Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, G. Kutty
An automata-theoretic decision procedure for propositional temporal logic with since and until. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1992, v:17, n:3, pp:271-282 [Journal]
- Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon
Automated Deduction in a Graphical Temporal Logic. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 1996, v:6, n:1, pp:- [Journal]
- Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty
Interval Logics and Their Decision Procedures, Part I: An Interval Logic. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1996, v:166, n:1&2, pp:1-47 [Journal]
- Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty
Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1996, v:170, n:1-2, pp:1-46 [Journal]
- Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
A Graphical Interval Logic for Specifying Concurrent Systems. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:2, pp:131-165 [Journal]
- Louise E. Moser, Y. S. Ramakrishna, G. Kutty, P. M. Melliar-Smith, Laura K. Dillon
A Graphical Environment for the Design of Concurrent Real-Time Systems. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 1997, v:6, n:1, pp:31-79 [Journal]
- Laura K. Dillon, G. Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna
Visual Specifications for Temporal Reasoning. [Citation Graph (0, 0)][DBLP] J. Vis. Lang. Comput., 1994, v:5, n:1, pp:61-81 [Journal]
Search in 0.002secs, Finished in 0.302secs
|