Kai-Hui Chang

650 total citations
43 papers, 450 citations indexed

About

Kai-Hui Chang is a scholar working on Hardware and Architecture, Electrical and Electronic Engineering and Computational Theory and Mathematics. According to data from OpenAlex, Kai-Hui Chang has authored 43 papers receiving a total of 450 indexed citations (citations by other indexed papers that have themselves been cited), including 35 papers in Hardware and Architecture, 30 papers in Electrical and Electronic Engineering and 16 papers in Computational Theory and Mathematics. Recurrent topics in Kai-Hui Chang's work include VLSI and Analog Circuit Testing (32 papers), Formal Methods in Verification (16 papers) and VLSI and FPGA Design Techniques (14 papers). Kai-Hui Chang is often cited by papers focused on VLSI and Analog Circuit Testing (32 papers), Formal Methods in Verification (16 papers) and VLSI and FPGA Design Techniques (14 papers). Kai-Hui Chang collaborates with scholars based in United States, Taiwan and Russia. Kai-Hui Chang's co-authors include Igor L. Markov, Valeria Bertacco, Sy‐Yen Kuo, Ilya Wagner, Stephen M. Plaza, Jie-Hong R. Jiang, Yen‐Ting Liu, Chia-Wei Chang, Alan Mishchenko and David Papa and has published in prestigious journals such as Computer, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and ACM Transactions on Design Automation of Electronic Systems.

In The Last Decade

Kai-Hui Chang

39 papers receiving 419 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Kai-Hui Chang United States	14	358	300	152	117	23	43	450
Kuang-Chien Chen United States	13	358 1.0×	318 1.1×	176 1.2×	55 0.5×	8 0.3×	28	412
Michal Rimon Israel	7	198 0.6×	89 0.3×	103 0.7×	134 1.1×	19 0.8×	16	291
Thomas R. Shiple United States	9	314 0.9×	134 0.4×	350 2.3×	136 1.2×	13 0.6×	17	471
James Kukula United States	10	188 0.5×	103 0.3×	292 1.9×	180 1.5×	13 0.6×	18	350
Michael Vinov Israel	5	167 0.5×	72 0.2×	84 0.6×	102 0.9×	19 0.8×	10	241
Sean Safarpour Canada	12	230 0.6×	158 0.5×	199 1.3×	138 1.2×	17 0.7×	29	347
Jawahar Jain United States	9	207 0.6×	142 0.5×	235 1.5×	100 0.9×	5 0.2×	21	329
B. Plessier United States	8	213 0.6×	166 0.6×	242 1.6×	90 0.8×	6 0.3×	12	332
Wolfgang Roesner Germany	9	141 0.4×	144 0.5×	58 0.4×	44 0.4×	11 0.5×	16	238
Victor Khomenko United Kingdom	11	201 0.6×	138 0.5×	215 1.4×	42 0.4×	20 0.9×	59	349

Countries citing papers authored by Kai-Hui Chang

Since Specialization

Citations

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

Fields of papers citing papers by Kai-Hui Chang

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Kai-Hui Chang

This figure shows the co-authorship network connecting the top 25 collaborators of Kai-Hui Chang. A scholar is included among the top collaborators of Kai-Hui Chang 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 Kai-Hui Chang. Kai-Hui Chang 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

Chang, Kai-Hui, et al.. (2014). Automated methods for eliminating X bugs. 22. 597–603.

Chang, Kai-Hui, et al.. (2012). RTL analysis and modifications for improving at-speed test. Design, Automation, and Test in Europe. 400–405. 2 indexed citations

Chang, Kai-Hui, et al.. (2011). Facilitating unreachable code diagnosis and debugging. Asia and South Pacific Design Automation Conference. 485–490. 2 indexed citations

Chang, Chia-Wei, et al.. (2011). Formal reset recovery slack calculation at the register transfer level. 1–4. 1 indexed citations

Chang, Kai-Hui, et al.. (2011). Parallel Logic Simulation: Myth or Reality?. Computer. 45(4). 67–73. 13 indexed citations

Chang, Kai-Hui, et al.. (2011). Facilitating unreachable code diagnosis and debugging. 485–490.

Chang, Kai-Hui, et al.. (2010). Finding reset nondeterminism in RTL designs: scalable X-analysis methodology and case study. Design, Automation, and Test in Europe. 1494–1499. 6 indexed citations

Chang, Kai-Hui, et al.. (2010). Optimizing blocks in an SoC using symbolic code-statement reachability analysis. Asia and South Pacific Design Automation Conference. 787–792. 3 indexed citations

Chang, Kai-Hui, et al.. (2010). Optimizing blocks in an SoC using symbolic code-statement reachability analysis. 5. 787–792. 4 indexed citations

10.

Chang, Kai-Hui, Igor L. Markov, & Valeria Bertacco. (2009). Functional Design Errors in Digital Circuits : Diagnosis, Correction and Repair. DIAL (Catholic University of Leuven). 3 indexed citations

11.

Chang, Kai-Hui, Igor L. Markov, & Valeria Bertacco. (2008). SafeResynth: A new technique for physical synthesis. Integration. 41(4). 544–556. 5 indexed citations

12.

Chang, Kai-Hui, Igor L. Markov, & Valeria Bertacco. (2007). Automating post-silicon debugging and repair. International Conference on Computer Aided Design. 91–98. 35 indexed citations

13.

Chang, Kai-Hui. (2007). Functional Design Error Diagnosis, Correction and Layout Repair of Digital Circuits. Deep Blue (University of Michigan).

14.

Chang, Kai-Hui, Igor L. Markov, & Valeria Bertacco. (2007). Fixing Design Errors with Counterexamples and Resynthesis. 944–949. 43 indexed citations

15.

Chang, Kai-Hui, David Papa, Igor L. Markov, & Valeria Bertacco. (2007). InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization. 487–494. 8 indexed citations

16.

Chang, Kai-Hui, Valeria Bertacco, & Igor L. Markov. (2007). Simulation-Based Bug Trace Minimization With BMC-Based Refinement. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 26(1). 152–165. 16 indexed citations

17.

Chang, Kai-Hui, et al.. (2006). A simulation-based temporal assertion checker for PSL. 3. 1528–1531. 3 indexed citations

18.

Chang, Kai-Hui, Valeria Bertacco, & Igor L. Markov. (2005). Simulation-based bug trace minimization with BMC-based refinement. International Conference on Computer Aided Design. 1045–1051. 20 indexed citations

19.

Chang, Kai-Hui, Igor L. Markov, & Valeria Bertacco. (2005). Post-placement rewiring and rebuffering by exhaustive search for functional symmetries. International Conference on Computer Aided Design. 56–63. 19 indexed citations

20.

Chang, Kai-Hui, Valeria Bertacco, & Igor L. Markov. (2005). Simulation-based bug trace minimization with BMC-based refinement. 2988. 1045–1051. 13 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