Joseph A. Goguen

Guija Choe, Young-Kwang Nam, Joseph A. Goguen, Guilian Wang: Query generation for retrieving data from distributed semistructured documents using a metadata interface. Computer Languages, Systems & Structures 35(4): 422-434 (2009)

Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder: An Institutional View on Categorical Logic. Int. J. Software and Informatics 1(1): 129-152 (2007)

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

Joseph A. Goguen: Data, Schema, Ontology and Logic Integration. Logic Journal of the IGPL 13(6): 685-715 (2005)

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

Joseph A. Goguen: Three Perspectives on Information Integration. Semantic Interoperability and Integration 2005

Joseph A. Goguen: What Is a Concept? ICCS 2005: 52-77

Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata: Verifying Design with Proof Scores. VSTTE 2005: 277-290

Guilian Wang, Joseph A. Goguen, Young-Kwang Nam, Kai Lin: Critical Points for Interactive Schema Matching. APWeb 2004: 654-664

Joseph A. Goguen, Grigore Rosu: Composing Hidden Information Modules over Inclusive Institutions. Essays in Memory of Ole-Johan Dahl 2004: 96-123

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

Joseph A. Goguen, Kai Lin: Behavioral Verification of Distributed Concurrent Systems with BOBJ. QSIC 2003: 216-

Joseph A. Goguen, Grigore Rosu: Institution Morphisms. Formal Asp. Comput. 13(3-5): 274-307 (2002)

Joseph A. Goguen, Grant Malcolm, Tom Kemp: A hidden Herbrand theorem: combining the object and logic paradigms. J. Log. Algebr. Program. 51(1): 1-41 (2002)

Young-Kwang Nam, Joseph A. Goguen, Guilian Wang: A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases. CoopIS/DOA/ODBASE 2002: 1332-1344

Ryoko Amadee Goguen, Joseph A. Goguen: Zero, Connected, Empty. WADT 2002: 118-126

Joseph A. Goguen, Ryoko Amadee Goguen: Zero, Connected, Empty: An Essay after a Cantata. WADT 2002: 127-128

Joseph A. Goguen, Kai Lin, Grigore Rosu: Conditional Circular Coinductive Rewriting with Case Analysis. WADT 2002: 216-232

Joseph A. Goguen, Kai Lin: Web-Based Support for Cooperative Software Engineering. Ann. Software Eng. 12(1): 167-191 (2001)

Joseph A. Goguen, Kai Lin, Grigore Rosu: Behavioral and Coinductive Rewriting. Electr. Notes Theor. Comput. Sci. 36: 2-23 (2000)

Grigore Rosu, Joseph A. Goguen: On Equational Craig Interpolation. J. UCS 6(1): 194-200 (2000)

Joseph A. Goguen: Hidden algebra and concurrent distributed software. ACM SIGSOFT Software Engineering Notes 25(1): 51-52 (2000)

Joseph A. Goguen, Grant Malcolm: A hidden agenda. Theor. Comput. Sci. 245(1): 55-101 (2000)

Joseph A. Goguen, Kai Lin, Grigore Rosu: Circular Coinductive Rewriting. ASE 2000: 123-132

Joseph A. Goguen, Kai Lin: Web-based Multimedia Support for Distributed Cooperative Software Engineering*. ISMSE 2000: 25-32

Joseph A. Goguen, Grigore Rosu: A protocol for distributed cooperative work. Electr. Notes Theor. Comput. Sci. 28: 3 (1999)

Joseph A. Goguen: Social and Semiotic Analyses for Theorem Prover User Interface Design 1. Formal Asp. Comput. 11(3): 272-301 (1999)

Joseph A. Goguen, Grant Malcolm: Hidden coinduction: behavioural correctness proofs for objects. Mathematical Structures in Computer Science 9(3): 287-319 (1999)

Joseph A. Goguen, Grigore Rosu: Hiding More of Hidden Algebra. World Congress on Formal Methods 1999: 1704-1719

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

Joseph A. Goguen, Grant Malcolm, Tom Kemp: A Hidden Herbrand Theorem. PLILP/ALP 1998: 445-462

Luqi, Joseph A. Goguen: Formal Methods: Promises And Problems. IEEE Software 14(1): 73-85 (1997)

Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato: Distributed Cooperative Formal Methods Tools. ASE 1997: 55-62

Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins: Software Component Search. Journal of Systems Integration 6(1/2): 93-134 (1996)

