On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes - Joseph A. Goguen (SWAT, 1972)

Realization is Universal. - Joseph A. Goguen (Math. Syst. Theory, 1972)

Semantics of computation. - Joseph A. Goguen (Category Theory Applied to Computation and Control, 1974)

Initial Algebra Semantics - Joseph A. Goguen; James W. Thatcher (SWAT, 1974)

Factorizations, Congruences, and the Decomposition of Automata and Systems. - Joseph A. Goguen; James W. Thatcher; Eric G. Wagner; Jesse B. Wright (MFCS, 1974)

Concept Representation in Natural and Artificial Languages: Axioms, Extensions and Applications for Fuzzy Sets. - Joseph A. Goguen (Int. J. Man Mach. Stud., 1974)

On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs. - Joseph A. Goguen (J. Comput. Syst. Sci., 1974)

Discrete-Time Machines in Closed Monoidal Categories. I. - Joseph A. Goguen (J. Comput. Syst. Sci., 1975)

Axioms for discrimination information (Corresp.). - Joseph A. Goguen; Lee Carlson (IEEE Trans. Inf. Theory, 1975)

Rational Algebraic Theories and Fixed-Point Solutions - Jesse B. Wright; James W. Thatcher; Eric G. Wagner; Joseph A. Goguen (FOCS, 1976)

Some Fundamentals of Order-Algebraic Semantics. - Eric G. Wagner; Jesse B. Wright; Joseph A. Goguen; James W. Thatcher (MFCS, 1976)

Abstract Errors for Abstract Data Types. - Joseph A. Goguen (Formal Description of Programming Concepts, 1977)

Putting Theories Together to Make Specifications. - Rod M. Burstall; Joseph A. Goguen (IJCAI, 1977)

Correctness of Recursive Flow Diagram Programs. - Joseph A. Goguen; José Meseguer 001 (MFCS, 1977)

Initial Algebra Semantics and Continuous Algebras. - Joseph A. Goguen; James W. Thatcher; Eric G. Wagner; Jesse B. Wright (J. ACM, 1977)

Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs. - Joseph A. Goguen (Mathematical Studies of Information Processing, 1978)

The Semantics of CLEAR, A Specification Language. - Rod M. Burstall; Joseph A. Goguen (Abstract Software Specifications, 1979)

On the Independence of Discourse Structure and Semantic Domain. - Charlotte Linde; Joseph A. Goguen (ACL, 1980)

How to Prove Algebraic Inductive Hypotheses Without Induction. - Joseph A. Goguen (CADE, 1980)

Geometrical Constructions. - Jørgen Staunstrup; Joseph A. Goguen (Program Specification, 1981)

KWIC-index generation. - Jørgen Steensgaard-Madsen; Jane W. Hughes; Malcolm S. Powell; Hartmut Ehrig; Hans-Jörg Kreowski; Leif Sandegaard Nielsen; Jean-Raymond Abrial; Ib Holm Sørensen; Robin M. Gallimore; Derek Coleman; Joseph A. Goguen (Program Specification, 1981)

Algebraic Denotational Semantics Using Parameterized Abstract Modules. - Joseph A. Goguen; Kamran Parsaye-Ghomi (ICFPC, 1981)

More thoughts on specification and verification. - Joseph A. Goguen (ACM SIGSOFT Softw. Eng. Notes, 1981)

Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. - Joseph A. Goguen; José Meseguer 001 (ICALP, 1982)

Rapid prototyping: in the OBJ executable specification language. - Joseph A. Goguen; José Meseguer 001 (Rapid Prototyping, 1982)

Security Policies and Security Models. - Joseph A. Goguen; José Meseguer 001 (S&P, 1982)

Completeness of many-sorted equational logic. - Joseph A. Goguen; José Meseguer 001 (ACM SIGPLAN Notices, 1982)

Introducing Institutions. - Joseph A. Goguen; Rod M. Burstall (Logic of Programs, 1983)

Reasoning and Natural Explanation. - Joseph A. Goguen; J. L. Weiner; Charlotte Linde (Int. J. Man Mach. Stud., 1983)

Correctness of Recursive Parallel Nondeterministic Flow Programs. - Joseph A. Goguen; José Meseguer 001 (J. Comput. Syst. Sci., 1983)

Equality, Types, Modules and Generics for Logic Programming. - Joseph A. Goguen; José Meseguer 001 (ICLP, 1984)

