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
16801994
Cartesian closed categories of domains
A Jung
CWI Tracts 66, 1-110, 1989
2881989
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
1231993
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
682004
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
551999
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
Stably compact spaces and closed relations
A Jung, M Kegelmann, MA Moshier
Electronic Notes in Theoretical Computer Science 45, 209-231, 2001
372001
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
A note on coherence of dcpos
X Jia, A Jung, Q Li
Topology and its Applications 209, 235-238, 2016
362016
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
Categorical semantics of digital circuits
DR Ghica, A Jung
Proceedings of the 16th Conference on Formal Methods in Computer-Aided …, 2016
312016
Diagrammatic Semantics for Digital Circuits
DR Ghica, A Jung, A Lopez
arXiv preprint arXiv:1703.10247, 2017
302017
The system can't perform the operation now. Try again later.
Articles 1–20