Huan Chen
Huan Chen
Shunfeng Technology Company Limited
Email confirmado em sfmail.sf-express.com
Título
Citado por
Citado por
Ano
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
502009
Research on cross-chain technology based on sidechain and hash-locking
L Deng, H Chen, J Zeng, LJ Zhang
International Conference on Edge Computing, 144-151, 2018
192018
A two-variable model for SAT-based ATPG
H Chen, J Marques-Silva
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
162013
QBF-based boolean function bi-decomposition
H Chen, M Janota, J Marques-Silva
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012 …, 2012
142012
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
102013
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
102012
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
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
92011
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
82015
Fbaas: Functional blockchain as a service
H Chen, LJ Zhang
International Conference on Blockchain, 243-250, 2018
32018
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
32017
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
32016
基于各向异性扩散的超声图像混合滤波方法
张新宇, 陈桓, 汪天富, 王睿, 陈思平
深圳大学学报: 理工版, 397-402, 2008
32008
Research on the Pricing Strategy of the CryptoCurrency Miner’s Market
L Deng, J Che, H Chen, LJ Zhang
International Conference on Blockchain, 228-240, 2018
22018
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
22016
New & improved models for SAT-based bi-decomposition
H Chen, J Marques-Silva
Proceedings of the great lakes symposium on VLSI, 141-146, 2012
22012
A Chinese text correction and intention identification method for speech interactive context
J Che, H Chen, J Zeng, LJ Zhang
International Conference on Edge Computing, 127-134, 2018
12018
Comprehensive evaluation of urban sustainable innovation ability based on factor analysis method
XN Li, LJ Zhang, H Chen, CX Xing
2017 IEEE World Congress on Services (SERVICES), 114-121, 2017
12017
RaaS-Ranking as a Service
CC Ye, H Chen, LJ Zhang, XN Li, H Liang
2016 IEEE International Conference on Services Computing (SCC), 665-672, 2016
12016
Layered Consensus Mechanism in Consortium Blockchain for Enterprise Services
S He, Y Ning, H Chen, C Xing, LJ Zhang
International Conference on Blockchain, 49-64, 2019
2019
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20