Unwinding and Inference Control. - Joseph A. Goguen; José Meseguer 001 (S&P, 1984)

Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. - Joseph A. Goguen; José Meseguer 001 (J. Log. Program., 1984)

Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories. - Joseph A. Goguen; Rod M. Burstall (Theor. Comput. Sci., 1984)

Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories. - Joseph A. Goguen; Rod M. Burstall (Theor. Comput. Sci., 1984)

Parameterized Programming. - Joseph A. Goguen (IEEE Trans. Software Eng., 1984)

A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments. - Joseph A. Goguen; Rod M. Burstall (CTCS, 1985)

Operational Semantics for Order-Sorted Algebra. - Joseph A. Goguen; Jean-Pierre Jouannaud; José Meseguer 001 (ICALP, 1985)

Principles of OBJ2. - Kokichi Futatsugi; Joseph A. Goguen; Jean-Pierre Jouannaud; José Meseguer 001 (POPL, 1985)

EQLOG: Equality, Types, and Generic Modules For Logic Programming. - Joseph A. Goguen; José Meseguer 001 (Logic Programming: Functions, Relations, and Equations, 1986)

Concurrent term rewriting as a model of computation. - Joseph A. Goguen; Claude Kirchner; José Meseguer 001 (Graph Reduction, 1986)

One, None, A Hundred Thousand Specification Languages (Invited Paper). - Joseph A. Goguen (IFIP Congress, 1986)

Reusing and Interconneccting Software Components. - Joseph A. Goguen (Computer, 1986)

Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. - Joseph A. Goguen; José Meseguer 001 (Bull. EATCS, 1986)

Extensions and foundations of object-oriented programming. - Joseph A. Goguen; José Meseguer 001 (OOPWORK, 1986)

Foundations and extensions of object-oriented programming (abstract only). - Joseph A. Goguen; José Meseguer 001 (OOPWORK, 1986)

Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. - Joseph A. Goguen; José Meseguer 001 (Research Directions in Object-Oriented Programming, 1987)

Parameterization Pitfalls and Potentials. - Joseph A. Goguen (COMPCON, 1987)

An Introduction to OBJ 3. - Joseph A. Goguen; Claude Kirchner; Hélène Kirchner; Aristide Mégrelis; José Meseguer 001; Timothy C. Winkler (CTRS, 1987)

Parameterized Programming in OBJ2. - Kokichi Futatsugi; Joseph A. Goguen; José Meseguer 001; Koji Okada (ICSE, 1987)

Order-Sorted Algebra solves the Constructor-Selector, Multiple - Joseph A. Goguen; José Meseguer 001 (LICS, 1987)

Models and Equality for Logical Programming. - Joseph A. Goguen; José Meseguer 001 (TAPSOFT, Vol.1, 1987)

Formalization in Programming Environments. - Joseph A. Goguen; Mark Moriconi (Computer, 1987)

Remarks on Remarks on Many-Sorted Equational Logic. - Joseph A. Goguen; José Meseguer 001 (ACM SIGPLAN Notices, 1987)

Software for the Rewrite Rule Machine. - Joseph A. Goguen; José Meseguer 001 (FGCS, 1988)

Cell and Ensemble Architecture for the Rewrite Rule Machine. - Sany Leinwand; Joseph A. Goguen; Timothy C. Winkler (FGCS, 1988)

Modular Algebraic Specification of Some Basic Geometrical Constructions. - Joseph A. Goguen (Artif. Intell., 1988)

Semantic Specifications for the Rewrite Rule Machine. - Joseph A. Goguen (Concurrency: Theory, Language, And Architecture, 1989)

Momories of ADJ. - Joseph A. Goguen (Bull. EATCS, 1989)

Order-Sorted Unification. - José Meseguer 001; Joseph A. Goguen (J. Symb. Comput., 1989)

Proving and Rewriting. - Joseph A. Goguen (ALP, 1990)

Compiling Concurrent Rewriting onto the Rewrite Rule Machine. - Hitoshi Aida; Joseph A. Goguen; José Meseguer 001 (CTRS, 1990)

On Types and FOOPS. - Joseph A. Goguen; David A. Wolfram (DS-4, 1990)

An Algebraic Approach to Refinement. - Joseph A. Goguen (VDM Europe, 1990)

A Categorial Theory of Objects as Observed Processes. - Hans-Dieter Ehrich; Joseph A. Goguen; Amílcar Sernadas (REX Workshop, 1990)

OOZE: An Object Oriented Z Environment. - Antonio J. Alencar; Joseph A. Goguen (ECOOP, 1991)

A Sheaf Semantics for FOOPS Expressions. - David A. Wolfram; Joseph A. Goguen (Object-Based Concurrent Computing, 1991)

