Search results for "Fei He"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu	Maxterm Covering for Satisfiability.	IEEE Trans. Computers	2012	DBLP DOI BibTeX RDF
1	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	2012	DBLP DOI BibTeX RDF
1	Wenrui Meng, Fei He, Bow-Yaw Wang, Qiang Liu	Thread-Modular Model Checking with Iterative Refinement.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Yaxuan Qi, Fei He, Xiang Wang, Xinming Chen, Yibo Xue, Jun Li	OpenGate: Towards an open network services gateway.	Computer Communications	2011	DBLP DOI BibTeX RDF
1	Fei He, Fan Xiang, Yibo Xue, Jun Li	Towards High-Performance Network Application Identification With Aggregate-Flow Cache	CoRR	2011	DBLP BibTeX RDF
1	Fei He, Yin Sun, Xiang Chen, Limin Xiao, Shidong Zhou	Optimal Power Allocation for Two-Way Decode-and-Forward OFDM Relay Networks	CoRR	2011	DBLP BibTeX RDF
1	Fei He, Keqing He, Peng Liang, Jian Wang	On-Demand Service-Oriented Architecture and Standardization.	IEEE SCC	2011	DBLP DOI BibTeX RDF	Software Virtualization, Metamodel Framework, Interoperability, On-Demand Service
1	Min Zhou, Fei He, Ming Gu	An Efficient Resolution Based Algorithm for SAT.	TASE	2011	DBLP DOI BibTeX RDF
1	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	2010	DBLP BibTeX RDF
1	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	2010	DBLP DOI BibTeX RDF
1	Wei-Wei Yu, Fei He, Ping Xi	A rapid 3D seed-filling algorithm based on scan slice.	Computers & Graphics	2010	DBLP DOI BibTeX RDF
1	Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun	Integrating Evolutionary Computation with Abstraction Refinement for Model Checking.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	verification, Formal models
1	Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang	An Analytical Congestion Model with Bounded-Bend Detours.	Journal of Circuits, Systems, and Computers	2010	DBLP DOI BibTeX RDF
1	Fei He, Yaxuan Qi, Yibo Xue, Jun Li	YACA: Yet Another Cluster-Based Architecture for Network Intrusion Prevention.	GLOBECOM	2010	DBLP DOI BibTeX RDF
1	Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu	On Array Theory of Bounded Elements.	CAV	2010	DBLP DOI BibTeX RDF
1	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	2010	DBLP DOI BibTeX RDF
1	Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu	Compositional Abstraction Refinement for Timed Systems.	TASE	2010	DBLP DOI BibTeX RDF
1	Fei He, Min Li, Jianhong Yang, Jinwu Xu	Adaptive clustering of production state based on kernel entropy component analysis.	IJCNN	2010	DBLP DOI BibTeX RDF
1	Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun	Heuristic-Guided Abstraction Refinement.	Comput. J.	2009	DBLP DOI BibTeX RDF
1	He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu	Data mining based decomposition for assume-guarantee reasoning.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Zhipeng Tan, Dan Feng, Xudong Tu, Fei He	DLBS: Duplex Loading Balancing Strategy on Object Storage System.	ISPA	2009	DBLP DOI BibTeX RDF	Duplex Loading Balancing Strategy, Replica, Object-based Storage
1	Min Zhou, Fei He, Ming Gu, Xiaoyu Song	Translation-Based Model Checking for PLC Programs.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Martin Brown, Fei He, George Papadopoulos 0005	Dynamic basis pursuit regularization for complex biochemical pathway identification.	CDC	2009	DBLP DOI BibTeX RDF
1	Fei He, Yaxuan Qi, Yibo Xue, Jun Li	SANS: a scalable architecture for network intrusion prevention with stateful frontend.	ANCS	2009	DBLP DOI BibTeX RDF
1	Yaxuan Qi, Fei He, Xiang Wang, Xinming Chen, Yibo Xue, Jun Li	OASis: towards extensible open-architecture services platforms.	ANCS	2009	DBLP DOI BibTeX RDF
1	Fei He, Yoshiaki Fukazawa	User-oriented Preparative Treatments for Requirements Engineering.	Software Engineering Research and Practice	2009	DBLP BibTeX RDF
1	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	2008	DBLP DOI BibTeX RDF
1	Martin Brown, Fei He, Lam Fat Yeung	Robust measurement selection for biochemical pathway experimental design.	IJBRA	2008	DBLP DOI BibTeX RDF
1	Yaxuan Qi, Zongwei Zhou, Baohua Yang, Fei He, Yibo Xue, Jun Li	Towards effective network algorithms on multi-core network processors.	ANCS	2008	DBLP DOI BibTeX RDF	pattern matching, network processor, packet classification
1	Yunqing Rao, Fei He, Xinyu Shao, Chaoyong Zhang	On-Line Simulation for Shop Floor Control in Manufacturing Execution System.	ICIRA	2008	DBLP DOI BibTeX RDF	Shop floor control, Manufacturing Execution System, On-Line Simulation
1	Bo Xu, Yaxuan Qi, Fei He, Zongwei Zhou, Yibo Xue, Jun Li	Fast Path Session Creation on Network Processors.	ICDCS	2008	DBLP DOI BibTeX RDF
1	Fei He, Martin Brown, Lam Fat Yeung	On the complexity - sensitivity trade-off for the NF-kappaB pathway modeling.	IJCNN	2008	DBLP DOI BibTeX RDF
1	Fei He, Martin Brown, Hong Yue, Lam Fat Yeung	Robust experimental design and feature selection in signal transduction pathway modeling.	IJCNN	2008	DBLP DOI BibTeX RDF
1	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.	2007	DBLP DOI BibTeX RDF
1	Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini	Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.	FORTE	2007	DBLP DOI BibTeX RDF
1	Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun	Effective heuristics for counterexample-guided abstraction refinement.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	model checking, verification, heuristics, SoC, abstraction
1	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	DBLP DOI BibTeX RDF	packet order, classification, hashing, network processor
1	Yaxuan Qi, Bo Xu, Fei He, Xin Zhou, Jianming Yu, Jun Li	Towards Optimized Packet Classification Algorithms for Multi-Core Network Processors.	ICPP	2007	DBLP DOI BibTeX RDF
1	Zhipeng Tan, Dan Feng, Fei He, Ke Zhou	Studying of Multi-dimensional Based Replica Management in Object Storage System.	EUC Workshops	2007	DBLP DOI BibTeX RDF	Multi-dimensional Architecture, Optimal tree, One-path tree, Searching, Replica management
1	Lam Fat Yeung, Martin Brown, Fei He	Discrete-Time Model Representations for Biochemical Pathway Modeling.	IMECS	2007	DBLP BibTeX RDF
1	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	2006	DBLP DOI BibTeX RDF
1	Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang	Congestion estimation for hexagonal routing.	Int. J. Comput. Math.	2006	DBLP DOI BibTeX RDF
1	Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun	A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.	ATVA	2006	DBLP DOI BibTeX RDF
1	Anduo Wang, Fei He, Ming Gu, Xiaoyu Song	Verifying Java Programs By Theorem Prover HOL.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	Ming Gu, Fei He, Xiaoyu Song, Jiaguang Sun	Multiterminal net assignments by scatter search.	Mathematical and Computer Modelling	2005	DBLP DOI BibTeX RDF
1	Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun	On Theoretical Upper Bounds for Routing Estimation.	J. UCS	2005	DBLP BibTeX RDF
1	Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng	Probabilistic Estimation for Routing Space.	Comput. J.	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun	Segmented channel routing with pin rearrangements via satisfiability.	ISCAS	2005	DBLP DOI BibTeX RDF
1	Yangfan He, Keqing He, Chong Wang 0004, Fei He	Metamodel Framework for Ontology Registration (MMF4Ontology Registration) for Semantic Interoperation.	SKG	2005	DBLP DOI BibTeX RDF
1	Jin Liu, Keqing He, Bing Li, Fei He	A Perspective of Fusing Ontology and Metamodeling Architecture in Interconnection Environment.	SKG	2005	DBLP DOI BibTeX RDF
1	Chengwan He, Fei He, Keqing He, Jin Liu, Wenjie Tu	RoleOf Relationship and Its Meta Model for Design Pattern Instantiation.	ADMA	2005	DBLP DOI BibTeX RDF
1	Bin Liu, Deyi Li, Jin Liu, Fei He	Classifying Class and Finding Community in UML Metamodel Network.	ADMA	2005	DBLP DOI BibTeX RDF
1	Bing Li, Fei He, Wudong Liu, Keqing He, Jin Liu	Research on Semantic-Based Web Services Registry Federation.	GCC	2005	DBLP DOI BibTeX RDF	Web service registry, ontological metamodeling, federated information management
1	Chengwan He, Keqing He, Fei He, Feng Yao, Jin Liu	Using RoleOf Relationship in Design Pattern Instantiation.	ITCC	2005	DBLP DOI BibTeX RDF	design pattern instantiation, RoleOf relationship, UML, meta model, role
1	Fei He, Ming Gu, Jiaguang Sun, Xiaoyu Song	A stochastic model for cellassignments in PCS networks.	Mathematical and Computer Modelling	2004	DBLP DOI BibTeX RDF
1	Ming Gu, Fei He, William N. N. Hung, Xiaoyu Song	A comparative study on search strategies for cell assignments.	Int. J. Comput. Math.	2004	DBLP DOI BibTeX RDF
1	Fei He, Arvin Agah	Multi-Modal Human Interactions with an Intelligent Interface Utilizing Images, Sounds, and Force Feedback.	Journal of Intelligent and Robotic Systems	2001	DBLP DOI BibTeX RDF	force feedback, intelligent interfaces, human-machine interactions, telerobotics, multi-modal interactions

Publications of "Fei He" ( http://dblp.L3S.de/Authors/Fei_He )