The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Joseph A. Goguen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  113. Verifying Design with Proof Scores. [Citation Graph (, )][DBLP]


  114. Query generation for retrieving data from distributed semistructured documents using a metadata interface. [Citation Graph (, )][DBLP]


Search in 0.095secs, Finished in 0.103secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002