A compendium of continous lattices. - Gerhard Gierz; Karl Heinrich Hofmann; Klaus Keimel; Jimmie D. Lawson; Michael W. Mislove (Springer, 1980)

Linear Types, Approximation, and Topology - Michael Huth 001; Achim Jung; Klaus Keimel (LICS, 1994)

Preface. - Abbas Edalat; Achim Jung; Klaus Keimel; Marta Z. Kwiatkowska (COMPROX, 1997)

Bi-continuous valuations. - Klaus Keimel (COMPROX, 1997)

Linear types and approximation. - Michael Huth 001; Achim Jung; Klaus Keimel (Math. Struct. Comput. Sci., 2000)

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

The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces. - Klaus Keimel (DTMPP, 2003)

The probabilistic powerdomain for stably compact spaces. - Maurizio Alvarez-Manilla; Achim Jung; Klaus Keimel (Theor. Comput. Sci., 2004)

Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism. - Klaus Keimel (MFPS, 2005)

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

Projective topology on bifinite domains and applications. - Samy Abbes; Klaus Keimel (Theor. Comput. Sci., 2006)

Continuous Lattices and Domains. - Ulrich Berger 001; Gerhard Gierz; Karl Heinrich Hofmann; Klaus Keimel; Jimmie D. Lawson; Michael W. Mislove; Dana S. Scott (Stud Logica, 2007)

Preface. - Yuri Leonidovich Ershov; Klaus Keimel; Ulrich Kohlenbach; Andrei S. Morozov (Ann. Pure Appl. Log., 2009)

D-completions and the d-topology. - Klaus Keimel; Jimmie D. Lawson (Ann. Pure Appl. Log., 2009)

A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language. - Klaus Keimel; Artus Ph. Rosenbusch; Thomas Streicher (Ann. Pure Appl. Log., 2009)

Bicontinuous Domains and Some Old Problems in Domain Theory. - Klaus Keimel (ISDT, 2009)

Predicate transformers for extended probability and non-determinism. - Klaus Keimel; Gordon D. Plotkin (Math. Struct. Comput. Sci., 2009)

Preface for the special issue on domains. - Bernhard Reus; Achim Jung; Klaus Keimel; Thomas Streicher (Math. Struct. Comput. Sci., 2010)

Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. - Jean Goubault-Larrecq; Klaus Keimel (Math. Struct. Comput. Sci., 2011)

Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language. - Klaus Keimel; Artus Ph. Rosenbusch; Thomas Streicher (Theor. Comput. Sci., 2011)

Extending algebraic operations to D-completions. - Klaus Keimel; Jimmie D. Lawson (Theor. Comput. Sci., 2012)

Quasicontinuous Domains and the Smyth Powerdomain. - Reinhold Heckmann; Klaus Keimel (MFPS, 2013)

On the equivalence of state transformer semantics and predicate transformer semantics. - Klaus Keimel (CoRR, 2014)

Observationally-induced algebras in Domain Theory. - Ingo Battenfeld; Klaus Keimel; Thomas Streicher (Log. Methods Comput. Sci., 2014)

Weak upper topologies and duality for cones. - Klaus Keimel (Log. Methods Comput. Sci., 2015)

Healthiness Conditions for Predicate Transformers. - Klaus Keimel (MFPS, 2015)

Preface. - Ulrich Berger 001; Jens Blanck; Martín Escardó; Klaus Keimel (J. Log. Algebraic Methods Program., 2015)

Mixed powerdomains for probability and nondeterminism. - Klaus Keimel; Gordon D. Plotkin (Log. Methods Comput. Sci., 2017)

Domain Theory its Ramifications and Interactions. - Klaus Keimel (ISDT, 2017)

The Cuntz semigroup and domain theory. - Klaus Keimel (Soft Comput., 2017)