Statistics
Publications
9
Citations
289
H-Index
9
Active since
1992
Affiliations
G. Kutty is an author at University of California, Santa Barbara specializing in temporal logic, computer science, and formal methods.
Publications per year
1992–2002
9
9
Interval logics and their decision procedures
Y. S. Ramakrishna, P. M. Melliar‐Smith, L.E. Moser et al. · Theoretical Computer Science · 1996 · 34 citations
Graphical specifications for concurrent software systems
Laura K. Dillon, G. Kutty, L.E. Moser et al. · 1992 · 22 citations
Interval logics and their decision procedures
Y. S. Ramakrishna, P. M. Melliar‐Smith, L.E. Moser et al. · Theoretical Computer Science · 1996 · 19 citations
1–5 of 9