Follow
Achim Jung
Achim Jung
Professor of Computer Science, University of Birmingham, UK
Verified email at cs.bham.ac.uk - Homepage
Title
Cited by
Cited by
Year
Domain theory
S Abramsky, A Jung
Handbook of Logic in Computer Science 3, 1-168, 1994
16741994
Cartesian closed categories of domains
A Jung
CWI Tracts 66, 1-110, 1989
2861989
Using powerdomains to generalize relational databases
P Buneman, A Jung, A Ohori
Theoretical Computer Science 91 (1), 23-55, 1991
1631991
The troublesome probabilistic powerdomain
A Jung, R Tix
Electronic Notes in Theoretical Computer Science 13, 70-91, 1998
1451998
A new characterization of lambda definability
A Jung, J Tiuryn
International Conference on Typed Lambda Calculi and Applications, 245-257, 1993
1211993
The classification of continuous domains
A Jung
Logic in Computer Science, 1990. LICS'90, Proceedings., Fifth Annual IEEE …, 1990
1071990
Domains and Denotational Semantics: History, Accomplishments and Open Problems
MP Fiore, A Jung, E Moggi, P O'Hearn, J Riecke, G Rosolini, I Stark
Bulletin of EATCS 59, 227-256, 1996
75*1996
Stably compact spaces and the probabilistic powerspace construction
A Jung
Electronic Notes in Theoretical Computer Science 87, 5-20, 2004
672004
Four-valued modal logic: Kripke semantics and duality
U Rivieccio, A Jung, R Jansana
Journal of Logic and Computation 27 (1), 155-199, 2017
592017
On the duality of compact vs. open
A Jung, P Sünderhauf
ANNALS-NEW YORK ACADEMY OF SCIENCES 806, 214-230, 1996
581996
On the bitopological nature of Stone duality
A Jung, MA Moshier
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS 13, 110 pages, 2006
552006
Multi lingual sequent calculus and coherent spaces
A Jung, M Kegelmann, MA Moshier
Fundamenta Informaticae 37 (4), 369-412, 1999
541999
Cartesian closed categories of algebraic cpos
A Jung
Theoretical Computer Science 70 (2), 233-250, 1990
531990
The probabilistic powerdomain for stably compact spaces
M Alvarez-Manilla, A Jung, K Keimel
Theoretical Computer Science 328 (3), 221-244, 2004
462004
Studying the fully abstract model of PCF within its continuous function model
A Jung, A Stoughton
International Conference on Typed Lambda Calculi and Applications, 230-244, 1993
371993
Kripke semantics for modal bilattice logic
A Jung, U Rivieccio
Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer …, 2013
362013
Stably compact spaces and closed relations
A Jung, M Kegelmann, MA Moshier
Electronic Notes in Theoretical Computer Science 45, 209-231, 2001
362001
A note on coherence of dcpos
X Jia, A Jung, Q Li
Topology and its Applications 209, 235-238, 2016
352016
Categorical semantics of digital circuits
DR Ghica, A Jung
Proceedings of the 16th Conference on Formal Methods in Computer-Aided …, 2016
302016
Presenting dcpos and dcpo algebras
A Jung, MA Moshier, S Vickers
Electronic Notes in Theoretical Computer Science 218, 209-229, 2008
302008
The system can't perform the operation now. Try again later.
Articles 1–20