Achim Jung

Publications

  1. Article › Research › Not peer-reviewed
  2. 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

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

  4. Paper › Research › Not peer-reviewed
  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. Published

    A logic for probabilities in semantics

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

    Research output: Contribution to conference (unpublished)Paper

  7. Published

    Priestley Duality for Strong Proximity Lattices

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

    Research output: Contribution to conference (unpublished)Paper

  8. Published

    Stably compact spaces and closed relations

    Achim Jung, & , 1 Nov 2001, p. 1-23. 23 p.

    Research output: Contribution to conference (unpublished)Paper

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

  10. Conference contribution › Research
  11. 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

  12. Published

    Categorical Semantics of Digital Circuits

    Dan Ghica & Achim Jung, 3 Oct 2016, Proceedings of Formal Methods in Computer-Aided Design (FMCAD 2016). IEEE Computer Society Press, p. 41-48 8 p.

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

  13. Published

    Diagrammatic Semantics for Digital Circuits

    Dan Ghica, Achim Jung & , 1 Sep 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl, Vol. 82. p. 24:1-24:16 16 p. 24. (Leibniz International Proceedings in Informatics; vol. 82).

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