Jin Yang

1.1k total citations
61 papers, 643 citations indexed

About

Jin Yang is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Electrical and Electronic Engineering. According to data from OpenAlex, Jin Yang has authored 61 papers receiving a total of 643 indexed citations (citations by other indexed papers that have themselves been cited), including 27 papers in Computational Theory and Mathematics, 21 papers in Hardware and Architecture and 20 papers in Electrical and Electronic Engineering. Recurrent topics in Jin Yang's work include Formal Methods in Verification (26 papers), Software Testing and Debugging Techniques (16 papers) and VLSI and Analog Circuit Testing (10 papers). Jin Yang is often cited by papers focused on Formal Methods in Verification (26 papers), Software Testing and Debugging Techniques (16 papers) and VLSI and Analog Circuit Testing (10 papers). Jin Yang collaborates with scholars based in United States, South Korea and Canada. Jin Yang's co-authors include Xiaoyu Song, William N. N. Hung, Guowu Yang, Marek Perkowski, Alan J. Hu, Sandip Ray, Steven J. E. Wilton, Flavio M. De Paula, Marcel Gort and David Shia and has published in prestigious journals such as IEEE Access, Thin Solid Films and Nanotechnology.

In The Last Decade

Jin Yang

55 papers receiving 604 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Jin Yang United States	13	309	268	245	211	89	61	643
Benjamin Grégoire France	13	125 0.4×	485 1.8×	297 1.2×	153 0.7×	17 0.2×	49	809
Parker United States	10	107 0.3×	55 0.2×	261 1.1×	231 1.1×	21 0.2×	37	527
Kenneth P. Parker United States	14	94 0.3×	56 0.2×	906 3.7×	799 3.8×	58 0.7×	42	1.1k
Afaq Ahmad Oman	13	51 0.2×	133 0.5×	214 0.9×	174 0.8×	35 0.4×	69	495
Hiroyuki Ochi Japan	11	79 0.3×	22 0.1×	334 1.4×	206 1.0×	20 0.2×	71	490
Jack Koenig United States	8	36 0.1×	65 0.2×	116 0.5×	197 0.9×	49 0.6×	14	311
Lars Hedrich Germany	14	224 0.7×	40 0.1×	375 1.5×	325 1.5×	46 0.5×	65	528
Y. Watanabe United States	13	230 0.7×	72 0.3×	175 0.7×	543 2.6×	58 0.7×	31	694
Juinn-Dar Huang Taiwan	14	94 0.3×	30 0.1×	527 2.2×	235 1.1×	37 0.4×	96	693
Cecilia Metra Italy	25	168 0.5×	146 0.5×	2.0k 8.3×	1.3k 6.1×	39 0.4×	166	2.2k

Countries citing papers authored by Jin Yang

Since Specialization

Citations

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

Fields of papers citing papers by Jin Yang

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Jin Yang

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

1.

Xie, Fei, et al.. (2024). A Systematic Translation Validation Framework for MLIR-Based Compilers. International Journal of Software Engineering and Knowledge Engineering. 1–20.

2.

Zheng, Pan, Jin Yang, & Yangchuan Cai. (2023). Effects of Rotational Speed on the Microstructure and Mechanical Properties of 2198-T8 Al-Li Alloy Processed by Friction Spot Welding. Materials. 16(5). 1807–1807. 5 indexed citations

3.

Ye, Hanchen, et al.. (2023). High-level Synthesis for Domain Specific Computing. 211–219. 3 indexed citations

4.

Yang, Jin, Zhenkun Yang, Jeremy Casas, & Sandip Ray. (2023). Correct-by-Construction Design of Custom Accelerator Microarchitectures. IEEE Transactions on Computers. 73(1). 278–291.

5.

Kim, Dong Hwan, et al.. (2023). Seamless CAN: A Novel Fault-Tolerant Algorithm and Its Modeling. IEEE Access. 11. 7657–7669. 2 indexed citations

6.

Leahy, Conor, Jin Yang, Yingying Shi, et al.. (2020). Predicting axial length and refractive error by leveraging focus settings from widefield fundus images. Investigative Ophthalmology & Visual Science. 61(9). 2 indexed citations

7.

Yang, Jin & Chang Jun Lee. (2019). LNG 액화 플랜트 배치 최적화를 통한 투자비 절감에 관한 연구. Korean Journal of Chemical Engineering. 57(1). 51–57. 2 indexed citations

8.

Yang, Jin, et al.. (2017). Comparison of the efficacy of intravitreal ranibizumab for choroidal neovascularization due to pathological myopia with and without a dome-shaped macula. Medicine. 96(50). e9251–e9251. 8 indexed citations

9.

Zheng, Hao, et al.. (2016). Protocol-guided analysis of post-silicon traces under limited observability. 28. 301–306. 1 indexed citations

10.

Krstić, Sava, et al.. (2014). Security of SoC firmware load protocols. 70–75. 23 indexed citations

11.

Fraer, Ranan, et al.. (2014). From visual to logical formalisms for SoC validation. 8 indexed citations

12.

Gort, Marcel, Flavio M. De Paula, Tor M. Aamodt, et al.. (2011). Formal-Analysis-Based Trace Computation for Post-Silicon Debug. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 20(11). 1997–2010. 3 indexed citations

13.

Xie, Fei, et al.. (2010). Optimizing equivalence checking for behavioral synthesis. Design, Automation, and Test in Europe. 1500–1505. 20 indexed citations

14.

Hou, Linlin, et al.. (2009). A full description of a scalable microfabrication process for arrayed electrowetting microprisms. Journal of Micromechanics and Microengineering. 20(1). 15044–15044. 27 indexed citations

15.

Paula, Flavio M. De, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, & Jin Yang. (2008). BackSpace: Formal Analysis for Post-Silicon Debug. 1–10. 61 indexed citations

16.

Hu, Alan J., et al.. (2003). Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. International Conference on Computer Aided Design. 154–159. 12 indexed citations

17.

Yang, Jin & Amit Kumar Goel. (2003). GSTE through a case study [digital IC verification]. 2000. 534–541. 3 indexed citations

18.

Yang, Jin, Aloysius K. Mok, & Douglas A. Stuart. (2002). A new generation modechart verifier. 116–125. 1 indexed citations

19.

Yang, Jin, et al.. (2002). Symbolic model checking for event-driven real-time systems. 23–32. 1 indexed citations

20.

Yang, Jin, et al.. (2000). Lazy symbolic model checking. 35–38. 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