A Categorical Manifesto. - Joseph A. Goguen (Math. Struct. Comput. Sci., 1991)

Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories. - Andrzej Tarlecki; Rod M. Burstall; Joseph A. Goguen (Theor. Comput. Sci., 1991)

Towards an Algebraic Semantics for the Object Paradigm. - Joseph A. Goguen; Razvan Diaconescu (COMPASS/ADT, 1992)

The Dry and the Wet. - Joseph A. Goguen (ISCO, 1992)

FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. - Victoria Stavridou; Joseph A. Goguen; Andrew Stevens; Steven M. Eker; Serge N. Aloneftis; Keith Michael Hobley (TPCD, 1992)

OOZE. - Antonio J. Alencar; Joseph A. Goguen (Object Orientation in Z, 1992)

A short Oxford survey of order sorted algebra.. - Joseph A. Goguen; Razvan Diaconescu (Bull. EATCS, 1992)

Institutions: Abstract Model Theory for Specification and Programming. - Joseph A. Goguen; Rod M. Burstall (J. ACM, 1992)

Sheaf Semantics for Concurrent Interacting Objects. - Joseph A. Goguen (Math. Struct. Comput. Sci., 1992)

Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. - Joseph A. Goguen; José Meseguer 001 (Theor. Comput. Sci., 1992)

Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. - Lawrence S. Moss; José Meseguer 001; Joseph A. Goguen (Theor. Comput. Sci., 1992)

Introduction. - Joseph A. Goguen (Formal Methods in Systems Engineering, 1993)

Social issues in requirements engineering. - Joseph A. Goguen (RE, 1993)

Techniques for requirements elicitation. - Joseph A. Goguen; Charlotte Linde (RE, 1993)

Keynote: On Notation. - Joseph A. Goguen (TOOLS (10), 1993)

Memories of ADJ. - Joseph A. Goguen (Current Trends in Theoretical Computer Science, 1993)

A Short Oxford Survey of Order Sorted Algebra. - Joseph A. Goguen; Razvan Diaconescu (Current Trends in Theoretical Computer Science, 1993)

Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems - José Meseguer 001; Joseph A. Goguen (Inf. Comput., 1993)

Towards a Provably Correct Compiler for OBJ3. - Lutz H. Hamel; Joseph A. Goguen (PLILP, 1994)

Suggestions for progress in software analysis, synthesis and certification. - Luqi; Joseph A. Goguen (SEKE, 1994)

An Oxford Survey of Order Sorted Algebra. - Joseph A. Goguen; Razvan Diaconescu (Math. Struct. Comput. Sci., 1994)

An Introduction to Category-based Equational Logic. - Joseph A. Goguen; Razvan Diaconescu (AMAST, 1995)

Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. - José Barros; Joseph A. Goguen (CSL, 1995)

Formal Methods and Social Context in Software Development. - Joseph A. Goguen; Luqi (TAPSOFT, 1995)

Module Composition and System Design for the Object Paradigm. - Joseph A. Goguen; Adolfo Socorro (J. Object Oriented Program., 1995)

Algebraic semantics of imperative programs. - Joseph A. Goguen; Grant Malcolm (MIT Press, 1996)

Formality and Informality in Requirements Engineering. - Joseph A. Goguen (ICRE, 1996)

Parameterized programming and software architecture. - Joseph A. Goguen (ICSR, 1996)

Software Component Search. - Joseph A. Goguen; Doan Nguyen; José Meseguer 001; Luqi; Du Zhang; Valdis Berzins (J. Syst. Integr., 1996)

An Object-Oriented Tool for Tracing Requirements. - Francisco A. C. Pinheiro; Joseph A. Goguen (IEEE Softw., 1996)

Distributed Cooperative Formal Methods Tools. - Joseph A. Goguen; Kai Lin; Akira Mori; Grigore Rosu; Akiyoshi Sato (ASE, 1997)

Formal Methods: Promises And Problems. - Luqi; Joseph A. Goguen (IEEE Softw., 1997)

Hidden Congruent Deduction. - Grigore Rosu; Joseph A. Goguen (FTP (LNCS Selection), 1998)

A Hidden Herbrand Theorem. - Joseph A. Goguen; Grant Malcolm; Tom Kemp (PLILP/ALP, 1998)

Signs and Representations: Semiotics for User Interface Design. - Grant Malcolm; Joseph A. Goguen (Visual Representations and Interpretations, 1999)

Hiding More of Hidden Algebra. - Joseph A. Goguen; Grigore Rosu (World Congress on Formal Methods, 1999)

