Achim Jung

Publications

  1. Published

    Informatik-Handbuch

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. Published

    Berechnungsmodelle

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  4. Published

    Priestley duality for bilattices

    Achim Jung & Umberto Rivieccio, Apr 2012, In: Studia Logica. 100, 1-2, p. 223-252 30 p.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Convergence of preference functions

    Achim Jung & Jon Rowe, 3 Jun 2013, In: Theoretical Computer Science. 488, p. 66-77

    Research output: Contribution to journalArticlepeer-review

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

  7. Published

    Logik

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  10. Published

    Berechnungsmodelle

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

    Research output: Chapter in Book/Report/Conference proceedingChapter