Achim Jung

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 journalArticle

  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 journalArticle

  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 journalArticlepeer-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
  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 journalEditorial

  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 journalConference articlepeer-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 journalEditorialpeer-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 proceedingConference 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 proceedingConference contribution

Previous 1 2 3 4 Next