Achim Jung 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	3647	802
h 指数	24	15
i10 指数	39	17

180

135

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 24 24 21 53 50 62 64 69 68 91 85 82 92 114 145 118 156 169 131 132 90 100 105 107 143 114 118 145 118 151 142 136 153 132 87

开放获取的出版物数量

查看全部

9 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

M. Andrew MoshierProfessor Mathematics and Computer Science在 chapman.edu 的电子邮件经过验证
Umberto RivieccioAssistant Professor, UNED (Madrid)在 fsof.uned.es 的电子邮件经过验证
Samson AbramskyProfessor of Computer Science, UCL在 ucl.ac.uk 的电子邮件经过验证
Klaus KeimelProfessor of Mathematics, Technische Universitaet Darmstadt在 mathematik.tu-darmstadt.de 的电子邮件经过验证
Dan R. GhicaProfessor of Semantics of Programming Languages, University of Birmingham在 cs.bham.ac.uk 的电子邮件经过验证
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di Genova在 unige.it 的电子邮件经过验证
Xiaodong JiaSchool of Mathematics, Hunan University在 hnu.edu.cn 的电子邮件经过验证
Qingguo Li（李庆国）Hunan University在 hnu.edu.cn 的电子邮件经过验证
Peter O'HearnLacework and University College London在 ucl.ac.uk 的电子邮件经过验证
Peter BunemanProfessor, University of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证
Atsushi OhoriTohoku University在 riec.tohoku.ac.jp 的电子邮件经过验证
Jerzy TiurynProfesor informatyki, Uniwersytet Warszawski在 mimuw.edu.pl 的电子邮件经过验证
Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
Jean Goubault-Larrecq在 lsv.fr 的电子邮件经过验证
Michael HuthProfessor of Computer Science, Computing, Imperial College London在 imperial.ac.uk 的电子邮件经过验证
Eugenio MoggiProfessor of Computer Science, Genova University在 unige.it 的电子邮件经过验证
Jon RieckeGoogle Inc.在 google.com 的电子邮件经过验证
Tomáš JaklCzech Academy of Sciences & Czech Technical University在 math.cas.cz 的电子邮件经过验证
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Marcelo FioreProfessor in Mathematical Foundations of Computer Science在 cl.cam.ac.uk 的电子邮件经过验证

关注

Achim Jung

Professor of Computer Science, University of Birmingham, UK

在 cs.bham.ac.uk 的电子邮件经过验证 - 首页

Semantics of Programming Languages Domain Theory Lambda Calculus Stone Duality Topology


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Domain theory S Abramsky, A Jung Handbook of Logic in Computer Science 3, 1-168, 1994	1690	1994
Cartesian closed categories of domains A Jung CWI Tracts 66, 1-110, 1989	283	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	144	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	107	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	70	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	58	2017
On the duality of compact vs. open A Jung, P Sünderhauf ANNALS-NEW YORK ACADEMY OF SCIENCES 806, 214-230, 1996	57	1996
On the bitopological nature of Stone duality A Jung, MA Moshier SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS 13, 110 pages, 2006	54	2006
Multi lingual sequent calculus and coherent spaces A Jung, M Kegelmann, MA Moshier Fundamenta Informaticae 37 (4), 369-412, 1999	54	1999
Cartesian closed categories of algebraic cpos A Jung Theoretical Computer Science 70 (2), 233-250, 1990	54	1990
The probabilistic powerdomain for stably compact spaces M Alvarez-Manilla, A Jung, K Keimel Theoretical Computer Science 328 (3), 221-244, 2004	47	2004
Stably compact spaces and closed relations A Jung, M Kegelmann, MA Moshier Electronic Notes in Theoretical Computer Science 45, 209-231, 2001	38	2001
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	38	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	37	2013
A note on coherence of dcpos X Jia, A Jung, Q Li Topology and its Applications 209, 235-238, 2016	35	2016
Categorical semantics of digital circuits DR Ghica, A Jung Proceedings of the 16th Conference on Formal Methods in Computer-Aided …, 2016	33	2016
Diagrammatic Semantics for Digital Circuits DR Ghica, A Jung, A Lopez arXiv preprint arXiv:1703.10247, 2017	32	2017

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用