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 |
|
Low-probability matches (unlikely to be authored by this person) |
2005 |
Goguen JA. Data, schema, ontology and logic integration Logic Journal of the Igpl. 13: 685-715. DOI: 10.1093/Jigpal/Jzi050 |
0.293 |
|
1978 |
Linde C, Goguen JA. Structure of planning discourse Journal of Social and Biological Systems. 1: 219-251. DOI: 10.1016/0140-1750(78)90024-6 |
0.286 |
|
1981 |
Goguen JA. More thoughts on specification and verification Acm Sigsoft Software Engineering Notes. 6: 38-41. DOI: 10.1145/1010832.1010845 |
0.285 |
|
1996 |
Pinheiro FAC, Goguen JA. An object-oriented tool for tracing requirements Ieee Software. 13: 52-64. DOI: 10.1109/52.506462 |
0.284 |
|
1997 |
Luqi, Goguen JA. Formal methods: Promises and problems Ieee Software. 14: 73-85. DOI: 10.1109/52.566430 |
0.282 |
|
1984 |
Goguen JA, Burstall RM. Some fundamental algebraic tools for the semantics of computation. Part 2: Signed and abstract theories Theoretical Computer Science. 31: 263-295. DOI: 10.1016/0304-3975(84)90036-7 |
0.279 |
|
1994 |
Goguen JA, Diaconescu R. An Oxford survey of order sorted algebra Mathematical Structures in Computer Science. 4: 363-392. DOI: 10.1017/S0960129500000517 |
0.277 |
|
1993 |
Goguen JA, Linde C. Techniques for requirements elicitation Requirements Engineering. 152-164. DOI: 10.1109/Isre.1993.324822 |
0.274 |
|
1975 |
Goguen JA, Thatcher JW, Wagner EG, Wright JB. ABSTRACT DATA TYPES AS INITIAL ALGEBRAS & THE CORRECTNESS OF DATA REPRESENTATIONS . 89-93. |
0.267 |
|
1969 |
Goguen JA. Categories of V-Sets Bulletin of the American Mathematical Society. 75: 622-624. DOI: 10.1090/S0002-9904-1969-12267-6 |
0.262 |
|
1967 |
Goguen JA. L-fuzzy sets Journal of Mathematical Analysis and Applications. 18: 145-174. DOI: 10.1016/0022-247X(67)90189-8 |
0.258 |
|
1987 |
Goguen JA, Meseguer J. Remarks on Remarks on Many-Sorted Equational Logic Acm Sigplan Notices. 22: 41-48. DOI: 10.1145/24714.24719 |
0.246 |
|
1978 |
Varela FJ, Goguen J. The arithmetic of closure Journal of Cybernetics. 8: 291-324. DOI: 10.1080/01969727808927587 |
0.244 |
|
2005 |
Goguen JA, Fox Harrell D. 7 Information visualisation and semiotic morphisms Studies in Multidisciplinarity. 2: 83-97. DOI: 10.1016/S1571-0831(04)80035-2 |
0.243 |
|
1993 |
Goguen JA. Social issues in requirements engineering Requirements Engineering. 194-195. DOI: 10.1109/Isre.1993.324858 |
0.239 |
|
1972 |
Goguen JA. Minimal realization of machines in closed categories Bulletin of the American Mathematical Society. 78: 777-783. DOI: 10.1090/S0002-9904-1972-13032-5 |
0.235 |
|
1974 |
Goguen JA. Objects International Journal of General Systems. 1: 237-243. DOI: 10.1080/03081077408960783 |
0.214 |
|
1995 |
Goguen JA, Luqi. Formal methods and social context in software development Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 915: 62-81. DOI: 10.1007/3-540-59293-8_187 |
0.209 |
|
1985 |
Goguen JA. Fuzzy Sets and Systems: Theory and Applications (Didier Dubois and Henri Prade) Siam Review. 27: 270-274. DOI: 10.1137/1027081 |
0.208 |
|
2010 |
Goguen JA, Harrell DF. Style: A computational and conceptual blending-based approach The Structure of Style: Algorithmic Approaches to Understanding Manner and Meaning. 291-316. DOI: 10.1007/978-3-642-12337-5_12 |
0.195 |
|
1979 |
Goguen JA. C. V. Negoiţӑ and D. A. Ralescu. Applications of fuzzy sets to systems analysis. Revised English translation of Mulţimi vagi şi aplicaţiile lor. A Halsted Press Book, John Wiley & Sons, New York and Toronto1975, 191 pp. Journal of Symbolic Logic. 44: 284-286. DOI: 10.2307/2273744 |
0.195 |
|
2012 |
Goguen JA, Meseguer J. Unwinding and Inference Control Proceedings - Ieee Symposium On Security and Privacy. 2012: 75-86. DOI: 10.1109/SP.1984.10019 |
0.188 |
|
2004 |
Goguen JA, Harrell DF. Style as a choice of blending principles Aaai Fall Symposium - Technical Report. 49-56. |
0.187 |
|
2000 |
Goguen J, Lin K, Roşu G. Behavioral and Coinductive Rewriting (invited talk)1 1The research reported in this paper has been supported in part by National Science Foundation grant CCR-9901002, and by the CafeOBJ project of the Information Promotion Agency (IPA), Japan, as part of its Advanced Software Technology Program.Note: all papers by the authors can be found on their websites, which respectively have the URLs http://www.ucsd.edu/users/{goguen, klin, grosu}. More information on the BOBJ system can be found at http://www.ucsd.edu/groups/tatami/bobj/.Note: all papers by the authors can be found on their websites, which respectively have the URLs www.ucsd.edu/users/{goguen, klin, grosu}. More information on the BOBJ system can be found at www.ucsd.edu/groups/tatami/bobj/. Electronic Notes in Theoretical Computer Science. 36: 2-23. DOI: 10.1016/S1571-0661(05)80128-8 |
0.177 |
|
2003 |
Goguen JA, Lin K, Roşu G. Conditional circular coinductive rewriting with case analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2755: 216-232. |
0.169 |
|
2012 |
Goguen JA, Meseguer J. Security Policies and Security Models Proceedings - Ieee Symposium On Security and Privacy. 2012: 11-20. DOI: 10.1109/SP.1982.10014 |
0.166 |
|
1983 |
Goguen JA, Linde C. LINGUISTIC METHODOLOGY FOR THE ANALYSIS OF AVIATION ACCIDENTS Nasa Contractor Reports. |
0.165 |
|
2003 |
Goguen JA, Goguen RA. Zero, connected, empty: An essay after a cantata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2755: 127-128. |
0.164 |
|
1973 |
Goguen JA. L. A. Zadeh. Fuzzy sets. Information and control, vol. 8 (1965), pp. 338–353. -
L. A. Zadeh. Similarity relations and fuzzy orderings. Information sciences, vol. 3 (1971), pp. 177–200. Journal of Symbolic Logic. 38: 656-657. DOI: 10.2307/2272014 |
0.161 |
|
1979 |
Goguen JA, Shaket ES. Fuzzy sets at U.C.L.A Kybernetes. 8: 65-66. DOI: 10.1108/eb005507 |
0.153 |
|
1987 |
Goguen JA, Meseguer J. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (H. Ehrig and B. Mahr) Siam Review. 29: 318-322. DOI: 10.1137/1029061 |
0.149 |
|
1986 |
Goguen JA, Meseguer J. Foundations and extensions of object-oriented programming (abstract only) Acm Sigplan Notices. 21: 185. DOI: 10.1145/323648.323763 |
0.148 |
|
2004 |
Goguen JA. Musical qualia, context, time and emotion Journal of Consciousness Studies. 11: 117-147. |
0.148 |
|
1983 |
Goguen JA. FUTURE DIRECTIONS FOR SOFTWARE ENGINEERING . 243-244. |
0.137 |
|
1986 |
Goguen JA. Reusing and Interconnecting Software Components Computer. 19: 16-28. DOI: 10.1109/MC.1986.1663146 |
0.125 |
|
1975 |
Goguen JA, Carlson LA. Axioms for Discrimination Information Ieee Transactions On Information Theory. 21: 572-574. DOI: 10.1109/TIT.1975.1055434 |
0.117 |
|
2008 |
Futatsugi K, Goguen JA, Ogata K. Verifying design with proof scores Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4171: 277-290. DOI: 10.1007/978-3-540-69149-5_30 |
0.085 |
|
1974 |
Goguen JA. On homomorphisms, correctness, termination, unfoldments, equivalence of flow diagram programs Journal of Computer and System Sciences. 8: 333-365. DOI: 10.1016/S0022-0000(74)80028-0 |
0.084 |
|
1964 |
GOGUEN JA. COLOR PERCEPTION USING A SINGLE CONE TYPE WITH DISTURBED MAXIMUM SENSITIVITY. The Bulletin of Mathematical Biophysics. 26: 121-38. PMID 14186878 DOI: 10.1007/BF02476833 |
0.043 |
|
2004 |
Goguen JA, Myin E. Journal of Consciousness Studies: Editorial introduction Journal of Consciousness Studies. 11: 5-8+2. |
0.041 |
|
1974 |
Chang J, Flannery WD, Chu YC, Kwok SK, Wong P, Goguen JA, Burkhard WA, Nunamaker JF, Nylin WC, Konsynski B, Ramchandani CB, Lew A, Jain N. HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 6TH, PROCEEDINGS, 1973. . |
0.031 |
|
2002 |
Goguen J, Roşu G. Institution Morphisms Formal Aspects of Computing. 13: 274-307. DOI: 10.1007/s001650200013 |
0.024 |
|
Hide low-probability matches. |