Achim Jung

Citado por

	Total	Desde 2019
Citas	3697	850
Índice h	24	16
Índice i10	40	18

180

135

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 24 24 21 53 50 62 65 69 68 91 85 82 92 113 145 118 156 169 131 132 90 100 105 107 143 114 118 145 119 150 142 134 154 134 135

Acceso público

Ver todo

9 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

M. Andrew MoshierProfessor Mathematics and Computer ScienceDirección de correo verificada de chapman.edu
Umberto RivieccioAssistant Professor, UNED (Madrid)Dirección de correo verificada de fsof.uned.es
Samson AbramskyProfessor of Computer Science, UCLDirección de correo verificada de ucl.ac.uk
Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtDirección de correo verificada de mathematik.tu-darmstadt.de
Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamDirección de correo verificada de cs.bham.ac.uk
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaDirección de correo verificada de unige.it
Xiaodong JiaSchool of Mathematics, Hunan UniversityDirección de correo verificada de hnu.edu.cn
Qingguo Li（李庆国）Hunan UniversityDirección de correo verificada de hnu.edu.cn
Peter O'HearnUniversity College LondonDirección de correo verificada de ucl.ac.uk
Peter BunemanProfessor, University of EdinburghDirección de correo verificada de inf.ed.ac.uk
Atsushi OhoriTohoku UniversityDirección de correo verificada de riec.tohoku.ac.jp
Jerzy TiurynProfesor informatyki, Uniwersytet WarszawskiDirección de correo verificada de mimuw.edu.pl
Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
Jean Goubault-LarrecqDirección de correo verificada de lsv.fr
Michael HuthProfessor of Computer Science, Computing, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Eugenio MoggiProfessor of Computer Science, Genova UniversityDirección de correo verificada de unige.it
Jon RieckeGoogle Inc.Dirección de correo verificada de google.com
Tomáš JaklCzech Technical UniversityDirección de correo verificada de cvut.cz
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghDirección de correo verificada de ed.ac.uk
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceDirección de correo verificada de cl.cam.ac.uk

Seguir

Achim Jung

Professor of Computer Science, University of Birmingham, UK

Dirección de correo verificada de cs.bham.ac.uk - Página principal

Semantics of Programming Languages Domain Theory Lambda Calculus Stone Duality Topology


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Domain theory S Abramsky, A Jung Handbook of Logic in Computer Science 3, 1-168, 1994	1709	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	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	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	71	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	62	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
Cartesian closed categories of algebraic cpos A Jung Theoretical Computer Science 70 (2), 233-250, 1990	57	1990
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	48	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	41	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
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
A note on coherence of dcpos X Jia, A Jung, Q Li Topology and its Applications 209, 235-238, 2016	37	2016
Diagrammatic Semantics for Digital Circuits DR Ghica, A Jung, A Lopez arXiv preprint arXiv:1703.10247, 2017	33	2017
Categorical semantics of digital circuits DR Ghica, A Jung Proceedings of the 16th Conference on Formal Methods in Computer-Aided …, 2016	33	2016

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores