Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Ana Gersica da Silva Gonçalo
Claudia Calabrese
Henry B. Glick
William H. K. Lam
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
ACHIM JUNG
Author Info
Open Visualization
Name
Affiliation
Papers
ACHIM JUNG
School of Computer Science, The University of Birmingham, Edgbaston, Birmingham, B15 2TT, England
19
Collaborators
Citations
PageRank
26
111
13.07
Referers
Referees
References
111
99
114
Search Limit
100
111
Publications (19 rows)
Collaborators (26 rows)
Referers (100 rows)
Referees (99 rows)
Title
Citations
PageRank
Year
A Duality For Two-Sorted Lattices
0
0.34
2021
Quotients of d-Frames
0
0.34
2019
Diagrammatic Semantics for Digital Circuits.
3
0.40
2017
Free constructions and coproducts of d-frames.
0
0.34
2017
Categorical semantics of digital circuits.
0
0.34
2016
Join-continuity + Hypercontinuity = Prime continuity.
0
0.34
2016
Bitopology and Four-valued Logic
1
0.36
2016
All cartesian closed categories of quasicontinuous domains consist of domains
0
0.34
2015
Preface for the special issue on domains
0
0.34
2010
Presenting Dcpos and Dcpo Algebras
6
0.57
2008
A Hofmann–Mislove theorem for bitopological spaces
3
0.47
2007
Priestley Duality for Strong Proximity Lattices
7
0.43
2006
The probabilistic powerdomain for stably compact spaces.
16
1.37
2004
A Logic for Probabilities in Semantics
9
0.68
2002
Stably Compact Spaces and Closed Relations
12
1.01
2001
Linear types and approximation
2
0.39
2000
The Troublesome Probabilistic Powerdomain
37
2.79
1998
Multi lingual sequent calculus and coherent spaces
13
1.84
1997
Linear Types, Approximation, and Topology
2
0.40
1994
1