Achim Jung

Links

Colleges, School and Institutes

Willingness to take PhD students

Yes

PhD projects

Achim Jung’s research interests include domain theory, denotational semantics of programming languages, lambda calculus, topology, cryptography and computer science education.

View graph of relations

Most downloaded publications

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

103 downloads
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

85 downloads
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

80 downloads
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

70 downloads
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

68 downloads

Recent publications

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

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

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

View all (38)