| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Joseph A. Goguen 95 Young-Kwang Nam , Joseph A. Goguen, Guilian Wang : A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases. CoopIS/DOA/ODBASE 2002 : 1332-1344 94 Joseph A. Goguen, Grigore Rosu : Institution Morphisms. Formal Aspects of Computing 13 (3-5): 274-307 (2002) 93 Joseph A. Goguen, Kai Lin : Web-Based Support for Cooperative Software Engineering. Annals of Software Engineering 12 (1): 167-191 (2001) 92 Joseph A. Goguen, Kai Lin , Grigore Rosu : Circular Coinductive Rewriting. ASE 2000 : 123-132 91 Joseph A. Goguen, Kai Lin , Grigore Rosu : Behavioral and Coinductive Rewriting. ENTCS 36 : (2000) 90 Joseph A. Goguen, Kai Lin , Grigore Rosu : Behavioral and Coinductive Rewriting. ENTCS 36 : (2000) 89 Grigore Rosu , Joseph A. Goguen: On Equational Craig Interpolation. Journal of Universal Computer Science 6 (1): 194-200 (2000) 88 Joseph A. Goguen, Grant Malcolm : A hidden agenda. TCS 245 (1): 55-101 (2000) 87 Joseph A. Goguen, Grigore Rosu : Hiding More of Hidden Algebra. World Congress on Formal Methods 1999 : 1704-1719 86 Joseph A. Goguen, Grigore Rosu : A protocol for distributed cooperative work. ENTCS 28 : (1999) 85 Joseph A. Goguen: Social and Semiotic Analyses for Theorem Prover User Interface Design 1. Formal Aspects of Computing 11 (3): 272-301 (1999) 84 Joseph A. Goguen, Grant Malcolm : Hidden coinduction: behavioural correctness proofs for objects. Mathematical Structures in Computer Science 9 (3): 287-319 (1999) 83 Grigore Rosu , Joseph A. Goguen: Hidden Congruent Deduction. FTP (LNCS Selection) 1998 : 251-266 82 Joseph A. Goguen, Grant Malcolm , Tom Kemp : A Hidden Herbrand Theorem. PLILP/ALP 1998 : 445-462 81 Joseph A. Goguen, Kai Lin , A. Mori , Grigore Rosu , A. Sato : Distributed Cooperative Formal Methods Tools. ASE 1997 : 55-62 80 Luqi , Joseph A. Goguen: Formal Methods: Promises And Problems. IEEE Software 14 (1): 73-85 (1997) 79 Joseph A. Goguen: Formality and Informality in Requirements Engineering. ICRE 1996 : 102-109 78 Francisco A. C. Pinheiro , Joseph A. Goguen: An Object-Oriented Tool for Tracing Requirements. ICRE 1996 : 219-220 77 Francisco A. C. Pinheiro , Joseph A. Goguen: An Object-Oriented Tool for Tracing Requirements. IEEE Software 13 (2): 52-64 (1996) 76 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) 75 Joseph A. Goguen, Razvan Diaconescu : An Introduction to Category-based Equational Logic. AMAST 1995 : 91-126 74 José Barros , Joseph A. Goguen: Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. CSL 1995 : 16-35 73 Joseph A. Goguen, Luqi : Formal Methods and Social Context in Software Development. TAPSOFT 1995 : 62-81 72 Joseph A. Goguen, Adolfo Socorro : Module Composition and System Design for the Object Paradigm. JOOP 7 (9): 47-55 (1995) 71 Lutz H. Hamel , Joseph A. Goguen: Towards a Provably Correct Compiler for OBJ3. PLILP 1994 : 132-146 70 Joseph A. Goguen, Razvan Diaconescu : An Oxford Survey of Order Sorted Algebra. Mathematical Structures in Computer Science 4 (3): 363-392 (1994) 69 José Meseguer , Joseph A. Goguen: Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems. Information and Computation 103 (1): 114-158 (1993) 68 Joseph A. Goguen, Razvan Diaconescu : Towards an Algebraic Semantics for the Object Paradigm. COMPASS/ADT 1992 : 1-29 67 Joseph A. Goguen: The Dry and the Wet. ISCO 1992 : 1-17 66 Antonio J. Alencar , Joseph A. Goguen: OOZE. Object Orientation in Z 1992 : 79-94 65 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 64 Joseph A. Goguen, Rod M. Burstall : Institutions: Abstract Model Theory for Specification and Programming. JACM 39 (1): 95-146 (1992) 63 Joseph A. Goguen: Sheaf Semantics for Concurrent Interacting Objects. Mathematical Structures in Computer Science 2 (2): 159-191 (1992) 62 Lawrence S. Moss , José Meseguer , Joseph A. Goguen: Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. TCS 100 (2): 267-302 (1992) 61 Joseph A. Goguen, José Meseguer : Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. TCS 105 (2): 217-273 (1992) 60 Antonio J. Alencar , Joseph A. Goguen: OOZE: An Object Oriented Z Environment. ECOOP 1991 : 180-199 59 David A. Wolfram , Joseph A. Goguen: A Sheaf Semantics for FOOPS Expressions. Object-Based Concurrent Computing 1991 : 81-98 58 Joseph A. Goguen: A Categorical Manifesto. Mathematical Structures in Computer Science 1 (1): 49-67 (1991) 57 Andrzej Tarlecki , Rod M. Burstall , Joseph A. Goguen: Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories. TCS 91 (2): 239-264 (1991) 56 Joseph A. Goguen: Proving and Rewriting. ALP 1990 : 1-24 55 Hitoshi Aida , Joseph A. Goguen, José Meseguer : Compiling Concurrent Rewriting onto the Rewrite Rule Machine. CTRS 1990 : 320-332 54 Joseph A. Goguen, David A. Wolfram : On Types and FOOPS. DS-4 1990 : 1-22 53 Hans-Dieter Ehrich , Joseph A. Goguen, Amílcar Sernadas : A Categorial Theory of Objects as Observed Processes. REX Workshop 1990 : 203-228 52 Joseph A. Goguen: An Algebraic Approach to Refinement. VDM Europe 1990 : 12-28 51 Joseph A. Goguen: Semantic Specifications for the Rewrite Rule Machine. Concurrency: Theory, Language, And Architecture 1989 : 216-234 50 José Meseguer , Joseph A. Goguen: Order-Sorted Unification. JSC 8 (4): 383-413 (1989) 49 Joseph A. Goguen, José Meseguer : Software for the Rewrite Rule Machine. FGCS 1988 : 628-637 48 Sany Leinwand , Joseph A. Goguen, Timothy C. Winkler : Cell and Ensemble Architecture for the Rewrite Rule Machine. FGCS 1988 : 869-878 47 Joseph A. Goguen: Modular Algebraic Specification of Some Basic Geometrical Constructions. Artificial Intelligence 37 (1-3): 123-153 (1988) 46 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 45 Lawrence S. Moss , José Meseguer , Joseph A. Goguen: Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science 1987 : 158-181 44 Kokichi Futatsugi , Joseph A. Goguen, José Meseguer , K. Okada : Parameterized Programming in OBJ2. ICSE 1987 : 51-60 43 Joseph A. Goguen, José Meseguer : Order-Sorted Algebra solves the Constructor-Selector, Multiple. LICS 1987 : 18-29 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 : Models and Equality for Logical Programming. TAPSOFT, Vol.1 1987 : 1-22 40 Joseph A. Goguen, José Meseguer : Remarks on Remarks on Many-Sorted Equational Logic. SIGPLAN Notices 22 (4): 41-48 (1987) 39 Joseph A. Goguen, Claude Kirchner , José Meseguer : Concurrent term rewriting as a model of computation. Graph Reduction 1986 : 53-93 38 Joseph A. Goguen: One, None, A Hundred Thousand Specification Languages (Invited Paper). IFIP Congress 1986 : 995-1004 37 Joseph A. Goguen, José Meseguer : EQLOG: Equality, Types, and Generic Modules For Logic Programming. Logic Programming: Functions, Relations, and Equations 1986 : 295-363 36 Joseph A. Goguen: Reusing and Interconneccting Software Components. IEEE Computer 19 (2): 16-28 (1986) 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 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, José Meseguer : Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. JLP 1 (2): 179-210 (1984) 29 Joseph A. Goguen, Rod M. Burstall : Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories. TCS 31 : 175-209 (1984) 28 Joseph A. Goguen, Rod M. Burstall : Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories. TCS 31 : 263-295 (1984) 27 Joseph A. Goguen: Parameterized Programming. TSE 10 (5): 528-544 (1984) 26 Joseph A. Goguen, Rod M. Burstall : Introducing Institutions. Logic of Programs 1983 : 221-256 25 Joseph A. Goguen, J. L. Weiner , C. 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. JCSS 27 (2): 268-290 (1983) 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) 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 Sørensen , Robin M. Gallimore , Derek Coleman , Joseph A. Goguen: KWIC-index generation. Program Specification 1981 : 47-117 17 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 15 Rod M. Burstall , Joseph A. Goguen: The Semantics of CLEAR, A Specification Language. Abstract Software Specifications 1979 : 292-332 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 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 Joseph A. Goguen, James W. Thatcher , Eric G. Wagner , Jesse B. Wright : Initial Algebra Semantics and Continuous Algebras. JACM 24 (1): 68-95 (1977) 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 8 Joseph A. Goguen: Discrete-Time Machines in Closed Monoidal Categories. I. JCSS 10 (1): 1-43 (1975) 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. JCSS 8 (3): 333-365 (1974) 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)  DiSC'03 © 2003 Association for Computing Machinery |
