Achim Jung
Publications
- 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
- 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
- Published
On a categorical framework for coalgebraic modal logic
Achim Jung, 29 Oct 2014, In: Electronic Notes in Theoretical Computer Science. 308, p. 109-128Research output: Contribution to journal › Article › peer-review
- Published
- Published
Priestley Duality for Strong Proximity Lattices
Achim Jung, 5 May 2006, p. 199-217. 19 p.Research output: Contribution to conference (unpublished) › Paper
- 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
- 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
- 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
- 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
- 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