A protocol for distributed cooperative work. - Joseph A. Goguen; Grigore Rosu (WDS@FCT, 1999)

Social and Semiotic Analyses for Theorem Prover User Interface Design 1. - Joseph A. Goguen (Formal Aspects Comput., 1999)

Hidden coinduction: behavioural correctness proofs for objects. - Joseph A. Goguen; Grant Malcolm (Math. Struct. Comput. Sci., 1999)

Circular Coinductive Rewriting. - Joseph A. Goguen; Kai Lin; Grigore Rosu (ASE, 2000)

Web-based Multimedia Support for Distributed Cooperative Software Engineering. - Joseph A. Goguen; Kai Lin (ISMSE, 2000)

Behavioral and Coinductive Rewriting. - Joseph A. Goguen; Kai Lin; Grigore Rosu (WRLA, 2000)

On Equational Craig Interpolation. - Grigore Rosu; Joseph A. Goguen (J. Univers. Comput. Sci., 2000)

Hidden algebra and concurrent distributed software. - Joseph A. Goguen (ACM SIGSOFT Softw. Eng. Notes, 2000)

A hidden agenda. - Joseph A. Goguen; Grant Malcolm (Theor. Comput. Sci., 2000)

Web-Based Support for Cooperative Software Engineering. - Joseph A. Goguen; Kai Lin (Ann. Softw. Eng., 2001)

A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases. - Young-Kwang Nam; Joseph A. Goguen; Guilian Wang (OTM, 2002)

Zero, Connected, Empty. - Ryoko Amadee Goguen; Joseph A. Goguen (WADT, 2002)

Zero, Connected, Empty: An Essay after a Cantata. - Joseph A. Goguen; Ryoko Amadee Goguen (WADT, 2002)

Conditional Circular Coinductive Rewriting with Case Analysis. - Joseph A. Goguen; Kai Lin; Grigore Rosu (WADT, 2002)

Institution Morphisms. - Joseph A. Goguen; Grigore Rosu (Formal Aspects Comput., 2002)

A hidden Herbrand theorem: combining the object and logic paradigms. - Joseph A. Goguen; Grant Malcolm; Tom Kemp (J. Log. Algebraic Methods Program., 2002)

A Metadata Tool for Retrieval from Heterogeneous Distributed XML Documents. - Young-Kwang Nam; Joseph A. Goguen; Guilian Wang (International Conference on Computational Science, 2003)

Behavioral Verification of Distributed Concurrent Systems with BOBJ. - Joseph A. Goguen; Kai Lin (QSIC, 2003)

Style as a Choice of Blending Principles. - Joseph A. Goguen; D. Fox Harrell (AAAI Technical Report (7), 2004)

Critical Points for Interactive Schema Matching. - Guilian Wang; Joseph A. Goguen; Young-Kwang Nam; Kai Lin (APWeb, 2004)

Composing Hidden Information Modules over Inclusive Institutions. - Joseph A. Goguen; Grigore Rosu (Essays in Memory of Ole-Johan Dahl, 2004)

Specifying, Programming and Verifying with Equational Logic. - Joseph A. Goguen; Kai Lin (We Will Show Them! (2), 2005)

Three Perspectives on Information Integration. - Joseph A. Goguen (Semantic Interoperability and Integration, 2005)

What Is a Concept? - Joseph A. Goguen (ICCS, 2005)

Verifying Design with Proof Scores. - Kokichi Futatsugi; Joseph A. Goguen; Kazuhiro Ogata 001 (VSTTE, 2005)

Data, Schema, Ontology and Logic Integration. - Joseph A. Goguen (Log. J. IGPL, 2005)

Information Retrieval from Distributed Semistructured Documents Using Metadata Interface. - Guija Choe; Young-Kwang Nam; Joseph A. Goguen; Guilian Wang (KDXD, 2006)

An Institutional View on Categorical Logic. - Joseph A. Goguen; Till Mossakowski; Valeria de Paiva; Florian Rabe 001; Lutz Schröder (Int. J. Softw. Informatics, 2007)

Query generation for retrieving data from distributed semistructured documents using a metadata interface. - Guija Choe; Young-Kwang Nam; Joseph A. Goguen; Guilian Wang (Comput. Lang. Syst. Struct., 2009)

Style: A Computational and Conceptual Blending-Based Approach. - Joseph A. Goguen; D. Fox Harrell (The Structure of Style, 2010)

Theorem Proving and Algebra. - Joseph A. Goguen (CoRR, 2021)