☰

Joseph A. Goguen - Publications

Affiliations: 
University of California, San Diego, La Jolla, CA 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

39 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2009 Choe G, Nam Y, Goguen J, Wang G. Query generation for retrieving data from distributed semistructured documents using a metadata interface Computer Languages, Systems & Structures. 35: 422-434. DOI: 10.1016/J.Cl.2008.09.002  0.548
2006 Choe G, Nam Y, Goguen J, Wang G. Information retrieval from distributed semistructured documents using metadata interface Lecture Notes in Computer Science. 54-63. DOI: 10.1007/11730262_8  0.549
2004 Goguen JA, Rosu G. Composing Hidden Information Modules over Inclusive Institutions Lecture Notes in Computer Science. 2635: 96-123. DOI: 10.1007/978-3-540-39993-3_7  0.614
2002 Goguen J, Malcolm G, Kemp T. A hidden Herbrand theorem: Combining the object and logic paradigms Journal of Logic and Algebraic Programming. 51: 1-41. DOI: 10.1016/S1567-8326(01)00011-X  0.372
2001 Goguen JA, Lin K. Web-Based Support for Cooperative Software Engineering Annals of Software Engineering. 12: 167-191. DOI: 10.1023/A:1013323127548  0.535
2000 Goguen J. Hidden algebra and concurrent distributed software Acm Sigsoft Software Engineering Notes. 25: 51-52. DOI: 10.1145/340855.340889  0.423
2000 Goguen J, Rosu G. A protocol for distributed cooperative work Electronic Notes in Theoretical Computer Science. 28: 3. DOI: 10.1016/S1571-0661(05)80625-5  0.599
2000 Goguen J, Malcolm G. A hidden agenda Theoretical Computer Science. 245: 55-101. DOI: 10.1016/S0304-3975(99)00275-3  0.38
1999 Goguen JA, Malcolm G. Hidden coinduction: behavioural correctness proofs for objects Mathematical Structures in Computer Science. 9: 287-319. DOI: 10.1017/S0960129599002777  0.385
1999 Goguen JA. Social and Semiotic Analyses for Theorem Prover User Interface Design 1 Formal Aspects of Computing. 11: 272-301. DOI: 10.1007/S001650050051  0.36
1998 Goguen JA, Malcolm G, Kemp T. A Hidden Herbrand Theorem Lecture Notes in Computer Science. 445-462. DOI: 10.1007/Bfb0056632  0.409
1996 Goguen JA, Nguyen D, Meseguer J, Luqi, Zhang D, Berzins V. Software component search Journal of Systems Integration. 6: 93-134. DOI: 10.1007/Bf02262753  0.363
1995 Goguen JA, Diaconescu R. An introduction to category-based equational logic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 936: 91-126. DOI: 10.1007/3-540-60043-4_48  0.301
1993 Meseguer J, Goguen JA. Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems Information and Computation. 103: 114-158. DOI: 10.1006/Inco.1993.1016  0.367
1992 Goguen JA, Burstall RM. Institutions: Abstract Model Theory for Specification and Programming Journal of the Acm (Jacm). 39: 95-146. DOI: 10.1145/147508.147524  0.434
1992 Goguen JA. Sheaf semantics for concurrent interacting objects Mathematical Structures in Computer Science. 2: 159-191. DOI: 10.1017/S0960129500001420  0.411
1992 Moss LS, Meseguer J, Goguen JA. Final algebras, cosemicomputable algebras and degrees of unsolvability Theoretical Computer Science. 100: 267-302. DOI: 10.1016/0304-3975(92)90305-Y  0.318
1992 Goguen JA, Meseguer J. Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations Theoretical Computer Science. 105: 217-273. DOI: 10.1016/0304-3975(92)90302-V  0.422
1991 Goguen JA. A categorical manifesto Mathematical Structures in Computer Science. 1: 49-67. DOI: 10.1017/S0960129500000050  0.356
1991 Tarlecki A, Burstall RM, Goguen JA. Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories Theoretical Computer Science. 91: 239-264. DOI: 10.1016/0304-3975(91)90085-G  0.358
1989 Meseguer J, Goguen JA, Smolka G. Order-sorted unification Journal of Symbolic Computation. 8: 383-413. DOI: 10.1016/S0747-7171(89)80036-7  0.341
1988 Goguen JA. Modular algebraic specification of some basic geometrical constructions Artificial Intelligence. 37: 123-153. DOI: 10.1016/0004-3702(88)90052-5  0.409
1986 Goguen JA. Extensions and foundations of object-oriented programming Acm Sigplan Notices. 21: 153-162. DOI: 10.1145/323648.323755  0.39
1984 Goguen JA. Parameterized Programming Ieee Transactions On Software Engineering. 528-543. DOI: 10.1109/Tse.1984.5010277  0.37
1984 Goguen JA, Meseguer J. Equality, types, modules, and (why not?) generics for logic programming The Journal of Logic Programming. 1: 179-210. DOI: 10.1016/0743-1066(84)90004-9  0.403
1984 Goguen JA, Burstall RM. Some fundamental algebraic tools for the semantics of computation. Part 1: Comma Categories, Colimits, Signatures and Theories Theoretical Computer Science. 31: 175-209. DOI: 10.1016/0304-3975(84)90134-8  0.352
1983 Goguen JA, Weiner JL, Linde C. Reasoning and natural explanation International Journal of Man-Machine Studies. 19: 521-559. DOI: 10.1016/S0020-7373(83)80070-4  0.325
1983 Goguen JA, Meseguer J. Correctness of recursive parallel nondeterministic flow programs Journal of Computer and System Sciences. 27: 268-290. DOI: 10.1016/0022-0000(83)90043-0  0.35
1982 Goguen J, Meseguer J. Rapid prototyping: in the OBJ executable specification language Acm Sigsoft Software Engineering Notes. 7: 75-84. DOI: 10.1145/1006258.1006273  0.304
1981 Goguen JA, Meseguer J. Completeness of many-sorted equational logic Acm Sigplan Notices. 16: 24-32. DOI: 10.1145/947864.947865  0.354
1979 Goguen JA, Varela FJ. Systems and Distinctions; Duality and Complement Arity International Journal of General Systems. 5: 31-43. DOI: 10.1007/978-1-4899-0718-9_20  0.319
1977 Goguen JA, Thatcher JW, Wagner EG, Wright JB. Initial Algebra Semantics and Continuous Algebras Journal of the Acm (Jacm). 24: 68-95. DOI: 10.1145/321992.321997  0.422
1977 Goguen JA. Complexity of hierarchically organized systems and the structure of musical experiences International Journal of General Systems. 3: 233-251. DOI: 10.1080/03081077708934769  0.329
1976 Goguen JA, Thatcher JW, Wagner EG, Wright JB. Parallel realization of systems, using factorizations and quotients in categories Journal of the Franklin Institute. 301: 541-558. DOI: 10.1016/0016-0032(76)90077-6  0.339
1975 Goguen JA. Discrete-time machines in closed monoidal categories. I Journal of Computer and System Sciences. 10: 1-43. DOI: 10.1016/S0022-0000(75)80012-2  0.366
1974 Goguen JA. Concept representation in natural and artificial languages: Axioms, extensions and applications for fuzzy sets International Journal of Human-Computer Studies \/ International Journal of Man-Machine Studies. 6: 513-561. DOI: 10.1016/S0020-7373(74)80017-9  0.393
1973 Goguen JA. The fuzzy tychonoff theorem Journal of Mathematical Analysis and Applications. 43: 734-742. DOI: 10.1016/0022-247X(73)90288-6  0.306
1972 Goguen JA. Realization is universal Mathematical Systems Theory. 6: 359-374. DOI: 10.1007/Bf01843493  0.339
1969 Goguen JA. The logic of inexact concepts Synthese. 19: 325-373. DOI: 10.1007/Bf00485654  0.33
Show low-probability matches.