Klaus Keimel - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2017

The Cuntz semigroup and domain theoryKlaus Keimel. soco, 21(10):2485-2502, 2017. [doi]

Domain Theory its Ramifications and InteractionsKlaus Keimel. ENTCS, 322:3-16, 2017. [doi]

2015

PrefaceUlrich Berger, Jens Blanck, Martín Escardó, Klaus Keimel. jlp, 84(1):107, 2015. [doi]

Healthiness Conditions for Predicate TransformersKlaus Keimel. ENTCS, 319:255-270, 2015. [doi]

2013

Quasicontinuous Domains and the Smyth PowerdomainReinhold Heckmann, Klaus Keimel. ENTCS, 298:215-232, 2013. [doi]

2012

Extending algebraic operations to D-completionsKlaus Keimel, Jimmie D. Lawson. TCS, 430:73-87, 2012. [doi]

2011

Choquet-Kendall-Matheron theorems for non-Hausdorff spacesJean Goubault-Larrecq, Klaus Keimel. mscs, 21(3):511-561, 2011. [doi]

Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic languageKlaus Keimel, A. Rosenbusch, Thomas Streicher. TCS, 412(25):2701-2713, 2011. [doi]

2010

Preface for the special issue on domainsBernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher. mscs, 20(2):105-106, 2010. [doi]

2009

PrefaceYuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei Morozov. APAL, 159(3):249-250, 2009. [doi]

A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic languageKlaus Keimel, A. Rosenbusch, Thomas Streicher. APAL, 159(3):307-317, 2009. [doi]

Bicontinuous Domains and Some Old Problems in Domain TheoryKlaus Keimel. ENTCS, 257:35-54, 2009. [doi]

Predicate transformers for extended probability and non-determinismKlaus Keimel, Gordon D. Plotkin. mscs, 19(3):501-539, 2009. [doi]

D-completions and the d-topologyKlaus Keimel, Jimmie D. Lawson. APAL, 159(3):292-306, 2009. [doi]

Extending Algebraic Operations to D-CompletionsKlaus Keimel, Jimmie D. Lawson. ENTCS, 249:93-116, 2009. [doi]

Semantic Domains for Combining Probability and Non-DeterminismRegina Tix, Klaus Keimel, Gordon D. Plotkin. ENTCS, 222:3-99, 2009. [doi]

Retraction notice to Semantic Domains for Combining Probability and Non-Determinism [Electron. Notes Theoret. Comput. Sci. 129 (2005) 1-104]Regina Tix, Klaus Keimel, Gordon D. Plotkin. ENTCS, 222:1, 2009. [doi]

2006

Projective topology on bifinite domains and applicationsSamy Abbes, Klaus Keimel. TCS, 365(3):171-183, 2006. [doi]

The Extended Probabilistic Powerdomain Monad over Stably Compact SpacesBen Cohen, Martín Hötzel Escardó, Klaus Keimel. tamc 2006: 566-575 [doi]

Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and NondeterminismKlaus Keimel. ENTCS, 155:423-443, 2006. [doi]

2005

Semantic Domains for Combining Probability and Non-DeterminismRegina Tix, Klaus Keimel, Gordon D. Plotkin. ENTCS, 129:1-104, 2005. [doi]

2004

The probabilistic powerdomain for stably compact spacesMaurizio Alvarez-Manilla, Achim Jung, Klaus Keimel. TCS, 328(3):221-244, 2004. [doi]

The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered SpacesKlaus Keimel. ENTCS, 87:225-238, 2004. [doi]

2000

Linear types and approximationMichael Huth, Achim Jung, Klaus Keimel. mscs, 10(6):719-745, 2000.

Modern Algebra - ForewordKlaus Keimel, Michael W. Mislove, Constantine Tsinakis. TCS, 249(1):1, 2000. [doi]

1998

PrefaceAbbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska. ENTCS, 13:1, 1998. [doi]

Bi-continuous valuationsKlaus Keimel. ENTCS, 13:119-123, 1998. [doi]

1994

Linear Types, Approximation, and TopologyMichael Huth, Achim Jung, Klaus Keimel. lics 1994: 110-114

1980

A compendium of continous latticesGerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove. Springer, 1980.

Sign in or sign up to see more results.

runs on WebDSL