Daejun Park

1.1k total citations
20 papers, 561 citations indexed

About

Daejun Park is a scholar working on Artificial Intelligence, Computer Vision and Pattern Recognition and Information Systems. According to data from OpenAlex, Daejun Park has authored 20 papers receiving a total of 561 indexed citations (citations by other indexed papers that have themselves been cited), including 10 papers in Artificial Intelligence, 6 papers in Computer Vision and Pattern Recognition and 5 papers in Information Systems. Recurrent topics in Daejun Park's work include Security and Verification in Computing (7 papers), Advanced Image Processing Techniques (5 papers) and Logic, programming, and type systems (4 papers). Daejun Park is often cited by papers focused on Security and Verification in Computing (7 papers), Advanced Image Processing Techniques (5 papers) and Logic, programming, and type systems (4 papers). Daejun Park collaborates with scholars based in United States, South Korea and Germany. Daejun Park's co-authors include Grigore Roşu, Andrei Ștefănescu, Manasvi Saxena, Philip Daian, Yi Zhang, Seungwan Hong, Jung Hee Cheon, Xiaoran Zhu, Brandon Moore and Kyoohyung Han and has published in prestigious journals such as IEEE Access, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems.

In The Last Decade

Daejun Park

19 papers receiving 545 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Daejun Park United States	10	307	274	138	115	61	20	561
Charles B. Haley United Kingdom	12	598 1.9×	337 1.2×	114 0.8×	166 1.4×	22 0.4×	23	734
M.U. Çağlayan Türkiye	14	134 0.4×	171 0.6×	290 2.1×	27 0.2×	39 0.6×	53	526
Sabina Rossi Italy	11	140 0.5×	211 0.8×	201 1.5×	62 0.5×	85 1.4×	72	453
Jan Willemson Estonia	12	193 0.6×	355 1.3×	157 1.1×	29 0.3×	64 1.0×	35	541
Robert J. Ellison United States	10	381 1.2×	131 0.5×	283 2.1×	121 1.1×	14 0.2×	29	575
Zhiyong Xu United States	12	264 0.9×	214 0.8×	399 2.9×	134 1.2×	14 0.2×	61	698
Klaus Schild Germany	10	65 0.2×	335 1.2×	117 0.8×	20 0.2×	123 2.0×	13	552
Marian Nodine United States	13	236 0.8×	257 0.9×	378 2.7×	66 0.6×	22 0.4×	40	552
Panagiotis Katsaros Greece	13	196 0.6×	195 0.7×	210 1.5×	40 0.3×	96 1.6×	65	461
Greg J. Badros United States	9	321 1.0×	264 1.0×	161 1.2×	39 0.3×	38 0.6×	13	589

Countries citing papers authored by Daejun Park

Since Specialization

Citations

This map shows the geographic impact of Daejun Park'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 Daejun Park with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Daejun Park more than expected).

Fields of papers citing papers by Daejun Park

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Daejun Park. 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 Daejun Park. The network helps show where Daejun Park may publish in the future.

Co-authorship network of co-authors of Daejun Park

This figure shows the co-authorship network connecting the top 25 collaborators of Daejun Park. A scholar is included among the top collaborators of Daejun Park 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 Daejun Park. Daejun Park is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Neider, Daniel, et al.. (2020). A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. Journal of Automated Reasoning. 64(7). 1523–1552. 2 indexed citations

Park, Daejun, et al.. (2019). A complete formal semantics of x86-64 user-level instruction set architecture. 1133–1148. 25 indexed citations

Han, Kyoohyung, Seungwan Hong, Jung Hee Cheon, & Daejun Park. (2019). Logistic Regression on Homomorphic Encrypted Data at Scale. Proceedings of the AAAI Conference on Artificial Intelligence. 33(1). 9466–9471. 71 indexed citations

Park, Daejun & Jechang Jeong. (2018). Quadratic Taylor Approximation Demosaicking System Using Post-Processing for Zipper Artifact Removal. IEEE Access. 6. 58244–58253. 1 indexed citations

Park, Daejun & Jechang Jeong. (2018). Weighted Sum-Based Color Filter Array Interpolation Using Taylor Series Cubic Approximation. IEEE Access. 6. 53062–53071. 1 indexed citations

Saxena, Manasvi, Nishant Rodrigues, Xiaoran Zhu, et al.. (2018). KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. 204–217. 197 indexed citations

Park, Daejun, Yi Zhang, Manasvi Saxena, Philip Daian, & Grigore Roşu. (2018). A formal verification tool for Ethereum VM bytecode. 912–915. 62 indexed citations

Park, Daejun & Dongkun Shin. (2017). iJournaling: Fine-Grained Journaling for Improving the Latency of Fsync System Call. USENIX Annual Technical Conference. 787–798. 23 indexed citations

Park, Daejun & Jechang Jeong. (2017). Adaptive Edge-Directed Interpolation Using Edge Map Analysis. International journal of communication. 2. 1 indexed citations

10.

Park, Daejun, et al.. (2017). Modified New Edge-Directed Interpolation Using Window Extension. 2. 1 indexed citations

11.

Park, Daejun, et al.. (2017). Security Authentication System Using Encrypted Channel on UAV Network. 393–398. 67 indexed citations

12.

Ștefănescu, Andrei, et al.. (2016). Semantics-based program verifiers for all languages. ACM SIGPLAN Notices. 51(10). 74–91. 12 indexed citations

13.

Ștefănescu, Andrei, et al.. (2016). Semantics-based program verifiers for all languages. 74–91. 26 indexed citations

14.

Park, Daejun, Andrei Ștefănescu, & Grigore Roşu. (2015). KJS: a complete formal semantics of JavaScript. ACM SIGPLAN Notices. 50(6). 346–356. 5 indexed citations

15.

Park, Daejun, Andrei Ștefănescu, & Grigore Roşu. (2015). KJS: a complete formal semantics of JavaScript. 346–356. 49 indexed citations

16.

Park, Daejun, et al.. (2015). Optimizing Fsync Performance with Dynamic Queue Depth Adaptation. JSTS Journal of Semiconductor Technology and Science. 15(5). 570–576. 1 indexed citations

17.

Park, Daejun & Dongkun Shin. (2015). Removing duplicated writes at DB checkpointing with file system-level block remapping. 1–2. 2 indexed citations

18.

Oh, Hakjoo, Kihong Heo, Wonchan Lee, et al.. (2014). Global Sparse Analysis Framework. ACM Transactions on Programming Languages and Systems. 36(3). 1–44. 12 indexed citations

19.

Park, Daejun & Jechang Jeong. (2014). Motion Compensated Frame Rate Up-Conversion Using Modified Adaptive Extended Bilateral Motion Estimation. Journal of Automation and Control Engineering. 2(4). 371–375. 2 indexed citations

20.

Park, Daejun & Jechang Jeong. (2013). Adaptive Extended Bilateral Motion Estimation Considering Block Type and Frame Motion Activity. Journal of Broadcast Engineering. 18(3). 342–348. 1 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