Achim Jung

2.2k total citations · 1 hit paper
43 papers, 1.1k citations indexed

About

Achim Jung is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Mathematical Physics. According to data from OpenAlex, Achim Jung has authored 43 papers receiving a total of 1.1k indexed citations (citations by other indexed papers that have themselves been cited), including 29 papers in Computational Theory and Mathematics, 28 papers in Artificial Intelligence and 9 papers in Mathematical Physics. Recurrent topics in Achim Jung's work include Advanced Algebra and Logic (20 papers), Logic, programming, and type systems (19 papers) and Logic, Reasoning, and Knowledge (17 papers). Achim Jung is often cited by papers focused on Advanced Algebra and Logic (20 papers), Logic, programming, and type systems (19 papers) and Logic, Reasoning, and Knowledge (17 papers). Achim Jung collaborates with scholars based in United Kingdom, United States and Germany. Achim Jung's co-authors include Samson Abramsky, Umberto Rivieccio, Peter Buneman, Atsushi Ohori, Carl A. Gunter, Klaus Keimel, Ramón Jansana, Dan R. Ghica, Yixiang Chen and Qingguo Li and has published in prestigious journals such as Annals of the New York Academy of Sciences, Theoretical Computer Science and Computers & Security.

In The Last Decade

Achim Jung

40 papers receiving 1.0k citations

Hit Papers

Domain theory 1995 2026 2005 2015 1995 100 200 300 400 500
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Domain theory
    1995 565 citations Samson Abramsky, Achim Jung profile →

Peers

Achim Jung
Robert Goldblatt New Zealand
Teodor C. Przymusiński United States
Gaisi Takeuti United States
J. Spencer United States
Gabriele Castellini Puerto Rico
Ehud Friedgut Israel
J. Lambek Canada
G. E. Strecker United States
Steven Givant United States
R. F. C. Walters Australia
Robert Goldblatt New Zealand
Achim Jung
Citations per year, relative to Achim Jung Achim Jung (= 1×) peers Robert Goldblatt

Countries citing papers authored by Achim Jung

Since Specialization
Citations

This map shows the geographic impact of Achim Jung's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Achim Jung with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Achim Jung more than expected).

Fields of papers citing papers by Achim Jung

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Achim Jung. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Achim Jung. The network helps show where Achim Jung may publish in the future.

Co-authorship network of co-authors of Achim Jung

This figure shows the co-authorship network connecting the top 25 collaborators of Achim Jung. A scholar is included among the top collaborators of Achim Jung based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Achim Jung. Achim Jung is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Ghica, Dan R., et al.. (2017). Diagrammatic Semantics for Digital Circuits. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 8 indexed citations
2.
Ghica, Dan R. & Achim Jung. (2016). Categorical semantics of digital circuits. 41–48. 4 indexed citations
3.
Jung, Achim, et al.. (2016). A note on coherence of dcpos. Topology and its Applications. 209. 235–238. 17 indexed citations
4.
Ghica, Dan R. & Achim Jung. (2016). Categorical semantics of digital circuits. University of Birmingham Research Portal (University of Birmingham). 41–48. 6 indexed citations
5.
Jung, Achim, et al.. (2015). All cartesian closed categories of quasicontinuous domains consist of domains. Theoretical Computer Science. 594. 143–150. 3 indexed citations
6.
Rivieccio, Umberto, Achim Jung, & Ramón Jansana. (2015). Four-valued modal logic: Kripke semantics and duality. Journal of Logic and Computation. 27(1). 155–199. 25 indexed citations
7.
Jung, Achim & Umberto Rivieccio. (2013). Kripke Semantics for Modal Bilattice Logic. 438–447. 13 indexed citations
8.
Klinke, Olaf, et al.. (2011). A bitopological point-free approach to compactifications. Topology and its Applications. 158(13). 1551–1566. 4 indexed citations
9.
Jung, Achim, et al.. (2008). A Hofmann–Mislove theorem for bitopological spaces. The Journal of Logic and Algebraic Programming. 76(2). 161–174. 3 indexed citations
10.
Jung, Achim, et al.. (2007). The Classification of Continuous Domains (Extended Abstract). 1 indexed citations
11.
Chen, Yixiang & Achim Jung. (2006). A logical approach to stable domains. Theoretical Computer Science. 368(1-2). 124–148. 13 indexed citations
12.
Jung, Achim, et al.. (2004). The probabilistic powerdomain for stably compact spaces. Theoretical Computer Science. 328(3). 221–244. 25 indexed citations
13.
Jung, Achim, et al.. (1996). On the Duality of Compact vs. Open. Annals of the New York Academy of Sciences. 806(1). 214–230. 26 indexed citations
14.
Abramsky, Samson & Achim Jung. (1995). Domain theory. 1–168. 565 indexed citations breakdown →
15.
Jung, Achim. (1991). The dependent product construction in various categories of domains. Theoretical Computer Science. 79(2). 359–363. 1 indexed citations
16.
Buneman, Peter, Achim Jung, & Atsushi Ohori. (1991). Using powerdomains to generalize relational databases. Theoretical Computer Science. 91(1). 23–55. 61 indexed citations
17.
Jung, Achim. (1990). Cartesian closed categories of algebraic CPOs. Theoretical Computer Science. 70(2). 233–250. 20 indexed citations
18.
Gunter, Carl A. & Achim Jung. (1990). Coherence and consistency in domains. Journal of Pure and Applied Algebra. 63(1). 49–66. 11 indexed citations
19.
Jung, Achim. (1989). Cartesian closed categories of domains. Data Archiving and Networked Services (DANS). 66. 1–110. 103 indexed citations
20.
Gunter, Carl A. & Achim Jung. (1988). Coherence and Consistency in Domains (Extended Outline). ScholarlyCommons (University of Pennsylvania). 309–317. 7 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Robert Goldblatt Breakdown of academic impact, for papers by Teodor C. Przymusiński Breakdown of academic impact, for papers by Gaisi Takeuti Breakdown of academic impact, for papers by J. Spencer Breakdown of academic impact, for papers by Gabriele Castellini Breakdown of academic impact, for papers by Ehud Friedgut Breakdown of academic impact, for papers by J. Lambek Breakdown of academic impact, for papers by G. E. Strecker Breakdown of academic impact, for papers by Steven Givant Breakdown of academic impact, for papers by R. F. C. Walters
Rankless by CCL
2026