팔로우
Huan Chen
Huan Chen
Shunfeng Technology Company Limited
sfmail.sf-express.com의 이메일 확인됨
제목
인용
인용
연도
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
1012018
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
322018
A two-variable model for SAT-based ATPG
H Chen, J Marques-Silva
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
232013
QBF-based boolean function bi-decomposition
H Chen, M Janota, J Marques-Silva
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012 …, 2012
182012
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
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
82019
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
82015
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
72016
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
62018
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
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
BCOA: blockchain open architecture
LJ Zhang, S He, J Zeng, Y Ning, H Chen
International Conference on Web Services, 90-111, 2021
32021
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
C Ye, H Chen, L Zhang, X Li, H Liang
Services Transactions on Big Data 3, 32-43, 0
3
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20