Concepedia

Joseph A. Goguen

JA

86

Publications

14.5K

Citations

45

H-Index

1967

Active since

Affiliations

SRI International(Current)

University of Oxford

University of California San Diego

Stanford University

Joseph A. Goguen is an author at SRI International specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSemanticsSoftware AnalysisProgram AnalysisLanguageLinguistics

Publications per year

1967–2009

86

Publications

86

L-fuzzy sets

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

Computer Ethic, Engineering, Usable Security +20

The logic of inexact concepts

Joseph A. Goguen · Synthese · 1969 · 1K citations

Philosophy Of Language, Dynamic Epistemic Logic, Automated Reasoning +7

Institutions: abstract model theory for specification and programming

Joseph A. Goguen, R. M. Burstall · Journal of the ACM · 1992 · 974 citations · Full text

Engineering, Well-founded Semantics, Higher-order Logic +21

Initial Algebra Semantics and Continuous Algebras

Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner et al. · Journal of the ACM · 1977 · 801 citations · Full text

Abstract Algebra, Engineering, Well-founded Semantics +18

Rows per page

1–5 of 86