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. 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 516 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 80 Publications have been cited 2,839 times in 1,950 Documents Cited by ▼ Year ▼ L-fuzzy sets. Zbl 0145.24404Goguen, J. A. 855 1967 Institutions: Abstract model theory for specification and programming. Zbl 0799.68134Goguen, Joseph A.; Burstall, Rod M. 216 1992 The logic of inexact concepts. Zbl 0184.00903Goguen, J. A. 206 1969 Initial algebra semantics and continuous algebras. Zbl 0359.68018Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 205 1977 The fuzzy Tychonoff theorem. Zbl 0278.54003Goguen, J. A. 125 1973 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 107 1992 The semantics of Clear, a specification language. Zbl 0456.68024Burstall, R. M.; Goguen, J. A. 83 1980 Initiality, induction, and computability. Zbl 0571.68004Meseguer, José; Goguen, Joseph A. 52 1985 Institution morphisms. Zbl 1001.68019Goguen, Joseph; Roşu, Grigore 48 2002 Concept representation in natural and artificial languages: axioms, extensions and applications for fuzzy sets. Zbl 0321.68055Goguen, Joseph A. jun. 47 1974 Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014Goguen, J.; Meseguer, J. 46 1982 Introducing institutions. Zbl 0543.68021Goguen, J. A.; Burstall, R. M. 45 1984 Completeness of many-sorted equational logic. Zbl 0498.03018Goguen, J. A.; Meseguer, J. 40 1982 Completeness of many-sorted equational logic. Zbl 0602.08004Goguen, J. A.; Meseguer, J. 36 1985 A hidden agenda. Zbl 0946.68070Goguen, Joseph A.; Malcolm, Grant 36 2000 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é 28 1984 Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A. 28 1991 A categorical manifesto. Zbl 0747.18001Goguen, Joseph A. 27 1991 Introducing institutions. Zbl 1288.03001Goguen, J. A.; Burstall, R. M. 26 2012 Realization is universal. Zbl 0248.18015Goguen, J. A. 24 1973 How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043Goguen, J. A. 24 1980 Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144Meseguer, José; Goguen, Joseph A. 24 1993 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 21 1994 Categories of V-sets. Zbl 0177.02401Goguen, J. A. 20 1969 Some fundamentals of order-algebraic semantics. Zbl 0361.68041Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W. 20 1976 Order-sorted unification. Zbl 0691.03002Meseguer, José; Goguen, Joseph A.; Smolka, Gert 19 1989 Models and equality for logical programming. Zbl 0626.68032Goguen, Joseph A.; Meseguer, José 18 1987 Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009Burstall, R. M.; Goguen, J. A. 18 1982 Algebraic semantics of imperative programs. Zbl 0887.68066Goguen, Joseph A.; Malcolm, Grant 17 1996 Abstract errors for abstract data types. Zbl 0373.68024Goguen, Joseph A. 16 1978 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 Hiding more of hidden algebra. Zbl 0953.68094Goguen, Joseph; Roşu, Grigore 15 1999 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é 14 1985 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 An introduction to OBJ 3. Zbl 0666.68010Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide 12 1988 On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. Zbl 0285.68010Goguen, J. A. jun. 12 1974 Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067Goguen, Joseph A.; Malcolm, Grant 12 1999 Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 11 1975 Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005Goguen, Joseph A. 11 1992 Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002Goguen, J. A. 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 What is a logic? Zbl 1080.03028Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 9 2005 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 Behavioral and coinductive rewriting. Zbl 0962.68078Goguen, Joseph; Lin, Kai; Rosu, Grigore 8 2000 Hidden congruent deduction. Zbl 0964.68083Roşu, Grigore; Goguen, Joseph 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 What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 5 2007 Remarks on remarks on many-sorted equational logic. Zbl 1023.68630Goguen, Joseph A.; Meseguer, José 5 1986 Objects. Zbl 0336.18001Goguen, Joseph A. 5 1974 Correctness of recursive flow diagram programs. Zbl 0354.68028Goguen, J. A.; Meseguer, J. 5 1977 Data, schema, ontology and logic integration. Zbl 1094.68018Goguen, Joseph A. 4 2005 On equational Craig interpolation. Zbl 0962.03026Rosu, Grigore; Goguen, Joseph 4 2000 A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041Goguen, Joseph; Malcolm, Grant; Kemp, Tom 4 2002 Correctness and equivalence of data types. Zbl 0387.68013Goguen, J. A. 4 1976 Memories of ADJ. Zbl 0709.68027Goguen, Joseph A. 3 1989 One, none, a hundred thousand specification languages. Zbl 0606.68010Goguen, Joseph A. 3 1986 Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021Goguen, Joseph A. 3 1988 The correctness problem in computer science. Zbl 0476.68009 3 1981 What is a concept? Zbl 1132.68059Goguen, Joseph 3 2005 On fuzzy robot planning. Zbl 0341.68062Goguen, J. A. 3 1975 Concurrent term rewriting as a model of computation. Zbl 0639.68027Goguen, Joseph; Kirchner, Claude; Meseguer, José 3 1987 Systems and distinctions; duality and complementarity. Zbl 0403.93003Goguen, Joseph A.; Varela, Francisco J. 3 1979 Final algebras, cosemicomputable algebras and degrees of unsolvability. Zbl 0768.68093Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A. 3 1992 Specifying, programming and verifying with equational logic. Zbl 1221.68155Goguen, Joseph; Lin, Kai 2 2005 System theory concepts in computer science. Zbl 0362.68029Goguen, J. A. 2 1973 A categorical approach to general systems. Zbl 0409.93002Ginali, Susanna; Goguen, Joseph 2 1978 A hidden Herbrand theorem. Zbl 0926.03034Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom 2 1998 Web-based support for cooperative software engineering. Zbl 0985.68586Goguen, Joseph A.; Lin, Kai 1 2001 Axioms for discrimination information. Zbl 0315.94020Goguen, J. A.; Carlson, L. A. 1 1975 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 Proving and rewriting. Zbl 1496.03045Goguen, Joseph A. 1 1990 Introducing institutions. Zbl 1288.03001Goguen, J. A.; Burstall, R. M. 26 2012 What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 5 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 48 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 Behavioral and coinductive rewriting. Zbl 0962.68078Goguen, Joseph; Lin, Kai; Rosu, Grigore 8 2000 Hidden congruent deduction. Zbl 0964.68083Roşu, Grigore; Goguen, Joseph 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 17 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 21 1994 Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144Meseguer, José; Goguen, Joseph A. 24 1993 Institutions: Abstract model theory for specification and programming. Zbl 0799.68134Goguen, Joseph A.; Burstall, Rod M. 216 1992 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 107 1992 Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005Goguen, Joseph A. 11 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. 28 1991 A categorical manifesto. Zbl 0747.18001Goguen, Joseph A. 27 1991 Types as theories. Zbl 0792.68100Goguen, Joseph A. 16 1991 Proving and rewriting. Zbl 1496.03045Goguen, Joseph A. 1 1990 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 12 1988 Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021Goguen, Joseph A. 3 1988 Models and equality for logical programming. Zbl 0626.68032Goguen, Joseph A.; Meseguer, José 18 1987 Concurrent term rewriting as a model of computation. Zbl 0639.68027Goguen, Joseph; Kirchner, Claude; Meseguer, José 3 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. 52 1985 Completeness of many-sorted equational logic. Zbl 0602.08004Goguen, J. A.; Meseguer, J. 36 1985 Operational semantics for order-sorted algebra. Zbl 0591.68041Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José 14 1985 Introducing institutions. Zbl 0543.68021Goguen, J. A.; Burstall, R. M. 45 1984 Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091Goguen, Joseph A.; Meseguer, José 28 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. 46 1982 Completeness of many-sorted equational logic. Zbl 0498.03018Goguen, J. A.; Meseguer, J. 40 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 3 1981 The semantics of Clear, a specification language. Zbl 0456.68024Burstall, R. M.; Goguen, J. A. 83 1980 How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043Goguen, J. A. 24 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. 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. 205 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. 20 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. 11 1975 Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002Goguen, J. A. 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. 125 1973 Realization is universal. Zbl 0248.18015Goguen, J. A. 24 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. 206 1969 Categories of V-sets. Zbl 0177.02401Goguen, J. A. 20 1969 L-fuzzy sets. Zbl 0145.24404Goguen, J. A. 855 1967 all cited Publications top 5 cited Publications all top 5 Cited by 1,820 Authors 56 Meseguer Guaita, José 33 Diaconescu, Răzvan 28 Bělohlávek, Radim 24 Kerre, Etienne E. 23 Deschrijver, Glad 23 Goguen, Joseph Amadee 23 Tarlecki, Andrzej 22 Tepavčević, Andreja 22 Vychodil, Vilém 21 Hennicker, Rolf 21 Solovyov, Sergey A. 20 Höhle, Ulrich 20 Mossakowski, Till 20 Šešelja, Branimir 18 Gerla, Giangiacomo 18 Roşu, Grigore 18 Sannella, Donald T. 17 Ehrig, Hartmut 17 Šostak, Alexander P. 15 Prade, Henri M. 14 Courcelle, Bruno 14 Dubois, Didier 13 Ésik, Zoltán 13 Orejas, Fernando 13 Rabe, Florian 13 Rodabaugh, Stephen Ernest 12 Bayoumi, Fatma 12 Fang, Jinming 12 Hu, Baoqing 12 Mesiar, Radko 12 Voutsadakis, George 11 Durán, Francisco 11 Escobar, Santiago 11 Gottwald, Siegfried 11 Kramosil, Ivan 11 Lucanu, Dorel 11 Lucas, Salvador 11 Shi, Fu-Gui 11 Tiwari, S. P. 10 Bidoit, Michel 10 Bustince, Humberto 10 Corradini, Andrea 10 Futatsugi, Kokichi 10 Madeira, Alexandre 10 Martins, Manuel António 10 Pedrycz, Witold 10 Wirsing, Martin 10 Zadeh, Lotfi Asker 9 Aiguier, Marc 9 Di Nola, Antonio 9 Gaĭnă, Daniel 9 Gallier, Jean H. 9 Martí-Oliet, Narciso 9 Novák, Vilém 9 Ojeda-Aciego, Manuel 9 Saadati, Reza 9 Xu, Yang 9 Yao, Wei 8 Bedregal, Benjamín René Callejas 8 Bloom, Stephen L. 8 Manes, Ernest G. 8 Ogata, Kazuhiro 8 Vogler, Heiko 8 Wagner, Eric G. 8 Zhao, Bin 7 Arbib, Michael A. 7 Bloch, Isabelle 7 Clavel, Manuel 7 Codescu, Mihai 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 Knapp, Alexander 7 Kortelainen, Jari 7 Kubiak, Tomasz 7 Lowen, Robert 7 Maibaum, Thomas Stephen Edward 7 Medina, Jesús 7 Parisi-Presicce, Francesco 7 Ramadan, Ahmed Abd El-Kader 7 Stout, Lawrence Neff 7 Wang, Chunyong 6 Alpuente, María 6 Barrenechea, Edurne 6 Bergstra, Jan A. 6 Brown, Lawrence Michael 6 Cornelis, Chris 6 Eker, Steven 6 Gil, Pedro A. 6 Katsaras, Athanasios K. 6 Kawahara, Yasuo 6 Li, Qingguo 6 Liu, Jun 6 Oriat, Catherine 6 Padawitz, Peter 6 Popescu, Andrei ...and 1,720 more Authors all top 5 Cited in 195 Serials 431 Fuzzy Sets and Systems 211 Theoretical Computer Science 100 Information Sciences 61 Journal of Mathematical Analysis and Applications 47 Journal of Computer and System Sciences 39 International Journal of Approximate Reasoning 37 International Journal of General Systems 34 Soft Computing 30 Information and Computation 27 Acta Informatica 24 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 Logical and Algebraic Methods in Programming 20 Journal of Symbolic Computation 19 Studia Logica 19 Formal Aspects of Computing 19 Iranian Journal of Fuzzy Systems 18 Filomat 17 Computers & Mathematics with Applications 17 Information Processing Letters 14 Annals of Mathematics and Artificial Intelligence 13 Kybernetika 13 Synthese 13 Logica Universalis 12 Artificial Intelligence 12 Journal of Automated Reasoning 12 The Journal of Logic and Algebraic Programming 11 New Mathematics and Natural Computation 10 Cybernetics and Systems Analysis 9 Chaos, Solitons and Fractals 8 Quaestiones Mathematicae 8 Journal of the Egyptian Mathematical Society 7 Algebra Universalis 7 Journal of Pure and Applied Algebra 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 Kybernetes 6 Annals of Pure and Applied Logic 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 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 TWMS Journal of Pure and Applied Mathematics 4 Fuzzy Information and Engineering 4 Journal of Mathematics 3 International Journal of Theoretical Physics 3 Mathematica Slovaca 3 Notre Dame Journal of Formal Logic 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 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 Discrete Mathematical Sciences & Cryptography 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 ...and 95 more Serials all top 5 Cited in 47 Fields 934 Computer science (68-XX) 835 Mathematical logic and foundations (03-XX) 275 General topology (54-XX) 235 Category theory; homological algebra (18-XX) 209 Order, lattices, ordered algebraic structures (06-XX) 108 General algebraic systems (08-XX) 103 Information and communication theory, circuits (94-XX) 48 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 41 Systems theory; control (93-XX) 36 Group theory and generalizations (20-XX) 27 Associative rings and algebras (16-XX) 24 Statistics (62-XX) 23 Measure and integration (28-XX) 23 Operations research, mathematical programming (90-XX) 21 Combinatorics (05-XX) 18 Functional analysis (46-XX) 18 Probability theory and stochastic processes (60-XX) 17 Linear and multilinear algebra; matrix theory (15-XX) 13 History and biography (01-XX) 11 Commutative algebra (13-XX) 11 Real functions (26-XX) 10 Operator theory (47-XX) 10 Biology and other natural sciences (92-XX) 8 Topological groups, Lie groups (22-XX) 8 Quantum theory (81-XX) 7 Ordinary differential equations (34-XX) 6 General and overarching topics; collections (00-XX) 6 Difference and functional equations (39-XX) 4 Numerical analysis (65-XX) 3 Number theory (11-XX) 3 Partial differential equations (35-XX) 3 Sequences, series, summability (40-XX) 3 Approximations and expansions (41-XX) 3 Convex and discrete geometry (52-XX) 2 Integral equations (45-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