| Optimal synthesis of multiple output boolean functions using a set of quantum gates by symbolic reachability analysis WNN Hung, X Song, G Yang, J Yang, M Perkowski IEEE transactions on Computer-Aided Design of integrated circuits and …, 2006 | 317 | 2006 |
| Backspace: Formal analysis for post-silicon debug FM De Paula, M Gort, AJ Hu, SJE Wilton, J Yang 2008 Formal Methods in Computer-Aided Design, 1-10, 2008 | 106 | 2008 |
| Quantum logic synthesis by symbolic reachability analysis WNN Hung, X Song, G Yang, J Yang, M Perkowski Proceedings of the 41st annual Design Automation Conference, 838-841, 2004 | 105 | 2004 |
| Introduction to generalized symbolic trajectory evaluation J Yang, CJH Seger IEEE transactions on very large scale integration (VLSI) systems 11 (3), 345-353, 2003 | 92 | 2003 |
| Generalized symbolic trajectory evaluation—abstraction in action J Yang, CJH Seger International Conference on Formal Methods in Computer-Aided Design, 70-87, 2002 | 62 | 2002 |
| An accelerator prepared from waste concrete recycled powder and its effect on hydration of cement-based materials X Deng, H Guo, H Tan, X He, Z Zheng, Y Su, J Yang Construction and Building Materials 296, 123767, 2021 | 57 | 2021 |
| Security of SoC firmware load protocols S Krstić, J Yang, DW Palmer, RB Osborne, E Talmor 2014 IEEE International Symposium on Hardware-Oriented Security and Trust …, 2014 | 48 | 2014 |
| Shrinkage properties and microstructure of high volume ultrafine phosphorous slag blended cement mortars with superabsorbent polymer J Yang, J Huang, X He, Y Su, SK Oh Journal of Building Engineering 29, 101121, 2020 | 45 | 2020 |
| Symbolic model checking for event-driven real-time systems J Yang, AK Mok, F Wang ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (2), 386-412, 1997 | 43 | 1997 |
| Improving durability of heat-cured high volume fly ash cement mortar by wet-grinding activation J Yang, L Zeng, X He, Y Su, Y Li, H Tan, B Jiang, H Zhu, SK Oh Construction and Building Materials 289, 123157, 2021 | 41 | 2021 |
| DIC Challenge 2.0: Developing Images and Guidelines for Evaluating Accuracy and Resolution of 2D Analyses: Focus on the Metrological Efficiency Indicator PL Reu, B Blaysat, E Andò, K Bhattacharya, C Couture, V Couty, D Deb, ... Experimental Mechanics 62 (4), 639-654, 2022 | 40 | 2022 |
| Optimizing equivalence checking for behavioral synthesis K Hao, F Xie, S Ray, J Yang 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010 | 38 | 2010 |
| Efficient generation of monitor circuits for GSTE assertion graphs AJ Hu, J Cases, J Yang ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No …, 2003 | 37 | 2003 |
| Nano particles prepared from hardened cement paste by wet grinding and its utilization as an accelerator in Portland cement J Zhang, H Tan, X He, R Zhao, J Yang, Y Su Journal of Cleaner Production 283, 124632, 2021 | 36 | 2021 |
| Correctness and security at odds: Post-silicon validation of modern SoC designs S Ray, J Yang, A Basak, S Bhunia Proceedings of the 52nd Annual Design Automation Conference, 1-6, 2015 | 36 | 2015 |
| Wetting and spreading behaviors of Al-Si alloy on surface textured stainless steel by ultrafast laser Z Liu, J Yang, Y Li, W Li, J Chen, L Shen, P Zhang, Z Yu Applied Surface Science 520, 146316, 2020 | 33 | 2020 |
| Effects of wet-grinded superfine waste glass on the fresh properties and reaction characteristic of cement pastes Y Wang, J Li, X He, Z Zheng, Y Su, H Zhao, J Yang, B Strnadel Construction and Building Materials 247, 118593, 2020 | 29 | 2020 |
| GSTE through a case study J Yang, A Goel Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002 | 29 | 2002 |
| GSTE through a case study J Yang, A Goel Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002 | 29 | 2002 |
| Formal verification for high-assurance behavioral synthesis S Ray, K Hao, Y Chen, F Xie, J Yang International Symposium on Automated Technology for Verification and …, 2009 | 28 | 2009 |