Francisco A. C. Pinheiro, Joseph A. Goguen: An Object-Oriented Tool for Tracing Requirements. IEEE Software 13(2): 52-64 (1996)

Joseph A. Goguen: Formality and Informality in Requirements Engineering. ICRE 1996: 102-109

Francisco A. C. Pinheiro, Joseph A. Goguen: An Object-Oriented Tool for Tracing Requirements. ICRE 1996: 219-220

Joseph A. Goguen, Adolfo Socorro: Module Composition and System Design for the Object Paradigm. JOOP 7(9): 47-55 (1995)

Joseph A. Goguen, Razvan Diaconescu: An Introduction to Category-based Equational Logic. AMAST 1995: 91-126

José Barros, Joseph A. Goguen: Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. CSL 1995: 16-35

Joseph A. Goguen, Luqi: Formal Methods and Social Context in Software Development. TAPSOFT 1995: 62-81

Joseph A. Goguen, Razvan Diaconescu: An Oxford Survey of Order Sorted Algebra. Mathematical Structures in Computer Science 4(3): 363-392 (1994)

Lutz H. Hamel, Joseph A. Goguen: Towards a Provably Correct Compiler for OBJ3. PLILP 1994: 132-146

Luqi, Joseph A. Goguen: Suggestions for progress in software analysis, synthesis and certification. SEKE 1994: 501-507

José Meseguer, Joseph A. Goguen: Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems. Inf. Comput. 103(1): 114-158 (1993)

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

Joseph A. Goguen, Razvan Diaconescu: A short Oxford survey of order sorted algebra.. Bulletin of the EATCS 48: 121-133 (1992)

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

Joseph A. Goguen: Sheaf Semantics for Concurrent Interacting Objects. Mathematical Structures in Computer Science 2(2): 159-191 (1992)

Lawrence S. Moss, José Meseguer, Joseph A. Goguen: Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theor. Comput. Sci. 100(2): 267-302 (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): 217-273 (1992)

Joseph A. Goguen, Razvan Diaconescu: Towards an Algebraic Semantics for the Object Paradigm. COMPASS/ADT 1992: 1-29

Joseph A. Goguen: The Dry and the Wet. ISCO 1992: 1-17

Victoria Stavridou, Joseph A. Goguen, A. Stevens, S. M. Eker, S. N. Aloneftis, K. M. Hobley: FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. TPCD 1992: 197-223

Antonio J. Alencar, Joseph A. Goguen: OOZE. Object Orientation in Z 1992: 79-94

Joseph A. Goguen: A Categorical Manifesto. Mathematical Structures in Computer Science 1(1): 49-67 (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): 239-264 (1991)

Antonio J. Alencar, Joseph A. Goguen: OOZE: An Object Oriented Z Environment. ECOOP 1991: 180-199

David A. Wolfram, Joseph A. Goguen: A Sheaf Semantics for FOOPS Expressions. Object-Based Concurrent Computing 1991: 81-98

Joseph A. Goguen: Proving and Rewriting. ALP 1990: 1-24

Hitoshi Aida, Joseph A. Goguen, José Meseguer: Compiling Concurrent Rewriting onto the Rewrite Rule Machine. CTRS 1990: 320-332

Joseph A. Goguen, David A. Wolfram: On Types and FOOPS. DS-4 1990: 1-22

Joseph A. Goguen: An Algebraic Approach to Refinement. VDM Europe 1990: 12-28

Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas: A Categorial Theory of Objects as Observed Processes. REX Workshop 1990: 203-228

Joseph A. Goguen: Momories of ADJ. Bulletin of the EATCS 39: 96-102 (1989)

José Meseguer, Joseph A. Goguen: Order-Sorted Unification. J. Symb. Comput. 8(4): 383-413 (1989)

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

Joseph A. Goguen: Modular Algebraic Specification of Some Basic Geometrical Constructions. Artif. Intell. 37(1-3): 123-153 (1988)

Joseph A. Goguen, José Meseguer: Software for the Rewrite Rule Machine. FGCS 1988: 628-637

Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler: Cell and Ensemble Architecture for the Rewrite Rule Machine. FGCS 1988: 869-878

Joseph A. Goguen, José Meseguer: Remarks on Remarks on Many-Sorted Equational Logic. SIGPLAN Notices 22(4): 41-48 (1987)

Joseph A. Goguen, José Meseguer: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. Research Directions in Object-Oriented Programming 1987: 417-478

