Achim Jung

Publications

  1. Published

    QRB, QFS, and the probabilistic powerdomain

    Achim Jung, 29 Oct 2014, Proceedings of the 30th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXX). Jacobs, B., Silva, A. & Staton, S. (eds.). Elsevier, Vol. 308. p. 167-182 (Electronic Notes in Theoretical Computer Science; vol. 308).

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

  2. Published

    The Ho-Zhao problem

    Achim Jung & , 17 Jan 2018, In: Logical Methods in Computer Science. 14, 1, 19 p., 7.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    Quotients of d-Frames

    Tomas Jakl, Achim Jung & , Jun 2019, In: Applied Categorical Structures. 27, 3, p. 261-275 15 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Free constructions and coproducts of d-frames

    Achim Jung, 12 Jun 2017, Proceedings of 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Bonchi, F. & König, B. (eds.). Schloss Dagstuhl, p. 14:1-14:15 18 p. (LIPIcs: Leibniz International Proceedings in Informatics; vol. 72).

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

  5. Published

    Bitopology and four-valued logic

    Achim Jung & , 7 Oct 2016, 32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings. Birkedal, L. & Mislove, M. (eds.). Elsevier, Vol. 325. p. 201-219 18 p. (Electronic Notes in Theoretical Computer Science).

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

  6. Published

    A dichotomy result for locally compact sober dcpos

    Achim Jung & , 30 Nov 2019, In: Houston Journal of Mathematics. 45, 3, p. 935-951

    Research output: Contribution to journalArticlepeer-review

  7. Published

    A note on coherence of dcpos

    Achim Jung & , 15 Aug 2016, In: Topology and its Applications. 209, p. 235-238 4 p.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    All cartesian closed categories of quasicontinuous domains consist of domains

    Achim Jung, , & , 23 Aug 2015, In: Theoretical Computer Science. 594, p. 143-150 9 p.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Column - Semantics: Teaching denotational sematics

    Achim Jung, 1 Oct 2014, In: ACM SIGLOG News. 1, 2, p. 25-37

    Research output: Contribution to journalComment/debate

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