×

Goguen, Joseph Amadee

Author ID: goguen.joseph-amadee Recent zbMATH articles by "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: 91 Publications since 1967, including 3 Books
1 Further Contribution
Biographic References: 4 Publications
Co-Authors: 29 Co-Authors with 60 Joint Publications
525 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

85 Publications have been cited 3,048 times in 2,093 Documents Cited by Year
L-fuzzy sets. Zbl 0145.24404
Goguen, J. A.
903
1967
Institutions: Abstract model theory for specification and programming. Zbl 0799.68134
Goguen, Joseph A.; Burstall, Rod M.
230
1992
The logic of inexact concepts. Zbl 0184.00903
Goguen, J. A.
218
1969
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
217
1977
The fuzzy Tychonoff theorem. Zbl 0278.54003
Goguen, J. A.
129
1973
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
116
1992
The semantics of Clear, a specification language. Zbl 0456.68024
Burstall, R. M.; Goguen, J. A.
89
1980
Initiality, induction, and computability. Zbl 0571.68004
Meseguer, José; Goguen, Joseph A.
56
1985
Institution morphisms. Zbl 1001.68019
Goguen, Joseph; Roşu, Grigore
51
2002
Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014
Goguen, J.; Meseguer, J.
50
1982
Introducing institutions. Zbl 0543.68021
Goguen, J. A.; Burstall, R. M.
50
1984
Concept representation in natural and artificial languages: axioms, extensions and applications for fuzzy sets. Zbl 0321.68055
Goguen, Joseph A. jun.
50
1974
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
41
1982
A hidden agenda. Zbl 0946.68070
Goguen, Joseph A.; Malcolm, Grant
39
2000
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
38
1985
How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043
Goguen, J. A.
35
1980
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
31
1984
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
31
1991
Minimal realization of machines in closed categories. Zbl 0277.18003
Goguen, J. A.
30
1972
A categorical manifesto. Zbl 0747.18001
Goguen, Joseph A.
27
1991
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144
Meseguer, José; Goguen, Joseph A.
26
1993
Introducing institutions. Zbl 1288.03001
Goguen, J. A.; Burstall, R. M.
26
2012
Realization is universal. Zbl 0248.18015
Goguen, J. A.
24
1973
Models and equality for logical programming. Zbl 0626.68032
Goguen, Joseph A.; Meseguer, José
23
1987
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; Diaconescu, Răzvan
23
1994
Order-sorted unification. Zbl 0691.03002
Meseguer, José; Goguen, Joseph A.; Smolka, Gert
22
1989
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
22
1994
Categories of V-sets. Zbl 0177.02401
Goguen, J. A.
21
1969
Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009
Burstall, R. M.; Goguen, J. A.
20
1982
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
20
1976
Algebraic semantics of imperative programs. Zbl 0887.68066
Goguen, Joseph A.; Malcolm, Grant
20
1996
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
19
1985
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
17
1988
Composing hidden information modules over inclusive institutions. Zbl 1278.68203
Goguen, Joseph; Rosu, Grigore
17
2004
A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002
Goguen, Joseph A.; Burstall, R. M.
17
1986
Types as theories. Zbl 0792.68100
Goguen, Joseph A.
17
1991
Abstract errors for abstract data types. Zbl 0373.68024
Goguen, Joseph A.
17
1978
Parameterized programming. Zbl 0545.68017
Goguen, Joseph A.
16
1984
Hiding more of hidden algebra. Zbl 0953.68094
Goguen, Joseph; Roşu, Grigore
15
1999
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories. Zbl 0566.68065
Goguen, J. A.; Burstall, R. M.
12
1984
Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067
Goguen, Joseph A.; Malcolm, Grant
12
1999
On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. Zbl 0285.68010
Goguen, J. A. jun.
12
1974
Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005
Goguen, Joseph A.
12
1992
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
11
2005
Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
11
1975
Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002
Goguen, J. A.
10
1975
Parallel realization of systems, using factorizations and quotients in categories. Zbl 0333.93002
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
10
1976
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
9
1987
Hidden congruent deduction. Zbl 0964.68083
Roşu, Grigore; Goguen, Joseph
9
2000
Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories. Zbl 0566.68066
Goguen, J. A.; Burstall, R. M.
9
1984
Semantics of computation. Zbl 0306.68028
Goguen, J. A.
9
1975
Behavioral and coinductive rewriting. Zbl 0962.68078
Goguen, Joseph; Lin, Kai; Rosu, Grigore
8
2000
Correctness of recursive parallel nondeterministic flow programs. Zbl 0532.68019
Goguen, J. A.; Meseguer, J.
6
1983
Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121
Goguen, Joseph A.; Lin, Kai; Roşu, Grigore
6
2003
Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014
Goguen, Joseph A.; Parsaye-Ghomi, Kamran
6
1981
The correctness problem in computer science. Zbl 0476.68009
6
1981
Objects. Zbl 0336.18001
Goguen, Joseph A.
5
1974
A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041
Goguen, Joseph; Malcolm, Grant; Kemp, Tom
5
2002
What is a concept? Zbl 1132.68059
Goguen, Joseph
5
2005
Correctness of recursive flow diagram programs. Zbl 0354.68028
Goguen, J. A.; Meseguer, J.
5
1977
Remarks on remarks on many-sorted equational logic. Zbl 1023.68630
Goguen, Joseph A.; Meseguer, José
5
1986
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
5
2007
On equational Craig interpolation. Zbl 0962.03026
Rosu, Grigore; Goguen, Joseph
4
2000
Data, schema, ontology and logic integration. Zbl 1094.68018
Goguen, Joseph A.
4
2005
Correctness and equivalence of data types. Zbl 0387.68013
Goguen, J. A.
4
1976
Proving and rewriting. Zbl 1496.03045
Goguen, Joseph A.
4
1990
Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021
Goguen, Joseph A.
3
1988
A hidden Herbrand theorem. Zbl 0926.03034
Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom
3
1998
On fuzzy robot planning. Zbl 0341.68062
Goguen, J. A.
3
1975
One, none, a hundred thousand specification languages. Zbl 0606.68010
Goguen, Joseph A.
3
1986
Memories of ADJ. Zbl 0709.68027
Goguen, Joseph A.
3
1989
Final algebras, cosemicomputable algebras and degrees of unsolvability. Zbl 0768.68093
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
3
1992
Systems and distinctions; duality and complementarity. Zbl 0403.93003
Goguen, Joseph A.; Varela, Francisco J.
3
1979
Specifying, programming and verifying with equational logic. Zbl 1221.68155
Goguen, Joseph; Lin, Kai
2
2005
System theory concepts in computer science. Zbl 0362.68029
Goguen, J. A.
2
1973
A categorical approach to general systems. Zbl 0409.93002
Ginali, Susanna; Goguen, Joseph
2
1978
Compiling concurrent rewriting onto the rewrite rule machine. Zbl 1507.68138
Aida, Hitoshi; Goguen, Joseph; Meseguer, José
2
1991
Final algebras, cosemicomputable algebras, and degrees of unsolvability. Zbl 0639.68026
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
1
1987
Hidden algebra for software engineering. Zbl 0960.68038
Goguen, Joseph A.
1
1999
Web-based support for cooperative software engineering. Zbl 0985.68586
Goguen, Joseph A.; Lin, Kai
1
2001
Axioms for discrimination information. Zbl 0315.94020
Goguen, J. A.; Carlson, L. A.
1
1975
FUNNEL: A CHDL with formal semantics. Zbl 0794.68020
Stavridou, V.; Goguen, J. A.; Eker, S. M.; Aloneftis, S. N.
1
1992
Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs. Zbl 0456.68011
Goguen, Joseph A.
1
1979
A short Oxford survey of order sorted algebra. Zbl 1023.08500
Goguen, Joseph; Diaconescu, Răzvan
1
1992
An introduction to category-based equational logic. Zbl 1496.03130
Goguen, Joseph A.; Diaconescu, Răzvan
1
1995
Introducing institutions. Zbl 1288.03001
Goguen, J. A.; Burstall, R. M.
26
2012
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
5
2007
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
11
2005
What is a concept? Zbl 1132.68059
Goguen, Joseph
5
2005
Data, schema, ontology and logic integration. Zbl 1094.68018
Goguen, Joseph A.
4
2005
Specifying, programming and verifying with equational logic. Zbl 1221.68155
Goguen, Joseph; Lin, Kai
2
2005
Composing hidden information modules over inclusive institutions. Zbl 1278.68203
Goguen, Joseph; Rosu, Grigore
17
2004
Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121
Goguen, Joseph A.; Lin, Kai; Roşu, Grigore
6
2003
Institution morphisms. Zbl 1001.68019
Goguen, Joseph; Roşu, Grigore
51
2002
A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041
Goguen, Joseph; Malcolm, Grant; Kemp, Tom
5
2002
Web-based support for cooperative software engineering. Zbl 0985.68586
Goguen, Joseph A.; Lin, Kai
1
2001
A hidden agenda. Zbl 0946.68070
Goguen, Joseph A.; Malcolm, Grant
39
2000
Hidden congruent deduction. Zbl 0964.68083
Roşu, Grigore; Goguen, Joseph
9
2000
Behavioral and coinductive rewriting. Zbl 0962.68078
Goguen, Joseph; Lin, Kai; Rosu, Grigore
8
2000
On equational Craig interpolation. Zbl 0962.03026
Rosu, Grigore; Goguen, Joseph
4
2000
Hiding more of hidden algebra. Zbl 0953.68094
Goguen, Joseph; Roşu, Grigore
15
1999
Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067
Goguen, Joseph A.; Malcolm, Grant
12
1999
Hidden algebra for software engineering. Zbl 0960.68038
Goguen, Joseph A.
1
1999
A hidden Herbrand theorem. Zbl 0926.03034
Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom
3
1998
Algebraic semantics of imperative programs. Zbl 0887.68066
Goguen, Joseph A.; Malcolm, Grant
20
1996
An introduction to category-based equational logic. Zbl 1496.03130
Goguen, Joseph A.; Diaconescu, Răzvan
1
1995
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; Diaconescu, Răzvan
23
1994
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
22
1994
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144
Meseguer, José; Goguen, Joseph A.
26
1993
Institutions: Abstract model theory for specification and programming. Zbl 0799.68134
Goguen, Joseph A.; Burstall, Rod M.
230
1992
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
116
1992
Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005
Goguen, Joseph A.
12
1992
Final algebras, cosemicomputable algebras and degrees of unsolvability. Zbl 0768.68093
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
3
1992
FUNNEL: A CHDL with formal semantics. Zbl 0794.68020
Stavridou, V.; Goguen, J. A.; Eker, S. M.; Aloneftis, S. N.
1
1992
A short Oxford survey of order sorted algebra. Zbl 1023.08500
Goguen, Joseph; Diaconescu, Răzvan
1
1992
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
31
1991
A categorical manifesto. Zbl 0747.18001
Goguen, Joseph A.
27
1991
Types as theories. Zbl 0792.68100
Goguen, Joseph A.
17
1991
Compiling concurrent rewriting onto the rewrite rule machine. Zbl 1507.68138
Aida, Hitoshi; Goguen, Joseph; Meseguer, José
2
1991
Proving and rewriting. Zbl 1496.03045
Goguen, Joseph A.
4
1990
Order-sorted unification. Zbl 0691.03002
Meseguer, José; Goguen, Joseph A.; Smolka, Gert
22
1989
Memories of ADJ. Zbl 0709.68027
Goguen, Joseph A.
3
1989
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
17
1988
Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021
Goguen, Joseph A.
3
1988
Models and equality for logical programming. Zbl 0626.68032
Goguen, Joseph A.; Meseguer, José
23
1987
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
9
1987
Final algebras, cosemicomputable algebras, and degrees of unsolvability. Zbl 0639.68026
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
1
1987
A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002
Goguen, Joseph A.; Burstall, R. M.
17
1986
Remarks on remarks on many-sorted equational logic. Zbl 1023.68630
Goguen, Joseph A.; Meseguer, José
5
1986
One, none, a hundred thousand specification languages. Zbl 0606.68010
Goguen, Joseph A.
3
1986
Initiality, induction, and computability. Zbl 0571.68004
Meseguer, José; Goguen, Joseph A.
56
1985
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
38
1985
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
19
1985
Introducing institutions. Zbl 0543.68021
Goguen, J. A.; Burstall, R. M.
50
1984
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
31
1984
Parameterized programming. Zbl 0545.68017
Goguen, Joseph A.
16
1984
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories. Zbl 0566.68065
Goguen, J. A.; Burstall, R. M.
12
1984
Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories. Zbl 0566.68066
Goguen, J. A.; Burstall, R. M.
9
1984
Correctness of recursive parallel nondeterministic flow programs. Zbl 0532.68019
Goguen, J. A.; Meseguer, J.
6
1983
Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014
Goguen, J.; Meseguer, J.
50
1982
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
41
1982
Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009
Burstall, R. M.; Goguen, J. A.
20
1982
Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014
Goguen, Joseph A.; Parsaye-Ghomi, Kamran
6
1981
The correctness problem in computer science. Zbl 0476.68009
6
1981
The semantics of Clear, a specification language. Zbl 0456.68024
Burstall, R. M.; Goguen, J. A.
89
1980
How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043
Goguen, J. A.
35
1980
Systems and distinctions; duality and complementarity. Zbl 0403.93003
Goguen, Joseph A.; Varela, Francisco J.
3
1979
Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs. Zbl 0456.68011
Goguen, Joseph A.
1
1979
Abstract errors for abstract data types. Zbl 0373.68024
Goguen, Joseph A.
17
1978
A categorical approach to general systems. Zbl 0409.93002
Ginali, Susanna; Goguen, Joseph
2
1978
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
217
1977
Correctness of recursive flow diagram programs. Zbl 0354.68028
Goguen, J. A.; Meseguer, J.
5
1977
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
20
1976
Parallel realization of systems, using factorizations and quotients in categories. Zbl 0333.93002
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
10
1976
Correctness and equivalence of data types. Zbl 0387.68013
Goguen, J. A.
4
1976
Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
11
1975
Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002
Goguen, J. A.
10
1975
Semantics of computation. Zbl 0306.68028
Goguen, J. A.
9
1975
On fuzzy robot planning. Zbl 0341.68062
Goguen, J. A.
3
1975
Axioms for discrimination information. Zbl 0315.94020
Goguen, J. A.; Carlson, L. A.
1
1975
Concept representation in natural and artificial languages: axioms, extensions and applications for fuzzy sets. Zbl 0321.68055
Goguen, Joseph A. jun.
50
1974
On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. Zbl 0285.68010
Goguen, J. A. jun.
12
1974
Objects. Zbl 0336.18001
Goguen, Joseph A.
5
1974
The fuzzy Tychonoff theorem. Zbl 0278.54003
Goguen, J. A.
129
1973
Realization is universal. Zbl 0248.18015
Goguen, J. A.
24
1973
System theory concepts in computer science. Zbl 0362.68029
Goguen, J. A.
2
1973
Minimal realization of machines in closed categories. Zbl 0277.18003
Goguen, J. A.
30
1972
The logic of inexact concepts. Zbl 0184.00903
Goguen, J. A.
218
1969
Categories of V-sets. Zbl 0177.02401
Goguen, J. A.
21
1969
L-fuzzy sets. Zbl 0145.24404
Goguen, J. A.
903
1967
all top 5

