default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoseph A. Goguen
Person information
- affiliation: University of California, San Diego, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[i2]Joseph A. Goguen:
Theorem Proving and Algebra. CoRR abs/2101.02690 (2021)
2010 – 2019
- 2010
- [p8]Joseph A. Goguen, D. Fox Harrell:
Style: A Computational and Conceptual Blending-Based Approach. The Structure of Style 2010: 291-316
2000 – 2009
- 2009
- [j46]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): 422-434 (2009) - 2007
- [j45]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): 129-152 (2007) - 2006
- [c80]Guija Choe, Young-Kwang Nam, Joseph A. Goguen, Guilian Wang:
Information Retrieval from Distributed Semistructured Documents Using Metadata Interface. KDXD 2006: 54-63 - 2005
- [j44]Joseph A. Goguen:
Data, Schema, Ontology and Logic Integration. Log. J. IGPL 13(6): 685-715 (2005) - [c79]Joseph A. Goguen, Kai Lin:
Specifying, Programming and Verifying with Equational Logic. We Will Show Them! (2) 2005: 1-38 - [c78]Joseph A. Goguen:
What Is a Concept? ICCS 2005: 52-77 - [c77]Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata:
Verifying Design with Proof Scores. VSTTE 2005: 277-290 - [i1]Joseph A. Goguen:
Three Perspectives on Information Integration. Semantic Interoperability and Integration 2005 - 2004
- [c76]Joseph A. Goguen, D. Fox Harrell:
Style as a Choice of Blending Principles. AAAI Technical Report (7) 2004: 49-56 - [c75]Guilian Wang, Joseph A. Goguen, Young-Kwang Nam, Kai Lin:
Critical Points for Interactive Schema Matching. APWeb 2004: 654-664 - [c74]Joseph A. Goguen, Grigore Rosu:
Composing Hidden Information Modules over Inclusive Institutions. Essays in Memory of Ole-Johan Dahl 2004: 96-123 - 2003
- [c73]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 - [c72]Joseph A. Goguen, Kai Lin:
Behavioral Verification of Distributed Concurrent Systems with BOBJ. QSIC 2003: 216- - 2002
- [j43]Joseph A. Goguen, Grigore Rosu
:
Institution Morphisms. Formal Aspects Comput. 13(3-5): 274-307 (2002) - [j42]Joseph A. Goguen, Grant Malcolm, Tom Kemp:
A hidden Herbrand theorem: combining the object and logic paradigms. J. Log. Algebraic Methods Program. 51(1): 1-41 (2002) - [c71]Young-Kwang Nam, Joseph A. Goguen, Guilian Wang:
A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases. OTM 2002: 1332-1344 - [c70]Ryoko Amadee Goguen, Joseph A. Goguen:
Zero, Connected, Empty. WADT 2002: 118-126 - [c69]Joseph A. Goguen, Ryoko Amadee Goguen:
Zero, Connected, Empty: An Essay after a Cantata. WADT 2002: 127-128 - [c68]Joseph A. Goguen, Kai Lin, Grigore Rosu:
Conditional Circular Coinductive Rewriting with Case Analysis. WADT 2002: 216-232 - 2001
- [j41]Joseph A. Goguen, Kai Lin:
Web-Based Support for Cooperative Software Engineering. Ann. Softw. Eng. 12(1): 167-191 (2001) - 2000
- [j40]Grigore Rosu, Joseph A. Goguen:
On Equational Craig Interpolation. J. Univers. Comput. Sci. 6(1): 194-200 (2000) - [j39]Joseph A. Goguen:
Hidden algebra and concurrent distributed software. ACM SIGSOFT Softw. Eng. Notes 25(1): 51-52 (2000) - [j38]Joseph A. Goguen, Grant Malcolm:
A hidden agenda. Theor. Comput. Sci. 245(1): 55-101 (2000) - [c67]Joseph A. Goguen, Kai Lin, Grigore Rosu:
Circular Coinductive Rewriting. ASE 2000: 123-132 - [c66]Joseph A. Goguen, Kai Lin:
Web-based Multimedia Support for Distributed Cooperative Software Engineering. ISMSE 2000: 25-32 - [c65]Joseph A. Goguen, Kai Lin, Grigore Rosu:
Behavioral and Coinductive Rewriting. WRLA 2000: 2-23
1990 – 1999
- 1999
- [j37]Joseph A. Goguen:
Social and Semiotic Analyses for Theorem Prover User Interface Design 1. Formal Aspects Comput. 11(3): 272-301 (1999) - [j36]Joseph A. Goguen, Grant Malcolm:
Hidden coinduction: behavioural correctness proofs for objects. Math. Struct. Comput. Sci. 9(3): 287-319 (1999) - [c64]Joseph A. Goguen, Grigore Rosu:
Hiding More of Hidden Algebra. World Congress on Formal Methods 1999: 1704-1719 - [c63]Joseph A. Goguen, Grigore Rosu:
A protocol for distributed cooperative work. WDS@FCT 1999: 3 - [p7]Grant Malcolm, Joseph A. Goguen:
Signs and Representations: Semiotics for User Interface Design. Visual Representations and Interpretations 1999: 163-172 - 1998
- [c62]Grigore Rosu, Joseph A. Goguen:
Hidden Congruent Deduction. FTP (LNCS Selection) 1998: 251-266 - [c61]Joseph A. Goguen, Grant Malcolm, Tom Kemp:
A Hidden Herbrand Theorem. PLILP/ALP 1998: 445-462 - 1997
- [j35]Luqi, Joseph A. Goguen:
Formal Methods: Promises And Problems. IEEE Softw. 14(1): 73-85 (1997) - [c60]Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato:
Distributed Cooperative Formal Methods Tools. ASE 1997: 55-62 - 1996
- [b1]Joseph A. Goguen, Grant Malcolm:
Algebraic semantics of imperative programs. Foundations of computing series, MIT Press 1996, ISBN 978-0-262-07172-7, pp. I-VII, 1-228 - [j34]Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins:
Software Component Search. J. Syst. Integr. 6(1/2): 93-134 (1996) - [j33]Francisco A. C. Pinheiro, Joseph A. Goguen:
An Object-Oriented Tool for Tracing Requirements. IEEE Softw. 13(2): 52-64 (1996) - [c59]Joseph A. Goguen:
Formality and Informality in Requirements Engineering. ICRE 1996: 102-109 - [c58]Francisco A. C. Pinheiro, Joseph A. Goguen:
An Object-Oriented Tool for Tracing Requirements. ICRE 1996: 219-220 - [c57]Joseph A. Goguen:
Parameterized programming and software architecture. ICSR 1996: 2-10 - 1995
- [j32]Joseph A. Goguen, Adolfo Socorro:
Module Composition and System Design for the Object Paradigm. J. Object Oriented Program. 7(9): 47-55 (1995) - [c56]Joseph A. Goguen, Razvan Diaconescu:
An Introduction to Category-based Equational Logic. AMAST 1995: 91-126 - [c55]José Barros, Joseph A. Goguen:
Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. CSL 1995: 16-35 - [c54]Joseph A. Goguen, Luqi:
Formal Methods and Social Context in Software Development. TAPSOFT 1995: 62-81 - 1994
- [j31]Joseph A. Goguen, Razvan Diaconescu:
An Oxford Survey of Order Sorted Algebra. Math. Struct. Comput. Sci. 4(3): 363-392 (1994) - [c53]Lutz H. Hamel, Joseph A. Goguen:
Towards a Provably Correct Compiler for OBJ3. PLILP 1994: 132-146 - [c52]Luqi, Joseph A. Goguen:
Suggestions for progress in software analysis, synthesis and certification. SEKE 1994: 501-507 - 1993
- [j30]José Meseguer, Joseph A. Goguen:
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems. Inf. Comput. 103(1): 114-158 (1993) - [c51]Joseph A. Goguen, Charlotte Linde:
Techniques for requirements elicitation. RE 1993: 152-164 - [c50]Joseph A. Goguen:
Social issues in requirements engineering. RE 1993: 194-195 - [c49]Joseph A. Goguen:
Keynote: On Notation. TOOLS (10) 1993: 5-10 - [p6]Joseph A. Goguen:
Introduction. Formal Methods in Systems Engineering 1993: 1-10 - [p5]Joseph A. Goguen:
Memories of ADJ. Current Trends in Theoretical Computer Science 1993: 76-81 - [p4]Joseph A. Goguen, Razvan Diaconescu:
A Short Oxford Survey of Order Sorted Algebra. Current Trends in Theoretical Computer Science 1993: 209-222 - 1992
- [j29]Joseph A. Goguen, Razvan Diaconescu:
A short Oxford survey of order sorted algebra.. Bull. EATCS 48: 121-133 (1992) - [j28]Joseph A. Goguen, Rod M. Burstall:
Institutions: Abstract Model Theory for Specification and Programming. J. ACM 39(1): 95-146 (1992) - [j27]Joseph A. Goguen:
Sheaf Semantics for Concurrent Interacting Objects. Math. Struct. Comput. Sci. 2(2): 159-191 (1992) - [j26]Lawrence S. Moss, José Meseguer, Joseph A. Goguen:
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theor. Comput. Sci. 100(2): 267-302 (1992) - [j25]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) - [c48]Joseph A. Goguen, Razvan Diaconescu:
Towards an Algebraic Semantics for the Object Paradigm. COMPASS/ADT 1992: 1-29 - [c47]Joseph A. Goguen:
The Dry and the Wet. ISCO 1992: 1-17 - [c46]Victoria Stavridou, Joseph A. Goguen, Andrew Stevens, Steven M. Eker, Serge N. Aloneftis, Keith Michael Hobley:
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. TPCD 1992: 197-223 - [p3]Antonio J. Alencar, Joseph A. Goguen:
OOZE. Object Orientation in Z 1992: 79-94 - 1991
- [j24]Joseph A. Goguen:
A Categorical Manifesto. Math. Struct. Comput. Sci. 1(1): 49-67 (1991) - [j23]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) - [c45]Antonio J. Alencar, Joseph A. Goguen:
OOZE: An Object Oriented Z Environment. ECOOP 1991: 180-199 - [c44]David A. Wolfram, Joseph A. Goguen:
A Sheaf Semantics for FOOPS Expressions. Object-Based Concurrent Computing 1991: 81-98 - 1990
- [c43]Joseph A. Goguen:
Proving and Rewriting. ALP 1990: 1-24 - [c42]Hitoshi Aida, Joseph A. Goguen, José Meseguer:
Compiling Concurrent Rewriting onto the Rewrite Rule Machine. CTRS 1990: 320-332 - [c41]Joseph A. Goguen, David A. Wolfram:
On Types and FOOPS. DS-4 1990: 1-22 - [c40]Joseph A. Goguen:
An Algebraic Approach to Refinement. VDM Europe 1990: 12-28 - [c39]Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas:
A Categorial Theory of Objects as Observed Processes. REX Workshop 1990: 203-228
1980 – 1989
- 1989
- [j22]Joseph A. Goguen:
Momories of ADJ. Bull. EATCS 39: 96-102 (1989) - [j21]José Meseguer, Joseph A. Goguen:
Order-Sorted Unification. J. Symb. Comput. 8(4): 383-413 (1989) - [c38]Joseph A. Goguen:
Semantic Specifications for the Rewrite Rule Machine. Concurrency: Theory, Language, And Architecture 1989: 216-234 - 1988
- [j20]Joseph A. Goguen:
Modular Algebraic Specification of Some Basic Geometrical Constructions. Artif. Intell. 37(1-3): 123-153 (1988) - [c37]Joseph A. Goguen, José Meseguer:
Software for the Rewrite Rule Machine. FGCS 1988: 628-637 - [c36]Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler:
Cell and Ensemble Architecture for the Rewrite Rule Machine. FGCS 1988: 869-878 - 1987
- [j19]Joseph A. Goguen, Mark Moriconi:
Formalization in Programming Environments. Computer 20(11): 55-64 (1987) - [j18]Joseph A. Goguen, José Meseguer:
Remarks on Remarks on Many-Sorted Equational Logic. ACM SIGPLAN Notices 22(4): 41-48 (1987) - [c35]Joseph A. Goguen:
Parameterization Pitfalls and Potentials. COMPCON 1987: 357 - [c34]Lawrence S. Moss, José Meseguer, Joseph A. Goguen:
Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science 1987: 158-181 - [c33]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 - [c32]Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada:
Parameterized Programming in OBJ2. ICSE 1987: 51-60 - [c31]Joseph A. Goguen, José Meseguer:
Order-Sorted Algebra solves the Constructor-Selector, Multiple. LICS 1987: 18-29 - [c30]Joseph A. Goguen, José Meseguer:
Models and Equality for Logical Programming. TAPSOFT, Vol.1 1987: 1-22 - [p2]Joseph A. Goguen, José Meseguer:
Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. Research Directions in Object-Oriented Programming 1987: 417-478 - 1986
- [j17]Joseph A. Goguen:
Reusing and Interconneccting Software Components. Computer 19(2): 16-28 (1986) - [j16]Joseph A. Goguen, José Meseguer:
Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. Bull. EATCS 30: 66-73 (1986) - [c29]Joseph A. Goguen, Claude Kirchner, José Meseguer:
Concurrent term rewriting as a model of computation. Graph Reduction 1986: 53-93 - [c28]Joseph A. Goguen:
One, None, A Hundred Thousand Specification Languages (Invited Paper). IFIP Congress 1986: 995-1004 - [c27]Joseph A. Goguen, José Meseguer:
Extensions and foundations of object-oriented programming. OOPWORK 1986: 153-162 - [c26]Joseph A. Goguen, José Meseguer:
Foundations and extensions of object-oriented programming (abstract only). OOPWORK 1986: 185 - [p1]Joseph A. Goguen, José Meseguer:
EQLOG: Equality, Types, and Generic Modules For Logic Programming. Logic Programming: Functions, Relations, and Equations 1986: 295-363 - 1985
- [c25]Joseph A. Goguen, Rod M. Burstall:
A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments. CTCS 1985: 313-333 - [c24]Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer:
Operational Semantics for Order-Sorted Algebra. ICALP 1985: 221-231 - [c23]Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer:
Principles of OBJ2. POPL 1985: 52-66 - 1984
- [j15]Joseph A. Goguen, José Meseguer:
Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. J. Log. Program. 1(2): 179-210 (1984) - [j14]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) - [j13]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) - [j12]Joseph A. Goguen:
Parameterized Programming. IEEE Trans. Software Eng. 10(5): 528-544 (1984) - [c22]Joseph A. Goguen, José Meseguer:
Equality, Types, Modules and Generics for Logic Programming. ICLP 1984: 115-125 - [c21]Joseph A. Goguen, José Meseguer:
Unwinding and Inference Control. S&P 1984: 75-87 - 1983
- [j11]Joseph A. Goguen, J. L. Weiner, Charlotte Linde:
Reasoning and Natural Explanation. Int. J. Man Mach. Stud. 19(6): 521-559 (1983) - [j10]Joseph A. Goguen, José Meseguer:
Correctness of Recursive Parallel Nondeterministic Flow Programs. J. Comput. Syst. Sci. 27(2): 268-290 (1983) - [c20]Joseph A. Goguen, Rod M. Burstall:
Introducing Institutions. Logic of Programs 1983: 221-256 - 1982
- [j9]Joseph A. Goguen, José Meseguer:
Completeness of many-sorted equational logic. ACM SIGPLAN Notices 17(1): 9-17 (1982) - [c19]Joseph A. Goguen, José Meseguer:
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. ICALP 1982: 265-281 - [c18]Joseph A. Goguen, José Meseguer:
Rapid prototyping: in the OBJ executable specification language. Rapid Prototyping 1982: 75-84 - [c17]Joseph A. Goguen, José Meseguer:
Security Policies and Security Models. S&P 1982: 11-20 - 1981
- [j8]Joseph A. Goguen, José Meseguer:
Completeness of many-sorted equational logic. ACM SIGPLAN Notices 16(7): 24-32 (1981) - [j7]Joseph A. Goguen:
More thoughts on specification and verification. ACM SIGSOFT Softw. Eng. Notes 6(3): 38-41 (1981) - [c16]Jørgen Staunstrup, Joseph A. Goguen:
Geometrical Constructions. Program Specification 1981: 25-46 - [c15]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 - [c14]Joseph A. Goguen, Kamran Parsaye-Ghomi:
Algebraic Denotational Semantics Using Parameterized Abstract Modules. ICFPC 1981: 292-309 - 1980
- [c13]Charlotte Linde, Joseph A. Goguen:
On the Independence of Discourse Structure and Semantic Domain. ACL 1980 - [c12]Joseph A. Goguen:
How to Prove Algebraic Inductive Hypotheses Without Induction. CADE 1980: 356-373
1970 – 1979
- 1979
- [c11]Rod M. Burstall, Joseph A. Goguen:
The Semantics of CLEAR, A Specification Language. Abstract Software Specifications 1979: 292-332 - 1978
- [c10]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 - 1977
- [j6]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) - [c9]Joseph A. Goguen:
Abstract Errors for Abstract Data Types. Formal Description of Programming Concepts 1977: 491-526 - [c8]Rod M. Burstall, Joseph A. Goguen:
Putting Theories Together to Make Specifications. IJCAI 1977: 1045-1058 - [c7]Joseph A. Goguen, José Meseguer:
Correctness of Recursive Flow Diagram Programs. MFCS 1977: 580-595 - 1976