HoonSang Jin

476 total citations
17 papers, 173 citations indexed

About

HoonSang Jin is a scholar working on Computational Theory and Mathematics, Software and Hardware and Architecture. According to data from OpenAlex, HoonSang Jin has authored 17 papers receiving a total of 173 indexed citations (citations by other indexed papers that have themselves been cited), including 10 papers in Computational Theory and Mathematics, 8 papers in Software and 7 papers in Hardware and Architecture. Recurrent topics in HoonSang Jin's work include Formal Methods in Verification (10 papers), Software Testing and Debugging Techniques (6 papers) and Model-Driven Software Engineering Techniques (5 papers). HoonSang Jin is often cited by papers focused on Formal Methods in Verification (10 papers), Software Testing and Debugging Techniques (6 papers) and Model-Driven Software Engineering Techniques (5 papers). HoonSang Jin collaborates with scholars based in United States and South Korea. HoonSang Jin's co-authors include Fabio Somenzi, Kavita Ravi, Chao Wang, Gary D. Hachtel, Kyu-Myung Choi, Sungjoo Yoo, Sungpack Hong, Jeong-Taek Kong, Jang Hwan Kim and Jaehyung Hwang and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, International Journal on Software Tools for Technology Transfer and Electronic Notes in Theoretical Computer Science.

In The Last Decade

HoonSang Jin

16 papers receiving 160 citations

Peers

HoonSang Jin
Yakir Vizel United States
Aaron R. Bradley United States
Florian Lonsing Austria
M. Vardi United States
Paula Herber Germany
Peter Schrammel United Kingdom
Hratch Mangassarian Canada
Michael Vinov Israel
Jeremy Levitt United States
Arnaud Venet United States
Yakir Vizel United States
HoonSang Jin
Citations per year, relative to HoonSang Jin HoonSang Jin (= 1×) peers Yakir Vizel

Countries citing papers authored by HoonSang Jin

Since Specialization
Citations

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

Fields of papers citing papers by HoonSang Jin

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of HoonSang Jin

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

All Works

17 of 17 papers shown
1.
Jin, HoonSang, et al.. (2011). Clause simplification through dominator analysis. 1–6. 1 indexed citations
2.
Somenzi, Fabio, et al.. (2010). Making Deduction More Effective in SAT Solvers. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 29(8). 1271–1284. 4 indexed citations
3.
Jin, HoonSang, et al.. (2007). Disequality Management in Integer Difference Logic via Finite Instantiations1. 3(1-2). 47–66. 3 indexed citations
4.
Yang, Peng, et al.. (2006). Component-based Transaction-level Power Modeling for ARMACI Crossbar Bus Architecture. 대한전자공학회 ISOCC. 307–310. 3 indexed citations
5.
Hong, Sungpack, et al.. (2006). Runtime Distribution-Aware Dynamic Voltage Scaling. Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design. 587–594. 4 indexed citations
6.
Hong, Sungpack, Sungjoo Yoo, Sangwoo Lee, et al.. (2006). Creation and utilization of a virtual platform for embedded software optimization:. 235–240. 15 indexed citations
7.
Jin, HoonSang & Fabio Somenzi. (2006). Strong Conflict Analysis for Propositional Satisfiability. 1522. 1–6. 6 indexed citations
8.
Hong, Sungpack, et al.. (2006). Runtime distribution-aware dynamic voltage scaling. Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design. 587–587. 11 indexed citations
9.
Jin, HoonSang & Fabio Somenzi. (2005). An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. Electronic Notes in Theoretical Computer Science. 119(2). 51–65. 30 indexed citations
10.
Jin, HoonSang & Fabio Somenzi. (2005). Prime clauses for fast enumeration of satisfying assignments to boolean circuits. 750–750. 20 indexed citations
11.
Jin, HoonSang & Fabio Somenzi. (2005). Prime clauses for fast enumeration of satisfying assignments to Boolean circuits. 89. 750–753. 2 indexed citations
12.
Wang, Chao, et al.. (2004). Improving Ariadne's Bundle by following multiple threads in abstraction refinement. 408–415. 4 indexed citations
13.
Jin, HoonSang, Kavita Ravi, & Fabio Somenzi. (2004). Fate and free will in error traces. International Journal on Software Tools for Technology Transfer. 6(2). 102–116. 39 indexed citations
14.
Wang, Chao, HoonSang Jin, Gary D. Hachtel, & Fabio Somenzi. (2004). Refining the SAT decision ordering for bounded model checking. 535–538. 24 indexed citations
15.
Jin, HoonSang, et al.. (2003). CubicWare: a hierarchical design system for deep submicron ASIC. 9. 168–172. 3 indexed citations
16.
Jin, HoonSang, et al.. (2003). Dynamic power estimation using the probabilistic contribution measure (PCM). 279–281. 1 indexed citations
17.
Jin, HoonSang, et al.. (1999). Dynamic power estimation using the probabilistic contribution measure (PCM). 279–281. 3 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 Yakir Vizel Breakdown of academic impact, for papers by Aaron R. Bradley Breakdown of academic impact, for papers by Florian Lonsing Breakdown of academic impact, for papers by M. Vardi Breakdown of academic impact, for papers by Paula Herber Breakdown of academic impact, for papers by Peter Schrammel Breakdown of academic impact, for papers by Hratch Mangassarian Breakdown of academic impact, for papers by Michael Vinov Breakdown of academic impact, for papers by Jeremy Levitt Breakdown of academic impact, for papers by Arnaud Venet
Rankless by CCL
2026