Klaus Keimel

	2009
15		Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei Morozov: Preface. Ann. Pure Appl. Logic 159(3): 249-250 (2009)
14		Klaus Keimel, Jimmie D. Lawson: D-completions and the d-topology. Ann. Pure Appl. Logic 159(3): 292-306 (2009)
13		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)
12		Klaus Keimel, Jimmie D. Lawson: Extending Algebraic Operations to D-Completions. Electr. Notes Theor. Comput. Sci. 249: 93-116 (2009)
11		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		Ben Cohen, Martín Hötzel Escardó, Klaus Keimel: The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. TAMC 2006: 566-575
9		Klaus Keimel: Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism. Electr. Notes Theor. Comput. Sci. 155: 423-443 (2006)
8		Samy Abbes, Klaus Keimel: Projective topology on bifinite domains and applications. Theor. Comput. Sci. 365(3): 171-183 (2006)
	2005
7		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		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		Klaus Keimel, Michael W. Mislove, Constantine Tsinakis: Modern Algebra - Foreword. Theor. Comput. Sci. 249(1): 1 (2000)
	1998
3		Klaus Keimel: Bi-continuous valuations. Electr. Notes Theor. Comput. Sci. 13: (1998)
2		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

Coauthor Index

1	Samy Abbes	[8]
2	Ben Cohen	[10]
3	Abbas Edalat	[2]
4	Yuri Leonidovich Ershov	[15]
5	Martín Hötzel Escardó	[10]
6	Michael Huth	[1] [5]
7	Achim Jung	[1] [2] [5]
8	Ulrich Kohlenbach	[15]
9	Marta Z. Kwiatkowska	[2]
10	Jimmie D. Lawson	[12] [14]
11	Michael W. Mislove	[4]
12	Andrei Morozov	[15]
13	Gordon D. Plotkin	[7] [11]
14	A. Rosenbusch	[13]
15	Thomas Streicher	[13]
16	Regina Tix	[7]
17	Constantine Tsinakis	[4]

Colors in the list of coauthors