| Research on cross-chain technology based on sidechain and hash-locking L Deng, H Chen, J Zeng, LJ Zhang Edge Computing–EDGE 2018: Second International Conference, Held as Part of …, 2018 | 78 | 2018 |
| Semiformal verification of embedded software in medical devices considering stringent hardware constraints L Cordeiro, B Fischer, H Chen, J Marques-Silva Embedded Software and Systems, 2009. ICESS'09. International Conference on …, 2009 | 58 | 2009 |
| Fbaas: Functional blockchain as a service H Chen, LJ Zhang Blockchain–ICBC 2018: First International Conference, Held as Part of the …, 2018 | 26 | 2018 |
| A two-variable model for SAT-based ATPG H Chen, J Marques-Silva IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013 | 22 | 2013 |
| TG-Pro: a SAT-based ATPG system H Chen, J Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation 8 (1-2), 83-88, 2012 | 16 | 2012 |
| QBF-based boolean function bi-decomposition H Chen, M Janota, J Marques-Silva Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012 …, 2012 | 15 | 2012 |
| On developing and deploying large-file upload services of personal cloud storage H Chen, LJ Zhang, B Hu, SZ Long, LH Luo 2015 IEEE International Conference on Services Computing, 371-378, 2015 | 13 | 2015 |
| Improvements to satisfiability-based boolean function bi-decomposition H Chen, J Marques-Silva IFIP/IEEE International Conference on Very Large Scale Integration-System on …, 2011 | 13 | 2011 |
| Core minimization in SAT-based abstraction A Belov, H Chen, A Mishchenko, J Marques-Silva Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 …, 2013 | 12 | 2013 |
| TG-Pro: A new model for SAT-based ATPG H Chen, J Marques-Silva 2009 IEEE International High Level Design Validation and Test Workshop, 76-81, 2009 | 10 | 2009 |
| Internet of brain: Decoding human intention and coupling EEG signals with internet services L Zhang, KJ Wang, H Chen, ZH Mao 2016 9th International Conference on Service Science (ICSS), 172-179, 2016 | 6 | 2016 |
| Layered consensus mechanism in consortium blockchain for enterprise services S He, Y Ning, H Chen, C Xing, LJ Zhang Blockchain–ICBC 2019: Second International Conference, Held as Part of the …, 2019 | 5 | 2019 |
| A Platform based Distributed Service Framework for Large-scale Cloud Ecosystem Development B Hu, J Wang, LJ Zhang, H Chen, L Luo 2015 IEEE World Congress on Services, 87-94, 2015 | 5 | 2015 |
| Automated image quality assessment for certificates and bills F Jiang, LJ Zhang, H Chen 2017 IEEE International Conference on Cognitive Computing (ICCC), 1-8, 2017 | 4 | 2017 |
| 基于各向异性扩散的超声图像混合滤波方法 张新宇， 陈桓， 汪天富， 王睿， 陈思平 深圳大学学报: 理工版, 397-402, 2008 | 4 | 2008 |
| Research on the Pricing Strategy of the CryptoCurrency Miner’s Market L Deng, J Che, H Chen, LJ Zhang Blockchain–ICBC 2018: First International Conference, Held as Part of the …, 2018 | 3 | 2018 |
| FCN-biLSTM based VAT invoice recognition and processing F Jiang, H Chen, LJ Zhang Edge Computing–EDGE 2018: Second International Conference, Held as Part of …, 2018 | 3 | 2018 |
| A Chinese text correction and intention identification method for speech interactive context J Che, H Chen, J Zeng, LJ Zhang Edge Computing–EDGE 2018: Second International Conference, Held as Part of …, 2018 | 3 | 2018 |
| Cloud-Based Core Text Processing Services for Sentiment Analysis H Chen, XN Li, LJ Zhang, YX Huang, XS Cai 2016 IEEE International Congress on Big Data (BigData Congress), 236-243, 2016 | 3 | 2016 |
| New & improved models for SAT-based bi-decomposition H Chen, J Marques-Silva Proceedings of the great lakes symposium on VLSI, 141-146, 2012 | 2 | 2012 |
Liang-Jie Zhang (LJ)ACM Distinguished Scientist and IEEE Fellow, CTO@Kingdee, ChinaVerified email at ieee.org
