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
- 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
- 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
- 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
- Published
A dichotomy result for locally compact sober dcpos
Achim Jung, 30 Nov 2019, In: Houston Journal of Mathematics. 45, 3, p. 935-951Research output: Contribution to journal › Article › peer-review
- 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
- 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
- Published
Column - Semantics: Teaching denotational sematics
Achim Jung, 1 Oct 2014, In: ACM SIGLOG News. 1, 2, p. 25-37Research output: Contribution to journal › Comment/debate
- Published
Stably compact spaces and closed relations
Achim Jung, 1 Nov 2001, p. 1-23. 23 p.Research output: Contribution to conference (unpublished) › Paper
- 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
- Published
Informatik-Handbuch
Achim Jung, 1 Jan 2002, Logik. Vol. Chapter A1.Research output: Chapter in Book/Report/Conference proceeding › Chapter
- Published
Berechnungsmodelle
Achim Jung, 1 Jan 2002, Informatik-Handbuch. 3rd ed. Hanser Verlag, Chapter A2Research output: Chapter in Book/Report/Conference proceeding › Chapter
- 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
- Published
Convergence of preference functions
Achim Jung & Jon Rowe, 3 Jun 2013, In: Theoretical Computer Science. 488, p. 66-77Research output: Contribution to journal › Article › peer-review
- 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
- Published
Computer Science Technical Report CSR-06-13: On the Bitopological Nature of Stone Duality
Achim Jung, 1 Jan 2006.Research output: Working paper
- Published
Logik
Achim Jung, 1 Jan 2006, Informatik-Handbuch (4th Edition).Research output: Chapter in Book/Report/Conference proceeding › Chapter
- 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
- Published
Berechnungsmodelle
Achim Jung, 1 Jan 2006, Informatik-Handbuch . 4th ed. Hanser VerlagResearch output: Chapter in Book/Report/Conference proceeding › Chapter
- 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
- 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
- Published
A logic for probabilities in semantics
Achim Jung, 1 Jan 2002, p. 216-231. 16 p.Research output: Contribution to conference (unpublished) › Paper
- 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
- 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
- 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
- E-pub ahead of print
Non-involutive twist-structures
Achim Jung, 29 Nov 2018, In: Interest Group in Pure and Applied Logics. Logic Journal. 27 p., jzy070.Research output: Contribution to journal › Article › peer-review