Edit Profile (opens in new tab) Goguen, Joseph Amadee Compute Distance To: Compute 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. Documents Indexed: 88 Publications since 1967, including 3 Books 1 Further Contribution Biographic References: 4 Publications Co-Authors: 28 Co-Authors with 58 Joint Publications 503 Co-Co-Authors all top 5 Co-Authors 31 single-authored 17 Meseguer Guaita, José 10 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 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 74 Computer science (68-XX) 23 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,684 times in 1,866 Documents Cited by ▼ Year ▼ L-fuzzy sets. Zbl 0145.24404Goguen, J. A. 815 1967 Institutions: Abstract model theory for specification and programming. Zbl 0799.68134Goguen, Joseph A.; Burstall, Rod M. 202 1992 The logic of inexact concepts. Zbl 0184.00903Goguen, J. A. 195 1969 Initial algebra semantics and continuous algebras. Zbl 0359.68018Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 194 1977 The fuzzy Tychonoff theorem. Zbl 0278.54003Goguen, J. A. 123 1973 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 101 1992 The semantics of Clear, a specification language. Zbl 0456.68024Burstall, R. M.; Goguen, J. A. 62 1980 Initiality, induction, and computability. Zbl 0571.68004Meseguer, José; Goguen, Joseph A. 50 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 46 2002 Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014Goguen, J.; Meseguer, J. 41 1982 Introducing institutions. Zbl 0543.68021Goguen, J. A.; Burstall, R. M. 39 1984 Completeness of many-sorted equational logic. Zbl 0498.03018Goguen, J. A.; Meseguer, J. 38 1982 A hidden agenda. Zbl 0946.68070Goguen, Joseph A.; Malcolm, Grant 36 2000 Completeness of many-sorted equational logic. Zbl 0602.08004Goguen, J. A.; Meseguer, J. 34 1985 Minimal realization of machines in closed categories. Zbl 0277.18003Goguen, J. A. 29 1972 Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091Goguen, Joseph A.; Meseguer, José 26 1984 A categorical manifesto. Zbl 0747.18001Goguen, Joseph A. 26 1991 Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A. 25 1991 Introducing institutions. Zbl 1288.03001Goguen, J. A.; Burstall, R. M. 25 2012 How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043Goguen, J. A. 23 1980 Realization is universal. Zbl 0248.18015Goguen, J. A. 23 1973 Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144Meseguer, José; Goguen, Joseph A. 22 1993 Towards an algebraic semantics for the object paradigm. Zbl 0941.68637Goguen, Joseph A.; Diaconescu, Răzvan 22 1994 Categories of V-sets. Zbl 0177.02401Goguen, J. A. 20 1969 An Oxford survey of order sorted algebra. Zbl 0939.68710Goguen, Joseph; Diaconescu, Răzvan 19 1994 Order-sorted unification. Zbl 0691.03002Meseguer, José; Goguen, Joseph A.; Smolka, Gert 18 1989 Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009Burstall, R. M.; Goguen, J. A. 18 1982 Some fundamentals of order-algebraic semantics. Zbl 0361.68041Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W. 18 1976 Algebraic semantics of imperative programs. Zbl 0887.68066Goguen, Joseph A.; Malcolm, Grant 16 1996 Types as theories. Zbl 0792.68100Goguen, Joseph A. 16 1991 A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002Goguen, Joseph A.; Burstall, R. M. 15 1986 Models and equality for logical programming. Zbl 0626.68032Goguen, Joseph A.; Meseguer, José 15 1987 Hiding more of hidden algebra. Zbl 0953.68094Goguen, Joseph; Roşu, Grigore 15 1999 Abstract errors for abstract data types. Zbl 0373.68024Goguen, Joseph A. 15 1978 Parameterized programming. Zbl 0545.68017Goguen, Joseph A. 14 1984 Composing hidden information modules over inclusive institutions. Zbl 1278.68203Goguen, Joseph; Rosu, Grigore 14 2004 Operational semantics for order-sorted algebra. Zbl 0591.68041Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José 13 1985 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 Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005Goguen, Joseph A. 10 1992 Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002Goguen, J. A. 10 1975 Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 10 1975 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 An introduction to OBJ 3. Zbl 0666.68010Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide 9 1988 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 What is a logic? Zbl 1080.03028Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 9 2005 Hidden congruent deduction. Zbl 0964.68083Roşu, Grigore; Goguen, Joseph 7 2000 Behavioral and coinductive rewriting. Zbl 0962.68078Goguen, Joseph; Lin, Kai; Rosu, Grigore 7 2000 Correctness of recursive parallel nondeterministic flow programs. Zbl 0532.68019Goguen, J. A.; Meseguer, J. 6 1983 Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014Goguen, Joseph A.; Parsaye-Ghomi, Kamran 6 1981 Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121Goguen, Joseph A.; Lin, Kai; Roşu, Grigore 6 2003 Objects. Zbl 0336.18001Goguen, Joseph A. 5 1974 Correctness of recursive flow diagram programs. Zbl 0354.68028Goguen, J. A.; Meseguer, J. 5 1977 Remarks on remarks on many-sorted equational logic. Zbl 1023.68630Goguen, Joseph A.; Meseguer, José 5 1986 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 Correctness and equivalence of data types. Zbl 0387.68013Goguen, J. A. 4 1976 What is a logic? In memoriam Joseph Goguen. 2nd revised ed. 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 One, none, a hundred thousand specification languages. Zbl 0606.68010Goguen, Joseph A. 3 1986 Memories of ADJ. Zbl 0709.68027Goguen, Joseph A. 3 1989 Final algebras, cosemicomputable algebras and degrees of unsolvability. Zbl 0768.68093Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A. 3 1992 What is a concept? Zbl 1132.68059Goguen, Joseph 3 2005 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 A hidden Herbrand theorem. Zbl 0926.03034Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom 2 1998 Concurrent term rewriting as a model of computation. Zbl 0639.68027Goguen, Joseph; Kirchner, Claude; Meseguer, José 2 1987 Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021Goguen, Joseph A. 2 1988 Specifying, programming and verifying with equational logic. Zbl 1221.68155Goguen, Joseph; Lin, Kai 2 2005 The correctness problem in computer science. Zbl 0476.68009 2 1981 System theory concepts in computer science. Zbl 0362.68029Goguen, J. A. 2 1973 Final algebras, cosemicomputable algebras, and degrees of unsolvability. Zbl 0639.68026Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A. 1 1987 FUNNEL: A CHDL with formal semantics. Zbl 0794.68020Stavridou, V.; Goguen, J. A.; Eker, S. M.; Aloneftis, S. N. 1 1992 A categorical approach to general systems. Zbl 0409.93002Ginali, Susanna; Goguen, Joseph 1 1978 Axioms for discrimination information. Zbl 0315.94020Goguen, J. A.; Carlson, L. A. 1 1975 Web-based support for cooperative software engineering. Zbl 0985.68586Goguen, Joseph A.; Lin, Kai 1 2001 Introducing institutions. Zbl 1288.03001Goguen, J. A.; Burstall, R. M. 25 2012 What is a logic? In memoriam Joseph Goguen. 2nd revised ed. 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 9 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 2 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 46 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 36 2000 Hidden congruent deduction. Zbl 0964.68083Roşu, Grigore; Goguen, Joseph 7 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 15 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 2 1998 Algebraic semantics of imperative programs. Zbl 0887.68066Goguen, Joseph A.; Malcolm, Grant 16 1996 Towards an algebraic semantics for the object paradigm. Zbl 0941.68637Goguen, Joseph A.; Diaconescu, Răzvan 22 1994 An Oxford survey of order sorted algebra. Zbl 0939.68710Goguen, Joseph; Diaconescu, Răzvan 19 1994 Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144Meseguer, José; Goguen, Joseph A. 22 1993 Institutions: Abstract model theory for specification and programming. Zbl 0799.68134Goguen, Joseph A.; Burstall, Rod M. 202 1992 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 101 1992 Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005Goguen, Joseph A. 10 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 A categorical manifesto. Zbl 0747.18001Goguen, Joseph A. 26 1991 Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A. 25 1991 Types as theories. Zbl 0792.68100Goguen, Joseph A. 16 1991 Order-sorted unification. Zbl 0691.03002Meseguer, José; Goguen, Joseph A.; Smolka, Gert 18 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 9 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é 15 1987 Concurrent term rewriting as a model of computation. Zbl 0639.68027Goguen, Joseph; Kirchner, Claude; Meseguer, José 2 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. 15 1986 Remarks on remarks on many-sorted equational logic. Zbl 1023.68630Goguen, Joseph A.; Meseguer, José 5 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. 50 1985 Completeness of many-sorted equational logic. Zbl 0602.08004Goguen, J. A.; Meseguer, J. 34 1985 Operational semantics for order-sorted algebra. Zbl 0591.68041Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José 13 1985 Introducing institutions. Zbl 0543.68021Goguen, J. A.; Burstall, R. M. 39 1984 Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091Goguen, Joseph A.; Meseguer, José 26 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. 41 1982 Completeness of many-sorted equational logic. Zbl 0498.03018Goguen, J. A.; Meseguer, J. 38 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 6 1981 The correctness problem in computer science. Zbl 0476.68009 2 1981 The semantics of Clear, a specification language. Zbl 0456.68024Burstall, R. M.; Goguen, J. A. 62 1980 How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043Goguen, J. A. 23 1980 Systems and distinctions; duality and complementarity. Zbl 0403.93003Goguen, Joseph A.; Varela, Francisco J. 3 1979 Abstract errors for abstract data types. Zbl 0373.68024Goguen, Joseph A. 15 1978 A categorical approach to general systems. Zbl 0409.93002Ginali, Susanna; Goguen, Joseph 1 1978 Initial algebra semantics and continuous algebras. Zbl 0359.68018Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 194 1977 Correctness of recursive flow diagram programs. Zbl 0354.68028Goguen, J. A.; Meseguer, J. 5 1977 Some fundamentals of order-algebraic semantics. Zbl 0361.68041Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W. 18 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 Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002Goguen, J. A. 10 1975 Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 10 1975 Semantics of computation. Zbl 0306.68028Goguen, 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. 123 1973 Realization is universal. Zbl 0248.18015Goguen, J. A. 23 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. 29 1972 The logic of inexact concepts. Zbl 0184.00903Goguen, J. A. 195 1969 Categories of V-sets. Zbl 0177.02401Goguen, J. A. 20 1969 L-fuzzy sets. Zbl 0145.24404Goguen, J. A. 815 1967 all cited Publications top 5 cited Publications all top 5 Cited by 1,739 Authors 55 Meseguer Guaita, José 31 Diaconescu, Răzvan 28 Bělohlávek, Radim 24 Kerre, Etienne E. 23 Deschrijver, Glad 22 Tarlecki, Andrzej 22 Tepavčević, Andreja 22 Vychodil, Vilém 21 Goguen, Joseph Amadee 21 Solovyov, Sergey A. 20 Höhle, Ulrich 20 Mossakowski, Till 20 Šešelja, Branimir 18 Gerla, Giangiacomo 18 Hennicker, Rolf 17 Roşu, Grigore 16 Sannella, Donald T. 16 Šostak, Alexander P. 15 Prade, Henri M. 14 Courcelle, Bruno 14 Dubois, Didier 14 Ehrig, Hartmut 13 Rabe, Florian 13 Rodabaugh, Stephen Ernest 12 Bayoumi, Fatma 12 Ésik, Zoltán 12 Hu, Baoqing 12 Mesiar, Radko 12 Voutsadakis, George 11 Fang, Jinming 11 Gottwald, Siegfried 11 Kramosil, Ivan 11 Orejas, Fernando 10 Bustince, Humberto 10 Durán, Francisco 10 Escobar, Santiago 10 Futatsugi, Kokichi 10 Lucanu, Dorel 10 Lucas, Salvador 10 Madeira, Alexandre 10 Martins, Manuel António 10 Pedrycz, Witold 10 Shi, Fu-Gui 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 Novák, Vilém 9 Ojeda-Aciego, Manuel 9 Saadati, Reza 9 Tiwari, S. P. 9 Xu, Yang 9 Yao, Wei 8 Gaĭnă, Daniel 8 Manes, Ernest G. 8 Martí-Oliet, Narciso 8 Ogata, Kazuhiro 8 Wagner, Eric G. 8 Zhao, Bin 7 Arbib, Michael A. 7 Bedregal, Benjamín René Callejas 7 Bloom, Stephen L. 7 Clavel, Manuel 7 De Baets, Bernard 7 Drewniak, Józef 7 Eklund, Patrik E. 7 Gähler, Werner 7 Gil, María Angeles 7 Guido, Cosimo 7 Kirchner, Hélène 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 Stout, Lawrence Neff 7 Vogler, Heiko 7 Wang, Chunyong 6 Alpuente, María 6 Barrenechea, Edurne 6 Bloch, Isabelle 6 Brown, Lawrence Michael 6 Codescu, Mihai 6 Cornelis, Chris 6 Gil, Pedro A. 6 Katsaras, Athanasios K. 6 Kawahara, Yasuo 6 Knapp, Alexander 6 Li, Qingguo 6 Liu, Jun 6 Medina, Jesús 6 Padawitz, Peter 6 Roggenbach, Markus 6 Rutten, Jan J. M. M. 6 Sessa, Salvatore 6 Srivastava, Arun Kamar ...and 1,639 more Authors all top 5 Cited in 187 Serials 430 Fuzzy Sets and Systems 210 Theoretical Computer Science 100 Information Sciences 61 Journal of Mathematical Analysis and Applications 47 Journal of Computer and System Sciences 37 International Journal of General Systems 36 International Journal of Approximate Reasoning 29 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 20 Journal of Symbolic Computation 19 Studia Logica 19 Formal Aspects of Computing 19 Journal of Logical and Algebraic Methods in Programming 17 Computers & Mathematics with Applications 17 Information Processing Letters 17 Iranian Journal of Fuzzy Systems 14 Annals of Mathematics and Artificial Intelligence 13 Synthese 12 Artificial Intelligence 12 Kybernetika 12 Journal of Automated Reasoning 12 The Journal of Logic and Algebraic Programming 12 Logica Universalis 10 Cybernetics and Systems Analysis 9 Chaos, Solitons and Fractals 9 New Mathematics and Natural Computation 8 Journal of the Egyptian Mathematical Society 8 Filomat 7 Mathematical Systems Theory 7 Quaestiones Mathematicae 7 Archive for Mathematical Logic 7 Mathematical Logic Quarterly (MLQ) 7 Journal of Applied Mathematics and Computing 7 Korean Journal of Mathematics 6 Algebra Universalis 6 Journal of Pure and Applied Algebra 6 Kybernetes 6 International Journal of Intelligent Systems 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 International Journal of Computer Mathematics 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 Applied Categorical Structures 4 Journal of Applied Non-Classical Logics 4 Diagrammes 4 Journal of Applied Logic 4 Logical Methods in Computer Science 4 Advances in Fuzzy Systems 4 Fuzzy Information and Engineering 4 Journal of Mathematics 3 International Journal of Theoretical Physics 3 Mathematica Slovaca 3 Theory and Decision 3 Topology and its Applications 3 International Journal of Foundations of Computer Science 3 Linear Algebra and its Applications 3 Russian Journal of Mathematical Physics 3 Computational and Applied Mathematics 3 Journal of Inequalities and Applications 3 Thai Journal of Mathematics 3 Fixed Point Theory and Applications 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 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 Logic and Logical Philosophy 2 Journal of Applied Mathematics 2 South East Asian Journal of Mathematics and Mathematical Sciences 2 ACM Transactions on Computational Logic 2 Bulletin of the American Mathematical Society 2 Mathematics in Computer Science 2 Science China. Information Sciences ...and 87 more Serials all top 5 Cited in 46 Fields 890 Computer science (68-XX) 809 Mathematical logic and foundations (03-XX) 263 General topology (54-XX) 231 Category theory; homological algebra (18-XX) 199 Order, lattices, ordered algebraic structures (06-XX) 102 General algebraic systems (08-XX) 102 Information and communication theory, circuits (94-XX) 45 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 42 Systems theory; control (93-XX) 32 Group theory and generalizations (20-XX) 26 Associative rings and algebras (16-XX) 23 Measure and integration (28-XX) 23 Statistics (62-XX) 23 Operations research, mathematical programming (90-XX) 20 Combinatorics (05-XX) 17 Functional analysis (46-XX) 17 Probability theory and stochastic processes (60-XX) 16 Linear and multilinear algebra; matrix theory (15-XX) 13 History and biography (01-XX) 11 Commutative algebra (13-XX) 10 Real functions (26-XX) 9 Biology and other natural sciences (92-XX) 8 Topological groups, Lie groups (22-XX) 7 Quantum theory (81-XX) 6 Difference and functional equations (39-XX) 6 Operator theory (47-XX) 5 General and overarching topics; collections (00-XX) 5 Ordinary differential equations (34-XX) 5 Numerical analysis (65-XX) 3 Partial differential equations (35-XX) 3 Approximations and expansions (41-XX) 2 Number theory (11-XX) 2 Sequences, series, summability (40-XX) 2 Integral equations (45-XX) 2 Algebraic topology (55-XX) 1 Field theory and polynomials (12-XX) 1 Nonassociative rings and algebras (17-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Geophysics (86-XX) 1 Mathematics education (97-XX) Citations by Year