Follow
Huan Chen
Huan Chen
Shunfeng Technology Company Limited
Verified email at sfmail.sf-express.com
Title
Cited by
Cited by
Year
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
862018
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
582009
Fbaas: Functional blockchain as a service
H Chen, LJ Zhang
Blockchain–ICBC 2018: First International Conference, Held as Part of the …, 2018
272018
A two-variable model for SAT-based ATPG
H Chen, J Marques-Silva
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
222013
QBF-based boolean function bi-decomposition
H Chen, M Janota, J Marques-Silva
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012 …, 2012
162012
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
162012
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
132015
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
132011
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
122013
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
102009
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
62016
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
52019
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
52015
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
42018
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
42017
基于各向异性扩散的超声图像混合滤波方法
张新宇, 陈桓, 汪天富, 王睿, 陈思平
深圳大学学报 (理工版) 25 (4), 397-402, 2008
42008
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
32018
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
32018
ON DEVELOPING THE RAAS
CC Ye, H Chen, LJ Zhang, XN Li, H Liang
3
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
22016
The system can't perform the operation now. Try again later.
Articles 1–20