×

Goguen, Joseph Amadee

Compute Distance To:
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: 90 Publications since 1967, including 3 Books
1 Further Contribution
Biographic References: 4 Publications
Co-Authors: 28 Co-Authors with 59 Joint Publications
510 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

80 Publications have been cited 2,780 times in 1,939 Documents Cited by Year
L-fuzzy sets. Zbl 0145.24404
Goguen, J. A.
844
1967
Institutions: Abstract model theory for specification and programming. Zbl 0799.68134
Goguen, Joseph A.; Burstall, Rod M.
211
1992
The logic of inexact concepts. Zbl 0184.00903
Goguen, J. A.
201
1969
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
197
1977
The fuzzy Tychonoff theorem. Zbl 0278.54003
Goguen, J. A.
123
1973
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
106
1992
The semantics of Clear, a specification language. Zbl 0456.68024
Burstall, R. M.; Goguen, J. A.
69
1980
Initiality, induction, and computability. Zbl 0571.68004
Meseguer, José; Goguen, Joseph A.
52
1985
Concept representation in natural and artificial languages: axioms, extensions and applications for fuzzy sets. Zbl 0321.68055
Goguen, Joseph A. jun.
47
1974
Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014
Goguen, J.; Meseguer, J.
46
1982
Institution morphisms. Zbl 1001.68019
Goguen, Joseph; Roşu, Grigore
46
2002
Introducing institutions. Zbl 0543.68021
Goguen, J. A.; Burstall, R. M.
45
1984
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
38
1982
A hidden agenda. Zbl 0946.68070
Goguen, Joseph A.; Malcolm, Grant
36
2000
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
36
1985
Minimal realization of machines in closed categories. Zbl 0277.18003
Goguen, J. A.
29
1972
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
28
1991
A categorical manifesto. Zbl 0747.18001
Goguen, Joseph A.
27
1991
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
27
1984
Introducing institutions. Zbl 1288.03001
Goguen, 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.68043
Goguen, J. A.
24
1980
Realization is universal. Zbl 0248.18015
Goguen, J. A.
23
1973
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; 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.
22
1993
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
21
1994
Categories of V-sets. Zbl 0177.02401
Goguen, J. A.
20
1969
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
18
1976
Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009
Burstall, R. M.; Goguen, J. A.
18
1982
Models and equality for logical programming. Zbl 0626.68032
Goguen, Joseph A.; Meseguer, José
18
1987
Order-sorted unification. Zbl 0691.03002
Meseguer, José; Goguen, Joseph A.; Smolka, Gert
18
1989
Types as theories. Zbl 0792.68100
Goguen, Joseph A.
16
1991
Abstract errors for abstract data types. Zbl 0373.68024
Goguen, Joseph A.
16
1978
Algebraic semantics of imperative programs. Zbl 0887.68066
Goguen, Joseph A.; Malcolm, Grant
16
1996
Hiding more of hidden algebra. Zbl 0953.68094
Goguen, Joseph; Roşu, Grigore
15
1999
A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002
Goguen, Joseph A.; Burstall, R. M.
15
1986
Parameterized programming. Zbl 0545.68017
Goguen, Joseph A.
14
1984
Composing hidden information modules over inclusive institutions. Zbl 1278.68203
Goguen, Joseph; Rosu, Grigore
14
2004
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
14
1985
On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. Zbl 0285.68010
Goguen, J. A. jun.
12
1974
Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067
Goguen, Joseph A.; Malcolm, Grant
12
1999
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
12
1988
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
Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005
Goguen, Joseph A.
11
1992
Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002
Goguen, J. A.
10
1975
Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005
Goguen, 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.93002
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
10
1976
Semantics of computation. Zbl 0306.68028
Goguen, J. A.
9
1975
What is a logic? Zbl 1080.03028
Mossakowski, 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.68066
Goguen, J. A.; Burstall, R. M.
9
1984
Hidden congruent deduction. Zbl 0964.68083
Roşu, Grigore; Goguen, Joseph
7
2000
Behavioral and coinductive rewriting. Zbl 0962.68078
Goguen, Joseph; Lin, Kai; Rosu, Grigore
7
2000
Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014
Goguen, Joseph A.; Parsaye-Ghomi, Kamran
6
1981
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
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
Objects. Zbl 0336.18001
Goguen, Joseph A.
5
1974
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
Correctness and equivalence of data types. Zbl 0387.68013
Goguen, J. A.
4
1976
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
A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041
Goguen, Joseph; Malcolm, Grant; Kemp, Tom
4
2002
Final algebras, cosemicomputable algebras and degrees of unsolvability. Zbl 0768.68093
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
3
1992
On fuzzy robot planning. Zbl 0341.68062
Goguen, J. A.
3
1975
Memories of ADJ. Zbl 0709.68027
Goguen, Joseph A.
3
1989
What is a concept? Zbl 1132.68059
Goguen, Joseph
3
2005
Systems and distinctions; duality and complementarity. Zbl 0403.93003
Goguen, Joseph A.; Varela, Francisco J.
3
1979
One, none, a hundred thousand specification languages. Zbl 0606.68010
Goguen, Joseph A.
3
1986
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
3
1987
Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021
Goguen, Joseph A.
3
1988
The correctness problem in computer science. Zbl 0476.68009
2
1981
System theory concepts in computer science. Zbl 0362.68029
Goguen, J. A.
2
1973
A hidden Herbrand theorem. Zbl 0926.03034
Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom
2
1998
A categorical approach to general systems. Zbl 0409.93002
Ginali, Susanna; Goguen, Joseph
2
1978
Specifying, programming and verifying with equational logic. Zbl 1221.68155
Goguen, Joseph; Lin, Kai
2
2005
FUNNEL: A CHDL with formal semantics. Zbl 0794.68020
Stavridou, V.; Goguen, J. A.; Eker, S. M.; Aloneftis, S. N.
1
1992
Axioms for discrimination information. Zbl 0315.94020
Goguen, J. A.; Carlson, L. A.
1
1975
Web-based support for cooperative software engineering. Zbl 0985.68586
Goguen, Joseph A.; Lin, Kai
1
2001
Final algebras, cosemicomputable algebras, and degrees of unsolvability. Zbl 0639.68026
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
1
1987
Proving and rewriting. Zbl 1496.03045
Goguen, Joseph A.
1
1990
Introducing institutions. Zbl 1288.03001
Goguen, J. A.; Burstall, R. M.
25
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
9
2005
Data, schema, ontology and logic integration. Zbl 1094.68018
Goguen, Joseph A.
4
2005
What is a concept? Zbl 1132.68059
Goguen, Joseph
3
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
14
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
46
2002
A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041
Goguen, Joseph; Malcolm, Grant; Kemp, Tom
4
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
36
2000
Hidden congruent deduction. Zbl 0964.68083
Roşu, Grigore; Goguen, Joseph
7
2000
Behavioral and coinductive rewriting. Zbl 0962.68078
Goguen, Joseph; Lin, Kai; Rosu, Grigore
7
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
A hidden Herbrand theorem. Zbl 0926.03034
Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom
2
1998
Algebraic semantics of imperative programs. Zbl 0887.68066
Goguen, Joseph A.; Malcolm, Grant
16
1996
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; Diaconescu, Răzvan
22
1994
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
21
1994
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144
Meseguer, José; Goguen, Joseph A.
22
1993
Institutions: Abstract model theory for specification and programming. Zbl 0799.68134
Goguen, Joseph A.; Burstall, Rod M.
211
1992
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
106
1992
Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005
Goguen, Joseph A.
11
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
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
28
1991
A categorical manifesto. Zbl 0747.18001
Goguen, Joseph A.
27
1991
Types as theories. Zbl 0792.68100
Goguen, Joseph A.
16
1991
Proving and rewriting. Zbl 1496.03045
Goguen, Joseph A.
1
1990
Order-sorted unification. Zbl 0691.03002
Meseguer, José; Goguen, Joseph A.; Smolka, Gert
18
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
12
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é
18
1987
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
3
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.
15
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.
52
1985
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
36
1985
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
14
1985
Introducing institutions. Zbl 0543.68021
Goguen, J. A.; Burstall, R. M.
45
1984
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
27
1984
Parameterized programming. Zbl 0545.68017
Goguen, Joseph A.
14
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.
46
1982
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
38
1982
Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009
Burstall, R. M.; Goguen, J. A.
18
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
2
1981
The semantics of Clear, a specification language. Zbl 0456.68024
Burstall, R. M.; Goguen, J. A.
69
1980
How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043
Goguen, J. A.
24
1980
Systems and distinctions; duality and complementarity. Zbl 0403.93003
Goguen, Joseph A.; Varela, Francisco J.
3
1979
Abstract errors for abstract data types. Zbl 0373.68024
Goguen, Joseph A.
16
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.
197
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.
18
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
Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002
Goguen, J. A.
10
1975
Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
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.
47
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.
123
1973
Realization is universal. Zbl 0248.18015
Goguen, J. A.
23
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.
29
1972
The logic of inexact concepts. Zbl 0184.00903
Goguen, J. A.
201
1969
Categories of V-sets. Zbl 0177.02401
Goguen, J. A.
20
1969
L-fuzzy sets. Zbl 0145.24404
Goguen, J. A.
844
1967
all top 5

