Feng, Xiushan
91  results:
Search for persons X
?
2

Role and mechanism of the p-JAK2/p-STAT3 signaling pathway ..:

Wang, Huilan ; Feng, Xiushan ; Wang, Tongfei...
General and Comparative Endocrinology.  330 (2023)  - p. 114138 , 2023
 
?
3

Experimental study for the establishment of a chemotherapy-..:

Tang, Dongyuan ; Feng, Xiushan ; Ling, Li...
Regulatory Toxicology and Pharmacology.  122 (2021)  - p. 104915 , 2021
 
?
 
?
 
?
 
?
11

Novel test detection to improve simulation efficiency : ..:

, In: Proceedings of the International Conference on Computer-Aided Design,
Chen, Wen ; Sumikawa, Nik ; Wang, Li-C.... - p. 101-108 , 2012
 
?
12

Embedded Software Verification Using Symbolic Execution and..:

Currie, David ; Feng, Xiushan ; Fujita, Masahiro...
International Journal of Parallel Programming.  34 (2006)  1 - p. 61-91 , 2006
 
?
13

Early cutpoint insertion for high-level software vs. RTL fo..:

, In: Proceedings of the 43rd annual Design Automation Conference,
Feng, Xiushan ; Hu, Alan J. - p. 1063-1068 , 2006
 
?
14

Cutpoints for formal equivalence verification of embedded s..:

, In: Proceedings of the 5th ACM international conference on Embedded software,
Feng, Xiushan ; Hu, Alan J. - p. 307-316 , 2005
 
?
15

Partitioned model checking from software specifications:

, In: Proceedings of the 2005 Asia and South Pacific Design Automation Conference,
Feng, Xiushan ; Hu, Alan J. ; Yang, Jin - p. 583-587 , 2005
 
1-15