Achim Jung

Cited by

	All	Since 2017
Citations	3413	825
h-index	22	15
i10-index	35	18

180

135

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202219 21 28 20 52 46 61 65 71 68 93 79 82 90 116 143 124 148 164 129 132 100 96 113 113 132 116 120 158 121 160 153 142 91

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

M. Andrew MoshierProfessor Mathematics and Computer ScienceVerified email at chapman.edu
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Umberto RivieccioUniversidade Federal do Rio Grande do NorteVerified email at dimap.ufrn.br
Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerified email at mathematik.tu-darmstadt.de
Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamVerified email at cs.bham.ac.uk
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaVerified email at unige.it
Peter O'HearnLacework and University College LondonVerified email at ucl.ac.uk
Peter BunemanProfessor, University of EdinburghVerified email at inf.ed.ac.uk
Atsushi OhoriTohoku UniversityVerified email at riec.tohoku.ac.jp
Xiaodong JiaSchool of Mathematics, Hunan UniversityVerified email at hnu.edu.cn
Qingguo Li（李庆国）Hunan UniversityVerified email at hnu.edu.cn
Jean Goubault-LarrecqVerified email at lsv.fr
Jerzy TiurynProfesor informatyki, Uniwersytet WarszawskiVerified email at mimuw.edu.pl
Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
Jon RieckeGoogle Inc.Verified email at google.com
Mohamed A. El-ZawawyAssociate Prof of Computer Science - Cairo UniversityVerified email at cu.edu.eg
Michael HuthProfessor of Computer Science, Computing, Imperial College LondonVerified email at imperial.ac.uk

Achim Jung

Professor of Computer Science, University of Birmingham, UK

Verified email at cs.bham.ac.uk - Homepage

Semantics of Programming Languages Domain Theory Lambda Calculus Stone Duality Topology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Domain theory S Abramsky, A Jung Handbook of Logic in Computer Science 3, 1-168, 1994	1625	1994
Cartesian closed categories of domains A Jung CWI Tracts 66, 1-110, 1989	274	1989
Using powerdomains to generalize relational databases P Buneman, A Jung, A Ohori Theoretical Computer Science 91 (1), 23-55, 1991	155	1991
The troublesome probabilistic powerdomain A Jung, R Tix Electronic Notes in Theoretical Computer Science 13, 70-91, 1998	138	1998
A new characterization of lambda definability A Jung, J Tiuryn International Conference on Typed Lambda Calculi and Applications, 245-257, 1993	114	1993
The classification of continuous domains A Jung Logic in Computer Science, 1990. LICS'90, Proceedings., Fifth Annual IEEE …, 1990	104	1990
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	85*	1996
Stably compact spaces and the probabilistic powerspace construction A Jung Electronic Notes in Theoretical Computer Science 87, 5-20, 2004	64	2004
On the duality of compact vs. open A Jung, P Sünderhauf ANNALS-NEW YORK ACADEMY OF SCIENCES 806, 214-230, 1996	55	1996
On the bitopological nature of Stone duality A Jung, MA Moshier SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS 13, 110 pages, 2006	51	2006
Cartesian closed categories of algebraic cpos A Jung Theoretical Computer Science 70 (2), 233-250, 1990	49	1990
Coherence and consistency in domains CA Gunter, A Jung Journal of Pure and Applied Algebra 63 (1), 49-66, 1990	45*	1990
Coherence and consistency in domains DA Gunter, A Jung Logic in Computer Science, 1988. LICS'88., Proceedings of the Third Annual …, 0	45*
Multi lingual sequent calculus and coherent spaces A Jung, M Kegelmann, MA Moshier Fundamenta Informaticae 37 (4), 369-412, 1999	44	1999
Four-valued modal logic: Kripke semantics and duality U Rivieccio, A Jung, R Jansana Journal of Logic and Computation 27 (1), 155-199, 2017	42	2017
The probabilistic powerdomain for stably compact spaces M Alvarez-Manilla, A Jung, K Keimel Theoretical Computer Science 328 (3), 221-244, 2004	42	2004
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	36	1993
Kripke semantics for modal bilattice logic A Jung, U Rivieccio Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer …, 2013	32	2013
Stably compact spaces and closed relations A Jung, M Kegelmann, MA Moshier Electronic Notes in Theoretical Computer Science 45, 209-231, 2001	32	2001
Presenting dcpos and dcpo algebras A Jung, MA Moshier, S Vickers Electronic Notes in Theoretical Computer Science 218, 209-229, 2008	27	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors