Statistics
Publications
86
Citations
14.6K
H-Index
45
Active since
1967
Joseph A. Goguen is an author at SRI International specializing in computer science, computing, and formal methods.
Publications per year
1967–2009
86
86
Joseph A. Goguen · Journal of Mathematical Analysis and Applications · 1967 · 2.4K citations
Security Policies and Security Models
Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations
Joseph A. Goguen · Synthese · 1969 · 1K citations
Initial Algebra Semantics and Continuous Algebras
Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner et al. · Journal of the ACM · 1977 · 803 citations · Full text
Computing, Computer Science, Algebra +12
1–5 of 86