default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAchim Jung
Person information
- affiliation: The University of Birmingham, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[e9]Weng Kin Ho, Dongsheng Zhao, Achim Jung, Guo-Qiang Zhang, Guo-Qiang Zhang:
Proceedings of the 9th International Symposium on Domain Theory and Its Applications, ISDT 2022, Singapore, July 4-6, 2022. Electronic Notes in Theoretical Informatics and Computer Science 2, EpiSciences 2022 [contents]- 2021
- [j24]Umberto Rivieccio
, Achim Jung:
A duality for two-sorted lattices. Soft Comput. 25(2): 851-868 (2021) - 2020
- [j23]Umberto Rivieccio, Paulo Maia, Achim Jung:
Non-involutive twist-structures. Log. J. IGPL 28(5): 973-999 (2020)
2010 – 2019
- 2019
- [j22]Tomas Jakl, Achim Jung, Ales Pultr:
Quotients of d-Frames. Appl. Categorical Struct. 27(3): 261-275 (2019) - [c33]Achim Jung, Qingguo Li, Luoshan Xu, Guo-Qiang Zhang:
Preface. ISDT 2019: 1-2 - [e8]Achim Jung, Qingguo Li, Luoshan Xu, Guo-Qiang Zhang:
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, ISDT 2019, Yangzhou, China, June 14-17, 2019. Electronic Notes in Theoretical Computer Science 345, Elsevier 2019 [contents] - [i7]Alexander Kurz, M. Andrew Moshier, Achim Jung:
Stone Duality for Relations. CoRR abs/1912.08418 (2019) - 2018
- [j21]Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi:
The Ho-Zhao Problem. Log. Methods Comput. Sci. 14(1) (2018) - [e7]Dan R. Ghica, Achim Jung:
27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK. LIPIcs 119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-088-0 [contents] - 2017
- [j20]Umberto Rivieccio, Achim Jung, Ramon Jansana:
Four-valued modal logic: Kripke semantics and duality. J. Log. Comput. 27(1): 155-199 (2017) - [j19]Achim Jung, Guo-Qiang Zhang:
Preface. Math. Struct. Comput. Sci. 27(4): 459 (2017) - [c32]Tomas Jakl, Achim Jung:
Free Constructions and Coproducts of d-Frames. CALCO 2017: 14:1-14:15 - [c31]Dan R. Ghica, Achim Jung, Aliaume Lopez:
Diagrammatic Semantics for Digital Circuits. CSL 2017: 24:1-24:16 - [c30]Mao-kang Luo, Achim Jung, Guo-Qiang Zhang:
Preface. ISDT 2017: 1-2 - [e6]Mao-kang Luo, Achim Jung, Guo-Qiang Zhang:
Seventh International Symposium on Domain Theory and Its Applications, ISDT 2017, Shijiazhuang, China, June 2-6, 2017. Electronic Notes in Theoretical Computer Science 333, Elsevier 2017 [contents] - [i6]Dan R. Ghica, Achim Jung, Aliaume Lopez:
Diagrammatic Semantics for Digital Circuits. CoRR abs/1703.10247 (2017) - [i5]Tomas Jakl, Achim Jung:
Free constructions and coproducts of d-frames. CoRR abs/1704.04029 (2017) - 2016
- [c29]Dan R. Ghica, Achim Jung:
Categorical semantics of digital circuits. FMCAD 2016: 41-48 - [c28]Tomas Jakl, Achim Jung, Ales Pultr:
Bitopology and Four-valued Logic. MFPS 2016: 201-219 - [i4]Weng Kin Ho, Achim Jung, Dongsheng Zhao:
Join-continuity + Hypercontinuity = Prime continuity. CoRR abs/1607.01886 (2016) - [i3]Weng Kin Ho, Achim Jung, Xiaoyong Xi:
The Ho-Zhao Problem. CoRR abs/1607.03286 (2016) - 2015
- [j18]Xiaodong Jia, Achim Jung, Hui Kou, Qingguo Li, Haoran Zhao:
All cartesian closed categories of quasicontinuous domains consist of domains. Theor. Comput. Sci. 594: 143-150 (2015) - [i2]Mai Gehrke, Achim Jung, Victor L. Selivanov, Dieter Spreen:
Duality in Computer Science (Dagstuhl Seminar 15441). Dagstuhl Reports 5(10): 66-88 (2015) - 2014
- [j17]Achim Jung:
Semantics column. ACM SIGLOG News 1(2): 25-37 (2014) - [c27]Liang-Ting Chen, Achim Jung:
On a Categorical Framework for Coalgebraic Modal Logic. MFPS 2014: 109-128 - [c26]Jean Goubault-Larrecq, Achim Jung:
QRB, QFS, and the Probabilistic Powerdomain. MFPS 2014: 167-182 - 2013
- [j16]Achim Jung, Jonathan E. Rowe:
Convergence of preference functions. Theor. Comput. Sci. 488: 66-77 (2013) - [c25]Achim Jung:
Continuous Domain Theory in Logical Form. Computation, Logic, Games, and Quantum Foundations 2013: 166-177 - [c24]Achim Jung, Umberto Rivieccio:
Kripke Semantics for Modal Bilattice Logic. LICS 2013: 438-447 - [c23]Achim Jung, Umberto Rivieccio:
Four-valued modal logic: Kripke semantics and duality. TACL 2013: 120-124 - 2012
- [j15]Achim Jung, Umberto Rivieccio:
Priestley Duality for Bilattices. Stud Logica 100(1-2): 223-252 (2012) - [c22]Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden:
Dedication. MFPS 2012: 3 - 2010
- [j14]Bernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher:
Preface for the special issue on domains. Math. Struct. Comput. Sci. 20(2): 105-106 (2010)
2000 – 2009
- 2009
- [c21]Yixiang Chen, Ernst-Erich Doberkat, Achim Jung:
Preface. ISDT 2009: 1-2 - [e5]Yixiang Chen, Ernst-Erich Doberkat, Achim Jung:
Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009. Electronic Notes in Theoretical Computer Science 257, Elsevier 2009 [contents] - 2008
- [j13]Achim Jung, M. Andrew Moshier:
A Hofmann-Mislove theorem for bitopological spaces. J. Log. Algebraic Methods Program. 76(2): 161-174 (2008) - [c20]Achim Jung, M. Andrew Moshier, Steven J. Vickers:
Presenting Dcpos and Dcpo Algebras. MFPS 2008: 209-229 - 2007
- [j12]Martín Hötzel Escardó, Achim Jung, Thomas Streicher:
Preface. Math. Struct. Comput. Sci. 17(5): 839-839 (2007) - [c19]Achim Jung, M. Andrew Moshier:
A Hofmann-Mislove theorem for Bitopological Spaces. MFPS 2007: 159-175 - 2006
- [j11]Martín Hötzel Escardó, Achim Jung, Thomas Streicher:
Preface. Math. Struct. Comput. Sci. 16(2): 139-140 (2006) - [j10]Yi-Xiang Chen, Achim Jung:
A logical approach to stable domains. Theor. Comput. Sci. 368(1-2): 124-148 (2006) - [c18]Mohamed A. El-Zawawy, Achim Jung:
Priestley Duality for Strong Proximity Lattices. MFPS 2006: 199-217 - [e4]Martín Hötzel Escardó, Achim Jung, Michael W. Mislove:
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005. Electronic Notes in Theoretical Computer Science 155, Elsevier 2006 [contents] - 2005
- [c17]Martín Hötzel Escardó, Achim Jung, Michael W. Mislove:
Preface. MFPS 2005: 1-3 - [i1]Chris Good, Achim Jung, Robin W. Knight, Ralph Kopperman:
Auxiliary relations and sandwich theorems. Spatial Representation 2005 - 2004
- [j9]Abbas Edalat, Achim Jung:
Introduction to special issue on domain theory. Math. Struct. Comput. Sci. 14(6): 769 (2004) - [j8]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): 1-2 (2004) - [j7]Maurizio Alvarez-Manilla, Achim Jung, Klaus Keimel:
The probabilistic powerdomain for stably compact spaces. Theor. Comput. Sci. 328(3): 221-244 (2004) - [e3]Martín Escardó, Achim Jung:
Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002. Electronic Notes in Theoretical Computer Science 73, Elsevier 2004 [contents] - 2003
- [c16]Achim Jung:
Stably Compact Spaces and the Probabilistic Powerspace construction. DTMPP 2003: 5-20 - 2002
- [c15]M. Andrew Moshier, Achim Jung:
A Logic for Probabilities in Semantics. CSL 2002: 216-231 - [c14]Martín Hötzel Escardó, Achim Jung:
Preface. Workshop on Domains 2002: 1-2 - 2001
- [c13]Achim Jung, Mathias Kegelmann, M. Andrew Moshier:
Stably Compact Spaces and Closed Relations. MFPS 2001: 209-231 - 2000
- [j6]Michael Huth, Achim Jung, Klaus Keimel:
Linear types and approximation. Math. Struct. Comput. Sci. 10(6): 719-745 (2000)
1990 – 1999
- 1999
- [j5]Achim Jung, Mathias Kegelmann, M. Andrew Moshier:
Multi Lingual Sequent Calculus and Coherent Spaces. Fundam. Informaticae 37(4): 369-412 (1999) - [c12]Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov:
Preface. MFPS 1999: 512-513 - [e2]Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov:
Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999. Electronic Notes in Theoretical Computer Science 20, Elsevier 1999 [contents] - 1997
- [c11]Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska:
Preface. COMPROX 1997: 1 - [c10]Achim Jung, Regina Tix:
The troublesome probabilistic powerdomain. COMPROX 1997: 70-91 - [c9]Achim Jung, Mathias Kegelmann, M. Andrew Moshier:
Multi lingual sequent calculus and coherent spaces. MFPS 1997: 203-220 - [e1]Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska:
Third Workshop on Computation and Approximation, COMPROX 1997, Birmingham, UK, September 11-13, 1997. Electronic Notes in Theoretical Computer Science 13, Elsevier 1997 [contents] - 1995
- [c8]Achim Jung, Hermann Puhlmann:
Types, logic and semantics for nested databases. MFPS 1995: 334-354 - 1994
- [c7]Michael Huth, Achim Jung, Klaus Keimel:
Linear Types, Approximation, and Topology. LICS 1994: 110-114 - 1993
- [c6]Achim Jung, Allen Stoughton:
Studying the Fully Abstract Model of PCF within its Continuous Function Model. TLCA 1993: 230-244 - [c5]Achim Jung, Jerzy Tiuryn:
A New Characterization of Lambda Definability. TLCA 1993: 245-257 - 1991
- [j4]Achim Jung:
The Dependent Product Construction in Various Categories of Domains. Theor. Comput. Sci. 79(2): 359-363 (1991) - [j3]Peter Buneman, Achim Jung, Atsushi Ohori:
Using Powerdomains to Generalize Relational Databases. Theor. Comput. Sci. 91(1): 23-55 (1991) - [c4]Achim Jung, Leonid Libkin, Hermann Puhlmann:
Decomposition of Domains. MFPS 1991: 235-258 - 1990
- [j2]Achim Jung:
Cartesian Closed Categories of Algebraic CPOs. Theor. Comput. Sci. 70(2): 233-250 (1990) - [c3]Achim Jung:
The Classification of Continuous Domains (Extended Abstract). LICS 1990: 35-40
1980 – 1989
- 1988
- [c2]Carl A. Gunter, Achim Jung:
Coherence and Consistency in Domains (Extended Outline). LICS 1988: 309-317 - 1987
- [j1]Achim Jung:
Implementing the RSA cryptosystem. Comput. Secur. 6(4): 342-350 (1987) - [c1]Achim Jung:
New Results on Hierarchies of Domains. MFPS 1987: 303-310
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-21 21:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