Cited by 1,961 Authors

60 Meseguer Guaita, José
36 Diaconescu, Răzvan
30 Bělohlávek, Radim
24 Goguen, Joseph Amadee
24 Kerre, Etienne E.
24 Tepavčević, Andreja
24 Vychodil, Vilém
23 Deschrijver, Glad
23 Hennicker, Rolf
23 Mossakowski, Till
23 Tarlecki, Andrzej
22 Šešelja, Branimir
21 Solovyov, Sergey A.
20 Höhle, Ulrich
18 Gerla, Giangiacomo
18 Roşu, Grigore
18 Sannella, Donald T.
18 Šostak, Alexander P.
17 Ehrig, Hartmut
16 Bustince Sola, Humberto
16 Ésik, Zoltán
15 Prade, Henri M.
14 Courcelle, Bruno
14 Dubois, Didier
14 Fang, Jinming
14 Lucas, Salvador
13 Hu, Baoqing
13 Mesiar, Radko
13 Orejas, Fernando
13 Rabe, Florian
13 Rodabaugh, Stephen Ernest
13 Tiwari, S. P.
12 Bayoumi, Fatma
12 Corradini, Andrea
12 Durán, Francisco
12 Escobar, Santiago
12 Voutsadakis, George
12 Wirsing, Martin
11 Gottwald, Siegfried
11 Kramosil, Ivan
11 Lucanu, Dorel
11 Shi, Fu-Gui
11 Zahedi, Mohammad Mehdi
10 Aiguier, Marc
10 Bidoit, Michel
10 Futatsugi, Kokichi
10 Madeira, Alexandre
10 Martí-Oliet, Narciso
10 Martins, Manuel António
10 Pedrycz, Witold
10 Zadeh, Lotfi Asker
9 Bedregal, Benjamín René Callejas
9 Bloom, Stephen L.
9 De Baets, Bernard
9 Di Nola, Antonio
9 Eklund, Patrik E.
9 Gaĭnă, Daniel
9 Gallier, Jean H.
9 Kirchner, Hélène
9 Novák, Vilém
9 Ogata, Kazuhiro
9 Ojeda-Aciego, Manuel
9 Saadati, Reza
9 Vogler, Heiko
9 Xu, Yang
9 Yao, Wei
8 Bloch, Isabelle
8 Codescu, Mihai
8 Drewniak, Józef
8 Knapp, Alexander
8 Manes, Ernest G.
8 Wagner, Eric G.
8 Zhao, Bin
7 Alpuente, María
7 Arbib, Michael A.
7 Clavel, Manuel
7 Eker, Steven
7 Gadducci, Fabio
7 Gähler, Werner
7 Galán, M. Ángeles
7 Gil, María Angeles
7 Guido, Cosimo
7 Kortelainen, Jari
7 Kubiak, Tomasz
7 Lowen, Robert
7 Maibaum, Thomas Stephen Edward
7 Parisi-Presicce, Francesco
7 Ramadan, Ahmed Abd El-Kader
7 Sayed, Osama Rashed
7 Stout, Lawrence Neff
7 Sussner, Peter
7 Trillas, Enric
7 Wang, Chunyong
6 Barrenechea, Edurne
6 Bergstra, Jan A.
6 Brown, Lawrence Michael
6 Cornelis, Chris
6 Demirci, Mustafa
6 Gil, Pedro A.
6 Katsaras, Athanasios K.
...and 1,861 more Authors
all top 5

