| 2006 |
|---|
| 115 | EE | Guija Choe,
Young-Kwang Nam,
Joseph A. Goguen,
Guilian Wang:
Information Retrieval from Distributed Semistructured Documents Using Metadata Interface.
KDXD 2006: 54-63 |
| 2005 |
|---|
| 114 | EE | Joseph A. Goguen:
What Is a Concept?
ICCS 2005: 52-77 |
| 113 | EE | Joseph A. Goguen:
Three Perspectives on Information Integration.
Semantic Interoperability and Integration 2005 |
| 112 | EE | Kokichi Futatsugi,
Joseph A. Goguen,
Kazuhiro Ogata:
Verifying Design with Proof Scores.
VSTTE 2005: 277-290 |
| 111 | | Joseph A. Goguen,
Kai Lin:
Specifying, Programming and Verifying with Equational Logic.
We Will Show Them! (2) 2005: 1-38 |
| 110 | EE | Joseph A. Goguen:
Data, Schema, Ontology and Logic Integration.
Logic Journal of the IGPL 13(6): 685-715 (2005) |
| 2004 |
|---|
| 109 | EE | Guilian Wang,
Joseph A. Goguen,
Young-Kwang Nam,
Kai Lin:
Critical Points for Interactive Schema Matching.
APWeb 2004: 654-664 |
| 108 | EE | Joseph A. Goguen,
Grigore Rosu:
Composing Hidden Information Modules over Inclusive Institutions.
Essays in Memory of Ole-Johan Dahl 2004: 96-123 |
| 2003 |
|---|
| 107 | EE | 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 |
| 106 | EE | Joseph A. Goguen,
Kai Lin:
Behavioral Verification of Distributed Concurrent Systems with BOBJ.
QSIC 2003: 216- |
| 2002 |
|---|
| 105 | EE | Young-Kwang Nam,
Joseph A. Goguen,
Guilian Wang:
A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases.
CoopIS/DOA/ODBASE 2002: 1332-1344 |
| 104 | EE | Ryoko Amadee Goguen,
Joseph A. Goguen:
Zero, Connected, Empty.
WADT 2002: 118-126 |
| 103 | EE | Joseph A. Goguen,
Ryoko Amadee Goguen:
Zero, Connected, Empty: An Essay after a Cantata.
WADT 2002: 127-128 |
| 102 | EE | Joseph A. Goguen,
Kai Lin,
Grigore Rosu:
Conditional Circular Coinductive Rewriting with Case Analysis.
WADT 2002: 216-232 |
| 101 | EE | Joseph A. Goguen,
Grigore Rosu:
Institution Morphisms.
Formal Asp. Comput. 13(3-5): 274-307 (2002) |
| 100 | EE | 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) |
| 2001 |
|---|
| 99 | | Joseph A. Goguen,
Kai Lin:
Web-Based Support for Cooperative Software Engineering.
Ann. Software Eng. 12(1): 167-191 (2001) |
| 2000 |
|---|
| 98 | EE | Joseph A. Goguen,
Kai Lin,
Grigore Rosu:
Circular Coinductive Rewriting.
ASE 2000: 123-132 |
| 97 | EE | Joseph A. Goguen,
Kai Lin:
Web-based Multimedia Support for Distributed Cooperative Software Engineering*.
ISMSE 2000: 25-32 |
| 96 | EE | Joseph A. Goguen,
Kai Lin,
Grigore Rosu:
Behavioral and Coinductive Rewriting.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 95 | EE | Grigore Rosu,
Joseph A. Goguen:
On Equational Craig Interpolation.
J. UCS 6(1): 194-200 (2000) |
| 94 | EE | Joseph A. Goguen,
Grant Malcolm:
A hidden agenda.
Theor. Comput. Sci. 245(1): 55-101 (2000) |
| 1999 |
|---|
| 93 | EE | Joseph A. Goguen,
Grigore Rosu:
Hiding More of Hidden Algebra.
World Congress on Formal Methods 1999: 1704-1719 |
| 92 | EE | Joseph A. Goguen,
Grigore Rosu:
A protocol for distributed cooperative work.
Electr. Notes Theor. Comput. Sci. 28: (1999) |
| 91 | EE | Joseph A. Goguen:
Social and Semiotic Analyses for Theorem Prover User Interface Design 1.
Formal Asp. Comput. 11(3): 272-301 (1999) |
| 90 | | Joseph A. Goguen,
Grant Malcolm:
Hidden coinduction: behavioural correctness proofs for objects.
Mathematical Structures in Computer Science 9(3): 287-319 (1999) |
| 1998 |
|---|
| 89 | EE | Grigore Rosu,
Joseph A. Goguen:
Hidden Congruent Deduction.
FTP (LNCS Selection) 1998: 251-266 |
| 88 | EE | Joseph A. Goguen,
Grant Malcolm,
Tom Kemp:
A Hidden Herbrand Theorem.
PLILP/ALP 1998: 445-462 |
| 1997 |
|---|
| 87 | EE | Joseph A. Goguen,
Kai Lin,
A. Mori,
Grigore Rosu,
A. Sato:
Distributed Cooperative Formal Methods Tools.
ASE 1997: 55-62 |
| 86 | | Luqi,
Joseph A. Goguen:
Formal Methods: Promises And Problems.
IEEE Software 14(1): 73-85 (1997) |
| 1996 |
|---|
| 85 | EE | Joseph A. Goguen:
Formality and Informality in Requirements Engineering.
ICRE 1996: 102-109 |
| 84 | EE | Francisco A. C. Pinheiro,
Joseph A. Goguen:
An Object-Oriented Tool for Tracing Requirements.
ICRE 1996: 219-220 |
| 83 | EE | Francisco A. C. Pinheiro,
Joseph A. Goguen:
An Object-Oriented Tool for Tracing Requirements.
IEEE Software 13(2): 52-64 (1996) |
| 82 | | 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) |
| 1995 |
|---|
| 81 | | Joseph A. Goguen,
Razvan Diaconescu:
An Introduction to Category-based Equational Logic.
AMAST 1995: 91-126 |
| 80 | | José Barros,
Joseph A. Goguen:
Semantics of Non-terminating Rewrite Systems Using Minimal Coverings.
CSL 1995: 16-35 |
| 79 | | Joseph A. Goguen,
Luqi:
Formal Methods and Social Context in Software Development.
TAPSOFT 1995: 62-81 |
| 78 | | Joseph A. Goguen,
Adolfo Socorro:
Module Composition and System Design for the Object Paradigm.
JOOP 7(9): 47-55 (1995) |
| 1994 |
|---|
| 77 | | Lutz H. Hamel,
Joseph A. Goguen:
Towards a Provably Correct Compiler for OBJ3.
PLILP 1994: 132-146 |
| 76 | | Luqi,
Joseph A. Goguen:
Suggestions for progress in software analysis, synthesis and certification.
SEKE 1994: 501-507 |
| 75 | | Joseph A. Goguen,
Razvan Diaconescu:
An Oxford Survey of Order Sorted Algebra.
Mathematical Structures in Computer Science 4(3): 363-392 (1994) |
| 1993 |
|---|
| 74 | | Joseph A. Goguen:
Keynote: On Notation.
TOOLS (10) 1993: 5-10 |
| 73 | | José Meseguer,
Joseph A. Goguen:
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems
Inf. Comput. 103(1): 114-158 (1993) |
| 1992 |
|---|
| 72 | | Joseph A. Goguen,
Razvan Diaconescu:
Towards an Algebraic Semantics for the Object Paradigm.
COMPASS/ADT 1992: 1-29 |
| 71 | | Joseph A. Goguen:
The Dry and the Wet.
ISCO 1992: 1-17 |
| 70 | | Antonio J. Alencar,
Joseph A. Goguen:
OOZE.
Object Orientation in Z 1992: 79-94 |
| 69 | | 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 |
| 68 | | Joseph A. Goguen,
Razvan Diaconescu:
A short Oxford survey of order sorted algebra..
Bulletin of the EATCS 48: 121-133 (1992) |
| 67 | EE | Joseph A. Goguen,
Rod M. Burstall:
Institutions: Abstract Model Theory for Specification and Programming.
J. ACM 39(1): 95-146 (1992) |
| 66 | | Joseph A. Goguen:
Sheaf Semantics for Concurrent Interacting Objects.
Mathematical Structures in Computer Science 2(2): 159-191 (1992) |
| 65 | | Lawrence S. Moss,
José Meseguer,
Joseph A. Goguen:
Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability.
Theor. Comput. Sci. 100(2): 267-302 (1992) |
| 64 | | 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) |
| 1991 |
|---|
| 63 | EE | Antonio J. Alencar,
Joseph A. Goguen:
OOZE: An Object Oriented Z Environment.
ECOOP 1991: 180-199 |
| 62 | | David A. Wolfram,
Joseph A. Goguen:
A Sheaf Semantics for FOOPS Expressions.
Object-Based Concurrent Computing 1991: 81-98 |
| 61 | | Joseph A. Goguen:
A Categorical Manifesto.
Mathematical Structures in Computer Science 1(1): 49-67 (1991) |
| 60 | | 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) |
| 1990 |
|---|
| 59 | | Joseph A. Goguen:
Proving and Rewriting.
ALP 1990: 1-24 |
| 58 | | Hitoshi Aida,
Joseph A. Goguen,
José Meseguer:
Compiling Concurrent Rewriting onto the Rewrite Rule Machine.
CTRS 1990: 320-332 |
| 57 | | Joseph A. Goguen,
David A. Wolfram:
On Types and FOOPS.
DS-4 1990: 1-22 |
| 56 | | Hans-Dieter Ehrich,
Joseph A. Goguen,
Amílcar Sernadas:
A Categorial Theory of Objects as Observed Processes.
REX Workshop 1990: 203-228 |
| 55 | | Joseph A. Goguen:
An Algebraic Approach to Refinement.
VDM Europe 1990: 12-28 |
| 1989 |
|---|
| 54 | | Joseph A. Goguen:
Semantic Specifications for the Rewrite Rule Machine.
Concurrency: Theory, Language, And Architecture 1989: 216-234 |
| 53 | | Joseph A. Goguen:
Momories of ADJ.
Bulletin of the EATCS 39: 96-102 (1989) |
| 52 | | José Meseguer,
Joseph A. Goguen:
Order-Sorted Unification.
J. Symb. Comput. 8(4): 383-413 (1989) |
| 1988 |
|---|
| 51 | | Joseph A. Goguen,
José Meseguer:
Software for the Rewrite Rule Machine.
FGCS 1988: 628-637 |
| 50 | | Sany Leinwand,
Joseph A. Goguen,
Timothy C. Winkler:
Cell and Ensemble Architecture for the Rewrite Rule Machine.
FGCS 1988: 869-878 |
| 49 | | Joseph A. Goguen:
Modular Algebraic Specification of Some Basic Geometrical Constructions.
Artif. Intell. 37(1-3): 123-153 (1988) |
| 1987 |
|---|
| 48 | | Joseph A. Goguen:
Parameterization Pitfalls and Potentials.
COMPCON 1987: 357 |
| 47 | | 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 |
| 46 | | Lawrence S. Moss,
José Meseguer,
Joseph A. Goguen:
Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability.
Category Theory and Computer Science 1987: 158-181 |
| 45 | | Kokichi Futatsugi,
Joseph A. Goguen,
José Meseguer,
K. Okada:
Parameterized Programming in OBJ2.
ICSE 1987: 51-60 |
| 44 | | Joseph A. Goguen,
José Meseguer:
Order-Sorted Algebra solves the Constructor-Selector, Multiple
LICS 1987: 18-29 |
| 43 | | Joseph A. Goguen,
José Meseguer:
Models and Equality for Logical Programming.
TAPSOFT, Vol.1 1987: 1-22 |
| 42 | | Joseph A. Goguen,
José Meseguer:
Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics.
Research Directions in Object-Oriented Programming 1987: 417-478 |
| 41 | | Joseph A. Goguen,
José Meseguer:
Remarks on Remarks on Many-Sorted Equational Logic.
SIGPLAN Notices 22(4): 41-48 (1987) |
| 1986 |
|---|
| 40 | | Joseph A. Goguen,
Claude Kirchner,
José Meseguer:
Concurrent term rewriting as a model of computation.
Graph Reduction 1986: 53-93 |
| 39 | | Joseph A. Goguen:
One, None, A Hundred Thousand Specification Languages (Invited Paper).
IFIP Congress 1986: 995-1004 |
| 38 | | Joseph A. Goguen,
José Meseguer:
EQLOG: Equality, Types, and Generic Modules For Logic Programming.
Logic Programming: Functions, Relations, and Equations 1986: 295-363 |
| 37 | | 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) |
| 36 | | Joseph A. Goguen:
Reusing and Interconneccting Software Components.
IEEE Computer 19(2): 16-28 (1986) |
| 1985 |
|---|
| 35 | | Joseph A. Goguen,
Rod M. Burstall:
A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments.
CTCS 1985: 313-333 |
| 34 | | Joseph A. Goguen,
Jean-Pierre Jouannaud,
José Meseguer:
Operational Semantics for Order-Sorted Algebra.
ICALP 1985: 221-231 |
| 33 | | Kokichi Futatsugi,
Joseph A. Goguen,
Jean-Pierre Jouannaud,
José Meseguer:
Principles of OBJ2.
POPL 1985: 52-66 |
| 1984 |
|---|
| 32 | | Joseph A. Goguen,
José Meseguer:
Equality, Types, Modules and Generics for Logic Programming.
ICLP 1984: 115-125 |
| 31 | | Joseph A. Goguen,
José Meseguer:
Unwinding and Inference Control.
IEEE Symposium on Security and Privacy 1984: 75-87 |
| 30 | | Joseph A. Goguen:
Parameterized Programming.
IEEE Trans. Software Eng. 10(5): 528-544 (1984) |
| 29 | | Joseph A. Goguen,
José Meseguer:
Equality, Types, Modules, and (Why not ?) Generics for Logic Programming.
J. Log. Program. 1(2): 179-210 (1984) |
| 28 | | 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) |
| 27 | | 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) |
| 1983 |
|---|
| 26 | | Joseph A. Goguen,
Rod M. Burstall:
Introducing Institutions.
Logic of Programs 1983: 221-256 |
| 25 | | Joseph A. Goguen,
J. L. Weiner,
Charlotte Linde:
Reasoning and Natural Explanation.
International Journal of Man-Machine Studies 19(6): 521-559 (1983) |
| 24 | | Joseph A. Goguen,
José Meseguer:
Correctness of Recursive Parallel Nondeterministic Flow Programs.
J. Comput. Syst. Sci. 27(2): 268-290 (1983) |
| 1982 |
|---|
| 23 | | Joseph A. Goguen,
José Meseguer:
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules.
ICALP 1982: 265-281 |
| 22 | | Joseph A. Goguen,
José Meseguer:
Security Policies and Security Models.
IEEE Symposium on Security and Privacy 1982: 11-20 |
| 21 | | Joseph A. Goguen,
José Meseguer:
Completeness of many-sorted equational logic.
SIGPLAN Notices 17(1): 9-17 (1982) |
| 1981 |
|---|
| 20 | | Joseph A. Goguen,
Kamran Parsaye-Ghomi:
Algebraic Denotational Semantics Using Parameterized Abstract Modules.
ICFPC 1981: 292-309 |
| 19 | | Jørgen Staunstrup,
Joseph A. Goguen:
Geometrical Constructions.
Program Specification 1981: 25-46 |
| 18 | | 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 |
| 1980 |
|---|
| 17 | EE | Charlotte Linde,
Joseph A. Goguen:
On the Independence of Discourse Structure and Semantic Domain.
ACL 1980 |
| 16 | | Joseph A. Goguen:
How to Prove Algebraic Inductive Hypotheses Without Induction.
CADE 1980: 356-373 |
| 1979 |
|---|
| 15 | | Rod M. Burstall,
Joseph A. Goguen:
The Semantics of CLEAR, A Specification Language.
Abstract Software Specifications 1979: 292-332 |
| 1978 |
|---|
| 14 | | 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 |
|---|
| 13 | | Rod M. Burstall,
Joseph A. Goguen:
Putting Theories Together to Make Specifications.
IJCAI 1977: 1045-1058 |
| 12 | | Joseph A. Goguen,
José Meseguer:
Correctness of Recursive Flow Diagram Programs.
MFCS 1977: 580-595 |
| 11 | EE | 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) |
| 1976 |
|---|
| 10 | | Jesse B. Wright,
James W. Thatcher,
Eric G. Wagner,
Joseph A. Goguen:
Rational Algebraic Theories and Fixed-Point Solutions
FOCS 1976: 147-158 |
| 9 | | Eric G. Wagner,
Jesse B. Wright,
Joseph A. Goguen,
James W. Thatcher:
Some Fundamentals of Order-Algebraic Semantics.
MFCS 1976: 153-168 |
| 1975 |
|---|
| 8 | | Joseph A. Goguen:
Discrete-Time Machines in Closed Monoidal Categories. I.
J. Comput. Syst. Sci. 10(1): 1-43 (1975) |
| 1974 |
|---|
| 7 | | Joseph A. Goguen:
Semantics of computation.
Category Theory Applied to Computation and Control 1974: 151-163 |
| 6 | | Joseph A. Goguen,
James W. Thatcher:
Initial Algebra Semantics
FOCS 1974: 63-77 |
| 5 | | 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 |
| 4 | | 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) |
| 3 | | Joseph A. Goguen:
On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs.
J. Comput. Syst. Sci. 8(3): 333-365 (1974) |
| 1972 |
|---|
| 2 | | Joseph A. Goguen:
On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes
FOCS 1972: 52-60 |
| 1 | | Joseph A. Goguen:
Realization is Universal.
Mathematical Systems Theory 6(4): 359-374 (1972) |
