Achim Jung

Publications

  1. 2005
  2. Published
  3. 2004
  4. Published

    Electronic Notes in Theoretical Computer Science: Preface

    Martin Escardo & Achim Jung, 25 Oct 2004, In: Electronic Notes in Theoretical Computer Science. 73, p. 1-2 2 p.

    Research output: Contribution to journalConference articlepeer-review

  5. Published

    Stably compact spaces and the probabilistic powerspace construction: in Domain-theoretic Methods in Probabilistic Processess

    Achim Jung, 1 Jan 2004, p. 5-20. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  6. Published

    The probabilistic powerdomain for stably compact spaces

    Achim Jung & , 1 Jan 2004, In: Theoretical Computer Science. 328, 3, p. 221-244 24 p.

    Research output: Contribution to journalArticle

  7. 2002
  8. Published

    A logic for probabilities in semantics

    Achim Jung & , 1 Jan 2002, p. 216-231. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  9. Published

    Berechnungsmodelle

    Achim Jung, & , 1 Jan 2002, Informatik-Handbuch. 3rd ed. Hanser Verlag, Chapter A2

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Published

    Informatik-Handbuch

    Achim Jung, & , 1 Jan 2002, Logik. Vol. Chapter A1.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. 2001
  12. Published

    Stably compact spaces and closed relations

    Achim Jung, & , 1 Nov 2001, p. 1-23. 23 p.

    Research output: Contribution to conference (unpublished)Paper

Previous 1 2 3 4 Next