Klaus Keimel

According to our database, Klaus Keimel authored at least 30 papers between 1980 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

The Cuntz semigroup and domain theory.

Klaus Keimel

Soft Comput., 2017

Domain Theory its Ramifications and Interactions.

Klaus Keimel

Proceedings of the Seventh International Symposium on Domain Theory and Its Applications, 2017

Mixed powerdomains for probability and nondeterminism.

Klaus Keimel, Gordon D. Plotkin

Log. Methods Comput. Sci., 2017

2015

Preface.

Ulrich Berger, Jens Blanck, Martín Escardó, Klaus Keimel

J. Log. Algebraic Methods Program., 2015

Healthiness Conditions for Predicate Transformers.

Klaus Keimel

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Weak upper topologies and duality for cones.

Klaus Keimel

Log. Methods Comput. Sci., 2015

2014

Observationally-induced algebras in Domain Theory.

Ingo Battenfeld, Klaus Keimel, Thomas Streicher

Log. Methods Comput. Sci., 2014

On the equivalence of state transformer semantics and predicate transformer semantics.

Klaus Keimel

CoRR, 2014

2013

Quasicontinuous Domains and the Smyth Powerdomain.

Reinhold Heckmann, Klaus Keimel

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

2011

Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language.

Klaus Keimel, Artus Ph. Rosenbusch, Thomas Streicher

Theor. Comput. Sci., 2011

Choquet-Kendall-Matheron theorems for non-Hausdorff spaces.

Jean Goubault-Larrecq, Klaus Keimel

Math. Struct. Comput. Sci., 2011

2010

Preface for the special issue on domains.

Bernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher

Math. Struct. Comput. Sci., 2010

2009

Predicate transformers for extended probability and non-determinism.

Klaus Keimel, Gordon D. Plotkin

Math. Struct. Comput. Sci., 2009

Extending Algebraic Operations to D-Completions.

Klaus Keimel, Jimmie D. Lawson

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Bicontinuous Domains and Some Old Problems in Domain Theory.

Klaus Keimel

Proceedings of the Fifth International Symposium on Domain Theory, 2009

A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language.

Klaus Keimel, Artus Ph. Rosenbusch, Thomas Streicher

Ann. Pure Appl. Log., 2009

D-completions and the d-topology.

Klaus Keimel, Jimmie D. Lawson

Ann. Pure Appl. Log., 2009

Preface.

Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei S. Morozov

Ann. Pure Appl. Log., 2009

2007

Continuous Lattices and Domains.

Ulrich Berger, Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott

Stud Logica, 2007

2006

Projective topology on bifinite domains and applications.

Samy Abbes, Klaus Keimel

Theor. Comput. Sci., 2006

The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces.

Ben Cohen, Martín Hötzel Escardó, Klaus Keimel

Proceedings of the Theory and Applications of Models of Computation, 2006

2005

Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism.

Klaus Keimel

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

2004

The probabilistic powerdomain for stably compact spaces.

Maurizio Alvarez-Manilla, Achim Jung, Klaus Keimel

Theor. Comput. Sci., 2004

2003

The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces.

Klaus Keimel

Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic Processes, 2003

2000

Modern Algebra - Foreword.

Klaus Keimel, Michael W. Mislove, Constantine Tsinakis

Theor. Comput. Sci., 2000

Linear types and approximation.

Michael Huth, Achim Jung, Klaus Keimel

Math. Struct. Comput. Sci., 2000

1997

Bi-continuous valuations.

Klaus Keimel

Proceedings of the Third Workshop on Computation and Approximation, 1997

Preface.

Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska

Proceedings of the Third Workshop on Computation and Approximation, 1997

1994

Linear Types, Approximation, and Topology

Michael Huth, Achim Jung, Klaus Keimel

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1980

A compendium of continous lattices.

Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove

Springer, ISBN: 978-3-540-10111-6, 1980