Cited by 1,803 Authors

55 Meseguer Guaita, José
32 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 Gottwald, Siegfried
11 Kramosil, Ivan
11 Lucanu, Dorel
11 Lucas, Salvador
10 Bidoit, Michel
10 Bustince, Humberto
10 Corradini, Andrea
10 Durán, Francisco
10 Escobar, Santiago
10 Futatsugi, Kokichi
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 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 Bedregal, Benjamín René Callejas
8 Bloom, Stephen L.
8 Gaĭnă, Daniel
8 Manes, Ernest G.
8 Martí-Oliet, Narciso
8 Ogata, Kazuhiro
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 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 Codescu, Mihai
6 Cornelis, Chris
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
6 Roggenbach, Markus
...and 1,703 more Authors
all top 5

Cited in 194 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
38 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 Filomat
19 Iranian Journal of Fuzzy Systems
17 Computers & Mathematics with Applications
17 Information Processing Letters
14 Annals of Mathematics and Artificial Intelligence
13 Synthese
13 Logica Universalis
12 Artificial Intelligence
12 Kybernetika
12 Journal of Automated Reasoning
12 The Journal of Logic and Algebraic Programming
10 Cybernetics and Systems Analysis
9 Chaos, Solitons and Fractals
9 New Mathematics and Natural Computation
8 Journal of the Egyptian Mathematical Society
7 Journal of Pure and Applied Algebra
7 Mathematical Systems Theory
7 Quaestiones Mathematicae
7 Archive for Mathematical Logic
7 Mathematical Logic Quarterly (MLQ)
7 Journal of Applied Mathematics and Computing
7 Korean Journal of Mathematics
6 Algebra Universalis
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 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 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
...and 94 more Serials
all top 5

Cited in 47 Fields

933 Computer science (68-XX)
834 Mathematical logic and foundations (03-XX)
272 General topology (54-XX)
234 Category theory; homological algebra (18-XX)
206 Order, lattices, ordered algebraic structures (06-XX)
107 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)
35 Group theory and generalizations (20-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)
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)
10 Real functions (26-XX)
10 Biology and other natural sciences (92-XX)
9 Operator theory (47-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)
2 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