Klaus Keimel

	2011
22		Jean Goubault-Larrecq, Klaus Keimel: Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. Mathematical Structures in Computer Science 21(3): 511-561 (2011)
21		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)
	2010
20		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)
	2009
19		Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei Morozov: Preface. Ann. Pure Appl. Logic 159(3): 249-250 (2009)
18		Klaus Keimel, Jimmie D. Lawson: D-completions and the d-topology. Ann. Pure Appl. Logic 159(3): 292-306 (2009)
17		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)
16		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)
15		Regina Tix, Klaus Keimel, Gordon D. Plotkin: Semantic Domains for Combining Probability and Non-Determinism. Electr. Notes Theor. Comput. Sci. 222: 3-99 (2009)
14		Klaus Keimel, Jimmie D. Lawson: Extending Algebraic Operations to D-Completions. Electr. Notes Theor. Comput. Sci. 249: 93-116 (2009)
13		Klaus Keimel: Bicontinuous Domains and Some Old Problems in Domain Theory. Electr. Notes Theor. Comput. Sci. 257: 35-54 (2009)
12		Klaus Keimel, Gordon D. Plotkin: Predicate transformers for extended probability and non-determinism. Mathematical Structures in Computer Science 19(3): 501-539 (2009)
	2006
11		Ben Cohen, Martín Hötzel Escardó, Klaus Keimel: The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. TAMC 2006: 566-575
10		Klaus Keimel: Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism. Electr. Notes Theor. Comput. Sci. 155: 423-443 (2006)
9		Samy Abbes, Klaus Keimel: Projective topology on bifinite domains and applications. Theor. Comput. Sci. 365(3): 171-183 (2006)
	2005
8		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
7		Klaus Keimel: The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces. Electr. Notes Theor. Comput. Sci. 87: 225-238 (2004)
	2000
6		Michael Huth, Achim Jung, Klaus Keimel: Linear types and approximation. Mathematical Structures in Computer Science 10(6): 719-745 (2000)
5		Klaus Keimel, Michael W. Mislove, Constantine Tsinakis: Modern Algebra - Foreword. Theor. Comput. Sci. 249(1): 1 (2000)
	1998
4		Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska: Preface. Electr. Notes Theor. Comput. Sci. 13: 1 (1998)
3		Klaus Keimel: Bi-continuous valuations. Electr. Notes Theor. Comput. Sci. 13: 119-123 (1998)
	1994
2		Michael Huth, Achim Jung, Klaus Keimel: Linear Types, Approximation, and Topology LICS 1994: 110-114
	1980
1		Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove: A compendium of continous lattices. Springer 1980: I-XX, 1-371

Coauthor Index

1	Samy Abbes	[9]
2	Ben Cohen	[11]
3	Abbas Edalat	[4]
4	Yuri Leonidovich Ershov	[19]
5	Martín Hötzel Escardó	[11]
6	Gerhard Gierz	[1]
7	Jean Goubault-Larrecq (Jean Goubault)	[22]
8	Karl Heinrich Hofmann	[1]
9	Michael Huth	[2] [6]
10	Achim Jung	[2] [4] [6] [20]
11	Ulrich Kohlenbach	[19]
12	Marta Z. Kwiatkowska	[4]
13	Jimmie D. Lawson	[1] [14] [18]
14	Michael W. Mislove	[1] [5]
15	Andrei Morozov	[19]
16	Gordon D. Plotkin	[8] [12] [15] [16]
17	Bernhard Reus	[20]
18	A. Rosenbusch	[17] [21]
19	Thomas Streicher	[17] [20] [21]
20	Regina Tix	[8] [15] [16]
21	Constantine Tsinakis	[5]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page