This map shows the geographic impact of Yoonsik Cheon'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 Yoonsik Cheon with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Yoonsik Cheon more than expected).
This network shows the impact of papers produced by Yoonsik Cheon. 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 Yoonsik Cheon. The network helps show where Yoonsik Cheon may publish in the future.
Co-authorship network of co-authors of Yoonsik Cheon
This figure shows the co-authorship network connecting the top 25 collaborators of Yoonsik Cheon.
A scholar is included among the top collaborators of Yoonsik Cheon 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 Yoonsik Cheon. Yoonsik Cheon is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Cheon, Yoonsik, et al.. (2017). A Thought on Refactoring Java Loops Using Java 8 Streams. scholarworks - UTEP (The University of Texas at El Paso).1 indexed citations
3.
Cheon, Yoonsik, et al.. (2016). Writing JML Specifications Using Java 8 Streams. scholarworks - UTEP (The University of Texas at El Paso).3 indexed citations
4.
Ávila, Carmen Sánchez, et al.. (2010). Runtime constraint checking approaches for OCL, a critical comparison. scholarworks - UTEP (The University of Texas at El Paso). 393–398.5 indexed citations
5.
Cheon, Yoonsik. (2010). Functional Specification and Verification of Object-Oriented Programs. scholarworks - UTEP (The University of Texas at El Paso).5 indexed citations
6.
Cheon, Yoonsik, Antonio Ruiz–Cortés, Martine Ceberio, & Gary T. Leavens. (2008). Integrating Random Testing with Constraints for Improved Efficiency and Diversity. scholarworks - UTEP (The University of Texas at El Paso). 861–866.7 indexed citations
7.
Ávila, Carmen Sánchez, et al.. (2008). A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. scholarworks - UTEP (The University of Texas at El Paso). 403–408.9 indexed citations
Cheon, Yoonsik. (2007). Automated Random Testing to Detect Specification-Code Inconsistencies. scholarworks - UTEP (The University of Texas at El Paso). 112–119.15 indexed citations
10.
Cheon, Yoonsik & Carlos Rubio-Terrés. (2007). Random Test Data Generation for Java Classes Annotated with JML Specifications. scholarworks - UTEP (The University of Texas at El Paso). 385–391.21 indexed citations
11.
Cheon, Yoonsik. (2007). A Quick Tutorial on JET. scholarworks - UTEP (The University of Texas at El Paso).1 indexed citations
12.
Leavens, Gary T. & Yoonsik Cheon. (2006). Design by Contract with JML.73 indexed citations
Cheon, Yoonsik, Gary T. Leavens, Murali Sitaraman, & Stephen H. Edwards. (2005). Model variables: cleanly supporting abstraction in design by contract: Research Articles. Software Practice and Experience. 35(6). 583–599.10 indexed citations
15.
Cheon, Yoonsik, et al.. (2005). Specifying and Checking Method Call Sequences in JML. scholarworks - UTEP (The University of Texas at El Paso). 511–516.8 indexed citations
16.
Cheon, Yoonsik, et al.. (2005). A Complete Automation of Unit Testing for Java Programs. scholarworks - UTEP (The University of Texas at El Paso). 290–295.29 indexed citations
Cheon, Yoonsik, et al.. (2003). A Thought on Specification Reflection. Iowa State University Digital Repository (Iowa State University).2 indexed citations
19.
Cheon, Yoonsik. (2001). A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. Iowa State University Digital Repository (Iowa State University).35 indexed citations
20.
Cheon, Yoonsik & Gary T. Leavens. (1994). A Quick Overview of Larch/C++. Iowa State University Digital Repository (Iowa State University). 7. 39–49.18 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.