Author Info
Name
Affiliation
Papers
G. KUTTY
Department of Electrical and Computer Engineering, Department of Computer Science, University of California, Santa Barbara 93106
6
Collaborators
Citations 
PageRank 
10
143
13.89
Referers 
Referees 
References 
233
112
122
Search Limit
100233
Title
Citations
PageRank
Year
A graphical environment for the design of concurrent real-time systems351.711997
Interval logics and their decision procedures: part I: an interval logic241.731996
Axiomatizations Of Interval Logics50.691995
Completeness And Soundness Of Axiomatizations For Temporal Logics Without Next50.631994
A graphical interval logic for specifying concurrent systems657.761994
Graphical specifications for concurrent software systems91.361992