Achim Jung

Publication Activity (10 Years)

Years Active: 1987-2021
Publications (10 Years): 17

Top Topics

Default Theories

Continuous Domains

Top Venues

Theor. Comput. Sci.

Publications

Umberto Rivieccio, Achim Jung
A duality for two-sorted lattices. Soft Comput. 25 (2) (2021)
Umberto Rivieccio, Paulo Maia, Achim Jung
Non-involutive twist-structures. Log. J. IGPL 28 (5) (2020)
Achim Jung, Qingguo Li, Luoshan Xu, Guo-Qiang Zhang
Preface. ISDT (2019)
Tomás Jakl, Achim Jung, Ales Pultr
Quotients of d-Frames. Appl. Categorical Struct. 27 (3) (2019)
Alexander Kurz, M. Andrew Moshier, Achim Jung
Stone Duality for Relations. CoRR (2019)
Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi
The Ho-Zhao Problem. Log. Methods Comput. Sci. 14 (1) (2018)
Tomás Jakl, Achim Jung
Free Constructions and Coproducts of d-Frames. CALCO (2017)
Umberto Rivieccio, Achim Jung, Ramon Jansana
Four-valued modal logic: Kripke semantics and duality. J. Log. Comput. 27 (1) (2017)
Tomás Jakl, Achim Jung
Free constructions and coproducts of d-frames. CoRR (2017)
Mao-kang Luo, Achim Jung, Guo-Qiang Zhang
Preface. ISDT (2017)
Dan R. Ghica, Achim Jung, Aliaume Lopez
Diagrammatic Semantics for Digital Circuits. CoRR (2017)
Achim Jung, Guo-Qiang Zhang
Preface. Math. Struct. Comput. Sci. 27 (4) (2017)
Dan R. Ghica, Achim Jung, Aliaume Lopez
Diagrammatic Semantics for Digital Circuits. CSL (2017)
Dan R. Ghica, Achim Jung
Categorical semantics of digital circuits. FMCAD (2016)
Tomás Jakl, Achim Jung, Ales Pultr
Bitopology and Four-valued Logic. MFPS (2016)
Weng Kin Ho, Achim Jung, Dongsheng Zhao
Join-continuity + Hypercontinuity = Prime continuity. CoRR (2016)
Weng Kin Ho, Achim Jung, Xiaoyong Xi
The Ho-Zhao Problem. CoRR (2016)
Xiaodong Jia, Achim Jung, Hui Kou, Qingguo Li, Haoran Zhao
All cartesian closed categories of quasicontinuous domains consist of domains. Theor. Comput. Sci. 594 (2015)
Mai Gehrke, Achim Jung, Victor L. Selivanov, Dieter Spreen
Duality in Computer Science (Dagstuhl Seminar 15441). Dagstuhl Reports 5 (10) (2015)
Liang-Ting Chen, Achim Jung
On a Categorical Framework for Coalgebraic Modal Logic. MFPS (2014)
Jean Goubault-Larrecq, Achim Jung
QRB, QFS, and the Probabilistic Powerdomain. MFPS (2014)
Achim Jung
Semantics column. ACM SIGLOG News 1 (2) (2014)
Achim Jung, Jonathan E. Rowe
Convergence of preference functions. Theor. Comput. Sci. 488 (2013)
Achim Jung
Continuous Domain Theory in Logical Form. Computation, Logic, Games, and Quantum Foundations (2013)
Achim Jung, Umberto Rivieccio
Four-valued modal logic: Kripke semantics and duality. TACL (2013)
Achim Jung, Umberto Rivieccio
Kripke Semantics for Modal Bilattice Logic. LICS (2013)
Stephen D. Brookes, Achim Jung, Catherine A. Meadows, Michael W. Mislove, Prakash Panangaden
Dedication. MFPS (2012)
Achim Jung, Umberto Rivieccio
Priestley Duality for Bilattices. Stud Logica 100 (1-2) (2012)
Bernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher
Preface for the special issue on domains. Math. Struct. Comput. Sci. 20 (2) (2010)
Yixiang Chen, Ernst-Erich Doberkat, Achim Jung
Preface. ISDT (2009)
Achim Jung, M. Andrew Moshier
A Hofmann-Mislove theorem for bitopological spaces. J. Log. Algebraic Methods Program. 76 (2) (2008)
Achim Jung, M. Andrew Moshier, Steven J. Vickers
Presenting Dcpos and Dcpo Algebras. MFPS (2008)
Martín Hötzel Escardó, Achim Jung, Thomas Streicher
Preface. Math. Struct. Comput. Sci. 17 (5) (2007)
Achim Jung, M. Andrew Moshier
A Hofmann-Mislove theorem for Bitopological Spaces. MFPS (2007)
Mohamed A. El-Zawawy, Achim Jung
Priestley Duality for Strong Proximity Lattices. MFPS (2006)
Yi-Xiang Chen, Achim Jung
A logical approach to stable domains. Theor. Comput. Sci. 368 (1-2) (2006)
Martín Hötzel Escardó, Achim Jung, Thomas Streicher
Preface. Math. Struct. Comput. Sci. 16 (2) (2006)
Martín Hötzel Escardó, Achim Jung, Michael W. Mislove
Preface. MFPS (2005)
Chris God, Achim Jung, Robin Knight, Ralph Kopperman
Auxiliary relations and sandwich theorems. Spatial Representation (2005)
Abbas Edalat, Achim Jung
Introduction to special issue on domain theory. Math. Struct. Comput. Sci. 14 (6) (2004)
Maurizio Alvarez-Manilla, Achim Jung, Klaus Keimel
The probabilistic powerdomain for stably compact spaces. Theor. Comput. Sci. 328 (3) (2004)
Achim Jung
Stably Compact Spaces and the Probabilistic Powerspace construction. Electron. Notes Theor. Comput. Sci. 87 (2004)
Lars Birkedal, Martín Hötzel Escardó, Achim Jung, Giuseppe Rosolini
Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. Theor. Comput. Sci. 316 (1) (2004)
Martín Hötzel Escardó, Achim Jung
Preface. Electron. Notes Theor. Comput. Sci. 73 (2004)
M. Andrew Moshier, Achim Jung
A Logic for Probabilities in Semantics. CSL (2002)
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Stably Compact Spaces and Closed Relations. MFPS (2001)
Michael Huth, Achim Jung, Klaus Keimel
Linear types and approximation. Math. Struct. Comput. Sci. 10 (6) (2000)
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Multi Lingual Sequent Calculus and Coherent Spaces. Fundam. Informaticae 37 (4) (1999)
Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov
Preface. MFPS (1999)
Achim Jung, Regina Tix
The troublesome probabilistic powerdomain. Electron. Notes Theor. Comput. Sci. 13 (1998)
Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska
Preface. Electron. Notes Theor. Comput. Sci. 13 (1998)
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Multi lingual sequent calculus and coherent spaces. MFPS (1997)
Achim Jung, Hermann Puhlmann
Types, logic and semantics for nested databases. MFPS (1995)
Michael Huth, Achim Jung, Klaus Keimel
Linear Types, Approximation, and Topology LICS (1994)
Achim Jung, Jerzy Tiuryn
A New Characterization of Lambda Definability. TLCA (1993)
Achim Jung, Allen Stoughton
Studying the Fully Abstract Model of PCF within its Continuous Function Model. TLCA (1993)
Achim Jung
The Dependent Product Construction in Various Categories of Domains. Theor. Comput. Sci. 79 (2) (1991)
Achim Jung, Leonid Libkin, Hermann Puhlmann
Decomposition of Domains. MFPS (1991)
Peter Buneman, Achim Jung, Atsushi Ohori
Using Powerdomains to Generalize Relational Databases. Theor. Comput. Sci. 91 (1) (1991)
Achim Jung
Cartesian Closed Categories of Algebraic CPOs. Theor. Comput. Sci. 70 (2) (1990)
Achim Jung
The Classification of Continuous Domains (Extended Abstract) LICS (1990)
Carl A. Gunter, Achim Jung
Coherence and Consistency in Domains (Extended Outline) LICS (1988)
Achim Jung
Implementing the RSA cryptosystem. Comput. Secur. 6 (4) (1987)
Achim Jung
New Results on Hierarchies of Domains. MFPS (1987)