Statistics
Publications
4
Citations
121
H-Index
4
Active since
1975
Affiliations
Case Western Reserve University(Current)
Kenneth G. Walter is an author at Case Western Reserve University specializing in computer science, computing, and formal methods.
Publications per year
1975–1976
4
4
Alternating semantic evaluator
Mehdi Jazayeri, Kenneth G. Walter · 1975 · 69 citations
Structured specification of a Security Kernel
Kenneth G. Walter, Samuel I. Schaen, William F. Ogden et al. · ACM SIGPLAN Notices · 1975 · 23 citations
Structured specification of a Security Kernel
Kenneth G. Walter, J. M. Gilligan, Samuel I. Schaen et al. · 1975 · 15 citations · Full text
Recursion analysis for compiler optimization
Kenneth G. Walter · Communications of the ACM · 1976 · 14 citations · Full text
1–4 of 4