| * | 2009 |
| 14 | EE | Yuri Leonidovich Ershov,
Klaus Keimel,
Ulrich Kohlenbach,
Andrei Morozov:
Preface.
Ann. Pure Appl. Logic 159(3): 249-250 (2009) |
| 13 | EE | Klaus Keimel,
Jimmie D. Lawson:
D-completions and the d-topology.
Ann. Pure Appl. Logic 159(3): 292-306 (2009) |
| 12 | EE | 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) |
| 11 | EE | Klaus Keimel,
Gordon D. Plotkin:
Predicate transformers for extended probability and non-determinism.
Mathematical Structures in Computer Science 19(3): 501-539 (2009) |
| 2006 |
| 10 | EE | Ben Cohen,
Martín Hötzel Escardó,
Klaus Keimel:
The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces.
TAMC 2006: 566-575 |
| 9 | EE | Klaus Keimel:
Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism.
Electr. Notes Theor. Comput. Sci. 155: 423-443 (2006) |
| 8 | EE | Samy Abbes,
Klaus Keimel:
Projective topology on bifinite domains and applications.
Theor. Comput. Sci. 365(3): 171-183 (2006) |
| 2005 |
| 7 | EE | Regina Tix,
Klaus Keimel,
Gordon D. Plotkin:
Semantic Domains for Combining Probability and Non-Determinism.
Electr. Notes Theor. Comput. Sci. 129: 1-104 (2005) |
| 2004 |
| 6 | EE | Klaus Keimel:
The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces.
Electr. Notes Theor. Comput. Sci. 87: 225-238 (2004) |
| 2000 |
| 5 | | Michael Huth,
Achim Jung,
Klaus Keimel:
Linear types and approximation.
Mathematical Structures in Computer Science 10(6): 719-745 (2000) |
| 4 | EE | Klaus Keimel,
Michael W. Mislove,
Constantine Tsinakis:
Modern Algebra - Foreword.
Theor. Comput. Sci. 249(1): 1 (2000) |
| 1998 |
| 3 | EE | Klaus Keimel:
Bi-continuous valuations.
Electr. Notes Theor. Comput. Sci. 13: (1998) |
| 2 | EE | Abbas Edalat,
Achim Jung,
Klaus Keimel,
Marta Z. Kwiatkowska:
Preface.
Electr. Notes Theor. Comput. Sci. 13: (1998) |
| 1994 |
| 1 | | Michael Huth,
Achim Jung,
Klaus Keimel:
Linear Types, Approximation, and Topology
LICS 1994: 110-114 |