Klaus Keimel

Klaus Keimel, Jimmie D. Lawson: Extending algebraic operations to D-completions. Theor. Comput. Sci. 430: 73-87 (2012)

Jean Goubault-Larrecq, Klaus Keimel: Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. Mathematical Structures in Computer Science 21(3): 511-561 (2011)

Klaus Keimel, A. Rosenbusch, Thomas Streicher: Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language. Theor. Comput. Sci. 412(25): 2701-2713 (2011)

Bernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher: Preface for the special issue on domains. Mathematical Structures in Computer Science 20(2): 105-106 (2010)

Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei Morozov: Preface. Ann. Pure Appl. Logic 159(3): 249-250 (2009)

Klaus Keimel, Jimmie D. Lawson: D-completions and the d-topology. Ann. Pure Appl. Logic 159(3): 292-306 (2009)

Klaus Keimel, A. Rosenbusch, Thomas Streicher: A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language. Ann. Pure Appl. Logic 159(3): 307-317 (2009)

Regina Tix, Klaus Keimel, Gordon D. Plotkin: Retraction notice to "Semantic Domains for Combining Probability and Non-Determinism" [Electron. Notes Theoret. Comput. Sci. 129 (2005) 1-104]. Electr. Notes Theor. Comput. Sci. 222: 1 (2009)

Regina Tix, Klaus Keimel, Gordon D. Plotkin: Semantic Domains for Combining Probability and Non-Determinism. Electr. Notes Theor. Comput. Sci. 222: 3-99 (2009)

Klaus Keimel, Jimmie D. Lawson: Extending Algebraic Operations to D-Completions. Electr. Notes Theor. Comput. Sci. 249: 93-116 (2009)

Klaus Keimel: Bicontinuous Domains and Some Old Problems in Domain Theory. Electr. Notes Theor. Comput. Sci. 257: 35-54 (2009)

Klaus Keimel, Gordon D. Plotkin: Predicate transformers for extended probability and non-determinism. Mathematical Structures in Computer Science 19(3): 501-539 (2009)

Klaus Keimel: Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism. Electr. Notes Theor. Comput. Sci. 155: 423-443 (2006)

Samy Abbes, Klaus Keimel: Projective topology on bifinite domains and applications. Theor. Comput. Sci. 365(3): 171-183 (2006)

Ben Cohen, Martín Hötzel Escardó, Klaus Keimel: The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. TAMC 2006: 566-575

Regina Tix, Klaus Keimel, Gordon D. Plotkin: Semantic Domains for Combining Probability and Non-Determinism. Electr. Notes Theor. Comput. Sci. 129: 1-104 (2005)

Klaus Keimel: The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces. Electr. Notes Theor. Comput. Sci. 87: 225-238 (2004)

Michael Huth, Achim Jung, Klaus Keimel: Linear types and approximation. Mathematical Structures in Computer Science 10(6): 719-745 (2000)

Klaus Keimel, Michael W. Mislove, Constantine Tsinakis: Modern Algebra - Foreword. Theor. Comput. Sci. 249(1): 1 (2000)

Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska: Preface. Electr. Notes Theor. Comput. Sci. 13: 1 (1998)

Klaus Keimel: Bi-continuous valuations. Electr. Notes Theor. Comput. Sci. 13: 119-123 (1998)

Michael Huth, Achim Jung, Klaus Keimel: Linear Types, Approximation, and Topology. LICS 1994: 110-114

Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove: A compendium of continous lattices. Springer 1980, isbn 978-3-540-10111-6, pp. I-XX, 1-371