Fei He

Fei He, Yin Sun, Limin Xiao, Xiang Chen, Chong-Yung Chi, Shidong Zhou: Technical Report on "Capacity Region Bounds and Resource Allocation for Two-Way OFDM Relay Channels". CoRR abs/1301.5061 (2013)

Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu: Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. CoRR abs/1303.6885 (2013)

Fei He, Jun Zhuang: Modelling 'contracts' between a terrorist group and a government in a sequential game. JORS 63(6): 790-809 (2012)

Ying He, Menghuan Zhang, Yuanhu Ju, Zhong-Hao Yu, Daqing Lv, Han Sun, Weilan Yuan, Fei He, Jianshe Zhang, Hong Li, Jing Li, Rui Wang-Sattler, Yixue Li, Guoqing Zhang, Lu Xie: dbDEPC 2.0: updated database of differentially expressed proteins in human cancers. Nucleic Acids Research 40(Database-Issue): 964-971 (2012)

Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu: Maxterm Covering for Satisfiability. IEEE Trans. Computers 61(3): 420-426 (2012)

Yali Li, Fei He, Wenhao Lu, Shengjin Wang: Combining Fast Extracted Edge Descriptors and Feature Sharing for Rapid Object Detection. ACCV Workshops (2) 2012: 478-490

Fei He, Yin Sun, Xiang Chen, Limin Xiao, Shidong Zhou: Optimal power allocation for two-way decode-and-forward OFDM relay networks. ICC 2012: 4463-4467

Wenrui Meng, Fei He, Bow-Yaw Wang, Qiang Liu: Thread-Modular Model Checking with Iterative Refinement. NASA Formal Methods 2012: 237-251

Yaxuan Qi, Fei He, Xiang Wang, Xinming Chen, Yibo Xue, Jun Li: OpenGate: Towards an open network services gateway. Computer Communications 34(2): 200-208 (2011)

Fei He, Keqing He, Peng Liang, Jian Wang: On-Demand Service-Oriented Architecture and Standardization. IEEE SCC 2011: 739-740

Min Zhou, Fei He, Ming Gu: An Efficient Resolution Based Algorithm for SAT. TASE 2011: 60-67

Fei He, Fan Xiang, Yibo Xue, Jun Li: Towards High-Performance Network Application Identification With Aggregate-Flow Cache. CoRR abs/1105.5684 (2011)

Fei He, Yin Sun, Xiang Chen, Limin Xiao, Shidong Zhou: Optimal Power Allocation for Two-Way Decode-and-Forward OFDM Relay Networks. CoRR abs/1109.6845 (2011)

Yi Qu, Fei He, Yuchen Chen: Different effects of the probe summarization algorithms PLIER and RMA on high-level analysis of Affymetrix exon arrays. BMC Bioinformatics 11: 211 (2010)

Zemao Zhao, Fei He, Rui Xu: The Flaw Attack to the RTS/CTS Handshake Mechanism in Cluster-based Battlefield Self-organizing Network. Computer and Information Science 3(3): 98-104 (2010)

Wei-Wei Yu, Fei He, Ping Xi: A rapid 3D seed-filling algorithm based on scan slice. Computers & Graphics 34(4): 449-459 (2010)

Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang: An Analytical Congestion Model with Bounded-Bend Detours. Journal of Circuits, Systems, and Computers 19(2): 479-490 (2010)

Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun: Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. IEEE Trans. Computers 59(1): 116-126 (2010)

Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu: On Array Theory of Bounded Elements. CAV 2010: 570-584

Fei He, Yaxuan Qi, Yibo Xue, Jun Li: YACA: Yet Another Cluster-Based Architecture for Network Intrusion Prevention. GLOBECOM 2010: 1-5

Fei He, Min Li, Jianhong Yang, Jinwu Xu: Adaptive clustering of production state based on kernel entropy component analysis. IJCNN 2010: 1-8

Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu: Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. ISoLA (1) 2010: 643-657

Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu: Compositional Abstraction Refinement for Timed Systems. TASE 2010: 168-176

Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun: Heuristic-Guided Abstraction Refinement. Comput. J. 52(3): 280-287 (2009)

Yaxuan Qi, Fei He, Xiang Wang, Xinming Chen, Yibo Xue, Jun Li: OASis: towards extensible open-architecture services platforms. ANCS 2009: 66-67

Fei He, Yaxuan Qi, Yibo Xue, Jun Li: SANS: a scalable architecture for network intrusion prevention with stateful frontend. ANCS 2009: 181-182

Martin Brown, Fei He, George Papadopoulos: Dynamic basis pursuit regularization for complex biochemical pathway identification. CDC 2009: 952-957

Min Zhou, Fei He, Ming Gu, Xiaoyu Song: Translation-Based Model Checking for PLC Programs. COMPSAC (1) 2009: 553-562

He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu: Data mining based decomposition for assume-guarantee reasoning. FMCAD 2009: 116-119

Zhipeng Tan, Dan Feng, Xudong Tu, Fei He: DLBS: Duplex Loading Balancing Strategy on Object Storage System. ISPA 2009: 45-52

Fei He, Yoshiaki Fukazawa: User-oriented Preparative Treatments for Requirements Engineering. Software Engineering Research and Practice 2009: 374-378

