Continuous lattices and domains G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Cambridge university press, 2003 | 2334 | 2003 |
A compendium of continuous lattices G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Springer Science & Business Media, 2012 | 2271 | 2012 |
Groupes et anneaux réticulés A Bigard, K Keimel, S Wolfenstein Springer, 2006 | 835 | 2006 |
Ordered cones and approximation K Keimel, W Roth Springer, 2006 | 185 | 2006 |
The representation of lattice-ordered groups and rings by sections in sheaves K Keimel, S Teleman, K Keimel Lectures on the applications of sheaves to ring theory, 1-98, 1971 | 122 | 1971 |
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism R Tix, K Keimel, G Plotkin Electronic Notes in Theoretical Computer Science 129, 1-104, 2005 | 91 | 2005 |
Quasicontinuous domains and the Smyth powerdomain R Heckmann, K Keimel Electronic Notes in Theoretical Computer Science 298, 215-232, 2013 | 86 | 2013 |
D-completions and the d-topology K Keimel, JD Lawson Annals of Pure and Applied Logic 159 (3), 292-306, 2009 | 85 | 2009 |
Semantic domains for combining probability and non-determinism R Tix, K Keimel, G Plotkin Electronic Notes in Theoretical Computer Science 222, 3-99, 2009 | 78 | 2009 |
A direct proof of the Hofmann-Mislove theorem K Keimel, J Paseka Proceedings of the American Mathematical Society 120 (1), 301-303, 1994 | 69 | 1994 |
STONE DUALITY FOR VARIETIES GENERATED BY QUASI-PRIMAL ALGEBRAS 59 K Keimel, H Werner Recent Advances in the Representation Theory of Rings and $ C^\ast …, 1974 | 67 | 1974 |
Sheaf theoretical concepts in analysis: bundles and sheaves of Banach spaces, Banach C (X)-modules KH Hofmann, K Keimel Applications of Sheaves: Proceedings of the Research Symposium on …, 2006 | 64 | 2006 |
A general character theory for partially ordered sets and lattices KH Hofmann, K Keimel American Mathematical Soc., 1972 | 64 | 1972 |
Mixed powerdomains for probability and nondeterminism K Keimel, GD Plotkin Logical Methods in Computer Science 13, 2017 | 57 | 2017 |
Sur les endomorphismes conservant les polaires d'un groupe réticulé archimédien A Bigard, K Keimel Bulletin de la Société Mathématique de France 97, 381-398, 1969 | 54 | 1969 |
The way-below relation of function spaces over semantic domains T Erker, MH Escardó, K Keimel Topology and its Applications 89 (1-2), 61-74, 1998 | 51 | 1998 |
A unified theory of minimal prime ideals K Keimel Acta Mathematica Hungarica 23 (1-2), 51-69, 1972 | 49 | 1972 |
The probabilistic powerdomain for stably compact spaces M Alvarez-Manilla, A Jung, K Keimel Theoretical Computer Science 328 (3), 221-244, 2004 | 45 | 2004 |
Topological cones: functional analysis in a T0-setting K Keimel Semigroup Forum 77 (1), 109-142, 2008 | 42 | 2008 |
Compact continuous L-domains J Liang, K Keimel Computers & Mathematics with Applications 38 (1), 81-89, 1999 | 38 | 1999 |