Articles with public access mandates - Huan ChenLearn more
Not available anywhere: 5
A two-variable model for SAT-based ATPG
H Chen, J Marques-Silva
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
Mandates: Science Foundation Ireland
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
Mandates: National Natural Science Foundation of China
BCOA: blockchain open architecture
LJ Zhang, S He, J Zeng, Y Ning, H Chen
International Conference on Web Services, 90-111, 2021
Mandates: National Natural Science Foundation of China
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
Mandates: National Natural Science Foundation of China
Localized Mandarin Speech Synthesis Services for Enterprise Scenarios
Y Ning, H Chen, C Xing, LJ Zhang
Cognitive Computing–ICCC 2018: Second International Conference, Held as Part …, 2018
Mandates: National Natural Science Foundation of China
Available somewhere: 6
QBF-based boolean function bi-decomposition
H Chen, M Janota, J Marques-Silva
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012 …, 2012
Mandates: Science Foundation Ireland
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
Mandates: Science Foundation Ireland
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
Mandates: Science Foundation Ireland
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
Mandates: Science Foundation Ireland
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
Mandates: US National Science Foundation
New & improved models for SAT-based bi-decomposition
H Chen, J Marques-Silva
Proceedings of the great lakes symposium on VLSI, 141-146, 2012
Mandates: Science Foundation Ireland
Publication and funding information is determined automatically by a computer program