×

Mislove, Michael W.

Compute Distance To:
Author ID: mislove.michael-w Recent zbMATH articles by "Mislove, Michael W."
Published as: Mislove, Michael; Mislove, Michael W.; Mislove, M. W.; Mislove, M.
all top 5

Co-Authors

30 single-authored
22 Hofmann, Karl Heinrich
8 Worrell, James B.
6 Lawson, Jimmie Don
5 Brookes, Stephen D.
5 Liukkonen, John R.
5 Main, Michael G.
5 Ouaknine, Joel O.
4 Melton, Austin C. jun.
4 Oles, Frank J.
4 Pavlović, Duško
4 Reed, George Michael
4 Roscoe, Andrew William
4 Schmidt, David A.
4 Stralka, Albert R.
3 Abramsky, Samson
3 Gastin, Paul
3 Keimel, Klaus
3 Lindenhovius, Bert
3 Martin, Keye
3 Priestley, Hilary A.
3 Wachter, R. F.
2 Brian, William Rea
2 Brookes, Steve
2 Gierz, Gerhard
2 Jung, Achim
2 Moss, Lawrence S.
2 Palamidessi, Catuscia
2 Rogers, James Ted jun.
2 Scott, Dana Stewart
2 Shakhmatov, Dmitri B.
2 van Breugel, Franck
2 Zamdzhiev, Vladimir
1 Arkhangel’skiĭ, Aleksandr Vladimirovich
1 Artemov, Sergei
1 Bauer, Andrej
1 Berger, Ulrich
1 Berglund, John F.
1 Bernett, H. R.
1 Blakey, Ed
1 Brechner, Beverly Lorraine
1 Brooks, Stephen P.
1 Carruth, J. Harvey
1 Cleaveland, Rance
1 Coecke, Bob
1 Dijkstra, Jan J.
1 Godefroy, Gilles
1 Gruenhage, Gary F.
1 Hindman, Neil
1 Hötzel Escardó, Martín
1 Jia, Xiaodong
1 Kopperman, Ralph David
1 Kornell, Andre
1 Kozen, Dexter C.
1 Künzi, Hans-Peter A.
1 Liu, Yingming
1 Luo, Maokang
1 Lutzer, David J.
1 Marciszewski, M.
1 Morris, Sidney A.
1 Mulry, Philip S.
1 Nickolas, Peter
1 Pestov, Vladimir G.
1 Pol, Roman
1 Repovš, Dušan D.
1 Scedrov, Andre
1 Schneider, Steve A.
1 Selinger, Peter
1 Semenov, Pavel Vladimirovič
1 Solecki, Sławomir
1 Strauss, Dona
1 Svetlichny, Sergey A.
1 Tennent, Robert D.
1 Tkachenko, Mikhail Gelievich
1 Toruńczyk, Henryk
1 Tsinakis, Constantine
1 van Mill, Jan
1 Watson, William Stephen

Publications by Year

Citations contained in zbMATH Open

