Joseph A. Goguen

137 papers A* 10A 4B 6C 3Misc 2Journal 47Unranked 56

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Theorem Proving and Algebra. CoRR Joseph A. Goguen
2010	—	`ch.`	Style: A Computational and Conceptual Blending-Based Approach. The Structure of Style Joseph A. Goguen, D. Fox Harrell
2009	J	`jnl`	Query generation for retrieving data from distributed semistructured documents using a metadata interface. Comput. Lang. Syst. Struct. Guija Choe, Young-Kwang Nam, Joseph A. Goguen, Guilian Wang
2007	J	`jnl`	An Institutional View on Categorical Logic. Int. J. Softw. Informatics Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder
2006	—	`conf`	Information Retrieval from Distributed Semistructured Documents Using Metadata Interface. KDXD Guija Choe, Young-Kwang Nam, Joseph A. Goguen, Guilian Wang
2005	J	`jnl`	Data, Schema, Ontology and Logic Integration. Log. J. IGPL Joseph A. Goguen
2005	—	`conf`	Specifying, Programming and Verifying with Equational Logic. We Will Show Them! (2) Joseph A. Goguen, Kai Lin
2005	—	`conf`	Three Perspectives on Information Integration. Semantic Interoperability and Integration Joseph A. Goguen
2005	—	`conf`	Verifying Design with Proof Scores. VSTTE Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata
2005	Misc	`conf`	What Is a Concept? ICCS Joseph A. Goguen
2004	—	`conf`	Composing Hidden Information Modules over Inclusive Institutions. Essays in Memory of Ole-Johan Dahl Joseph A. Goguen, Grigore Rosu
2004	C	`conf`	Critical Points for Interactive Schema Matching. APWeb Guilian Wang, Joseph A. Goguen, Young-Kwang Nam, Kai Lin
2004	—	`conf`	Style as a Choice of Blending Principles. AAAI Technical Report (7) Joseph A. Goguen, D. Fox Harrell
2003	Misc	`conf`	A Metadata Tool for Retrieval from Heterogeneous Distributed XML Documents. International Conference on Computational Science Young-Kwang Nam, Joseph A. Goguen, Guilian Wang
2003	—	`conf`	Behavioral Verification of Distributed Concurrent Systems with BOBJ. QSIC Joseph A. Goguen, Kai Lin
2002	—	`conf`	A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases. OTM Young-Kwang Nam, Joseph A. Goguen, Guilian Wang
2002	J	`jnl`	A hidden Herbrand theorem: combining the object and logic paradigms. J. Log. Algebraic Methods Program. Joseph A. Goguen, Grant Malcolm, Tom Kemp
2002	—	`conf`	Conditional Circular Coinductive Rewriting with Case Analysis. WADT Joseph A. Goguen, Kai Lin, Grigore Rosu
2002	J	`jnl`	Institution Morphisms. Formal Aspects Comput. Joseph A. Goguen, Grigore Rosu
2002	—	`conf`	Zero, Connected, Empty. WADT Ryoko Amadee Goguen, Joseph A. Goguen
2002	—	`conf`	Zero, Connected, Empty: An Essay after a Cantata. WADT Joseph A. Goguen, Ryoko Amadee Goguen
2001	J	`jnl`	Web-Based Support for Cooperative Software Engineering. Ann. Softw. Eng. Joseph A. Goguen, Kai Lin
2000	J	`jnl`	A hidden agenda. Theor. Comput. Sci. Joseph A. Goguen, Grant Malcolm
2000	—	`conf`	Behavioral and Coinductive Rewriting. WRLA Joseph A. Goguen, Kai Lin, Grigore Rosu
2000	A*	`conf`	Circular Coinductive Rewriting. ASE Joseph A. Goguen, Kai Lin, Grigore Rosu
2000	J	`jnl`	Hidden algebra and concurrent distributed software. ACM SIGSOFT Softw. Eng. Notes Joseph A. Goguen
2000	J	`jnl`	On Equational Craig Interpolation. J. Univers. Comput. Sci. Grigore Rosu, Joseph A. Goguen
2000	—	`conf`	Web-based Multimedia Support for Distributed Cooperative Software Engineering. ISMSE Joseph A. Goguen, Kai Lin
1999	—	`conf`	A protocol for distributed cooperative work. WDS@FCT Joseph A. Goguen, Grigore Rosu
1999	J	`jnl`	Hidden coinduction: behavioural correctness proofs for objects. Math. Struct. Comput. Sci. Joseph A. Goguen, Grant Malcolm
1999	—	`conf`	Hiding More of Hidden Algebra. World Congress on Formal Methods Joseph A. Goguen, Grigore Rosu
1999	—	`ch.`	Signs and Representations: Semiotics for User Interface Design. Visual Representations and Interpretations Grant Malcolm, Joseph A. Goguen
1999	J	`jnl`	Social and Semiotic Analyses for Theorem Prover User Interface Design 1. Formal Aspects Comput. Joseph A. Goguen
1998	—	`conf`	A Hidden Herbrand Theorem. PLILP/ALP Joseph A. Goguen, Grant Malcolm, Tom Kemp
1998	—	`conf`	Hidden Congruent Deduction. FTP (LNCS Selection) Grigore Rosu, Joseph A. Goguen
1997	A*	`conf`	Distributed Cooperative Formal Methods Tools. ASE Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato
1997	J	`jnl`	Formal Methods: Promises And Problems. IEEE Softw. Luqi, Joseph A. Goguen
1996	—	`book`	Algebraic semantics of imperative programs. Joseph A. Goguen, Grant Malcolm
1996	—	`conf`	An Object-Oriented Tool for Tracing Requirements. ICRE Francisco A. C. Pinheiro, Joseph A. Goguen
1996	J	`jnl`	An Object-Oriented Tool for Tracing Requirements. IEEE Softw. Francisco A. C. Pinheiro, Joseph A. Goguen
1996	—	`conf`	Formality and Informality in Requirements Engineering. ICRE Joseph A. Goguen
1996	B	`conf`	Parameterized programming and software architecture. ICSR Joseph A. Goguen
1996	J	`jnl`	Software Component Search. J. Syst. Integr. Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins
1995	—	`conf`	An Introduction to Category-based Equational Logic. AMAST Joseph A. Goguen, Razvan Diaconescu
1995	—	`conf`	Formal Methods and Social Context in Software Development. TAPSOFT Joseph A. Goguen, Luqi
1995	J	`jnl`	Module Composition and System Design for the Object Paradigm. J. Object Oriented Program. Joseph A. Goguen, Adolfo Socorro
1995	B	`conf`	Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. CSL José Barros, Joseph A. Goguen
1994	J	`jnl`	An Oxford Survey of Order Sorted Algebra. Math. Struct. Comput. Sci. Joseph A. Goguen, Razvan Diaconescu
1994	C	`conf`	Suggestions for progress in software analysis, synthesis and certification. SEKE Luqi, Joseph A. Goguen
1994	—	`conf`	Towards a Provably Correct Compiler for OBJ3. PLILP Lutz H. Hamel, Joseph A. Goguen
1993	—	`ch.`	A Short Oxford Survey of Order Sorted Algebra. Current Trends in Theoretical Computer Science Joseph A. Goguen, Razvan Diaconescu
1993	—	`ch.`	Introduction. Formal Methods in Systems Engineering Joseph A. Goguen
1993	—	`conf`	Keynote: On Notation. TOOLS (10) Joseph A. Goguen
1993	—	`ch.`	Memories of ADJ. Current Trends in Theoretical Computer Science Joseph A. Goguen
1993	J	`jnl`	Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems Inf. Comput. José Meseguer, Joseph A. Goguen
1993	A	`conf`	Social issues in requirements engineering. RE Joseph A. Goguen
1993	A	`conf`	Techniques for requirements elicitation. RE Joseph A. Goguen, Charlotte Linde
1992	J	`jnl`	A short Oxford survey of order sorted algebra.. Bull. EATCS Joseph A. Goguen, Razvan Diaconescu
1992	—	`conf`	FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. TPCD Victoria Stavridou, Joseph A. Goguen, Andrew Stevens, Steven M. Eker, Serge N. Aloneftis, Keith Michael Hobley
1992	J	`jnl`	Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theor. Comput. Sci. Lawrence S. Moss, José Meseguer, Joseph A. Goguen
1992	J	`jnl`	Institutions: Abstract Model Theory for Specification and Programming. J. ACM Joseph A. Goguen, Rod M. Burstall
1992	—	`ch.`	OOZE. Object Orientation in Z Antonio J. Alencar, Joseph A. Goguen
1992	J	`jnl`	Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theor. Comput. Sci. Joseph A. Goguen, José Meseguer
1992	J	`jnl`	Sheaf Semantics for Concurrent Interacting Objects. Math. Struct. Comput. Sci. Joseph A. Goguen
1992	C	`conf`	The Dry and the Wet. ISCO Joseph A. Goguen
1992	—	`conf`	Towards an Algebraic Semantics for the Object Paradigm. COMPASS/ADT Joseph A. Goguen, Razvan Diaconescu
1991	J	`jnl`	A Categorical Manifesto. Math. Struct. Comput. Sci. Joseph A. Goguen
1991	—	`conf`	A Sheaf Semantics for FOOPS Expressions. Object-Based Concurrent Computing David A. Wolfram, Joseph A. Goguen
1991	A	`conf`	OOZE: An Object Oriented Z Environment. ECOOP Antonio J. Alencar, Joseph A. Goguen
1991	J	`jnl`	Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories. Theor. Comput. Sci. Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen
1990	—	`conf`	A Categorial Theory of Objects as Observed Processes. REX Workshop Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas
1990	—	`conf`	An Algebraic Approach to Refinement. VDM Europe Joseph A. Goguen
1990	—	`conf`	Compiling Concurrent Rewriting onto the Rewrite Rule Machine. CTRS Hitoshi Aida, Joseph A. Goguen, José Meseguer
1990	—	`conf`	On Types and FOOPS. DS-4 Joseph A. Goguen, David A. Wolfram
1990	—	`conf`	Proving and Rewriting. ALP Joseph A. Goguen
1989	J	`jnl`	Momories of ADJ. Bull. EATCS Joseph A. Goguen
1989	J	`jnl`	Order-Sorted Unification. J. Symb. Comput. José Meseguer, Joseph A. Goguen
1989	—	`conf`	Semantic Specifications for the Rewrite Rule Machine. Concurrency: Theory, Language, And Architecture Joseph A. Goguen
1988	—	`conf`	Cell and Ensemble Architecture for the Rewrite Rule Machine. FGCS Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler
1988	J	`jnl`	Modular Algebraic Specification of Some Basic Geometrical Constructions. Artif. Intell. Joseph A. Goguen
1988	—	`conf`	Software for the Rewrite Rule Machine. FGCS Joseph A. Goguen, José Meseguer
1987	—	`conf`	An Introduction to OBJ 3. CTRS Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler
1987	—	`conf`	Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science Lawrence S. Moss, José Meseguer, Joseph A. Goguen
1987	J	`jnl`	Formalization in Programming Environments. Computer Joseph A. Goguen, Mark Moriconi
1987	—	`conf`	Models and Equality for Logical Programming. TAPSOFT, Vol.1 Joseph A. Goguen, José Meseguer
1987	A*	`conf`	Order-Sorted Algebra solves the Constructor-Selector, Multiple LICS Joseph A. Goguen, José Meseguer
1987	—	`conf`	Parameterization Pitfalls and Potentials. COMPCON Joseph A. Goguen
1987	A*	`conf`	Parameterized Programming in OBJ2. ICSE Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada
1987	J	`jnl`	Remarks on Remarks on Many-Sorted Equational Logic. ACM SIGPLAN Notices Joseph A. Goguen, José Meseguer
1987	—	`ch.`	Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. Research Directions in Object-Oriented Programming Joseph A. Goguen, José Meseguer
1986	—	`conf`	Concurrent term rewriting as a model of computation. Graph Reduction Joseph A. Goguen, Claude Kirchner, José Meseguer
1986	—	`ch.`	EQLOG: Equality, Types, and Generic Modules For Logic Programming. Logic Programming: Functions, Relations, and Equations Joseph A. Goguen, José Meseguer
1986	—	`conf`	Extensions and foundations of object-oriented programming. OOPWORK Joseph A. Goguen, José Meseguer
1986	—	`conf`	Foundations and extensions of object-oriented programming (abstract only). OOPWORK Joseph A. Goguen, José Meseguer
1986	—	`conf`	One, None, A Hundred Thousand Specification Languages (Invited Paper). IFIP Congress Joseph A. Goguen
1986	J	`jnl`	Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. Bull. EATCS Joseph A. Goguen, José Meseguer
1986	J	`jnl`	Reusing and Interconneccting Software Components. Computer Joseph A. Goguen
1985	—	`conf`	A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments. CTCS Joseph A. Goguen, Rod M. Burstall
1985	A*	`conf`	Operational Semantics for Order-Sorted Algebra. ICALP Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer
1985	A*	`conf`	Principles of OBJ2. POPL Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer
1984	B	`conf`	Equality, Types, Modules and Generics for Logic Programming. ICLP Joseph A. Goguen, José Meseguer
1984	J	`jnl`	Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. J. Log. Program. Joseph A. Goguen, José Meseguer
1984	J	`jnl`	Parameterized Programming. IEEE Trans. Software Eng. Joseph A. Goguen
1984	J	`jnl`	Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories. Theor. Comput. Sci. Joseph A. Goguen, Rod M. Burstall
1984	J	`jnl`	Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories. Theor. Comput. Sci. Joseph A. Goguen, Rod M. Burstall
1984	—	`conf`	Unwinding and Inference Control. S&P Joseph A. Goguen, José Meseguer
1983	J	`jnl`	Correctness of Recursive Parallel Nondeterministic Flow Programs. J. Comput. Syst. Sci. Joseph A. Goguen, José Meseguer
1983	—	`conf`	Introducing Institutions. Logic of Programs Joseph A. Goguen, Rod M. Burstall
1983	J	`jnl`	Reasoning and Natural Explanation. Int. J. Man Mach. Stud. Joseph A. Goguen, J. L. Weiner, Charlotte Linde
1982	J	`jnl`	Completeness of many-sorted equational logic. ACM SIGPLAN Notices Joseph A. Goguen, José Meseguer
1982	—	`conf`	Rapid prototyping: in the OBJ executable specification language. Rapid Prototyping Joseph A. Goguen, José Meseguer
1982	—	`conf`	Security Policies and Security Models. S&P Joseph A. Goguen, José Meseguer
1982	A*	`conf`	Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. ICALP Joseph A. Goguen, José Meseguer
1981	—	`conf`	Algebraic Denotational Semantics Using Parameterized Abstract Modules. ICFPC Joseph A. Goguen, Kamran Parsaye-Ghomi
1981	J	`jnl`	Completeness of many-sorted equational logic. ACM SIGPLAN Notices Joseph A. Goguen, José Meseguer
1981	—	`conf`	Geometrical Constructions. Program Specification Jørgen Staunstrup, Joseph A. Goguen
1981	—	`conf`	KWIC-index generation. Program Specification 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
1981	J	`jnl`	More thoughts on specification and verification. ACM SIGSOFT Softw. Eng. Notes Joseph A. Goguen
1980	A	`conf`	How to Prove Algebraic Inductive Hypotheses Without Induction. CADE Joseph A. Goguen
1980	A*	`conf`	On the Independence of Discourse Structure and Semantic Domain. ACL Charlotte Linde, Joseph A. Goguen
1979	—	`conf`	The Semantics of CLEAR, A Specification Language. Abstract Software Specifications Rod M. Burstall, Joseph A. Goguen
1978	—	`conf`	Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs. Mathematical Studies of Information Processing Joseph A. Goguen
1977	—	`conf`	Abstract Errors for Abstract Data Types. Formal Description of Programming Concepts Joseph A. Goguen
1977	B	`conf`	Correctness of Recursive Flow Diagram Programs. MFCS Joseph A. Goguen, José Meseguer
1977	J	`jnl`	Initial Algebra Semantics and Continuous Algebras. J. ACM Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1977	A*	`conf`	Putting Theories Together to Make Specifications. IJCAI Rod M. Burstall, Joseph A. Goguen
1976	A*	`conf`	Rational Algebraic Theories and Fixed-Point Solutions FOCS Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen
1976	B	`conf`	Some Fundamentals of Order-Algebraic Semantics. MFCS Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher
1975	J	`jnl`	Axioms for discrimination information (Corresp.). IEEE Trans. Inf. Theory Joseph A. Goguen, Lee Carlson
1975	J	`jnl`	Discrete-Time Machines in Closed Monoidal Categories. I. J. Comput. Syst. Sci. Joseph A. Goguen
1974	J	`jnl`	Concept Representation in Natural and Artificial Languages: Axioms, Extensions and Applications for Fuzzy Sets. Int. J. Man Mach. Stud. Joseph A. Goguen
1974	B	`conf`	Factorizations, Congruences, and the Decomposition of Automata and Systems. MFCS Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1974	—	`conf`	Initial Algebra Semantics SWAT Joseph A. Goguen, James W. Thatcher
1974	J	`jnl`	On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs. J. Comput. Syst. Sci. Joseph A. Goguen
1974	—	`conf`	Semantics of computation. Category Theory Applied to Computation and Control Joseph A. Goguen
1972	—	`conf`	On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes SWAT Joseph A. Goguen
1972	J	`jnl`	Realization is Universal. Math. Syst. Theory Joseph A. Goguen