Achim Jung

Publications

  1. Conference article › Research › Peer-reviewed
  2. 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

  3. Working paper › Research
  4. 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

  5. Published
  6. Editorial › Research › Peer-reviewed
  7. 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

  8. Editorial › Research › Not peer-reviewed
  9. 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

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

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

  13. Article › Research › Peer-reviewed
  14. 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

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

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

Previous 1 2 3 4 Next