66 Publications have been cited 1,324 times in 1,158 Documents Cited by Year
A compendium of continuous lattices. Zbl 0452.06001
Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S.
608
1980
Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S.
332
2003
The Pontryagin duality of compact O-dimensional semilattices and its applications. Zbl 0281.06004
Hofmann, Karl Heinrich; Mislove, Michael; Stralka, Albert
56
1974
Topology, domain theory and theoretical computer science. Zbl 0923.54027
Mislove, Michael W.
32
1998
Axioms for probability and nondeterminism. Zbl 1271.68192
Mislove, Michael; Ouaknine, Joël; Worrell, James
20
2004
Nondeterminism and probabilistic choice: Obeying the laws. Zbl 0999.68147
Mislove, Michael
18
2000
Domain theory, testing and simulation for labelled Markov processes. Zbl 1070.68108
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
18
2005
Local compactness and continuous lattices. Zbl 0464.06005
Hofmann, Karl Heinrich; Mislove, Michael W.
17
1981
Testing semantics: Connecting processes and process logics. Zbl 1236.68065
Pavlovic, Dusko; Mislove, Michael; Worrell, James B.
17
2006
Local dcpos, local cpos and local completions. Zbl 0924.68112
Mislove, M.
16
1999
Non-well-founded sets modeled as ideal fixed points. Zbl 0723.03031
Mislove, Michael W.; Moss, Lawrence S.; Oles, Frank J.
12
1991
Local product structures on homogeneous continua. Zbl 0674.54024
Mislove, Michael W.; Rogers, James T. jun.
11
1989
Symmetry in Fourier-Stieltjes algebras. Zbl 0295.43005
Liukkonen, John R.; Mislove, Michael W.
11
1975
Compact extensions of compactly generated nilpotent groups are pro-Lie. Zbl 0489.22006
Hofmann, Karl Heinrich; Liukkonen, John R.; Mislove, Michael W.
10
1982
Enriching a linear/non-linear lambda calculus: a programming language for string diagrams. Zbl 1454.03023
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir
10
2018
Duality for labelled Markov processes. Zbl 1126.68460
Mislove, Michael; Ouaknine, Joël; Pavlovic, Dusko; Worrell, James
8
2004
Algebraic posets, algebraic cpo’s and models of concurrency. Zbl 0792.68103
Mislove, Michael W.
7
1991
An intrinsic characterization of approximate probabilistic bisimilarity. Zbl 1029.68112
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
6
2003
Limit laws for wide varieties of topological groups. Zbl 0892.22001
Kopperman, Ralph D.; Mislove, Michael W.; Morris, Sidney A.; Nickolas, Peter; Pestov, Vladimir; Svetlichny, Sergey
6
1996
The centralizing theorem for left normal groups of units in compact monoids. Zbl 0223.22002
Hofmann, Karl Heinrich; Mislove, Michael
6
1971
When are order scattered and topologically scattered the same? Zbl 0553.06007
Mislove, Michael
6
1984
The existence and structure of Irr(X). Zbl 0292.20055
Mislove, Michael W.
5
1972
Fourier-Stieltjes algebras of compact extensions of nilpotent groups. Zbl 0449.43004
Liukkonen, John R.; Mislove, Michael W.
4
1981
Addendum: Local product structures on homogeneous continua. Zbl 0689.54022
Mislove, Michael W.; Rogers, James T. jun.
4
1990
Every infinite compact group can have a non-measurable subgroup. Zbl 1350.22002
Brian, W. R.; Mislove, M. W.
4
2016
Compact affine monoids, harmonic analysis and information theory. Zbl 1266.22003
Hofmann, Karl H.; Mislove, Michael
4
2012
Ordered sets with no infinite antichains. Zbl 0624.06001
Lawson, J. D.; Mislove, M.; Priestley, H.
4
1987
Amalgamation in categories with concrete duals. Zbl 0381.18008
Hofmann, Karl Heinrich; Mislove, Michael
4
1976
Epics of compact Lawson semilattices are surjective. Zbl 0309.18001
Hofmann, Karl Heinrich; Mislove, Michael
4
1975
LNL-FPC: the linear/non-linear fixpoint calculus. Zbl 07350775
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir
4
2021
A truly concurrent semantics for a simple parallel programming language. Zbl 0944.68123
Gastin, Paul; Mislove, Michael
3
1999
Full abstraction and recursion. Zbl 0878.68033
Mislove, Michael W.; Oles, Frank J.
3
1995
Order scattered distributive continuous lattices are topologically scattered. Zbl 0595.06011
Mislove, Michael W.
3
1985
Semigroups over trees. Zbl 0295.22007
Mislove, M. W.
3
1974
On the duality of semilattices and its applications to lattice theory. Zbl 0306.06004
Hofmann, Karl Heinrich; Mislove, Michael; Stralka, Albert
3
1973
Anatomy of a domain of continuous random variables. II. Zbl 1264.68108
Mislove, Michael
3
2013
Mathematical foundations of programming language semantics. 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987. Proceedings. Zbl 0635.00016
2
1988
Mathematical foundations of programming semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993. Proceedings. Zbl 0825.00084
2
1994
Monoids over domains. Zbl 1113.06004
Mislove, Michael
2
2006
Discrete random variables over domains. Zbl 1118.68084
Mislove, Michael
2
2007
Adjunctions between categories of domains. Zbl 0820.18001
Mislove, Michael W.; Oles, Frank J.
2
1995
A simple process algebra based on atomic actions with resources. Zbl 1102.68083
Gastin, Paul; Mislove, Michael
2
2004
Free objects in the category of completely distributive lattices. Zbl 0576.18001
Hofmann, Karl Heinrich; Mislove, Michael
2
1985
From Haar to Lebesgue via domain theory. Zbl 1414.28024
Brian, Will; Mislove, Michael
2
2014
Anatomy of a domain of continuous random variables. I. Zbl 1417.68094
Mislove, Michael
2
2014
Dimension raising maps in topological algebra. Zbl 0258.22007
Hofmann, Karl-Heinrich; Mislove, Michael; Stralka, Albert
2
1973
The existence of Irr(X). Zbl 0264.22003
Mislove, M. W.
2
1973
On the dimensional capacity of compact semilattices. Zbl 0313.22003
Hofmann, Karl Heinrich; Mislove, Michael; Stralka, Albert
2
1975
Measure algebras of locally compact semilattices. Zbl 0516.43001
Liukkonen, John R.; Mislove, Michael
1
1983
Electronic access for topology resources. Zbl 0911.54001
Brechner, B.; Mislove, M.; Shakhmatov, D.; Watson, S.
1
1996
A truly concurrent semantics for a process algebra using resource pomsets. Zbl 0997.68081
Gastin, Paul; Mislove, Michael
1
2002
Principles underlying the degeneracy of topological models of the untyped lambda calculus. Zbl 0907.18004
Hofmann, Karl H.; Mislove, Michael W.
1
1996
Discrete random variables over domains. Zbl 1085.68084
Mislove, M. W.
1
2005
All compact Hausdorff lambda models are degenerate. Zbl 0818.03005
Hofmann, Karl Heinrich; Mislove, M. W.
1
1995
Discrete random variables over domains, revisited. Zbl 1485.68148
Mislove, Michael
1
2017
Measuring the probabilistic powerdomain. Zbl 1056.68100
Martin, Keye; Mislove, Michael; Worrell, James
1
2002
Fixed points without completeness. Zbl 0874.68186
Mislove, M. W.; Roscoe, A. W.; Schneider, S. A.
1
1995
Infinite antichains in semilattices. Zbl 0584.06002
Lawson, J. D.; Mislove, Michael; Priestley, Hilary A.
1
1985
Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Zbl 1281.68036
1
2011
On the Smyth power domain. Zbl 0666.06005
Mislove, Michael
1
1988
The lattice of kernel operators and topological algebra. Zbl 0337.06004
Hofmann, Karl Heinrich; Mislove, Michael W.
1
1977
The existence of Irr(X). Zbl 0217.08501
Mislove, M. W.
1
1970
Representations by HL-semigroups. Zbl 0218.22006
Mislove, M. W.
1
1971
Domains and stochastic processes. Zbl 1436.68192
Mislove, Michael
1
2020
Semilattices which must contain a copy of \(2^ N\). Zbl 0564.06003
Lawson, Jimmie D.; Mislove, Michael
1
1985
Infinite antichains and duality theories. Zbl 0685.06004
Lawson, Jimmie D.; Mislove, Michael; Priestley, Hilary A.
1
1988
LNL-FPC: the linear/non-linear fixpoint calculus. Zbl 07350775
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir
4
2021
Domains and stochastic processes. Zbl 1436.68192
Mislove, Michael
1
2020
Enriching a linear/non-linear lambda calculus: a programming language for string diagrams. Zbl 1454.03023
Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir
10
2018
Discrete random variables over domains, revisited. Zbl 1485.68148
Mislove, Michael
1
2017
Every infinite compact group can have a non-measurable subgroup. Zbl 1350.22002
Brian, W. R.; Mislove, M. W.
4
2016
From Haar to Lebesgue via domain theory. Zbl 1414.28024
Brian, Will; Mislove, Michael
2
2014
Anatomy of a domain of continuous random variables. I. Zbl 1417.68094
Mislove, Michael
2
2014
Anatomy of a domain of continuous random variables. II. Zbl 1264.68108
Mislove, Michael
3
2013
Compact affine monoids, harmonic analysis and information theory. Zbl 1266.22003
Hofmann, Karl H.; Mislove, Michael
4
2012
Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Zbl 1281.68036
1
2011
Discrete random variables over domains. Zbl 1118.68084
Mislove, Michael
2
2007
Testing semantics: Connecting processes and process logics. Zbl 1236.68065
Pavlovic, Dusko; Mislove, Michael; Worrell, James B.
17
2006
Monoids over domains. Zbl 1113.06004
Mislove, Michael
2
2006
Domain theory, testing and simulation for labelled Markov processes. Zbl 1070.68108
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
18
2005
Discrete random variables over domains. Zbl 1085.68084
Mislove, M. W.
1
2005
Axioms for probability and nondeterminism. Zbl 1271.68192
Mislove, Michael; Ouaknine, Joël; Worrell, James
20
2004
Duality for labelled Markov processes. Zbl 1126.68460
Mislove, Michael; Ouaknine, Joël; Pavlovic, Dusko; Worrell, James
8
2004
A simple process algebra based on atomic actions with resources. Zbl 1102.68083
Gastin, Paul; Mislove, Michael
2
2004
Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S.
332
2003
An intrinsic characterization of approximate probabilistic bisimilarity. Zbl 1029.68112
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James
6
2003
A truly concurrent semantics for a process algebra using resource pomsets. Zbl 0997.68081
Gastin, Paul; Mislove, Michael
1
2002
Measuring the probabilistic powerdomain. Zbl 1056.68100
Martin, Keye; Mislove, Michael; Worrell, James
1
2002
Nondeterminism and probabilistic choice: Obeying the laws. Zbl 0999.68147
Mislove, Michael
18
2000
Local dcpos, local cpos and local completions. Zbl 0924.68112
Mislove, M.
16
1999
A truly concurrent semantics for a simple parallel programming language. Zbl 0944.68123
Gastin, Paul; Mislove, Michael
3
1999
Topology, domain theory and theoretical computer science. Zbl 0923.54027
Mislove, Michael W.
32
1998
Limit laws for wide varieties of topological groups. Zbl 0892.22001
Kopperman, Ralph D.; Mislove, Michael W.; Morris, Sidney A.; Nickolas, Peter; Pestov, Vladimir; Svetlichny, Sergey
6
1996
Electronic access for topology resources. Zbl 0911.54001
Brechner, B.; Mislove, M.; Shakhmatov, D.; Watson, S.
1
1996
Principles underlying the degeneracy of topological models of the untyped lambda calculus. Zbl 0907.18004
Hofmann, Karl H.; Mislove, Michael W.
1
1996
Full abstraction and recursion. Zbl 0878.68033
Mislove, Michael W.; Oles, Frank J.
3
1995
Adjunctions between categories of domains. Zbl 0820.18001
Mislove, Michael W.; Oles, Frank J.
2
1995
All compact Hausdorff lambda models are degenerate. Zbl 0818.03005
Hofmann, Karl Heinrich; Mislove, M. W.
1
1995
Fixed points without completeness. Zbl 0874.68186
Mislove, M. W.; Roscoe, A. W.; Schneider, S. A.
1
1995
Mathematical foundations of programming semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993. Proceedings. Zbl 0825.00084
2
1994
Non-well-founded sets modeled as ideal fixed points. Zbl 0723.03031
Mislove, Michael W.; Moss, Lawrence S.; Oles, Frank J.
12
1991
Algebraic posets, algebraic cpo’s and models of concurrency. Zbl 0792.68103
Mislove, Michael W.
7
1991
Addendum: Local product structures on homogeneous continua. Zbl 0689.54022
Mislove, Michael W.; Rogers, James T. jun.
4
1990
Local product structures on homogeneous continua. Zbl 0674.54024
Mislove, Michael W.; Rogers, James T. jun.
11
1989
Mathematical foundations of programming language semantics. 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987. Proceedings. Zbl 0635.00016
2
1988
On the Smyth power domain. Zbl 0666.06005
Mislove, Michael
1
1988
Infinite antichains and duality theories. Zbl 0685.06004
Lawson, Jimmie D.; Mislove, Michael; Priestley, Hilary A.
1
1988
Ordered sets with no infinite antichains. Zbl 0624.06001
Lawson, J. D.; Mislove, M.; Priestley, H.
4
1987
Order scattered distributive continuous lattices are topologically scattered. Zbl 0595.06011
Mislove, Michael W.
3
1985
Free objects in the category of completely distributive lattices. Zbl 0576.18001
Hofmann, Karl Heinrich; Mislove, Michael
2
1985
Infinite antichains in semilattices. Zbl 0584.06002
Lawson, J. D.; Mislove, Michael; Priestley, Hilary A.
1
1985
Semilattices which must contain a copy of \(2^ N\). Zbl 0564.06003
Lawson, Jimmie D.; Mislove, Michael
1
1985
When are order scattered and topologically scattered the same? Zbl 0553.06007
Mislove, Michael
6
1984
Measure algebras of locally compact semilattices. Zbl 0516.43001
Liukkonen, John R.; Mislove, Michael
1
1983
Compact extensions of compactly generated nilpotent groups are pro-Lie. Zbl 0489.22006
Hofmann, Karl Heinrich; Liukkonen, John R.; Mislove, Michael W.
10
1982
Local compactness and continuous lattices. Zbl 0464.06005
Hofmann, Karl Heinrich; Mislove, Michael W.
17
1981
Fourier-Stieltjes algebras of compact extensions of nilpotent groups. Zbl 0449.43004
Liukkonen, John R.; Mislove, Michael W.
4
1981
A compendium of continuous lattices. Zbl 0452.06001
Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S.
608
1980
The lattice of kernel operators and topological algebra. Zbl 0337.06004
Hofmann, Karl Heinrich; Mislove, Michael W.
1
1977
Amalgamation in categories with concrete duals. Zbl 0381.18008
Hofmann, Karl Heinrich; Mislove, Michael
4
1976
Symmetry in Fourier-Stieltjes algebras. Zbl 0295.43005
Liukkonen, John R.; Mislove, Michael W.
11
1975
Epics of compact Lawson semilattices are surjective. Zbl 0309.18001
Hofmann, Karl Heinrich; Mislove, Michael
4
1975
On the dimensional capacity of compact semilattices. Zbl 0313.22003
Hofmann, Karl Heinrich; Mislove, Michael; Stralka, Albert
2
1975
The Pontryagin duality of compact O-dimensional semilattices and its applications. Zbl 0281.06004
Hofmann, Karl Heinrich; Mislove, Michael; Stralka, Albert
56
1974
Semigroups over trees. Zbl 0295.22007
Mislove, M. W.
3
1974
On the duality of semilattices and its applications to lattice theory. Zbl 0306.06004
Hofmann, Karl Heinrich; Mislove, Michael; Stralka, Albert
3
1973
Dimension raising maps in topological algebra. Zbl 0258.22007
Hofmann, Karl-Heinrich; Mislove, Michael; Stralka, Albert
2
1973
The existence of Irr(X). Zbl 0264.22003
Mislove, M. W.
2
1973
The existence and structure of Irr(X). Zbl 0292.20055
Mislove, Michael W.
5
1972
The centralizing theorem for left normal groups of units in compact monoids. Zbl 0223.22002
Hofmann, Karl Heinrich; Mislove, Michael
6
1971
Representations by HL-semigroups. Zbl 0218.22006
Mislove, M. W.
1
1971
The existence of Irr(X). Zbl 0217.08501
Mislove, M. W.
1
1970
all top 5

