New Results on Hierarchies of Domains. - Achim Jung (MFPS, 1987)

Implementing the RSA cryptosystem. - Achim Jung (Comput. Secur., 1987)

Coherence and Consistency in Domains (Extended Outline) - Carl A. Gunter; Achim Jung (LICS, 1988)

The Classification of Continuous Domains (Extended Abstract) - Achim Jung (LICS, 1990)

Cartesian Closed Categories of Algebraic CPOs. - Achim Jung (Theor. Comput. Sci., 1990)

Decomposition of Domains. - Achim Jung; Leonid Libkin; Hermann Puhlmann (MFPS, 1991)

Using Powerdomains to Generalize Relational Databases. - Peter Buneman; Achim Jung; Atsushi Ohori (Theor. Comput. Sci., 1991)

The Dependent Product Construction in Various Categories of Domains. - Achim Jung (Theor. Comput. Sci., 1991)

Studying the Fully Abstract Model of PCF within its Continuous Function Model. - Achim Jung; Allen Stoughton (TLCA, 1993)

A New Characterization of Lambda Definability. - Achim Jung; Jerzy Tiuryn (TLCA, 1993)

Linear Types, Approximation, and Topology - Michael Huth 001; Achim Jung; Klaus Keimel (LICS, 1994)

Types, logic and semantics for nested databases. - Achim Jung; Hermann Puhlmann (MFPS, 1995)

Preface. - Abbas Edalat; Achim Jung; Klaus Keimel; Marta Z. Kwiatkowska (COMPROX, 1997)

The troublesome probabilistic powerdomain. - Achim Jung; Regina Tix (COMPROX, 1997)

Preface. - Stephen D. Brookes; Achim Jung; Michael W. Mislove; Andre Scedrov (MFPS, 1999)

Multi Lingual Sequent Calculus and Coherent Spaces. - Achim Jung; Mathias Kegelmann; M. Andrew Moshier (Fundam. Informaticae, 1999)

Linear types and approximation. - Michael Huth 001; Achim Jung; Klaus Keimel (Math. Struct. Comput. Sci., 2000)

Stably Compact Spaces and Closed Relations. - Achim Jung; Mathias Kegelmann; M. Andrew Moshier (MFPS, 2001)

A Logic for Probabilities in Semantics. - M. Andrew Moshier; Achim Jung (CSL, 2002)

Preface. - Martín Hötzel Escardó; Achim Jung (Workshop on Domains, 2002)

Stably Compact Spaces and the Probabilistic Powerspace construction. - Achim Jung (DTMPP, 2003)

Introduction to special issue on domain theory. - Abbas Edalat; Achim Jung (Math. Struct. Comput. Sci., 2004)

The probabilistic powerdomain for stably compact spaces. - Maurizio Alvarez-Manilla; Achim Jung; Klaus Keimel (Theor. Comput. Sci., 2004)

Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. - Lars Birkedal; Martín Hötzel Escardó; Achim Jung; Giuseppe Rosolini (Theor. Comput. Sci., 2004)

Auxiliary relations and sandwich theorems. - Chris Good; Achim Jung; Robin W. Knight; Ralph Kopperman (Spatial Representation, 2005)

Preface. - Martín Hötzel Escardó; Achim Jung; Michael W. Mislove (MFPS, 2005)

Priestley Duality for Strong Proximity Lattices. - Mohamed A. El-Zawawy; Achim Jung (MFPS, 2006)

Preface. - Martín Hötzel Escardó; Achim Jung; Thomas Streicher (Math. Struct. Comput. Sci., 2006)

A logical approach to stable domains. - Yi-Xiang Chen 001; Achim Jung (Theor. Comput. Sci., 2006)

A Hofmann-Mislove theorem for Bitopological Spaces. - Achim Jung; M. Andrew Moshier (MFPS, 2007)

Presenting Dcpos and Dcpo Algebras. - Achim Jung; M. Andrew Moshier; Steven J. Vickers (MFPS, 2008)