Joseph A. Goguen: Parameterization Pitfalls and Potentials. COMPCON 1987: 357

Lawrence S. Moss, José Meseguer, Joseph A. Goguen: Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science 1987: 158-181

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

Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada: Parameterized Programming in OBJ2. ICSE 1987: 51-60

Joseph A. Goguen, José Meseguer: Order-Sorted Algebra solves the Constructor-Selector, Multiple. LICS 1987: 18-29

Joseph A. Goguen, José Meseguer: Models and Equality for Logical Programming. TAPSOFT, Vol.1 1987: 1-22

Joseph A. Goguen: Reusing and Interconneccting Software Components. IEEE Computer 19(2): 16-28 (1986)

Joseph A. Goguen, José Meseguer: Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. Bulletin of the EATCS 30: 66-73 (1986)

Joseph A. Goguen, José Meseguer: EQLOG: Equality, Types, and Generic Modules For Logic Programming. Logic Programming: Functions, Relations, and Equations 1986: 295-363

Joseph A. Goguen, Claude Kirchner, José Meseguer: Concurrent term rewriting as a model of computation. Graph Reduction 1986: 53-93

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

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

Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Operational Semantics for Order-Sorted Algebra. ICALP 1985: 221-231

Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Principles of OBJ2. POPL 1985: 52-66

Joseph A. Goguen, José Meseguer: Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. J. Log. Program. 1(2): 179-210 (1984)

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: 175-209 (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: 263-295 (1984)

Joseph A. Goguen: Parameterized Programming. IEEE Trans. Software Eng. 10(5): 528-544 (1984)

Joseph A. Goguen, José Meseguer: Equality, Types, Modules and Generics for Logic Programming. ICLP 1984: 115-125

Joseph A. Goguen, José Meseguer: Unwinding and Inference Control. IEEE Symposium on Security and Privacy 1984: 75-87

Joseph A. Goguen, J. L. Weiner, Charlotte Linde: Reasoning and Natural Explanation. International Journal of Man-Machine Studies 19(6): 521-559 (1983)

Joseph A. Goguen, José Meseguer: Correctness of Recursive Parallel Nondeterministic Flow Programs. J. Comput. Syst. Sci. 27(2): 268-290 (1983)

Joseph A. Goguen, Rod M. Burstall: Introducing Institutions. Logic of Programs 1983: 221-256

Joseph A. Goguen, José Meseguer: Completeness of many-sorted equational logic. SIGPLAN Notices 17(1): 9-17 (1982)

Joseph A. Goguen, José Meseguer: Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. ICALP 1982: 265-281

Joseph A. Goguen, José Meseguer: Security Policies and Security Models. IEEE Symposium on Security and Privacy 1982: 11-20

Jørgen Staunstrup, Joseph A. Goguen: Geometrical Constructions. Program Specification 1981: 25-46

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: KWIC-index generation. Program Specification 1981: 47-117

Joseph A. Goguen, Kamran Parsaye-Ghomi: Algebraic Denotational Semantics Using Parameterized Abstract Modules. ICFPC 1981: 292-309

Charlotte Linde, Joseph A. Goguen: On the Independence of Discourse Structure and Semantic Domain. ACL 1980

Joseph A. Goguen: How to Prove Algebraic Inductive Hypotheses Without Induction. CADE 1980: 356-373

Rod M. Burstall, Joseph A. Goguen: The Semantics of CLEAR, A Specification Language. Abstract Software Specifications 1979: 292-332

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

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

Rod M. Burstall, Joseph A. Goguen: Putting Theories Together to Make Specifications. IJCAI 1977: 1045-1058

Joseph A. Goguen, José Meseguer: Correctness of Recursive Flow Diagram Programs. MFCS 1977: 580-595

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

Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher: Some Fundamentals of Order-Algebraic Semantics. MFCS 1976: 153-168

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

Joseph A. Goguen: Concept Representation in Natural and Artificial Languages: Axioms, Extensions and Applications for Fuzzy Sets. International Journal of Man-Machine Studies 6(5): 513-561 (1974)

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

Joseph A. Goguen: Semantics of computation. Category Theory Applied to Computation and Control 1974: 151-163

Joseph A. Goguen, James W. Thatcher: Initial Algebra Semantics. SWAT (FOCS) 1974: 63-77

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

Joseph A. Goguen: Realization is Universal. Mathematical Systems Theory 6(4): 359-374 (1972)

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