Cited by 999 Authors

30 Erné, Marcel
27 Li, Qingguo
26 Mislove, Michael W.
25 Shi, Fu-Gui
19 Kubiak, Tomasz
19 Lawson, Jimmie Don
19 Xi, Xiaoyong
18 Zhang, Dexue
17 Xu, Xiaoquan
16 Hofmann, Karl Heinrich
16 Zhao, Dongsheng
14 Jäger, Gunther
14 Xu, Luoshan
13 Brown, Lawrence Michael
13 Keimel, Klaus
13 Zhao, Bin
12 Goubault-Larrecq, Jean
12 Luo, Maokang
11 Hofmann, Dirk
10 Bezhanishvili, Guram
10 Kou, Hui
10 Liu, Yingming
10 Solovyov, Sergey A.
9 Höhle, Ulrich
9 Hötzel Escardó, Martín
9 Kopperman, Ralph David
9 Kudri, Soraya R. T.
9 Paseka, Jan
9 Priestley, Hilary A.
9 Šostak, Alexander P.
9 Yildiz, Filiz
8 Davey, Brian A.
8 Edalat, Abbas
8 Georgiou, Dimitrios N.
8 Guo, Lankun
8 Gutiérrez García, Javier
8 Li, Shenggang
8 Mao, Xuxin
8 Pultr, Aleš
8 Stralka, Albert R.
8 Warner, Mary Wynne
8 Zhang, Wenfeng
7 Ertürk, Rıza
7 Gierz, Gerhard
7 Harding, John
7 Jung, Achim
7 Plotkin, Gordon D.
7 Romanowska, Anna B.
6 Ahsanullah, T. M. G.
6 Bonsangue, Marcello Maria
6 Fang, Jinming
6 Ho, Weng Kin
6 Kaniuth, Eberhard
6 Liang, Jihua
6 Ronse, Christian
6 Spreen, Dieter
6 Valero, Oscar
5 Aygün, Halis
5 Banakh, Taras Onufrievich
5 Bonchi, Filippo
5 Choe, Tae Ho
5 Guido, Cosimo
5 Gutik, Oleg Volodymyrovych
5 Haviar, Miroslav
5 Heckmann, Reinhold
5 Iliadis, Stavros D.
5 Klin, Bartek
5 Künzi, Hans-Peter A.
5 Li, Sanjiang
5 Morsi, Nehad Nashaat
5 Papadopoulos, Kyriakos
5 Pouzet, Maurice
5 Romaguera Bonilla, Salvador
5 Selivanov, Viktor L’vovich
5 Silva, Alexandra
5 Smith, Jonathan Dallas Hayden
5 Wang, Guojun
5 Yang, Jinbo
5 Yue, Yueli
5 Zamdzhiev, Vladimir
5 Zhang, Zhongxi
5 Zheng, Chongyou
4 Adaricheva, Kira Vladislavovna
4 Alessi, Fabio
4 Antoine, Ramon
4 Bacci, Giorgio
4 Bedregal, Benjamín René Callejas
4 Chen, Yixiang
4 Dal Lago, Ugo
4 de Prada Vicente, María Angeles
4 Demirci, Mustafa
4 Deng, Yuxin
4 Gastin, Paul
4 Gehrke, Mai
4 Jia, Xiaodong
4 Lu, Jing
4 Mardare, Radu
4 Mardones-Pérez, Iraide
4 Mohebi, Hossein
4 Moshier, M. Andrew
...and 899 more Authors
all top 5

