Joseph A. Goguen

Publication Activity (10 Years)

Years Active: 1972-2021
Publications (10 Years): 1

Top Venues

CoRR

Publications

Joseph A. Goguen
Theorem Proving and Algebra. CoRR (2021)
Guija Choe, Young-Kwang Nam, Joseph A. Goguen, Guilian Wang
Query generation for retrieving data from distributed semistructured documents using a metadata interface. Comput. Lang. Syst. Struct. 35 (4) (2009)
Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder
An Institutional View on Categorical Logic. Int. J. Softw. Informatics 1 (1) (2007)
Guija Choe, Young-Kwang Nam, Joseph A. Goguen, Guilian Wang
Information Retrieval from Distributed Semistructured Documents Using Metadata Interface. KDXD (2006)
Joseph A. Goguen
What Is a Concept? ICCS (2005)
Joseph A. Goguen, Kai Lin
Specifying, Programming and Verifying with Equational Logic. We Will Show Them! (2) (2005)
Joseph A. Goguen
Three Perspectives on Information Integration. Semantic Interoperability and Integration (2005)
Joseph A. Goguen
Data, Schema, Ontology and Logic Integration. Log. J. IGPL 13 (6) (2005)
Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata
Verifying Design with Proof Scores. VSTTE (2005)
Joseph A. Goguen, D. Fox Harrell
Style as a Choice of Blending Principles. AAAI Technical Report (7) (2004)
Guilian Wang, Joseph A. Goguen, Young-Kwang Nam, Kai Lin
Critical Points for Interactive Schema Matching. APWeb (2004)
Joseph A. Goguen, Grigore Rosu
Composing Hidden Information Modules over Inclusive Institutions. Essays in Memory of Ole-Johan Dahl (2004)
Joseph A. Goguen, Kai Lin
Behavioral Verification of Distributed Concurrent Systems with BOBJ. QSIC (2003)
Young-Kwang Nam, Joseph A. Goguen, Guilian Wang
A Metadata Tool for Retrieval from Heterogeneous Distributed XML Documents. International Conference on Computational Science (2003)
Young-Kwang Nam, Joseph A. Goguen, Guilian Wang
A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases. OTM (2002)
Ryoko Amadee Goguen, Joseph A. Goguen
Zero, Connected, Empty. WADT (2002)
Joseph A. Goguen, Grant Malcolm, Tom Kemp
A hidden Herbrand theorem: combining the object and logic paradigms. J. Log. Algebraic Methods Program. 51 (1) (2002)
Joseph A. Goguen, Kai Lin, Grigore Rosu
Conditional Circular Coinductive Rewriting with Case Analysis. WADT (2002)
Joseph A. Goguen, Ryoko Amadee Goguen
Zero, Connected, Empty: An Essay after a Cantata. WADT (2002)
Joseph A. Goguen, Grigore Rosu
Institution Morphisms. Formal Aspects Comput. 13 (3-5) (2002)
Joseph A. Goguen, Kai Lin
Web-Based Support for Cooperative Software Engineering. Ann. Softw. Eng. 12 (1) (2001)
Grigore Rosu, Joseph A. Goguen
On Equational Craig Interpolation. J. Univers. Comput. Sci. 6 (1) (2000)
Joseph A. Goguen
Hidden algebra and concurrent distributed software. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Joseph A. Goguen, Grant Malcolm
A hidden agenda. Theor. Comput. Sci. 245 (1) (2000)
Joseph A. Goguen, Kai Lin, Grigore Rosu
Behavioral and Coinductive Rewriting. WRLA (2000)
Joseph A. Goguen, Kai Lin
Web-based Multimedia Support for Distributed Cooperative Software Engineering. ISMSE (2000)
Joseph A. Goguen, Kai Lin, Grigore Rosu
Circular Coinductive Rewriting. ASE (2000)
Joseph A. Goguen, Grigore Rosu
A protocol for distributed cooperative work. Electron. Notes Theor. Comput. Sci. 28 (1999)
Joseph A. Goguen, Grant Malcolm
Hidden coinduction: behavioural correctness proofs for objects. Math. Struct. Comput. Sci. 9 (3) (1999)
Joseph A. Goguen, Grigore Rosu
Hiding More of Hidden Algebra. World Congress on Formal Methods (1999)
Joseph A. Goguen
Social and Semiotic Analyses for Theorem Prover User Interface Design 1. Formal Aspects Comput. 11 (3) (1999)
Grigore Rosu, Joseph A. Goguen
Hidden Congruent Deduction. FTP (LNCS Selection) (1998)
Joseph A. Goguen, Grant Malcolm, Tom Kemp
A Hidden Herbrand Theorem. PLILP/ALP (1998)
Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato
Distributed Cooperative Formal Methods Tools. ASE (1997)
Luqi, Joseph A. Goguen
Formal Methods: Promises And Problems. IEEE Softw. 14 (1) (1997)
Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins
Software Component Search. J. Syst. Integr. 6 (1/2) (1996)
Francisco A. C. Pinheiro, Joseph A. Goguen
An Object-Oriented Tool for Tracing Requirements. ICRE (1996)
Joseph A. Goguen
Parameterized programming and software architecture. ICSR (1996)
Joseph A. Goguen
Formality and Informality in Requirements Engineering. ICRE (1996)
Francisco A. C. Pinheiro, Joseph A. Goguen
An Object-Oriented Tool for Tracing Requirements. IEEE Softw. 13 (2) (1996)
Joseph A. Goguen, Luqi
Formal Methods and Social Context in Software Development. TAPSOFT (1995)
Joseph A. Goguen, Adolfo Socorro
Module Composition and System Design for the Object Paradigm. J. Object Oriented Program. 7 (9) (1995)
Joseph A. Goguen, Razvan Diaconescu
An Introduction to Category-based Equational Logic. AMAST (1995)
José Barros, Joseph A. Goguen
Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. CSL (1995)
Luqi, Joseph A. Goguen
Suggestions for progress in software analysis, synthesis and certification. SEKE (1994)
Joseph A. Goguen, Razvan Diaconescu
An Oxford Survey of Order Sorted Algebra. Math. Struct. Comput. Sci. 4 (3) (1994)
Lutz H. Hamel, Joseph A. Goguen
Towards a Provably Correct Compiler for OBJ3. PLILP (1994)
Joseph A. Goguen
Social issues in requirements engineering. RE (1993)
José Meseguer, Joseph A. Goguen
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems Inf. Comput. 103 (1) (1993)
Joseph A. Goguen, Charlotte Linde
Techniques for requirements elicitation. RE (1993)
Joseph A. Goguen
Keynote: On Notation. TOOLS (10) (1993)
Lawrence S. Moss, José Meseguer, Joseph A. Goguen
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theor. Comput. Sci. 100 (2) (1992)
Joseph A. Goguen, Rod M. Burstall
Institutions: Abstract Model Theory for Specification and Programming. J. ACM 39 (1) (1992)
Joseph A. Goguen, Razvan Diaconescu
A short Oxford survey of order sorted algebra.. Bull. EATCS 48 (1992)
Joseph A. Goguen, José Meseguer
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theor. Comput. Sci. 105 (2) (1992)
Joseph A. Goguen
The Dry and the Wet. ISCO (1992)
Victoria Stavridou, Joseph A. Goguen, A. Stevens, S. M. Eker, S. N. Aloneftis, Keith Michael Hobley
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. TPCD (1992)
Joseph A. Goguen, Razvan Diaconescu
Towards an Algebraic Semantics for the Object Paradigm. COMPASS/ADT (1992)
Joseph A. Goguen
Sheaf Semantics for Concurrent Interacting Objects. Math. Struct. Comput. Sci. 2 (2) (1992)
David A. Wolfram, Joseph A. Goguen
A Sheaf Semantics for FOOPS Expressions. Object-Based Concurrent Computing (1991)
Joseph A. Goguen
A Categorical Manifesto. Math. Struct. Comput. Sci. 1 (1) (1991)
Antonio J. Alencar, Joseph A. Goguen
OOZE: An Object Oriented Z Environment. ECOOP (1991)
Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories. Theor. Comput. Sci. 91 (2) (1991)
Joseph A. Goguen, David A. Wolfram
On Types and FOOPS. DS-4 (1990)
Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas
A Categorial Theory of Objects as Observed Processes. REX Workshop (1990)
Hitoshi Aida, Joseph A. Goguen, José Meseguer
Compiling Concurrent Rewriting onto the Rewrite Rule Machine. CTRS (1990)
Joseph A. Goguen
An Algebraic Approach to Refinement. VDM Europe (1990)
Joseph A. Goguen
Proving and Rewriting. ALP (1990)
Joseph A. Goguen
Semantic Specifications for the Rewrite Rule Machine. Concurrency: Theory, Language, And Architecture (1989)
Joseph A. Goguen
Momories of ADJ. Bull. EATCS 39 (1989)
José Meseguer, Joseph A. Goguen
Order-Sorted Unification. J. Symb. Comput. 8 (4) (1989)
Joseph A. Goguen
Modular Algebraic Specification of Some Basic Geometrical Constructions. Artif. Intell. 37 (1-3) (1988)
Joseph A. Goguen, José Meseguer
Software for the Rewrite Rule Machine. FGCS (1988)
Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler
Cell and Ensemble Architecture for the Rewrite Rule Machine. FGCS (1988)
Joseph A. Goguen, Mark Moriconi
Formalization in Programming Environments. Computer 20 (11) (1987)
Joseph A. Goguen, José Meseguer
Models and Equality for Logical Programming. TAPSOFT, Vol.1 (1987)
Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada
Parameterized Programming in OBJ2. ICSE (1987)
Joseph A. Goguen, José Meseguer
Order-Sorted Algebra solves the Constructor-Selector, Multiple LICS (1987)
Lawrence S. Moss, José Meseguer, Joseph A. Goguen
Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science (1987)
Joseph A. Goguen, José Meseguer
Remarks on Remarks on Many-Sorted Equational Logic. ACM SIGPLAN Notices 22 (4) (1987)
Joseph A. Goguen
Parameterization Pitfalls and Potentials. COMPCON (1987)
Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler
An Introduction to OBJ 3. CTRS (1987)
Joseph A. Goguen, José Meseguer
Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. Bull. EATCS 30 (1986)
Joseph A. Goguen, José Meseguer
Foundations and extensions of object-oriented programming (abstract only). ACM SIGPLAN Notices 21 (10) (1986)
Joseph A. Goguen
One, None, A Hundred Thousand Specification Languages (Invited Paper). IFIP Congress (1986)
Joseph A. Goguen
Reusing and Interconneccting Software Components. Computer 19 (2) (1986)
Joseph A. Goguen, José Meseguer
Extensions and foundations of object-oriented programming. ACM SIGPLAN Notices 21 (10) (1986)
Joseph A. Goguen, Claude Kirchner, José Meseguer
Concurrent term rewriting as a model of computation. Graph Reduction (1986)
Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer
Operational Semantics for Order-Sorted Algebra. ICALP (1985)
Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer
Principles of OBJ2. POPL (1985)
Joseph A. Goguen, Rod M. Burstall
A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments. CTCS (1985)
Joseph A. Goguen, Rod M. Burstall
Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories. Theor. Comput. Sci. 31 (1984)
Joseph A. Goguen, José Meseguer
Equality, Types, Modules and Generics for Logic Programming. ICLP (1984)
Joseph A. Goguen, José Meseguer
Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. J. Log. Program. 1 (2) (1984)
Joseph A. Goguen, José Meseguer
Unwinding and Inference Control. IEEE Symposium on Security and Privacy (1984)
Joseph A. Goguen, Rod M. Burstall
Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories. Theor. Comput. Sci. 31 (1984)
Joseph A. Goguen
Parameterized Programming. IEEE Trans. Software Eng. 10 (5) (1984)
Joseph A. Goguen, Rod M. Burstall
Introducing Institutions. Logic of Programs (1983)
Joseph A. Goguen, José Meseguer
Correctness of Recursive Parallel Nondeterministic Flow Programs. J. Comput. Syst. Sci. 27 (2) (1983)
Joseph A. Goguen, J. L. Weiner, Charlotte Linde
Reasoning and Natural Explanation. Int. J. Man Mach. Stud. 19 (6) (1983)

Joseph A. Goguen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joseph A. Goguen