Preface. - Yixiang Chen 001; Ernst-Erich Doberkat; Achim Jung (ISDT, 2009)

Preface for the special issue on domains. - Bernhard Reus; Achim Jung; Klaus Keimel; Thomas Streicher (Math. Struct. Comput. Sci., 2010)

Dedication. - Stephen D. Brookes; Achim Jung; Catherine Meadows 001; Michael W. Mislove; Prakash Panangaden (MFPS, 2012)

Priestley Duality for Bilattices. - Achim Jung; Umberto Rivieccio (Stud Logica, 2012)

Continuous Domain Theory in Logical Form. - Achim Jung (Computation, Logic, Games, and Quantum Foundations, 2013)

Kripke Semantics for Modal Bilattice Logic. - Achim Jung; Umberto Rivieccio (LICS, 2013)

Four-valued modal logic: Kripke semantics and duality. - Achim Jung; Umberto Rivieccio (TACL, 2013)

Convergence of preference functions. - Achim Jung; Jonathan E. Rowe (Theor. Comput. Sci., 2013)

On a Categorical Framework for Coalgebraic Modal Logic. - Liang-Ting Chen 001; Achim Jung (MFPS, 2014)

QRB, QFS, and the Probabilistic Powerdomain. - Jean Goubault-Larrecq; Achim Jung (MFPS, 2014)

Semantics column. - Achim Jung (ACM SIGLOG News, 2014)

Duality in Computer Science (Dagstuhl Seminar 15441). - Mai Gehrke; Achim Jung; Victor L. Selivanov; Dieter Spreen (Dagstuhl Reports, 2015)

All cartesian closed categories of quasicontinuous domains consist of domains. - Xiaodong Jia 002; Achim Jung; Hui Kou; Qingguo Li; Haoran Zhao (Theor. Comput. Sci., 2015)

Categorical semantics of digital circuits. - Dan R. Ghica; Achim Jung (FMCAD, 2016)

The Ho-Zhao Problem. - Weng Kin Ho; Achim Jung; Xiaoyong Xi (CoRR, 2016)

Join-continuity + Hypercontinuity = Prime continuity. - Weng Kin Ho; Achim Jung; Dongsheng Zhao (CoRR, 2016)

Bitopology and Four-valued Logic. - Tomas Jakl; Achim Jung; Ales Pultr (MFPS, 2016)

Free Constructions and Coproducts of d-Frames. - Tomas Jakl; Achim Jung (CALCO, 2017)

Diagrammatic Semantics for Digital Circuits. - Dan R. Ghica; Achim Jung; Aliaume Lopez (CSL, 2017)

Preface. - Mao-kang Luo; Achim Jung; Guo-Qiang Zhang 001 (ISDT, 2017)

Four-valued modal logic: Kripke semantics and duality. - Umberto Rivieccio; Achim Jung; Ramon Jansana (J. Log. Comput., 2017)

Preface. - Achim Jung; Guo-Qiang Zhang 001 (Math. Struct. Comput. Sci., 2017)

The Ho-Zhao Problem. - Weng Kin Ho; Jean Goubault-Larrecq; Achim Jung; Xiaoyong Xi (Log. Methods Comput. Sci., 2018)

Quotients of d-Frames. - Tomas Jakl; Achim Jung; Ales Pultr (Appl. Categorical Struct., 2019)

Stone Duality for Relations. - Alexander Kurz 001; M. Andrew Moshier; Achim Jung (CoRR, 2019)

Preface. - Achim Jung; Qingguo Li; Luoshan Xu; Guo-Qiang Zhang 001 (ISDT, 2019)

Non-involutive twist-structures. - Umberto Rivieccio; Paulo Maia; Achim Jung (Log. J. IGPL, 2020)

A duality for two-sorted lattices. - Umberto Rivieccio; Achim Jung (Soft Comput., 2021)

Continuous Domains for Function Spaces Using Spectral Compactification. - Amin Farjudian; Achim Jung (CoRR, 2024)