Achim Jung

Publications

  1. Working paper › Research
  2. Published
  3. Published
  4. Editorial › Research › Not peer-reviewed
  5. 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

  6. Published

    Preface for the special issue on domains

    Achim Jung, 1 Apr 2010, In: Mathematical Structures in Computer Science. 20, 2, p. 105-106 2 p.

    Research output: Contribution to journalEditorial

  7. Comment/debate › Research › Not peer-reviewed
  8. 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

  9. Article › Research › Peer-reviewed
  10. 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

  11. Published

    A duality for two-sorted lattices

    Umberto Rivieccio & Achim Jung, 5 Jan 2021, In: Soft Computing. 25, 2, p. 851–868

    Research output: Contribution to journalArticlepeer-review

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

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

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

  15. Published

    Four-valued modal logic: Kripke semantics and duality

    Umberto Rivieccio, Achim Jung, 15 Jun 2015, In: Journal of Logic and Computation. 43 p.

    Research output: Contribution to journalArticlepeer-review

  16. E-pub ahead of print

    Non-involutive twist-structures

    Achim Jung, 29 Nov 2018, (E-pub ahead of print) In: Interest Group in Pure and Applied Logics. Logic Journal. 27 p., jzy070.

    Research output: Contribution to journalArticlepeer-review

  17. Published

    On a categorical framework for coalgebraic modal logic

    Achim Jung, 29 Oct 2014, In: Electronic Notes in Theoretical Computer Science. 308, p. 109-128

    Research output: Contribution to journalArticlepeer-review

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

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

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

  21. Article › Research › Not peer-reviewed
  22. 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

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

  24. Published

    A bitopological point-free approach to compactifications

    Achim Jung, 1 Aug 2011, In: Topology and its Applications. 158, 13, p. 1551-1566 16 p.

    Research output: Contribution to journalArticle

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

Previous 1 2 Next