Cited in 210 Serials

140 Fuzzy Sets and Systems
94 Topology and its Applications
80 Theoretical Computer Science
57 Semigroup Forum
47 Algebra Universalis
38 MSCS. Mathematical Structures in Computer Science
33 Order
31 Applied Categorical Structures
27 Journal of Pure and Applied Algebra
18 Logical Methods in Computer Science
17 Transactions of the American Mathematical Society
17 Information and Computation
16 Proceedings of the American Mathematical Society
14 Journal of Mathematical Analysis and Applications
13 Soft Computing
11 Iranian Journal of Fuzzy Systems
10 Mathematische Zeitschrift
10 Quaestiones Mathematicae
9 Information Sciences
9 The Journal of Symbolic Logic
9 Annals of Pure and Applied Logic
8 Acta Mathematica Sinica. English Series
7 Cahiers de Topologie et Géométrie Différentielle Catégoriques
7 Studia Logica
7 Mathematical Logic Quarterly (MLQ)
7 Filomat
6 Archiv der Mathematik
6 International Journal of Mathematics and Mathematical Sciences
6 Journal of the Australian Mathematical Society
5 Israel Journal of Mathematics
5 International Journal of Algebra and Computation
5 Applied General Topology
4 Computers & Mathematics with Applications
4 Mathematica Slovaca
4 Journal of Mathematical Imaging and Vision
4 Topology Proceedings
4 Abstract and Applied Analysis
4 Cahiers de Topologie et Géométrie Différentielle Catégoriques
4 Journal of Intelligent and Fuzzy Systems
4 Open Mathematics
3 Bulletin of the Australian Mathematical Society
3 Communications in Algebra
3 Discrete Mathematics
3 Information Processing Letters
3 Advances in Mathematics
3 Demonstratio Mathematica
3 Journal of Algebra
3 Chinese Annals of Mathematics. Series B
3 International Journal of Computer Mathematics
3 Archive for Mathematical Logic
3 Applicable Algebra in Engineering, Communication and Computing
3 Journal of Applied Non-Classical Logics
3 Computational and Applied Mathematics
3 Journal of the Egyptian Mathematical Society
3 The Bulletin of Symbolic Logic
3 Theory and Applications of Categories
3 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
3 Journal of Applied Logic
3 Fuzzy Information and Engineering
3 Axioms
3 Journal of Logical and Algebraic Methods in Programming
3 Categories and General Algebraic Structures with Applications
2 Houston Journal of Mathematics
2 International Journal of Theoretical Physics
2 Mathematical Proceedings of the Cambridge Philosophical Society
2 Rocky Mountain Journal of Mathematics
2 Studia Mathematica
2 Algebra and Logic
2 Czechoslovak Mathematical Journal
2 Journal of Computer and System Sciences
2 Journal of Functional Analysis
2 Journal of Soviet Mathematics
2 Kybernetika
2 Matematički Vesnik
2 Mathematische Nachrichten
2 Numerical Functional Analysis and Optimization
2 Mathematical Social Sciences
2 Statistics & Probability Letters
2 Acta Mathematica Hungarica
2 Optimization
2 Journal of Automated Reasoning
2 International Journal of Approximate Reasoning
2 Journal of Theoretical Probability
2 Science in China. Series A
2 Formal Aspects of Computing
2 Geometric and Functional Analysis. GAFA
2 Linear Algebra and its Applications
2 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics
2 Chinese Science Bulletin
2 Indagationes Mathematicae. New Series
2 Journal of Mathematical Sciences (New York)
2 Journal of Functional Programming
2 Bulletin des Sciences Mathématiques
2 Constraints
2 Positivity
2 The Journal of Logic and Algebraic Programming
2 Bulletin of the Malaysian Mathematical Sciences Society. Second Series
2 Foundations of Physics
2 European Journal of Pure and Applied Mathematics
2 Acta Universitatis Sapientiae. Mathematica
...and 110 more Serials
all top 5