Peijun Shi, Weihua Fang, Jing Liu, Meiqin Zhou, Fei He, Qiu Pu, Juan Du, Jing Zheng: Research on Earth-Surface Interaction Mechanism, Process and Dynamics of Human-Earth System: Case Study on the Geographic Belt Transect from Shenzhen in Guangdong Province to Bayanhaote in Inner Mongolia Province of China. Annals of GIS 14(1): 1-11 (2008)

Martin Brown, Fei He, Lam Fat Yeung: Robust measurement selection for biochemical pathway experimental design. IJBRA 4(4): 400-416 (2008)

Yaxuan Qi, Zongwei Zhou, Baohua Yang, Fei He, Yibo Xue, Jun Li: Towards effective network algorithms on multi-core network processors. ANCS 2008: 125-126

Bo Xu, Yaxuan Qi, Fei He, Zongwei Zhou, Yibo Xue, Jun Li: Fast Path Session Creation on Network Processors. ICDCS 2008: 573-580

Yunqing Rao, Fei He, Xinyu Shao, Chaoyong Zhang: On-Line Simulation for Shop Floor Control in Manufacturing Execution System. ICIRA (2) 2008: 141-150

Fei He, Martin Brown, Hong Yue, Lam Fat Yeung: Robust experimental design and feature selection in signal transduction pathway modeling. IJCNN 2008: 1544-1551

Fei He, Martin Brown, Lam Fat Yeung: On the complexity - sensitivity trade-off for the NF-kappaB pathway modeling. IJCNN 2008: 3933-3940

Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He: A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". ACM Trans. Design Autom. Electr. Syst. 12(4) (2007)

Yaxuan Qi, Bo Xu, Fei He, Baohua Yang, Jianming Yu, Jun Li: Towards high-performance flow-level packet processing on multi-core network processors. ANCS 2007: 17-26

Zhipeng Tan, Dan Feng, Fei He, Ke Zhou: Studying of Multi-dimensional Based Replica Management in Object Storage System. EUC Workshops 2007: 341-354

Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. FORTE 2007: 247-262

Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun: Effective heuristics for counterexample-guided abstraction refinement. ACM Great Lakes Symposium on VLSI 2007: 393-398

Yaxuan Qi, Bo Xu, Fei He, Xin Zhou, Jianming Yu, Jun Li: Towards Optimized Packet Classification Algorithms for Multi-Core Network Processors. ICPP 2007: 2

Lam Fat Yeung, Martin Brown, Fei He: Discrete-Time Model Representations for Biochemical Pathway Modeling. IMECS 2007: 267-272

Fei He, Xiaoyu Song, Ming Gu, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun: A combinatorial congestion estimation approach with generalized detours. Computers & Mathematics with Applications 51(6-7): 1113-1126 (2006)

Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang: Congestion estimation for hexagonal routing. Int. J. Comput. Math. 83(3): 263-272 (2006)

Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun: A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. ATVA 2006: 39-50

Anduo Wang, Fei He, Ming Gu, Xiaoyu Song: Verifying Java Programs By Theorem Prover HOL. COMPSAC (1) 2006: 139-142

Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng: Probabilistic Estimation for Routing Space. Comput. J. 48(6): 667-676 (2005)

Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun: On Theoretical Upper Bounds for Routing Estimation. J. UCS 11(6): 916-925 (2005)

Ming Gu, Fei He, Xiaoyu Song, Jiaguang Sun: Multiterminal net assignments by scatter search. Mathematical and Computer Modelling 41(8-9): 997-1004 (2005)

Chengwan He, Fei He, Keqing He, Jin Liu, Wenjie Tu: RoleOf Relationship and Its Meta Model for Design Pattern Instantiation. ADMA 2005: 642-653

Bin Liu, Deyi Li, Jin Liu, Fei He: Classifying Class and Finding Community in UML Metamodel Network. ADMA 2005: 690-695

Bing Li, Fei He, Wudong Liu, Keqing He, Jin Liu: Research on Semantic-Based Web Services Registry Federation. GCC 2005: 202-207

Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun: Segmented channel routing with pin rearrangements via satisfiability. ISCAS (6) 2005: 6248-6251

Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun: A Hierachical Method for Wiring and Congestion Prediction. ISVLSI 2005: 307-308

Chengwan He, Keqing He, Fei He, Feng Yao, Jin Liu: Using RoleOf Relationship in Design Pattern Instantiation. ITCC (2) 2005: 353-358

Jin Liu, Keqing He, Bing Li, Fei He: A Perspective of Fusing Ontology and Metamodeling Architecture in Interconnection Environment. SKG 2005: 6

Yangfan He, Keqing He, Chong Wang, Fei He: Metamodel Framework for Ontology Registration (MMF4Ontology Registration) for Semantic Interoperation. SKG 2005: 84

Ming Gu, Fei He, William N. N. Hung, Xiaoyu Song: A comparative study on search strategies for cell assignments. Int. J. Comput. Math. 81(7): 901-908 (2004)

Fei He, Ming Gu, Jiaguang Sun, Xiaoyu Song: A stochastic model for cellassignments in PCS networks. Mathematical and Computer Modelling 40(7-8): 745-755 (2004)

Fei He, Arvin Agah: Multi-Modal Human Interactions with an Intelligent Interface Utilizing Images, Sounds, and Force Feedback. Journal of Intelligent and Robotic Systems 32(2): 171-190 (2001)