Achim Jung

Publications

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

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

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

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

  5. 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 journalArticle

  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

    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 journalArticle

  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 journalArticle

  9. Published

    Berechnungsmodelle

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Published

    Berechnungsmodelle

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  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

    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

  14. Published
  15. Published

    Convergence of preference functions

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

    Research output: Contribution to journalArticle

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

  17. 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 journalArticle

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

  19. Published

    From the Chinese room argument to the Church-Turing thesis

    Achim Jung, 6 Apr 2018, Proceedings of AISB Annual Convention 2018: Philosohphy after AI: mind, language and action Symposium. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), p. 25-29 5 p.

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

  20. Published

    Informatik-Handbuch

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 Next