The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Klaus Keimel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Huth, Achim Jung, Klaus Keimel
    Linear Types, Approximation, and Topology [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:110-114 [Conf]
  2. Ben Cohen, Martin Escardo, Klaus Keimel
    The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:566-575 [Conf]
  3. Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:13, n:, pp:- [Journal]
  4. Klaus Keimel
    Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:423-443 [Journal]
  5. Klaus Keimel
    Bi-continuous valuations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:13, n:, pp:- [Journal]
  6. Regina Tix, Klaus Keimel, Gordon D. Plotkin
    Semantic Domains for Combining Probability and Non-Determinism. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:129, n:, pp:1-104 [Journal]
  7. Michael Huth, Achim Jung, Klaus Keimel
    Linear types and approximation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:6, pp:719-745 [Journal]
  8. Samy Abbes, Klaus Keimel
    Projective topology on bifinite domains and applications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:3, pp:171-183 [Journal]
  9. Klaus Keimel, Michael W. Mislove, Constantine Tsinakis
    Modern Algebra - Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:249, n:1, pp:1- [Journal]

  10. D-completions and the d-topology. [Citation Graph (, )][DBLP]


  11. A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language. [Citation Graph (, )][DBLP]


  12. Preface. [Citation Graph (, )][DBLP]


  13. The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces. [Citation Graph (, )][DBLP]


  14. Extending Algebraic Operations to D-Completions. [Citation Graph (, )][DBLP]


  15. Bicontinuous Domains and Some Old Problems in Domain Theory. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002