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 522 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 83 Publications have been cited 2,956 times in 2,032 Documents Cited by ▼ Year ▼ L-fuzzy sets. Zbl 0145.24404Goguen, J. A. 876 1967 Institutions: Abstract model theory for specification and programming. Zbl 0799.68134Goguen, Joseph A.; Burstall, Rod M. 225 1992 The logic of inexact concepts. Zbl 0184.00903Goguen, J. A. 216 1969 Initial algebra semantics and continuous algebras. Zbl 0359.68018Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. 212 1977 The fuzzy Tychonoff theorem. Zbl 0278.54003Goguen, J. A. 129 1973 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 114 1992 The semantics of Clear, a specification language. Zbl 0456.68024Burstall, R. M.; Goguen, J. A. 89 1980 Initiality, induction, and computability. Zbl 0571.68004Meseguer, José; Goguen, Joseph A. 54 1985 Institution morphisms. Zbl 1001.68019Goguen, Joseph; Roşu, Grigore 51 2002 Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014Goguen, J.; Meseguer, J. 48 1982 Introducing institutions. Zbl 0543.68021Goguen, J. A.; Burstall, R. M. 48 1984 Concept representation in natural and artificial languages: axioms, extensions and applications for fuzzy sets. Zbl 0321.68055Goguen, Joseph A. jun. 48 1974 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 39 2000 Completeness of many-sorted equational logic. Zbl 0602.08004Goguen, J. A.; Meseguer, J. 37 1985 Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091Goguen, Joseph A.; Meseguer, José 31 1984 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 fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A. 29 1991 Minimal realization of machines in closed categories. Zbl 0277.18003Goguen, J. A. 29 1972 A categorical manifesto. Zbl 0747.18001Goguen, Joseph A. 27 1991 Introducing institutions. Zbl 1288.03001Goguen, J. A.; Burstall, R. M. 26 2012 Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144Meseguer, José; Goguen, Joseph A. 25 1993 Realization is universal. Zbl 0248.18015Goguen, J. A. 24 1973 An Oxford survey of order sorted algebra. Zbl 0939.68710Goguen, Joseph; Diaconescu, Răzvan 22 1994 Towards an algebraic semantics for the object paradigm. Zbl 0941.68637Goguen, Joseph A.; Diaconescu, Răzvan 22 1994 Models and equality for logical programming. Zbl 0626.68032Goguen, Joseph A.; Meseguer, José 20 1987 Order-sorted unification. Zbl 0691.03002Meseguer, José; Goguen, Joseph A.; Smolka, Gert 20 1989 Some fundamentals of order-algebraic semantics. Zbl 0361.68041Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W. 20 1976 Categories of V-sets. Zbl 0177.02401Goguen, J. A. 20 1969 Algebraic semantics of imperative programs. Zbl 0887.68066Goguen, Joseph A.; Malcolm, Grant 19 1996 Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009Burstall, R. M.; Goguen, J. A. 18 1982 Abstract errors for abstract data types. Zbl 0373.68024Goguen, Joseph A. 17 1978 A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002Goguen, Joseph A.; Burstall, R. M. 16 1986 Types as theories. Zbl 0792.68100Goguen, Joseph A. 16 1991 Parameterized programming. Zbl 0545.68017Goguen, Joseph A. 16 1984 Composing hidden information modules over inclusive institutions. Zbl 1278.68203Goguen, Joseph; Rosu, Grigore 15 2004 Hiding more of hidden algebra. Zbl 0953.68094Goguen, Joseph; Roşu, Grigore 15 1999 Operational semantics for order-sorted algebra. Zbl 0591.68041Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José 14 1985 An introduction to OBJ 3. Zbl 0666.68010Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide 13 1988 Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005Goguen, Joseph A. 12 1992 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 Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067Goguen, Joseph A.; Malcolm, Grant 12 1999 On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. Zbl 0285.68010Goguen, J. A. jun. 12 1974 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 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 10 2005 Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002Goguen, J. A. 10 1975 Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories. Zbl 0566.68066Goguen, J. A.; Burstall, R. M. 9 1984 Hidden congruent deduction. Zbl 0964.68083Roşu, Grigore; Goguen, Joseph 9 2000 Semantics of computation. Zbl 0306.68028Goguen, J. A. 9 1975 Behavioral and coinductive rewriting. Zbl 0962.68078Goguen, Joseph; Lin, Kai; Rosu, Grigore 8 2000 Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014Goguen, Joseph A.; Parsaye-Ghomi, Kamran 6 1981 Correctness of recursive parallel nondeterministic flow programs. Zbl 0532.68019Goguen, J. A.; Meseguer, J. 6 1983 Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121Goguen, Joseph A.; Lin, Kai; Roşu, Grigore 6 2003 Concurrent term rewriting as a model of computation. Zbl 0639.68027Goguen, Joseph; Kirchner, Claude; Meseguer, José 5 1987 A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041Goguen, Joseph; Malcolm, Grant; Kemp, Tom 5 2002 Objects. Zbl 0336.18001Goguen, Joseph A. 5 1974 Remarks on remarks on many-sorted equational logic. Zbl 1023.68630Goguen, Joseph A.; Meseguer, José 5 1986 What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej 5 2007 Data, schema, ontology and logic integration. Zbl 1094.68018Goguen, Joseph A. 4 2005 What is a concept? Zbl 1132.68059Goguen, Joseph 4 2005 Correctness of recursive flow diagram programs. Zbl 0354.68028Goguen, J. A.; Meseguer, J. 4 1977 Correctness and equivalence of data types. Zbl 0387.68013Goguen, J. A. 4 1976 Proving and rewriting. Zbl 1496.03045Goguen, Joseph A. 4 1990 On equational Craig interpolation. Zbl 0962.03026Rosu, Grigore; Goguen, Joseph 4 2000 Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021Goguen, Joseph A. 3 1988 Final algebras, cosemicomputable algebras and degrees of unsolvability. Zbl 0768.68093Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A. 3 1992 A hidden Herbrand theorem. Zbl 0926.03034Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom 3 1998 One, none, a hundred thousand specification languages. Zbl 0606.68010Goguen, Joseph A. 3 1986 The correctness problem in computer science. Zbl 0476.68009 3 1981 Memories of ADJ. Zbl 0709.68027Goguen, Joseph A. 3 1989 On fuzzy robot planning. Zbl 0341.68062Goguen, J. A. 3 1975 Systems and distinctions; duality and complementarity. Zbl 0403.93003Goguen, Joseph A.; Varela, Francisco J. 3 1979 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 Specifying, programming and verifying with equational logic. Zbl 1221.68155Goguen, Joseph; Lin, Kai 2 2005 Compiling concurrent rewriting onto the rewrite rule machine. Zbl 1507.68138Aida, Hitoshi; Goguen, Joseph; Meseguer, José 2 1991 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 Web-based support for cooperative software engineering. Zbl 0985.68586Goguen, Joseph A.; Lin, Kai 1 2001 An introduction to category-based equational logic. Zbl 1496.03130Goguen, Joseph A.; Diaconescu, Răzvan 1 1995 Axioms for discrimination information. Zbl 0315.94020Goguen, J. A.; Carlson, L. A. 1 1975 A short Oxford survey of order sorted algebra. Zbl 1023.08500Goguen, Joseph; Diaconescu, Răzvan 1 1992 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 10 2005 Data, schema, ontology and logic integration. Zbl 1094.68018Goguen, Joseph A. 4 2005 What is a concept? Zbl 1132.68059Goguen, Joseph 4 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 15 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 51 2002 A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041Goguen, Joseph; Malcolm, Grant; Kemp, Tom 5 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 39 2000 Hidden congruent deduction. Zbl 0964.68083Roşu, Grigore; Goguen, Joseph 9 2000 Behavioral and coinductive rewriting. Zbl 0962.68078Goguen, Joseph; Lin, Kai; Rosu, Grigore 8 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 3 1998 Algebraic semantics of imperative programs. Zbl 0887.68066Goguen, Joseph A.; Malcolm, Grant 19 1996 An introduction to category-based equational logic. Zbl 1496.03130Goguen, Joseph A.; Diaconescu, Răzvan 1 1995 An Oxford survey of order sorted algebra. Zbl 0939.68710Goguen, Joseph; Diaconescu, Răzvan 22 1994 Towards an algebraic semantics for the object paradigm. Zbl 0941.68637Goguen, Joseph A.; Diaconescu, Răzvan 22 1994 Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144Meseguer, José; Goguen, Joseph A. 25 1993 Institutions: Abstract model theory for specification and programming. Zbl 0799.68134Goguen, Joseph A.; Burstall, Rod M. 225 1992 Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056Goguen, Joseph A.; Meseguer, José 114 1992 Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005Goguen, Joseph A. 12 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 short Oxford survey of order sorted algebra. Zbl 1023.08500Goguen, Joseph; Diaconescu, Răzvan 1 1992 Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A. 29 1991 A categorical manifesto. Zbl 0747.18001Goguen, Joseph A. 27 1991 Types as theories. Zbl 0792.68100Goguen, Joseph A. 16 1991 Compiling concurrent rewriting onto the rewrite rule machine. Zbl 1507.68138Aida, Hitoshi; Goguen, Joseph; Meseguer, José 2 1991 Proving and rewriting. Zbl 1496.03045Goguen, Joseph A. 4 1990 Order-sorted unification. Zbl 0691.03002Meseguer, José; Goguen, Joseph A.; Smolka, Gert 20 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. 3 1988 Models and equality for logical programming. Zbl 0626.68032Goguen, Joseph A.; Meseguer, José 20 1987 Concurrent term rewriting as a model of computation. Zbl 0639.68027Goguen, Joseph; Kirchner, Claude; Meseguer, José 5 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. 16 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. 54 1985 Completeness of many-sorted equational logic. Zbl 0602.08004Goguen, J. A.; Meseguer, J. 37 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. 48 1984 Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091Goguen, Joseph A.; Meseguer, José 31 1984 Parameterized programming. Zbl 0545.68017Goguen, Joseph A. 16 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. 48 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 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. 89 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 Abstract errors for abstract data types. Zbl 0373.68024Goguen, Joseph A. 17 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. 212 1977 Correctness of recursive flow diagram programs. Zbl 0354.68028Goguen, J. A.; Meseguer, J. 4 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. 48 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. 129 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. 216 1969 Categories of V-sets. Zbl 0177.02401Goguen, J. A. 20 1969 L-fuzzy sets. Zbl 0145.24404Goguen, J. A. 876 1967 all cited Publications top 5 cited Publications all top 5 Cited by 1,911 Authors 59 Meseguer Guaita, José 34 Diaconescu, Răzvan 30 Bělohlávek, Radim 24 Kerre, Etienne E. 24 Tepavčević, Andreja 24 Vychodil, Vilém 23 Deschrijver, Glad 23 Goguen, Joseph Amadee 23 Mossakowski, Till 23 Tarlecki, Andrzej 22 Hennicker, Rolf 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 15 Prade, Henri M. 14 Courcelle, Bruno 14 Dubois, Didier 14 Ésik, Zoltán 13 Lucas, Salvador 13 Orejas, Fernando 13 Rabe, Florian 13 Rodabaugh, Stephen Ernest 12 Bayoumi, Fatma 12 Corradini, Andrea 12 Durán, Francisco 12 Fang, Jinming 12 Hu, Baoqing 12 Mesiar, Radko 12 Voutsadakis, George 11 Bustince, Humberto 11 Escobar, Santiago 11 Gottwald, Siegfried 11 Kramosil, Ivan 11 Lucanu, Dorel 11 Shi, Fu-Gui 11 Tiwari, S. P. 11 Wirsing, Martin 11 Zahedi, Mohammad Mehdi 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 Aiguier, Marc 9 Bedregal, Benjamín René Callejas 9 Di Nola, Antonio 9 Eklund, Patrik E. 9 Gaĭnă, Daniel 9 Gallier, Jean H. 9 Novák, Vilém 9 Ogata, Kazuhiro 9 Ojeda-Aciego, Manuel 9 Saadati, Reza 9 Xu, Yang 9 Yao, Wei 8 Bloom, Stephen L. 8 Codescu, Mihai 8 Drewniak, Józef 8 Kirchner, Hélène 8 Knapp, Alexander 8 Manes, Ernest G. 8 Vogler, Heiko 8 Wagner, Eric G. 8 Zhao, Bin 7 Arbib, Michael A. 7 Bloch, Isabelle 7 Clavel, Manuel 7 De Baets, Bernard 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 Medina, Jesús 7 Parisi-Presicce, Francesco 7 Ramadan, Ahmed Abd El-Kader 7 Stout, Lawrence Neff 7 Trillas, Enric 7 Wang, Chunyong 6 Alpuente, María 6 Barrenechea, Edurne 6 Bergstra, Jan A. 6 Brown, Lawrence Michael 6 Cornelis, Chris 6 Gil, Pedro A. 6 Katsaras, Athanasios K. 6 Kawahara, Yasuo 6 Li, Qingguo ...and 1,811 more Authors all top 5 Cited in 196 Serials 432 Fuzzy Sets and Systems 212 Theoretical Computer Science 100 Information Sciences 61 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 Journal of Logical and Algebraic Methods in Programming 24 MSCS. Mathematical Structures in Computer Science 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 13 Synthese 13 Logica Universalis 12 Artificial Intelligence 11 Journal of Automated Reasoning 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 International Journal of Mathematics and Mathematical Sciences 6 Kybernetes 6 Annals of Pure and Applied Logic 6 International Journal of Intelligent Systems 5 Czechoslovak Mathematical Journal 5 The Journal of Symbolic Logic 5 RAIRO, Informatique Théorique 5 Journal of Computer Science and Technology 5 European Journal of Operational Research 5 International Journal of Computer Mathematics 5 Journal of Functional Programming 5 RAIRO. Theoretical Informatics and Applications 5 Fuzzy Optimization and Decision Making 5 Logical Methods in Computer Science 4 Applied Mathematics and Computation 4 Manuscripta Mathematica 4 Mathematica Slovaca 4 Cybernetics and Systems 4 Applied Categorical Structures 4 Journal of Applied Non-Classical Logics 4 Computational and Applied Mathematics 4 Diagrammes 4 Journal of Inequalities and Applications 4 Journal of Applied Logic 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 Journal of Philosophical Logic 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 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 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 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) 2 Fundamenta Informaticae 2 Logic and Logical Philosophy ...and 96 more Serials all top 5 Cited in 47 Fields 991 Computer science (68-XX) 868 Mathematical logic and foundations (03-XX) 281 General topology (54-XX) 245 Category theory; homological algebra (18-XX) 220 Order, lattices, ordered algebraic structures (06-XX) 110 General algebraic systems (08-XX) 106 Information and communication theory, circuits (94-XX) 49 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 43 Group theory and generalizations (20-XX) 40 Systems theory; control (93-XX) 28 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) 19 Functional analysis (46-XX) 19 Probability theory and stochastic processes (60-XX) 17 Linear and multilinear algebra; matrix theory (15-XX) 15 History and biography (01-XX) 12 Commutative algebra (13-XX) 11 Real functions (26-XX) 11 Operator theory (47-XX) 11 Biology and other natural sciences (92-XX) 8 Topological groups, Lie groups (22-XX) 7 Ordinary differential equations (34-XX) 7 Difference and functional equations (39-XX) 7 Quantum theory (81-XX) 6 General and overarching topics; collections (00-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 Integral equations (45-XX) 3 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