Cited in 46 Fields

549 Order, lattices, ordered algebraic structures (06-XX)
500 General topology (54-XX)
279 Computer science (68-XX)
210 Category theory; homological algebra (18-XX)
204 Mathematical logic and foundations (03-XX)
79 Topological groups, Lie groups (22-XX)
52 General algebraic systems (08-XX)
43 Functional analysis (46-XX)
39 Group theory and generalizations (20-XX)
24 Probability theory and stochastic processes (60-XX)
19 Measure and integration (28-XX)
19 Abstract harmonic analysis (43-XX)
15 Convex and discrete geometry (52-XX)
13 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
12 Associative rings and algebras (16-XX)
12 Algebraic topology (55-XX)
10 Dynamical systems and ergodic theory (37-XX)
10 Manifolds and cell complexes (57-XX)
9 Real functions (26-XX)
8 Quantum theory (81-XX)
7 Combinatorics (05-XX)
7 Commutative algebra (13-XX)
7 Operator theory (47-XX)
6 Number theory (11-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Calculus of variations and optimal control; optimization (49-XX)
5 History and biography (01-XX)
5 Approximations and expansions (41-XX)
5 Differential geometry (53-XX)
5 Statistics (62-XX)
4 \(K\)-theory (19-XX)
4 Geometry (51-XX)
4 Numerical analysis (65-XX)
4 Relativity and gravitational theory (83-XX)
4 Operations research, mathematical programming (90-XX)
4 Systems theory; control (93-XX)
3 Global analysis, analysis on manifolds (58-XX)
2 General and overarching topics; collections (00-XX)
2 Algebraic geometry (14-XX)
2 Information and communication theory, circuits (94-XX)
1 Field theory and polynomials (12-XX)
1 Nonassociative rings and algebras (17-XX)
1 Potential theory (31-XX)
1 Ordinary differential equations (34-XX)
1 Integral transforms, operational calculus (44-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year