| 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 |
