Klaus Keimel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1994–2006
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | TAMC | The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. | Ben Cohen, Martn Htzel Escard, Klaus Keimel |
| 1994 | LICS | Linear Types, Approximation, and Topology | Michael Huth, Achim Jung, Klaus Keimel |