Achim Jung

1 - 10 out of 35Page size: 10

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

    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

  5. Published

    Priestley Duality for Strong Proximity Lattices

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

    Research output: Contribution to conference (unpublished) › 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

    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

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

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

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

Previous 1 2 3 4 Next