Joseph A. Goguen - Concepedia

Author

Joseph A. Goguen

Also Known As

Goguen, J, Goguen, Joseph, Goguen, Joseph A, Goguen, Joseph A., Goguen,J A, J A Goguen, J GOGUEN, J. A. Goguen, J. Goguen, J.A Goguen

249

Publications

19.3K

Citations

H-Index

123

Concepts

All Affiliations

SRI International Menlo School University of Oxford University of California San Diego Stanford University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	33	48	8.2K
2	Language Studies	13	14	3.3K
3	Arts	3	3	131
4	Business	1	1	28
5	Management	1	1	26

Joseph A. Goguen

Publications

14.5K

Citations

H-Index

Page 1

	Year	Citations
L-fuzzy sets Joseph A. Goguen Journal of Mathematical Analysis and Applications	1967	2.4K
Security Policies and Security Models Joseph A. Goguen, José Meseguer Computer EthicEngineeringUsable SecurityInformation SecurityModern World	1982	2.1K
The logic of inexact concepts Joseph A. Goguen Synthese Philosophy Of LanguageDynamic Epistemic LogicAutomated ReasoningPhilosophy Of LogicEpistemology	1969	1K
Institutions: abstract model theory for specification and programming Joseph A. Goguen, R. M. Burstall Journal of the ACM EngineeringWell-founded SemanticsHigher-order LogicSemanticsPopulation Explosion	1992	974
Initial Algebra Semantics and Continuous Algebras Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner, Journal of the ACM Abstract AlgebraEngineeringWell-founded SemanticsSemanticsSoftware Analysis	1977	801
Principles of OBJ2 Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, EngineeringLinguistic TheoryAbstract Object TheoryApplied LinguisticsNatural Language Processing	1985	468
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations Joseph A. Goguen, José Meseguer Theoretical Computer Science Order TheoryAlgebraic LogicAbstract AlgebraOrder-sorted AlgebraFormal Methods	1992	461
Unwinding and Inference Control Joseph A. Goguen, José Meseguer Artificial IntelligenceGeneral Security RequirementsEngineeringUsable SecurityInformation Security	1984	422
Putting theories together to make specifications R. M. Burstall, Joseph A. Goguen International Joint Conference on Artificial Intelligence Specification LanguageEngineeringAutomated ReasoningDesignFormal Methods	1977	420
Techniques for requirements elicitation Joseph A. Goguen, Charlotte Linde	2002	407

Page 1