Achim Jung

1 - 38 out of 38Page size: 100

Publications

  1. 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 journal › Article

  2. 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 journal › Article

  3. 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 journal › Article › peer-review

  4. Published

    Priestley Duality for Strong Proximity Lattices

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

    Research output: Contribution to conference (unpublished) › Paper

  5. Published

    University of Birmingham, School of Computer Science Technical Report CSR-05-3: A Priestly Representation for Strong Proximity Lattices and Stably Compact Spaces

    Achim Jung, 1 Jan 2005.

    Research output: Working paper/Preprint › Working paper

  6. 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 journal › Editorial

  7. 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 journal › Conference article › peer-review

  8. 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 journal › Editorial › peer-review

  9. 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 proceeding › Conference contribution

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

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

  12. 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 journal › Article › peer-review

  13. 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 journal › Article › peer-review

  14. 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 proceeding › Conference contribution

  15. 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 proceeding › Conference contribution

  16. 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 journal › Article › peer-review

  17. 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 journal › Article › peer-review

  18. 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 journal › Article › peer-review

  19. Published

    Column - Semantics: Teaching denotational sematics

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

    Research output: Contribution to journal › Comment/debate

  20. Published

    Stably compact spaces and closed relations

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

    Research output: Contribution to conference (unpublished) › Paper

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

  22. Published

    Informatik-Handbuch

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  23. Published

    Berechnungsmodelle

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  24. Published

    Presenting Dcpos and Dcpo Algebras

    Achim Jung, & Steven Vickers, 22 Oct 2008, Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV). Bauer, A. & Mislove, M. (eds.). Elsevier, Vol. 218. p. 209-229 21 p. (Electronic Notes in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  25. 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 journal › Article › peer-review

  26. Published

    Convergence of preference functions

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

    Research output: Contribution to journal › Article › peer-review

  27. Published

    Computer Science Technical Report CSR-06-13: On the Bitopological Nature of Stone Duality

    Achim Jung & , 1 Jan 2006.

    Research output: Working paper/Preprint › Working paper

  28. Published

    Logik

    Achim Jung, & , 1 Jan 2006, Informatik-Handbuch (4th Edition).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  29. 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 journal › Article

  30. Published

    Berechnungsmodelle

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

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

  32. 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 journal › Article

  33. Published

    A logic for probabilities in semantics

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

    Research output: Contribution to conference (unpublished) › Paper

  34. 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 proceeding › Conference contribution

  35. 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 journal › Editorial

  36. 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 journal › Article › peer-review

  37. 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 journal › Article › peer-review

  38. 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 journal › Article › peer-review