Achim Jung

Cited by

	All	Since 2019
Citations	3727	878
h-index	24	16
i10-index	40	18

180

135

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 24 24 21 53 50 62 65 69 70 91 85 83 92 113 145 118 156 169 131 131 90 100 105 107 143 114 118 145 121 152 142 136 152 134 161

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

M. Andrew MoshierProfessor Mathematics and Computer ScienceVerified email at chapman.edu
Umberto RivieccioAssistant Professor, UNED (Madrid)Verified email at fsof.uned.es
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
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
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaVerified email at unige.it
Xiaodong JiaAssociate Professor of Mathematics, Hunan UniversityVerified email at hnu.edu.cn
Qingguo Li（李庆国）Hunan UniversityVerified email at hnu.edu.cn
Peter O'HearnUniversity 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
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
Jean Goubault-LarrecqVerified email at lsv.fr
Michael HuthProfessor of Computer Science, Computing, Imperial College LondonVerified email at imperial.ac.uk
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
Jon RieckeGoogle Inc.Verified email at google.com
Tomáš JaklCzech Technical UniversityVerified email at cvut.cz
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

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	1724	1994
Cartesian closed categories of domains A Jung CWI Tracts 66, 1-110, 1989	286	1989
Using powerdomains to generalize relational databases P Buneman, A Jung, A Ohori Theoretical Computer Science 91 (1), 23-55, 1991	162	1991
The troublesome probabilistic powerdomain A Jung, R Tix Electronic Notes in Theoretical Computer Science 13, 70-91, 1998	145	1998
A new characterization of lambda definability A Jung, J Tiuryn International Conference on Typed Lambda Calculi and Applications, 245-257, 1993	124	1993
The classification of continuous domains A Jung Logic in Computer Science, 1990. LICS'90, Proceedings., Fifth Annual IEEE …, 1990	109	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	75*	1996
Stably compact spaces and the probabilistic powerspace construction A Jung Electronic Notes in Theoretical Computer Science 87, 5-20, 2004	73	2004
Four-valued modal logic: Kripke semantics and duality U Rivieccio, A Jung, R Jansana Journal of Logic and Computation 27 (1), 155-199, 2017	63	2017
Cartesian closed categories of algebraic cpos A Jung Theoretical Computer Science 70 (2), 233-250, 1990	58	1990
On the duality of compact vs. open A Jung, P Sünderhauf ANNALS-NEW YORK ACADEMY OF SCIENCES 806, 214-230, 1996	57	1996
Multi lingual sequent calculus and coherent spaces A Jung, M Kegelmann, MA Moshier Fundamenta Informaticae 37 (4), 369-412, 1999	56	1999
On the bitopological nature of Stone duality A Jung, MA Moshier SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS 13, 110 pages, 2006	55	2006
The probabilistic powerdomain for stably compact spaces M Alvarez-Manilla, A Jung, K Keimel Theoretical Computer Science 328 (3), 221-244, 2004	51	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	42	1993
Stably compact spaces and closed relations A Jung, M Kegelmann, MA Moshier Electronic Notes in Theoretical Computer Science 45, 209-231, 2001	39	2001
A note on coherence of dcpos X Jia, A Jung, Q Li Topology and its Applications 209, 235-238, 2016	38	2016
Kripke semantics for modal bilattice logic A Jung, U Rivieccio Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer …, 2013	38	2013
Diagrammatic Semantics for Digital Circuits DR Ghica, A Jung, A Lopez arXiv preprint arXiv:1703.10247, 2017	35	2017
Categorical semantics of digital circuits DR Ghica, A Jung Proceedings of the 16th Conference on Formal Methods in Computer-Aided …, 2016	33	2016

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

Cited by

Co-authors