Cited in 198 Serials

448 Fuzzy Sets and Systems
213 Theoretical Computer Science
103 Information Sciences
62 Journal of Mathematical Analysis and Applications
47 Journal of Computer and System Sciences
41 International Journal of Approximate Reasoning
37 International Journal of General Systems
34 Soft Computing
30 Information and Computation
28 Acta Informatica
25 MSCS. Mathematical Structures in Computer Science
25 Journal of Logical and Algebraic Methods in Programming
23 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
23 Journal of Intelligent and Fuzzy Systems
21 Journal of Symbolic Computation
21 Iranian Journal of Fuzzy Systems
19 Studia Logica
19 Formal Aspects of Computing
18 Information Processing Letters
18 Filomat
17 Computers & Mathematics with Applications
14 Kybernetika
14 Annals of Mathematics and Artificial Intelligence
14 The Journal of Logic and Algebraic Programming
14 Logica Universalis
13 Synthese
12 Artificial Intelligence
12 Journal of Automated Reasoning
11 New Mathematics and Natural Computation
10 Cybernetics and Systems Analysis
9 Chaos, Solitons and Fractals
8 Journal of Pure and Applied Algebra
8 Quaestiones Mathematicae
8 Journal of the Egyptian Mathematical Society
7 Algebra Universalis
7 Mathematical Systems Theory
7 Archive for Mathematical Logic
7 Mathematical Logic Quarterly (MLQ)
7 Journal of Applied Mathematics and Computing
7 Korean Journal of Mathematics
6 International Journal of Mathematics and Mathematical Sciences
6 Kybernetes
6 Annals of Pure and Applied Logic
6 International Journal of Intelligent Systems
6 Journal of Functional Programming
5 Czechoslovak Mathematical Journal
5 The Journal of Symbolic Logic
5 RAIRO, Informatique Théorique
5 Journal of Computer Science and Technology
5 International Journal of Foundations of Computer Science
5 European Journal of Operational Research
5 International Journal of Computer Mathematics
5 Applied Categorical Structures
5 Journal of Inequalities and Applications
5 RAIRO. Theoretical Informatics and Applications
5 Fuzzy Optimization and Decision Making
5 Logical Methods in Computer Science
5 Advances in Fuzzy Systems
4 Applied Mathematics and Computation
4 Journal of Philosophical Logic
4 Manuscripta Mathematica
4 Mathematica Slovaca
4 Cybernetics and Systems
4 Journal of Applied Non-Classical Logics
4 Computational and Applied Mathematics
4 Diagrammes
4 Journal of Applied Logic
4 TWMS Journal of Pure and Applied Mathematics
4 Fuzzy Information and Engineering
4 Journal of Mathematics
3 International Journal of Theoretical Physics
3 Notre Dame Journal of Formal Logic
3 Theory and Decision
3 Topology and its Applications
3 Linear Algebra and its Applications
3 Russian Journal of Mathematical Physics
3 Journal of Discrete Mathematical Sciences & Cryptography
3 ACM Transactions on Computational Logic
3 Hacettepe Journal of Mathematics and Statistics
3 Thai Journal of Mathematics
3 Fixed Point Theory and Applications
3 Axioms
3 Sahand Communications in Mathematical Analysis
2 Bulletin of the Australian Mathematical Society
2 Aplikace Matematiky
2 Automatica
2 BIT
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Demonstratio Mathematica
2 International Journal of Computer & Information Sciences
2 Journal of Algebra
2 Rendiconti del Circolo Matemàtico di Palermo. Serie II
2 Trabajos de Estadistica y de Investigacion Operativa
2 Mathematical Social Sciences
2 International Journal of Production Research
2 Social Choice and Welfare
2 Order
2 RAIRO. Informatique Théorique et Applications
2 Formal Methods in System Design
2 Journal of Mathematical Sciences (New York)
...and 98 more Serials
all top 5

Cited in 47 Fields

1,027 Computer science (68-XX)
897 Mathematical logic and foundations (03-XX)
291 General topology (54-XX)
257 Category theory; homological algebra (18-XX)
227 Order, lattices, ordered algebraic structures (06-XX)
114 General algebraic systems (08-XX)
105 Information and communication theory, circuits (94-XX)
51 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
44 Group theory and generalizations (20-XX)
40 Systems theory; control (93-XX)
29 Associative rings and algebras (16-XX)
24 Statistics (62-XX)
24 Operations research, mathematical programming (90-XX)
23 Measure and integration (28-XX)
21 Combinatorics (05-XX)
21 Functional analysis (46-XX)
19 Probability theory and stochastic processes (60-XX)
17 Linear and multilinear algebra; matrix theory (15-XX)
16 History and biography (01-XX)
13 Operator theory (47-XX)
12 Commutative algebra (13-XX)
11 Real functions (26-XX)
11 Biology and other natural sciences (92-XX)
9 Quantum theory (81-XX)
8 Topological groups, Lie groups (22-XX)
8 Ordinary differential equations (34-XX)
7 Difference and functional equations (39-XX)
6 General and overarching topics; collections (00-XX)
5 Numerical analysis (65-XX)
4 Sequences, series, summability (40-XX)
3 Number theory (11-XX)
3 Partial differential equations (35-XX)
3 Approximations and expansions (41-XX)
3 Integral equations (45-XX)
2 Convex and discrete geometry (52-XX)
2 Algebraic topology (55-XX)
2 Statistical mechanics, structure of matter (82-XX)
1 Field theory and polynomials (12-XX)
1 Nonassociative rings and algebras (17-XX)
1 Functions of a complex variable (30-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Geometry (51-XX)
1 Fluid mechanics (76-XX)
1 Optics, electromagnetic theory (78-XX)
1 Geophysics (86-XX)
1 Mathematics education (97-XX)

Citations by Year