Joseph Goguen

Q: What Schools Are Affiliated With Joseph Goguen

Joseph Goguen is affiliated with the following schools: Harvard University, Naropa University, University of California, Berkeley, University of Oxford, University of California, San Diego, University of California, Los Angeles, University of Edinburgh

Joseph Goguen's AcademicInfluence.com Rankings

Joseph Goguen

Computer Science

#586

World Rank

#606

Historical Rank

#318

USA Rank

Software Engineering

#34

World Rank

#34

Historical Rank

#22

USA Rank

computer-science Degrees

Joseph Goguen

Mathematics

#877

World Rank

#1547

Historical Rank

#383

USA Rank

Measure Theory

#266

World Rank

#420

Historical Rank

#116

USA Rank

mathematics Degrees

Download Badge

Computer Science
Mathematics

Why Is Joseph Goguen Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Joseph Amadee Goguen was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International.

(See a Problem?)

Joseph Goguen's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

L-fuzzy sets (1967) (2456)
Security Policies and Security Models (1982) (2295)
Institutions: abstract model theory for specification and programming (1992) (1254)
Initial Algebra Semantics and Continuous Algebras (1977) (886)
Techniques for requirements elicitation (1993) (589)
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations (1992) (588)
The logic of inexact concepts (1969) (586)
Principles of OBJ2 (1985) (570)
Putting Theories Together to Make Specifications (1977) (521)
Unwinding and Inference Control (1984) (486)
The Semantics of CLEAR, A Specification Language (1979) (475)
Introducing Institutions (1983) (453)
EQLOG: Equality, Types, and Generic Modules For Logic Programming (1986) (302)
Requirements engineering: social and technical issues (1994) (284)
Initiality, induction, and computability (1986) (277)
Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics (1987) (277)
Reusing and Interconnecting Software Components (1986) (268)
The fuzzy tychonoff theorem (1973) (266)
An introduction to algebraic semiotics, with application to user interface design (1999) (259)
Algebraic semantics of imperative programs (1996) (245)
Parameterized Programming (1984) (237)
An object-oriented tool for tracing requirements (1996) (237)
Logical support for modularisation (1993) (224)
Institution Morphisms (2013) (203)
Towards an Algebraic Semantics for the Object Paradigm (1992) (186)
Order-Sorted Equational Computation (1989) (183)
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules (1982) (174)
Abstract Errors for Abstract Data Types (1977) (162)
Equality, Types, Modules, and (Why not ?) Generics for Logic Programming (1984) (160)
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories (1991) (159)
Concept Representation in Natural and Artificial Languages: Axioms, Extensions and Applications for Fuzzy Sets (1974) (154)
Completeness of many-sorted equational logic (1981) (153)
Models and Equality for Logical Programming (1987) (150)
Types as theories (1991) (146)
A hidden agenda (2000) (144)
Completeness of many-sorted equational logic (1982) (133)
Formal Methods: Promises And Problems (1997) (130)
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems (1993) (130)
Operational Semantics for Order-Sorted Algebra (1985) (125)
Sheaf semantics for concurrent interacting objects (1992) (117)
How to Prove Algebraic Inductive Hypotheses Without Induction (1980) (116)
An Oxford survey of order sorted algebra (1994) (116)
Requirements engineering as the reconciliation of social and technical issues (1994) (116)
Formality and Informality in Requirements Engineering (1996) (113)
Software Engineering with Obj: Algebraic Specification In Action (2010) (112)
A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments (1985) (111)
OOZE: An Object Oriented Z Environment (1991) (110)
Principles of parameterized programming (1989) (103)
Rational algebraic theories and fixed-point solutions (1976) (98)
An Introduction to OBJ 3 (1988) (98)
Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories (1984) (95)
Systems and Distinctions; Duality and Complementarity (1979) (89)
Circular coinductive rewriting (2000) (86)
A Categorial Theory of Objects as Observed Processes (1990) (86)
ALGEBRAS, THEORIES AND FREENESS: AN INTRODUCTION FOR COMPUTER SCIENTISTS (1982) (83)
Higher-order functions considered unnecessary for higher-order programming (1990) (82)
Hiding More of Hidden Algebra (1999) (77)
Social issues in requirements engineering (1993) (76)
Initial Algebra Semantics (1974) (76)
Minimal realization of machines in closed categories (1972) (73)
Concurrent term rewriting as a model of computation (1986) (72)
Rapid prototyping: in the OBJ executable specification language (1982) (71)
Order-Sorted Unification (1989) (70)
Institutions : abstract model theory for computer science (1985) (67)
What Is Unification?: A Categorical View of Substitution, Equation and Solution (1989) (65)
The Dry and the Wet (1992) (60)
Structure of planning discourse (1978) (59)
Mathematical Representation of Hierarchically Organized Systems (1970) (59)
Style: A Computational and Conceptual Blending-Based Approach (2010) (58)
Hidden Congruent Deduction (1998) (58)
Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories (1984) (57)
Order Sorted Algebra (1996) (57)
THE ARITHMETIC OF CLOSURE (1978) (56)
Requirements Engineering as the Reconciliation of Technical and Social Issues (1994) (56)
Parameterized programming and software architecture (1996) (55)
Categories of $V$-sets (1969) (53)
Parameterized programming in OBJ2 (1987) (51)
An implementation-oriented semantics for module composition (2000) (50)
On Types and FOOPS (1990) (48)
OBJ as a Theorem Prover with Applications to Hardware Verification (1989) (48)
PROGRAMMING WITH PARAMETERIZED ABSTRACT OBJECTS IN OBJ. (1983) (47)
Equality, Types, Modules and Generics for Logic Programming (1984) (46)
Software Engineering with OBJ (2000) (46)
Some Fundamentals of Order-Algebraic Semantics (1976) (46)
Reasoning and Natural Explanation (1983) (46)
What is a Logic (2007) (45)
Discrete-Time Machines in Closed Monoidal Categories. I (1975) (44)
Zadeh L. A.. Fuzzy sets. Information and control , vol. 8 (1965), pp. 338–353. Zadeh L. A.. Similarity relations and fuzzy orderings. Information sciences , vol. 3 (1971), pp. 177–200. (1973) (44)
Data, Schema, Ontology and Logic Integration (2005) (43)
Extensions and foundations of object-oriented programming (1986) (42)
What Is a Concept? (2005) (41)
Linguistic methodology for the analysis of aviation accidents (1983) (41)
Information Integration in Institutions (2006) (41)
Remarks on remarks on many-sorted equational logic (1987) (39)
Proof of correctness of object representations (1994) (39)
Algebraic Denotational Semantics Using Parameterized Abstract Modules (1981) (39)
Composing Hidden Information Modules over Inclusive Institutions (2004) (39)
Software component search (1996) (38)
On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs (1974) (36)
Social and Semiotic Analyses for Theorem Prover User Interface Design 1 (1999) (36)
Hidden coinduction: behavioural correctness proofs for objects (1999) (36)
Categories of fuzzy sets : applications of non-cantorian set theory (1968) (34)
HYPERPROGRAMMING: A Formal Approach to Software Environments (1990) (33)
Formal Methods and Social Context in Software Development (1995) (33)
Style as a Choice of Blending Principles (2004) (32)
Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs (1978) (31)
Modular Algebraic Specification of Some Basic Geometrical Constructions (1988) (31)
Distributed cooperative formal methods tools (1997) (30)
Conditional Circular Coinductive Rewriting with Case Analysis (2002) (30)
A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases (2002) (30)
Circular Coinduction (2000) (30)
Software for the Rewrite Rule Machine (1988) (29)
Compiling Concurrent Rewriting onto the Rewrite Rule Machine (1990) (29)
Realization is universal (1972) (29)
2OBJ: a metalogical framework theroem prover based on equational logic (1992) (28)
A Categorical Approach to General Systems (1978) (28)
Semantics of computation (1974) (28)
A Sheaf Semantics for FOOPS Expressions (1991) (26)
Semiotics, Compassion and Value-Centered Design (2004) (26)
Critical Points for Interactive Schema Matching (2004) (26)
On Equational Craig Interpolation (2000) (24)
Signs and Representations: Semiotics for User Interface Design (1999) (23)
An Introduction to Category-based Equational Logic (1995) (23)
Verifying Design with Proof Scores (2005) (23)
COMPLEXITY OF HIERARCHICALLY ORGANIZED SYSTEMS AND THE STRUCTURE OF MUSICAL EXPERIENCES (1977) (23)
Module Composition and System Design for the Object Paradigm (1995) (22)
Behavioral verification of distributed concurrent systems with BOBJ (2003) (22)
Systems and minimal realization (1971) (22)
Proving and Rewriting (1990) (22)
An Overview of the Tatami Project (2000) (21)
ON FUZZY ROBOT PLANNING**Research supported by NSF Contract GK-42112 while the author was at UCLA, and also at Naropa Institute and the University of Colorado, each in Boulder, Colorado. (1975) (21)
Cell and Ensemble Architecture for the Rewrite Rule Machine (1988) (20)
Identifying Inheritance Structure in Object-Oriented Systems Analysis: A Pattern Matching Approach. (1994) (19)
An Algebraic Approach to Refinement (1990) (17)
Web-Based Support for Cooperative Software Engineering (2001) (17)
Memories of ADJ (1993) (16)
An Operational Semantics for FOOPS (1994) (16)
Correctness and Equivalence of Data Types (1976) (16)
Crew Communication as a Factor in Aviation Accidents (1986) (15)
Towards a Provably Correct Compiler for OBJ3 (1994) (14)
A protocol for distributed cooperative work (1999) (14)
The Rewrite Rule Machine Project (1989) (14)
Extended abstract of a hidden agenda (1996) (14)
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability (1992) (13)
Tossing Algebraic Flowers down the Great Divide (1999) (13)
Tools for Distributed Cooperative Design and Validation (1998) (13)
More thoughts on specification and verification (1981) (13)
Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability (1987) (12)
Three Perspectives on Information Integration (2005) (11)
Checklist interruption and resumption: A linguistic study (1987) (11)
Information Visualization and Semiotic Morphisms (11)
Rewrite Rule Machine. (1986) (11)
Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets (1986) (11)
Towards user centric schema mapping platform (2007) (10)
Momories of ADJ (1989) (10)
Semantic Specifications for the Rewrite Rule Machine (1991) (10)
Art and the brain (1999) (10)
Specifying, Programming and Verifying with Equational Logic (2005) (10)
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment (1992) (10)
Simulation and performance estimation for the Rewrite Rule Machine (1992) (10)
A hidden Herbrand theorem: combining the object and logic paradigms (2002) (10)
Behavioral and Coinductive Rewriting (2000) (10)
Software Engineering with OBJ: algebraic specification in practice (1992) (9)
Techniques for Requirements Elicitation 1 (1993) (9)
A Hidden Herbrand Theorem: Combining the Object, Logic and Functional Paradigms (1998) (9)
7 Information visualisation and semiotic morphisms (2005) (9)
A Hidden Herbrand Theorem (1998) (8)
Formalization in Programming Environments (1987) (8)
Correctness of Recursive Parallel Nondeterministic Flow Programs (1983) (7)
A short Oxford survey of order sorted algebra (1992) (7)
Stretching First Order Equational Logic: Proofs with Partiality, Subtypes and Retracts (1998) (7)
Geometrical Constructions (1981) (7)
Specification in OOZE with examples (1994) (7)
Correctness of Recursive Flow Diagram Programs (1977) (6)
Web-based multimedia support for distributed cooperative software engineering (2000) (6)
On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes (1972) (6)
The Denial of Error (1992) (6)
Fuzzy Sets and Systems: Theory and Applications (Didier Dubois and Henri Prade) (1985) (6)
THE REWRITE RULE MACHINE, 1988 (1989) (6)
KWIC-index generation (1981) (5)
Refinement of Concurrent Object Oriented Programs (1995) (5)
Review: C. V. Negoita, D. A. Ralescu, Applications of Fuzzy Sets to Systems Analysis (1979) (5)
What Is Art? Editorial Introduction (2000) (5)
On the Independence of Discourse Structure and Semantic Domain (1980) (5)
PROVING CORRECTNESS OF REFINEMENT AND IMPLEMENTATION (2009) (5)
Situated Adaptive Software: beyond the Object Paradigm (1995) (4)
Ontology , Society , and Ontotheology (4)
Factorizations, Congruences, and the Decomposition of Automata and Systems (1974) (4)
One, None, A Hundred Thousand Specification Languages (Invited Paper) (1986) (4)
OBJ-1, A Study in Executable Algebraic Formal Specification. (1981) (4)
Deduction with many-sorted rewrite (1985) (4)
A Metadata Tool for Retrieval from Heterogeneous Distributed XML Documents (2003) (4)
Reality and Human Values in Mathematics (4)
An Institutional View on Categorical Logic (2007) (4)
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (H. Ehrig and B. Mahr) (1987) (3)
Truth and Meaning Beyond Formalism (1992) (3)
Information Retrieval from Distributed Semistructured Documents Using Metadata Interface (2006) (3)
Keynote: On Notation (1993) (3)
CONTRIBUTIONS TO THE MATHEMATICAL THEORY OF EVOLUTIONARY ALGORITHMS. (1967) (3)
Hermeneutics and Path (1992) (3)
An Institutional View on Categorical Logic and the Curry-Howard-Tait-Isomorphism (3)
Parallel realization of systems, using factorizations and quotients in categories (1976) (3)
A Rewrite Rule Machine. Models of Computation for the Rewrite Rule Machine. (1986) (3)
More Higher Order Programming in OBJ (2000) (3)
Steps Toward a Design Theory for Virtual Worlds (2005) (3)
Ontology , Ontotheology , and Society (2007) (3)
Review: L. A. Zadeh, Fuzzy Sets; L. A. Zadeh, Similarity Relations and Fuzzy Orderings (1973) (3)
The Dry and the Wet 1 (1992) (2)
How Effective Is Communication Training For Aircraft Crews (1992) (2)
Interactive Schema Matching With Semantic Functions (2003) (2)
Machine support for behavioral algebraic specification and verification (2003) (2)
Query generation for retrieving data from distributed semistructured documents using a metadata interface (2009) (2)
A Rewrite Rule Machine. Architectural Options and Testbed Facilities for the Rewrite Rule Machine. (1986) (2)
A Full Mission Simulator Study of Aircrew Performances: the Measurement of Crew Coordination and Decisionmaking Factors and Their Relationships to Flight Task Performances (1984) (2)
Parametrized programming and its application to rapid prototyping in OBJ2 (1990) (2)
Are Agents an Answer or a Question ? (2001) (2)
Towards a Design Theory for Virtual Worlds: Algebraic semiotics, with information visualization as a case study (2001) (2)
Towards a Design Theory for Virtual Worlds: Algebraic semiotics, and scienti c visualization as a case study (2001) (2)
Consciousness and the Decline of Cognitivism (2007) (2)
Proving Program Correctness (1996) (2)
Hidden Algebraic Engineering 1 (1997) (1)
Axioms for discrimination information (Corresp.) (1975) (1)
Semantics of Non-terminating Rewrite Systems Using Minimal Coverings (1995) (1)
Suggestions for progress in software analysis, synthesis and certification (1994) (1)
Morphisms and Semantics for Higher Order Parameterized Programming (2002) (1)
Equational Programming (A Study in Executable Algebraic Formal Specification). (1986) (1)
Formal Tools for Distributed Cooperative Engineering (1998) (1)
COLOR PERCEPTION USING A SINGLE CONE TYPE WITH DISTURBED MAXIMUM SENSITIVITY. (1964) (1)
Optimal Structures for Multimedia Instruction. (1984) (1)
22nd International Workshop on Algebraic Development Techniques (2014) (1)
FOUR PIECES ON ERROR, TRUTH AND REALITY (1990) (1)
WRLA 2000 Preliminary Version Behavioral and Coinductive Rewriting 1 (2000) (0)
What is a logics (2005) (0)
FUZZY SETS AT U.C.L.A. (1979) (0)
Parameterization Pitfalls and Potentials (1987) (0)
Consciousness Studies Shape of the Discipline (2002) (0)
Summary of the Semantics (1996) (0)
Introduction (1993) (0)
Optimal Structures for Multimedia Instruction. Final Report. (1985) (0)
Proc. second technology seminar on software factory experiences on Theory and practice of software (2000) (0)
Chapter 9 MORE HIGHER ORDER PROGRAMMING IN OBJ (2007) (0)
PROVING CORRECTNESS OF REFINEMENT AND IMPLEMENTATION hy (2009) (0)
Optimal Structures for Multimedia Instruction. Annual Technical Report. (1984) (0)
What is a Logic ? Till Mossakowski (0)
Abstracts from Synthese (1969) (0)
Experiences and perspectives with SRI's tools for software design and validation (1982) (0)
Example 1: Geometrical constructions (1981) (0)
PART III Parallel Architectures and VLSI Logic Semantic Specifications for the Rewrite Rule Machine (0)
Rewrite Rule Machine project. Final report (1989) (0)
A Rewrite Rule Machine. Simulation of Concurrent Tree Rewriting. (1986) (0)
What is a Logic ? In memoriam (2006) (0)
Flight Checklists And Interruptions (1991) (0)
C Proof of Theorem 4 . 1 a Proof of Theorem 3 . 1 (1994) (0)
Stores, Variables, Values, and Assignment (1996) (0)
Zero, Connected, Empty: An Essay after a Cantata (2002) (0)
Some Comparison with Other Approaches (1996) (0)
Report on Ada (Trademark) Program Libraries Workshop Held at Monterey, California on November 1-3, 1983, (1983) (0)
Fct'99 Final Version a Protocol for Distributed Cooperative Work (1999) (0)
Zero, Connected, Empty (2002) (0)
On Equational Craig Interpolation 1 (2000) (0)
A Hidden Manifesto (1997) (0)
An Implementation-oriented Semantics for Module Composition 1.1 Introduction (1997) (0)
ALGEBRAIC DENOTATIONAL SEMANTICS USING PARAMETERIZED ABSTRACT MODULES 1 (2005) (0)
Value-Driven Design with Algebraic Semiotics (0)
Communication training for aircrews: A review of theoretical and pragmatic aspects of training program design (1987) (0)
Foundations and extensions of object-oriented programming (abstract only) (1986) (0)
A Rewrite Rule Machine. Programming by Generic Example. (1986) (0)
First Order Logic and Induction (1996) (0)
Criti al Points for Intera tive S hema Mat (2004) (0)
Hidden algebra and concurrent distributed software (2000) (0)
Verifications with Proof Scores in CafeOBJ (2004) (0)
Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982 (1983) (0)
FCT'99 Preliminary Version A Protocol for Distributed Cooperative Work (1999) (0)
Background in General Algebra and OBJ (1996) (0)
Programming Research Group on Refinement and Foops on Refinement and Foops (1994) (0)
Programming Research Group AN OPERATIONAL SEMANTICS FOR FOOPS (1994) (0)
Composition and Conditionals (1996) (0)

This paper list is powered by the following services:

Other Resources About Joseph Goguen

en.wikipedia.org

What Schools Are Affiliated With Joseph Goguen?

Joseph Goguen is affiliated with the following schools:

Joseph Goguen's Academic­Influence.com Rankings

Why Is Joseph Goguen Influential?

Joseph Goguen's Published Works

Published Works

Other Resources About Joseph Goguen

What Schools Are Affiliated With Joseph Goguen?

Image Attributions

Joseph Goguen's AcademicInfluence.com Rankings