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