Klaus Keimel

Publication Activity (10 Years)

Years Active: 1994-2017
Publications (10 Years): 3

Top Topics

Explanation Based Generalization

Top Venues

Log. Methods Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

Klaus Keimel
Domain Theory its Ramifications and Interactions. ISDT (2017)
Klaus Keimel
The Cuntz semigroup and domain theory. Soft Comput. 21 (10) (2017)
Klaus Keimel, Gordon D. Plotkin
Mixed powerdomains for probability and nondeterminism. Log. Methods Comput. Sci. 13 (1) (2017)
Klaus Keimel
Weak upper topologies and duality for cones. Log. Methods Comput. Sci. 11 (3) (2015)
Ulrich Berger, Jens Blanck, Martín Escardó, Klaus Keimel
Preface. J. Log. Algebraic Methods Program. 84 (1) (2015)
Klaus Keimel
Healthiness Conditions for Predicate Transformers. MFPS (2015)
Klaus Keimel
On the equivalence of state transformer semantics and predicate transformer semantics. CoRR (2014)
Ingo Battenfeld, Klaus Keimel, Thomas Streicher
Observationally-induced algebras in Domain Theory. Log. Methods Comput. Sci. 10 (3) (2014)
Reinhold Heckmann, Klaus Keimel
Quasicontinuous Domains and the Smyth Powerdomain. MFPS (2013)
Klaus Keimel, Jimmie D. Lawson
Extending algebraic operations to D-completions. Theor. Comput. Sci. 430 (2012)
Jean Goubault-Larrecq, Klaus Keimel
Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. Math. Struct. Comput. Sci. 21 (3) (2011)
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) (2011)
Bernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher
Preface for the special issue on domains. Math. Struct. Comput. Sci. 20 (2) (2010)
Regina Tix, Klaus Keimel, Gordon D. Plotkin
Semantic Domains for Combining Probability and Non-Determinism. Electron. Notes Theor. Comput. Sci. 222 (2009)
Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei S. Morozov
Preface. Ann. Pure Appl. Log. 159 (3) (2009)
Klaus Keimel, Jimmie D. Lawson
D-completions and the d-topology. Ann. Pure Appl. Log. 159 (3) (2009)
Klaus Keimel, Gordon D. Plotkin
Predicate transformers for extended probability and non-determinism. Math. Struct. Comput. Sci. 19 (3) (2009)
Klaus Keimel, Jimmie D. Lawson
Extending Algebraic Operations to D-Completions. MFPS (2009)
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. Log. 159 (3) (2009)
Klaus Keimel
Bicontinuous Domains and Some Old Problems in Domain Theory. ISDT (2009)
Ulrich Berger, Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott
Continuous Lattices and Domains. Stud Logica 86 (1) (2007)
Ben Cohen, Martín Hötzel Escardó, Klaus Keimel
The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. TAMC (2006)
Samy Abbes, Klaus Keimel
Projective topology on bifinite domains and applications. Theor. Comput. Sci. 365 (3) (2006)
Klaus Keimel
Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism. MFPS (2005)
Maurizio Alvarez-Manilla, Achim Jung, Klaus Keimel
The probabilistic powerdomain for stably compact spaces. Theor. Comput. Sci. 328 (3) (2004)
Klaus Keimel
The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces. Electron. Notes Theor. Comput. Sci. 87 (2004)
Michael Huth, Achim Jung, Klaus Keimel
Linear types and approximation. Math. Struct. Comput. Sci. 10 (6) (2000)
Klaus Keimel, Michael W. Mislove, Constantine Tsinakis
Modern Algebra - Foreword. Theor. Comput. Sci. 249 (1) (2000)
Klaus Keimel
Bi-continuous valuations. Electron. Notes Theor. Comput. Sci. 13 (1998)
Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska
Preface. Electron. Notes Theor. Comput. Sci. 13 (1998)
Michael Huth, Achim Jung, Klaus Keimel
Linear Types, Approximation, and Topology LICS (1994)