Edit Profile (opens in new tab) Goguen, Joseph Amadee Co-Author Distance Author ID: goguen.joseph-amadee Published as: Goguen, Joseph A.; Goguen, J. A.; Goguen, Joseph; Goguen, Joseph A. jun.; Goguen, J. A. jun.; Goguen, J. more...less Documents Indexed: 91 Publications since 1967, including 3 Books 1 Further Contribution Biographic References: 4 Publications Co-Authors: 29 Co-Authors with 60 Joint Publications 525 Co-Co-Authors all top 5 Co-Authors 32 single-authored 18 Meseguer Guaita, José 10 Burstall, Rod M. 8 Roşu, Grigore 6 Diaconescu, Răzvan 5 Malcolm, Grant 4 Lin, Kai 4 Thatcher, James W. 4 Wagner, Eric G. 4 Wright, Jesse B. 3 Tarlecki, Andrzej 2 Kemp, Tom 2 Kirchner, Claude 2 Moss, Lawrence S. 2 Mossakowski, Till 2 Varela, Francisco J. 1 Aida, Hitoshi 1 Aloneftis, S. N. 1 Boyer, Robert S. 1 Carlson, Lee A. 1 Dijkstra, Edsger Wybe 1 Eker, S. M. 1 Ginali, Susanna 1 Jouannaud, Jean-Pierre 1 Kirchner, Hélène 1 Manna, Zohar 1 Mégrelis, Aristide 1 Moore, J Strother 1 Nam, Young-Kwang 1 Parsaye-Ghomi, Kamran 1 Pnueli, Amir 1 Smolka, Gert 1 Stavridou, Victoria 1 Wang, Guilian 1 Winkler, Timothy all top 5 Serials 6 Theoretical Computer Science 4 MSCS. Mathematical Structures in Computer Science 3 Journal of Computer and System Sciences 3 Bulletin of the European Association for Theoretical Computer Science (EATCS) 2 International Journal of General Systems 2 Journal of Mathematical Analysis and Applications 2 Journal of the Association for Computing Machinery 2 Bulletin of the American Mathematical Society 1 Artificial Intelligence 1 Houston Journal of Mathematics 1 IEEE Transactions on Information Theory 1 International Journal of Man-Machine Studies 1 Journal of the Franklin Institute 1 Mathematical Systems Theory 1 Synthese 1 The Journal of Logic Programming 1 Journal of Symbolic Computation 1 Information and Computation 1 Formal Aspects of Computing 1 IEEE Transactions on Software Engineering 1 Logic Journal of the IGPL 1 Annals of Software Engineering 1 Journal of Universal Computer Science 1 The Journal of Logic and Algebraic Programming all top 5 Fields 77 Computer science (68-XX) 25 Mathematical logic and foundations (03-XX) 22 Category theory; homological algebra (18-XX) 14 General algebraic systems (08-XX) 9 Systems theory; control (93-XX) 4 Information and communication theory, circuits (94-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 History and biography (01-XX) 1 Geometry (51-XX) 1 General topology (54-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 85 Publications have been cited 3,048 times in 2,093 Documents Cited by ▼ Year ▼ L-fuzzy sets. Zbl 0145.24404 Goguen, J. A. 903 1967 Institutions: Abstract model theory for specification and programming. Zbl 0799.68134 Goguen, Joseph A.; Burstall, Rod M. 230 1992 The logic of inexact concepts. Zbl 0184.00903 Goguen, J. A. 218 1969 Initial algebra semantics and continuous algebras. Zbl 0359.68018 Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 217 1977 The fuzzy Tychonoff theorem. Zbl 0278.54003 Goguen, J. A. 129 1973 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056 Goguen, Joseph A.; Meseguer, José 116 1992 The semantics of Clear, a specification language. Zbl 0456.68024 Burstall, R. M.; Goguen, J. A. 89 1980 Initiality, induction, and computability. Zbl 0571.68004 Meseguer, José; Goguen, Joseph A. 56 1985 Institution morphisms. Zbl 1001.68019 Goguen, Joseph; Roşu, Grigore 51 2002 Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014 Goguen, J.; Meseguer, J. 50 1982 Introducing institutions. Zbl 0543.68021 Goguen, J. A.; Burstall, R. M. 50 1984 Concept representation in natural and artificial languages: axioms, extensions and applications for fuzzy sets. Zbl 0321.68055 Goguen, Joseph A. jun. 50 1974 Completeness of many-sorted equational logic. Zbl 0498.03018 Goguen, J. A.; Meseguer, J. 41 1982 A hidden agenda. Zbl 0946.68070 Goguen, Joseph A.; Malcolm, Grant 39 2000 Completeness of many-sorted equational logic. Zbl 0602.08004 Goguen, J. A.; Meseguer, J. 38 1985 How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043 Goguen, J. A. 35 1980 Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091 Goguen, Joseph A.; Meseguer, José 31 1984 Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004 Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A. 31 1991 Minimal realization of machines in closed categories. Zbl 0277.18003 Goguen, J. A. 30 1972 A categorical manifesto. Zbl 0747.18001 Goguen, Joseph A. 27 1991 Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144 Meseguer, José; Goguen, Joseph A. 26 1993 Introducing institutions. Zbl 1288.03001 Goguen, J. A.; Burstall, R. M. 26 2012 Realization is universal. Zbl 0248.18015 Goguen, J. A. 24 1973 Models and equality for logical programming. Zbl 0626.68032 Goguen, Joseph A.; Meseguer, José 23 1987 Towards an algebraic semantics for the object paradigm. Zbl 0941.68637 Goguen, Joseph A.; Diaconescu, Răzvan 23 1994 Order-sorted unification. Zbl 0691.03002 Meseguer, José; Goguen, Joseph A.; Smolka, Gert 22 1989 An Oxford survey of order sorted algebra. Zbl 0939.68710 Goguen, Joseph; Diaconescu, Răzvan 22 1994 Categories of V-sets. Zbl 0177.02401 Goguen, J. A. 21 1969 Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009 Burstall, R. M.; Goguen, J. A. 20 1982 Some fundamentals of order-algebraic semantics. Zbl 0361.68041 Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W. 20 1976 Algebraic semantics of imperative programs. Zbl 0887.68066 Goguen, Joseph A.; Malcolm, Grant 20 1996 Operational semantics for order-sorted algebra. Zbl 0591.68041 Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José 19 1985 An introduction to OBJ 3. Zbl 0666.68010 Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide 17 1988 Composing hidden information modules over inclusive institutions. Zbl 1278.68203 Goguen, Joseph; Rosu, Grigore 17 2004 A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002 Goguen, Joseph A.; Burstall, R. M. 17 1986 Types as theories. Zbl 0792.68100 Goguen, Joseph A. 17 1991 Abstract errors for abstract data types. Zbl 0373.68024 Goguen, Joseph A. 17 1978 Parameterized programming. Zbl 0545.68017 Goguen, Joseph A. 16 1984 Hiding more of hidden algebra. Zbl 0953.68094 Goguen, Joseph; Roşu, Grigore 15 1999 Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories. Zbl 0566.68065 Goguen, J. A.; Burstall, R. M. 12 1984 Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067 Goguen, Joseph A.; Malcolm, Grant 12 1999 On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. Zbl 0285.68010 Goguen, J. A. jun. 12 1974 Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005 Goguen, Joseph A. 12 1992 What is a logic? Zbl 1080.03028 Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 11 2005 Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005 Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 11 1975 Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002 Goguen, J. A. 10 1975 Parallel realization of systems, using factorizations and quotients in categories. Zbl 0333.93002 Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 10 1976 Concurrent term rewriting as a model of computation. Zbl 0639.68027 Goguen, Joseph; Kirchner, Claude; Meseguer, José 9 1987 Hidden congruent deduction. Zbl 0964.68083 Roşu, Grigore; Goguen, Joseph 9 2000 Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories. Zbl 0566.68066 Goguen, J. A.; Burstall, R. M. 9 1984 Semantics of computation. Zbl 0306.68028 Goguen, J. A. 9 1975 Behavioral and coinductive rewriting. Zbl 0962.68078 Goguen, Joseph; Lin, Kai; Rosu, Grigore 8 2000 Correctness of recursive parallel nondeterministic flow programs. Zbl 0532.68019 Goguen, J. A.; Meseguer, J. 6 1983 Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121 Goguen, Joseph A.; Lin, Kai; Roşu, Grigore 6 2003 Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014 Goguen, Joseph A.; Parsaye-Ghomi, Kamran 6 1981 The correctness problem in computer science. Zbl 0476.68009 6 1981 Objects. Zbl 0336.18001 Goguen, Joseph A. 5 1974 A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041 Goguen, Joseph; Malcolm, Grant; Kemp, Tom 5 2002 What is a concept? Zbl 1132.68059 Goguen, Joseph 5 2005 Correctness of recursive flow diagram programs. Zbl 0354.68028 Goguen, J. A.; Meseguer, J. 5 1977 Remarks on remarks on many-sorted equational logic. Zbl 1023.68630 Goguen, Joseph A.; Meseguer, José 5 1986 What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356 Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 5 2007 On equational Craig interpolation. Zbl 0962.03026 Rosu, Grigore; Goguen, Joseph 4 2000 Data, schema, ontology and logic integration. Zbl 1094.68018 Goguen, Joseph A. 4 2005 Correctness and equivalence of data types. Zbl 0387.68013 Goguen, J. A. 4 1976 Proving and rewriting. Zbl 1496.03045 Goguen, Joseph A. 4 1990 Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021 Goguen, Joseph A. 3 1988 A hidden Herbrand theorem. Zbl 0926.03034 Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom 3 1998 On fuzzy robot planning. Zbl 0341.68062 Goguen, J. A. 3 1975 One, none, a hundred thousand specification languages. Zbl 0606.68010 Goguen, Joseph A. 3 1986 Memories of ADJ. Zbl 0709.68027 Goguen, Joseph A. 3 1989 Final algebras, cosemicomputable algebras and degrees of unsolvability. Zbl 0768.68093 Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A. 3 1992 Systems and distinctions; duality and complementarity. Zbl 0403.93003 Goguen, Joseph A.; Varela, Francisco J. 3 1979 Specifying, programming and verifying with equational logic. Zbl 1221.68155 Goguen, Joseph; Lin, Kai 2 2005 System theory concepts in computer science. Zbl 0362.68029 Goguen, J. A. 2 1973 A categorical approach to general systems. Zbl 0409.93002 Ginali, Susanna; Goguen, Joseph 2 1978 Compiling concurrent rewriting onto the rewrite rule machine. Zbl 1507.68138 Aida, Hitoshi; Goguen, Joseph; Meseguer, José 2 1991 Final algebras, cosemicomputable algebras, and degrees of unsolvability. Zbl 0639.68026 Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A. 1 1987 Hidden algebra for software engineering. Zbl 0960.68038 Goguen, Joseph A. 1 1999 Web-based support for cooperative software engineering. Zbl 0985.68586 Goguen, Joseph A.; Lin, Kai 1 2001 Axioms for discrimination information. Zbl 0315.94020 Goguen, J. A.; Carlson, L. A. 1 1975 FUNNEL: A CHDL with formal semantics. Zbl 0794.68020 Stavridou, V.; Goguen, J. A.; Eker, S. M.; Aloneftis, S. N. 1 1992 Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs. Zbl 0456.68011 Goguen, Joseph A. 1 1979 A short Oxford survey of order sorted algebra. Zbl 1023.08500 Goguen, Joseph; Diaconescu, Răzvan 1 1992 An introduction to category-based equational logic. Zbl 1496.03130 Goguen, Joseph A.; Diaconescu, Răzvan 1 1995 Introducing institutions. Zbl 1288.03001 Goguen, J. A.; Burstall, R. M. 26 2012 What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356 Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 5 2007 What is a logic? Zbl 1080.03028 Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 11 2005 What is a concept? Zbl 1132.68059 Goguen, Joseph 5 2005 Data, schema, ontology and logic integration. Zbl 1094.68018 Goguen, Joseph A. 4 2005 Specifying, programming and verifying with equational logic. Zbl 1221.68155 Goguen, Joseph; Lin, Kai 2 2005 Composing hidden information modules over inclusive institutions. Zbl 1278.68203 Goguen, Joseph; Rosu, Grigore 17 2004 Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121 Goguen, Joseph A.; Lin, Kai; Roşu, Grigore 6 2003 Institution morphisms. Zbl 1001.68019 Goguen, Joseph; Roşu, Grigore 51 2002 A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041 Goguen, Joseph; Malcolm, Grant; Kemp, Tom 5 2002 Web-based support for cooperative software engineering. Zbl 0985.68586 Goguen, Joseph A.; Lin, Kai 1 2001 A hidden agenda. Zbl 0946.68070 Goguen, Joseph A.; Malcolm, Grant 39 2000 Hidden congruent deduction. Zbl 0964.68083 Roşu, Grigore; Goguen, Joseph 9 2000 Behavioral and coinductive rewriting. Zbl 0962.68078 Goguen, Joseph; Lin, Kai; Rosu, Grigore 8 2000 On equational Craig interpolation. Zbl 0962.03026 Rosu, Grigore; Goguen, Joseph 4 2000 Hiding more of hidden algebra. Zbl 0953.68094 Goguen, Joseph; Roşu, Grigore 15 1999 Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067 Goguen, Joseph A.; Malcolm, Grant 12 1999 Hidden algebra for software engineering. Zbl 0960.68038 Goguen, Joseph A. 1 1999 A hidden Herbrand theorem. Zbl 0926.03034 Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom 3 1998 Algebraic semantics of imperative programs. Zbl 0887.68066 Goguen, Joseph A.; Malcolm, Grant 20 1996 An introduction to category-based equational logic. Zbl 1496.03130 Goguen, Joseph A.; Diaconescu, Răzvan 1 1995 Towards an algebraic semantics for the object paradigm. Zbl 0941.68637 Goguen, Joseph A.; Diaconescu, Răzvan 23 1994 An Oxford survey of order sorted algebra. Zbl 0939.68710 Goguen, Joseph; Diaconescu, Răzvan 22 1994 Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144 Meseguer, José; Goguen, Joseph A. 26 1993 Institutions: Abstract model theory for specification and programming. Zbl 0799.68134 Goguen, Joseph A.; Burstall, Rod M. 230 1992 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056 Goguen, Joseph A.; Meseguer, José 116 1992 Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005 Goguen, Joseph A. 12 1992 Final algebras, cosemicomputable algebras and degrees of unsolvability. Zbl 0768.68093 Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A. 3 1992 FUNNEL: A CHDL with formal semantics. Zbl 0794.68020 Stavridou, V.; Goguen, J. A.; Eker, S. M.; Aloneftis, S. N. 1 1992 A short Oxford survey of order sorted algebra. Zbl 1023.08500 Goguen, Joseph; Diaconescu, Răzvan 1 1992 Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004 Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A. 31 1991 A categorical manifesto. Zbl 0747.18001 Goguen, Joseph A. 27 1991 Types as theories. Zbl 0792.68100 Goguen, Joseph A. 17 1991 Compiling concurrent rewriting onto the rewrite rule machine. Zbl 1507.68138 Aida, Hitoshi; Goguen, Joseph; Meseguer, José 2 1991 Proving and rewriting. Zbl 1496.03045 Goguen, Joseph A. 4 1990 Order-sorted unification. Zbl 0691.03002 Meseguer, José; Goguen, Joseph A.; Smolka, Gert 22 1989 Memories of ADJ. Zbl 0709.68027 Goguen, Joseph A. 3 1989 An introduction to OBJ 3. Zbl 0666.68010 Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide 17 1988 Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021 Goguen, Joseph A. 3 1988 Models and equality for logical programming. Zbl 0626.68032 Goguen, Joseph A.; Meseguer, José 23 1987 Concurrent term rewriting as a model of computation. Zbl 0639.68027 Goguen, Joseph; Kirchner, Claude; Meseguer, José 9 1987 Final algebras, cosemicomputable algebras, and degrees of unsolvability. Zbl 0639.68026 Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A. 1 1987 A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002 Goguen, Joseph A.; Burstall, R. M. 17 1986 Remarks on remarks on many-sorted equational logic. Zbl 1023.68630 Goguen, Joseph A.; Meseguer, José 5 1986 One, none, a hundred thousand specification languages. Zbl 0606.68010 Goguen, Joseph A. 3 1986 Initiality, induction, and computability. Zbl 0571.68004 Meseguer, José; Goguen, Joseph A. 56 1985 Completeness of many-sorted equational logic. Zbl 0602.08004 Goguen, J. A.; Meseguer, J. 38 1985 Operational semantics for order-sorted algebra. Zbl 0591.68041 Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José 19 1985 Introducing institutions. Zbl 0543.68021 Goguen, J. A.; Burstall, R. M. 50 1984 Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091 Goguen, Joseph A.; Meseguer, José 31 1984 Parameterized programming. Zbl 0545.68017 Goguen, Joseph A. 16 1984 Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories. Zbl 0566.68065 Goguen, J. A.; Burstall, R. M. 12 1984 Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories. Zbl 0566.68066 Goguen, J. A.; Burstall, R. M. 9 1984 Correctness of recursive parallel nondeterministic flow programs. Zbl 0532.68019 Goguen, J. A.; Meseguer, J. 6 1983 Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014 Goguen, J.; Meseguer, J. 50 1982 Completeness of many-sorted equational logic. Zbl 0498.03018 Goguen, J. A.; Meseguer, J. 41 1982 Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009 Burstall, R. M.; Goguen, J. A. 20 1982 Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014 Goguen, Joseph A.; Parsaye-Ghomi, Kamran 6 1981 The correctness problem in computer science. Zbl 0476.68009 6 1981 The semantics of Clear, a specification language. Zbl 0456.68024 Burstall, R. M.; Goguen, J. A. 89 1980 How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043 Goguen, J. A. 35 1980 Systems and distinctions; duality and complementarity. Zbl 0403.93003 Goguen, Joseph A.; Varela, Francisco J. 3 1979 Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs. Zbl 0456.68011 Goguen, Joseph A. 1 1979 Abstract errors for abstract data types. Zbl 0373.68024 Goguen, Joseph A. 17 1978 A categorical approach to general systems. Zbl 0409.93002 Ginali, Susanna; Goguen, Joseph 2 1978 Initial algebra semantics and continuous algebras. Zbl 0359.68018 Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 217 1977 Correctness of recursive flow diagram programs. Zbl 0354.68028 Goguen, J. A.; Meseguer, J. 5 1977 Some fundamentals of order-algebraic semantics. Zbl 0361.68041 Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W. 20 1976 Parallel realization of systems, using factorizations and quotients in categories. Zbl 0333.93002 Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 10 1976 Correctness and equivalence of data types. Zbl 0387.68013 Goguen, J. A. 4 1976 Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005 Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 11 1975 Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002 Goguen, J. A. 10 1975 Semantics of computation. Zbl 0306.68028 Goguen, J. A. 9 1975 On fuzzy robot planning. Zbl 0341.68062 Goguen, J. A. 3 1975 Axioms for discrimination information. Zbl 0315.94020 Goguen, J. A.; Carlson, L. A. 1 1975 Concept representation in natural and artificial languages: axioms, extensions and applications for fuzzy sets. Zbl 0321.68055 Goguen, Joseph A. jun. 50 1974 On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. Zbl 0285.68010 Goguen, J. A. jun. 12 1974 Objects. Zbl 0336.18001 Goguen, Joseph A. 5 1974 The fuzzy Tychonoff theorem. Zbl 0278.54003 Goguen, J. A. 129 1973 Realization is universal. Zbl 0248.18015 Goguen, J. A. 24 1973 System theory concepts in computer science. Zbl 0362.68029 Goguen, J. A. 2 1973 Minimal realization of machines in closed categories. Zbl 0277.18003 Goguen, J. A. 30 1972 The logic of inexact concepts. Zbl 0184.00903 Goguen, J. A. 218 1969 Categories of V-sets. Zbl 0177.02401 Goguen, J. A. 21 1969 L-fuzzy sets. Zbl 0145.24404 Goguen, J. A. 903 1967 all cited Publications top 5 cited Publications all top 5 Cited by 1,961 Authors 60 Meseguer Guaita, José 36 Diaconescu, Răzvan 30 Bělohlávek, Radim 24 Goguen, Joseph Amadee 24 Kerre, Etienne E. 24 Tepavčević, Andreja 24 Vychodil, Vilém 23 Deschrijver, Glad 23 Hennicker, Rolf 23 Mossakowski, Till 23 Tarlecki, Andrzej 22 Šešelja, Branimir 21 Solovyov, Sergey A. 20 Höhle, Ulrich 18 Gerla, Giangiacomo 18 Roşu, Grigore 18 Sannella, Donald T. 18 Šostak, Alexander P. 17 Ehrig, Hartmut 16 Bustince Sola, Humberto 16 Ésik, Zoltán 15 Prade, Henri M. 14 Courcelle, Bruno 14 Dubois, Didier 14 Fang, Jinming 14 Lucas, Salvador 13 Hu, Baoqing 13 Mesiar, Radko 13 Orejas, Fernando 13 Rabe, Florian 13 Rodabaugh, Stephen Ernest 13 Tiwari, S. P. 12 Bayoumi, Fatma 12 Corradini, Andrea 12 Durán, Francisco 12 Escobar, Santiago 12 Voutsadakis, George 12 Wirsing, Martin 11 Gottwald, Siegfried 11 Kramosil, Ivan 11 Lucanu, Dorel 11 Shi, Fu-Gui 11 Zahedi, Mohammad Mehdi 10 Aiguier, Marc 10 Bidoit, Michel 10 Futatsugi, Kokichi 10 Madeira, Alexandre 10 Martí-Oliet, Narciso 10 Martins, Manuel António 10 Pedrycz, Witold 10 Zadeh, Lotfi Asker 9 Bedregal, Benjamín René Callejas 9 Bloom, Stephen L. 9 De Baets, Bernard 9 Di Nola, Antonio 9 Eklund, Patrik E. 9 Gaĭnă, Daniel 9 Gallier, Jean H. 9 Kirchner, Hélène 9 Novák, Vilém 9 Ogata, Kazuhiro 9 Ojeda-Aciego, Manuel 9 Saadati, Reza 9 Vogler, Heiko 9 Xu, Yang 9 Yao, Wei 8 Bloch, Isabelle 8 Codescu, Mihai 8 Drewniak, Józef 8 Knapp, Alexander 8 Manes, Ernest G. 8 Wagner, Eric G. 8 Zhao, Bin 7 Alpuente, María 7 Arbib, Michael A. 7 Clavel, Manuel 7 Eker, Steven 7 Gadducci, Fabio 7 Gähler, Werner 7 Galán, M. Ángeles 7 Gil, María Angeles 7 Guido, Cosimo 7 Kortelainen, Jari 7 Kubiak, Tomasz 7 Lowen, Robert 7 Maibaum, Thomas Stephen Edward 7 Parisi-Presicce, Francesco 7 Ramadan, Ahmed Abd El-Kader 7 Sayed, Osama Rashed 7 Stout, Lawrence Neff 7 Sussner, Peter 7 Trillas, Enric 7 Wang, Chunyong 6 Barrenechea, Edurne 6 Bergstra, Jan A. 6 Brown, Lawrence Michael 6 Cornelis, Chris 6 Demirci, Mustafa 6 Gil, Pedro A. 6 Katsaras, Athanasios K. ...and 1,861 more Authors all top 5 Cited in 198 Serials 448 Fuzzy Sets and Systems 213 Theoretical Computer Science 103 Information Sciences 62 Journal of Mathematical Analysis and Applications 47 Journal of Computer and System Sciences 41 International Journal of Approximate Reasoning 37 International Journal of General Systems 34 Soft Computing 30 Information and Computation 28 Acta Informatica 25 MSCS. Mathematical Structures in Computer Science 25 Journal of Logical and Algebraic Methods in Programming 23 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 23 Journal of Intelligent and Fuzzy Systems 21 Journal of Symbolic Computation 21 Iranian Journal of Fuzzy Systems 19 Studia Logica 19 Formal Aspects of Computing 18 Information Processing Letters 18 Filomat 17 Computers & Mathematics with Applications 14 Kybernetika 14 Annals of Mathematics and Artificial Intelligence 14 The Journal of Logic and Algebraic Programming 14 Logica Universalis 13 Synthese 12 Artificial Intelligence 12 Journal of Automated Reasoning 11 New Mathematics and Natural Computation 10 Cybernetics and Systems Analysis 9 Chaos, Solitons and Fractals 8 Journal of Pure and Applied Algebra 8 Quaestiones Mathematicae 8 Journal of the Egyptian Mathematical Society 7 Algebra Universalis 7 Mathematical Systems Theory 7 Archive for Mathematical Logic 7 Mathematical Logic Quarterly (MLQ) 7 Journal of Applied Mathematics and Computing 7 Korean Journal of Mathematics 6 International Journal of Mathematics and Mathematical Sciences 6 Kybernetes 6 Annals of Pure and Applied Logic 6 International Journal of Intelligent Systems 6 Journal of Functional Programming 5 Czechoslovak Mathematical Journal 5 The Journal of Symbolic Logic 5 RAIRO, Informatique Théorique 5 Journal of Computer Science and Technology 5 International Journal of Foundations of Computer Science 5 European Journal of Operational Research 5 International Journal of Computer Mathematics 5 Applied Categorical Structures 5 Journal of Inequalities and Applications 5 RAIRO. Theoretical Informatics and Applications 5 Fuzzy Optimization and Decision Making 5 Logical Methods in Computer Science 5 Advances in Fuzzy Systems 4 Applied Mathematics and Computation 4 Journal of Philosophical Logic 4 Manuscripta Mathematica 4 Mathematica Slovaca 4 Cybernetics and Systems 4 Journal of Applied Non-Classical Logics 4 Computational and Applied Mathematics 4 Diagrammes 4 Journal of Applied Logic 4 TWMS Journal of Pure and Applied Mathematics 4 Fuzzy Information and Engineering 4 Journal of Mathematics 3 International Journal of Theoretical Physics 3 Notre Dame Journal of Formal Logic 3 Theory and Decision 3 Topology and its Applications 3 Linear Algebra and its Applications 3 Russian Journal of Mathematical Physics 3 Journal of Discrete Mathematical Sciences & Cryptography 3 ACM Transactions on Computational Logic 3 Hacettepe Journal of Mathematics and Statistics 3 Thai Journal of Mathematics 3 Fixed Point Theory and Applications 3 Axioms 3 Sahand Communications in Mathematical Analysis 2 Bulletin of the Australian Mathematical Society 2 Aplikace Matematiky 2 Automatica 2 BIT 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Demonstratio Mathematica 2 International Journal of Computer & Information Sciences 2 Journal of Algebra 2 Rendiconti del Circolo Matemàtico di Palermo. Serie II 2 Trabajos de Estadistica y de Investigacion Operativa 2 Mathematical Social Sciences 2 International Journal of Production Research 2 Social Choice and Welfare 2 Order 2 RAIRO. Informatique Théorique et Applications 2 Formal Methods in System Design 2 Journal of Mathematical Sciences (New York) ...and 98 more Serials all top 5 Cited in 47 Fields 1,027 Computer science (68-XX) 897 Mathematical logic and foundations (03-XX) 291 General topology (54-XX) 257 Category theory; homological algebra (18-XX) 227 Order, lattices, ordered algebraic structures (06-XX) 114 General algebraic systems (08-XX) 105 Information and communication theory, circuits (94-XX) 51 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 44 Group theory and generalizations (20-XX) 40 Systems theory; control (93-XX) 29 Associative rings and algebras (16-XX) 24 Statistics (62-XX) 24 Operations research, mathematical programming (90-XX) 23 Measure and integration (28-XX) 21 Combinatorics (05-XX) 21 Functional analysis (46-XX) 19 Probability theory and stochastic processes (60-XX) 17 Linear and multilinear algebra; matrix theory (15-XX) 16 History and biography (01-XX) 13 Operator theory (47-XX) 12 Commutative algebra (13-XX) 11 Real functions (26-XX) 11 Biology and other natural sciences (92-XX) 9 Quantum theory (81-XX) 8 Topological groups, Lie groups (22-XX) 8 Ordinary differential equations (34-XX) 7 Difference and functional equations (39-XX) 6 General and overarching topics; collections (00-XX) 5 Numerical analysis (65-XX) 4 Sequences, series, summability (40-XX) 3 Number theory (11-XX) 3 Partial differential equations (35-XX) 3 Approximations and expansions (41-XX) 3 Integral equations (45-XX) 2 Convex and discrete geometry (52-XX) 2 Algebraic topology (55-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Field theory and polynomials (12-XX) 1 Nonassociative rings and algebras (17-XX) 1 Functions of a complex variable (30-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Geometry (51-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) 1 Geophysics (86-XX) 1 Mathematics education (97-XX) Citations by Year