| 2005 | ICCS | What Is a Concept? | Joseph A. Goguen |
| 2004 | APWEB | Critical Points for Interactive Schema Matching. | Guilian Wang, Joseph A. Goguen, Young-Kwang Nam, Kai Lin |
| 2003 | ICCS | A Metadata Tool for Retrieval from Heterogeneous Distributed XML Documents. | Young-Kwang Nam, Joseph A. Goguen, Guilian Wang |
| 2002 | CoopIS | A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases. | Young-Kwang Nam, Joseph A. Goguen, Guilian Wang |
| 1999 | FM | Hiding More of Hidden Algebra. | Joseph A. Goguen, Grigore Rosu |
| 1996 | ICSR | Parameterized programming and software architecture. | Joseph A. Goguen |
| 1995 | CSL | Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. | Jos Barros, Joseph A. Goguen |
| 1994 | SEKE | Suggestions for progress in software analysis, synthesis and certification. | Luqi, Joseph A. Goguen |
| 1993 | RE | Social issues in requirements engineering. | Joseph A. Goguen |
| 1993 | RE | Techniques for requirements elicitation. | Joseph A. Goguen, Charlotte Linde |
| 1992 | COMPASS | Towards an Algebraic Semantics for the Object Paradigm. | Joseph A. Goguen, Razvan Diaconescu |
| 1992 | ISCO | The Dry and the Wet. | Joseph A. Goguen |
| 1991 | ECOOP | OOZE: An Object Oriented Z Environment. | Antonio J. Alencar, Joseph A. Goguen |
| 1990 | DS | On Types and FOOPS. | Joseph A. Goguen, David A. Wolfram |
| 1990 | FM | An Algebraic Approach to Refinement. | Joseph A. Goguen |
| 1989 | CONCUR | Semantic Specifications for the Rewrite Rule Machine. | Joseph A. Goguen |
| 1987 | ICSE | Parameterized Programming in OBJ2. | Kokichi Futatsugi, Joseph A. Goguen, Jos Meseguer, Koji Okada |
| 1987 | LICS | Order-Sorted Algebra solves the Constructor-Selector, Multiple | Joseph A. Goguen, Jos Meseguer |
| 1985 | ICALP | Operational Semantics for Order-Sorted Algebra. | Joseph A. Goguen, Jean-Pierre Jouannaud, Jos Meseguer |
| 1985 | POPL | Principles of OBJ2. | Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, Jos Meseguer |
| 1984 | ICLP | Equality, Types, Modules and Generics for Logic Programming. | Joseph A. Goguen, Jos Meseguer |
| 1984 | SP | Unwinding and Inference Control. | Joseph A. Goguen, Jos Meseguer |
| 1982 | ICALP | Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. | Joseph A. Goguen, Jos Meseguer |
| 1982 | SP | Security Policies and Security Models. | Joseph A. Goguen, Jos Meseguer |
| 1981 | FM | Geometrical Constructions. | Jrgen Staunstrup, Joseph A. Goguen |
| 1981 | FM | KWIC-index generation. | Jrgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jrg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Srensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen |
| 1980 | ACL | On the Independence of Discourse Structure and Semantic Domain. | Charlotte Linde, Joseph A. Goguen |
| 1980 | CADE | How to Prove Algebraic Inductive Hypotheses Without Induction. | Joseph A. Goguen |
| 1977 | IJCAI | Putting Theories Together to Make Specifications. | Rod M. Burstall, Joseph A. Goguen |
| 1977 | MFCS | Correctness of Recursive Flow Diagram Programs. | Joseph A. Goguen, Jos Meseguer |
| 1976 | FOCS | Rational Algebraic Theories and Fixed-Point Solutions | Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen |
| 1976 | MFCS | Some Fundamentals of Order-Algebraic Semantics. | Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher |
| 1974 | FOCS | Initial Algebra Semantics | Joseph A. Goguen, James W. Thatcher |
| 1974 | MFCS | Factorizations, Congruences, and the Decomposition of Automata and Systems. | Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright |
| 1972 | FOCS | On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes | Joseph A. Goguen |