| 2007 |
| 21 | EE | Fei He,
Xiaoyu Song,
Ming Gu,
Jiaguang Sun:
Effective heuristics for counterexample-guided abstraction refinement.
ACM Great Lakes Symposium on VLSI 2007: 393-398 |
| 20 | EE | 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 |
| 19 | EE | Zhipeng Tan,
Dan Feng,
Fei He,
Ke Zhou:
Studying of Multi-dimensional Based Replica Management in Object Storage System.
EUC Workshops 2007: 341-354 |
| 18 | EE | Fei He,
Luciano Baresi,
Carlo Ghezzi,
Paola Spoletini:
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.
FORTE 2007: 247-262 |
| 17 | EE | 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 |
| 16 | | Lam Fat Yeung,
Martin Brown,
Fei He:
Discrete-Time Model Representations for Biochemical Pathway Modeling.
IMECS 2007: 267-272 |
| 15 | EE | 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) |
| 2006 |
| 14 | EE | Fei He,
Xiaoyu Song,
Ming Gu,
Jia-Guang Sun:
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.
ATVA 2006: 39-50 |
| 13 | EE | Anduo Wang,
Fei He,
Ming Gu,
Xiaoyu Song:
Verifying Java Programs By Theorem Prover HOL.
COMPSAC (1) 2006: 139-142 |
| 12 | EE | Ming Gu,
Fei He,
Lerong Cheng,
Xiaoyu Song,
Guowu Yang:
Congestion estimation for hexagonal routing.
Int. J. Comput. Math. 83(3): 263-272 (2006) |
| 2005 |
| 11 | EE | Chengwan He,
Fei He,
Keqing He,
Jin Liu,
Wenjie Tu:
RoleOf Relationship and Its Meta Model for Design Pattern Instantiation.
ADMA 2005: 642-653 |
| 10 | EE | Bin Liu,
Deyi Li,
Jin Liu,
Fei He:
Classifying Class and Finding Community in UML Metamodel Network.
ADMA 2005: 690-695 |
| 9 | EE | Bing Li,
Fei He,
Wudong Liu,
Keqing He,
Jin Liu:
Research on Semantic-Based Web Services Registry Federation.
GCC 2005: 202-207 |
| 8 | EE | 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 |
| 7 | EE | 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 |
| 6 | EE | Chengwan He,
Keqing He,
Fei He,
Feng Yao,
Jin Liu:
Using RoleOf Relationship in Design Pattern Instantiation.
ITCC (2) 2005: 353-358 |
| 5 | EE | Jin Liu,
Keqing He,
Bing Li,
Fei He:
A Perspective of Fusing Ontology and Metamodeling Architecture in Interconnection Environment.
SKG 2005: 6 |
| 4 | EE | Yangfan He,
Keqing He,
Chong Wang,
Fei He:
Metamodel Framework for Ontology Registration (MMF4Ontology Registration) for Semantic Interoperation.
SKG 2005: 84 |
| 3 | EE | Fei He,
Ming Gu,
Xiaoyu Song,
Zhiwei Tang,
Guowu Yang,
Lerong Cheng:
Probabilistic Estimation for Routing Space.
Comput. J. 48(6): 667-676 (2005) |
| 2 | EE | 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) |
| 2004 |
| 1 | EE | 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) |