Achim Jung

Publications

  1. 2008
  2. Published

    Presenting Dcpos and Dcpo Algebras

    Achim Jung, & Steven Vickers, 22 Oct 2008, Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV). Bauer, A. & Mislove, M. (eds.). Elsevier, Vol. 218. p. 209-229 21 p. (Electronic Notes in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    A Hofmann–Mislove theorem for bitopological spaces

    Achim Jung & , 1 Jul 2008, In: Journal of Logic and Algebraic Programming. 76, 2, p. 161-174 14 p.

    Research output: Contribution to journalArticle

  4. 2007
  5. Published

    A Hofmann-Mislove theorem for bitopological spaces

    Achim Jung & , 2 Apr 2007, p. 159-175. 17 p.

    Research output: Contribution to conference (unpublished)Paper

  6. 2006
  7. Published

    A Logical Approach to Stable Domains

    Achim Jung, 5 Dec 2006, In: Theoretical Computer Science. 368, 1-2, p. 124-148 25 p.

    Research output: Contribution to journalArticle

  8. Published

    Preface

    Martin Escardo, Achim Jung & , 12 May 2006, In: Electronic Notes in Theoretical Computer Science. 155, 1 SPEC. ISS., p. 1-3 3 p.

    Research output: Contribution to journalEditorialpeer-review

  9. Published

    Priestley Duality for Strong Proximity Lattices

    Achim Jung, 5 May 2006, p. 199-217. 19 p.

    Research output: Contribution to conference (unpublished)Paper

  10. Published

    Preface dedicated to Klaus Keimel on the occasion of his 65th birthday

    Martin Escardo, Achim Jung & , 1 Apr 2006, In: Mathematical Structures in Computer Science. 16, 2, p. 139-140 2 p.

    Research output: Contribution to journalEditorial

  11. Published

    Berechnungsmodelle

    Achim Jung, & , 1 Jan 2006, Informatik-Handbuch . 4th ed. Hanser Verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. Published

    Computer Science Technical Report CSR-06-13: On the Bitopological Nature of Stone Duality

    Achim Jung & , 1 Jan 2006.

    Research output: Working paper/PreprintWorking paper

  13. Published

    Logik

    Achim Jung, & , 1 Jan 2006, Informatik-Handbuch (4th Edition).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. 2005
  15. Published
  16. 2004
  17. 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

  18. 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

  19. 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

  20. 2002
  21. Published

    A logic for probabilities in semantics

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

    Research output: Contribution to conference (unpublished)Paper

  22. Published

    Berechnungsmodelle

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Published

    Informatik-Handbuch

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. 2001
  25. 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 Next