Klaus Keimel

32 papers A* 1B 4C 1Journal 19Unranked 5
YearRankTypeTitle / Venue / Authors
2017 — conf
Domain Theory its Ramifications and Interactions.
ISDT
Klaus Keimel
2017 J jnl
Mixed powerdomains for probability and nondeterminism.
Log. Methods Comput. Sci.
Klaus Keimel, Gordon D. Plotkin
2017 J jnl
The Cuntz semigroup and domain theory.
Soft Comput.
Klaus Keimel
2015 B conf
Healthiness Conditions for Predicate Transformers.
MFPS
Klaus Keimel
2015 J jnl
Preface.
J. Log. Algebraic Methods Program.
Ulrich Berger, Jens Blanck, Martín Escardó, Klaus Keimel
2015 J jnl
Weak upper topologies and duality for cones.
Log. Methods Comput. Sci.
Klaus Keimel
2014 J jnl
Observationally-induced algebras in Domain Theory.
Log. Methods Comput. Sci.
Ingo Battenfeld, Klaus Keimel, Thomas Streicher
2014 J jnl
On the equivalence of state transformer semantics and predicate transformer semantics.
CoRR
Klaus Keimel
2013 B conf
Quasicontinuous Domains and the Smyth Powerdomain.
MFPS
Reinhold Heckmann, Klaus Keimel
2012 J jnl
Extending algebraic operations to D-completions.
Theor. Comput. Sci.
Klaus Keimel, Jimmie D. Lawson
2011 J jnl
Choquet-Kendall-Matheron theorems for non-Hausdorff spaces.
Math. Struct. Comput. Sci.
Jean Goubault-Larrecq, Klaus Keimel
2011 J jnl
Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language.
Theor. Comput. Sci.
Klaus Keimel, Artus Ph. Rosenbusch, Thomas Streicher
2010 J jnl
Preface for the special issue on domains.
Math. Struct. Comput. Sci.
Bernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher
2009 J jnl
A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language.
Ann. Pure Appl. Log.
Klaus Keimel, Artus Ph. Rosenbusch, Thomas Streicher
2009 — conf
Bicontinuous Domains and Some Old Problems in Domain Theory.
ISDT
Klaus Keimel
2009 J jnl
D-completions and the d-topology.
Ann. Pure Appl. Log.
Klaus Keimel, Jimmie D. Lawson
2009 B conf
Extending Algebraic Operations to D-Completions.
MFPS
Klaus Keimel, Jimmie D. Lawson
2009 J jnl
Predicate transformers for extended probability and non-determinism.
Math. Struct. Comput. Sci.
Klaus Keimel, Gordon D. Plotkin
2009 J jnl
Preface.
Ann. Pure Appl. Log.
Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei S. Morozov
2007 J jnl
Continuous Lattices and Domains.
Stud Logica
Ulrich Berger, Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott
2006 J jnl
Projective topology on bifinite domains and applications.
Theor. Comput. Sci.
Samy Abbes, Klaus Keimel
2006 C conf
The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces.
TAMC
Ben Cohen, Martín Hötzel Escardó, Klaus Keimel
2005 B conf
Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism.
MFPS
Klaus Keimel
2004 J jnl
The probabilistic powerdomain for stably compact spaces.
Theor. Comput. Sci.
Maurizio Alvarez-Manilla, Achim Jung, Klaus Keimel
2003 — conf
The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces.
DTMPP
Klaus Keimel
2000 J jnl
Linear types and approximation.
Math. Struct. Comput. Sci.
Michael Huth, Achim Jung, Klaus Keimel
2000 J jnl
Modern Algebra - Foreword.
Theor. Comput. Sci.
Klaus Keimel, Michael W. Mislove, Constantine Tsinakis
1997 — conf
Bi-continuous valuations.
COMPROX
Klaus Keimel
1997 — conf
Preface.
COMPROX
Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska
1997 — ed.
Third Workshop on Computation and Approximation, COMPROX 1997, Birmingham, UK, September 11-13, 1997
COMPROX
Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska
1994 A* conf
Linear Types, Approximation, and Topology
LICS
Michael Huth, Achim Jung, Klaus Keimel
1980 — book
A compendium of continous lattices.
Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove