Yuan Feng

Yuan Feng, Lijun Zhang: A tighter bound for the self-stabilization time in Herman's algorithm. Inf. Process. Lett. 113(13): 486-488 (2013)

Mingsheng Ying, Yuan Feng, Nengkun Yu: Quantum Information-Flow Security: Noninterference and Access Control. CoRR abs/1301.6804 (2013)

Yuan Feng, Ran Tao, Yue Wang: Modeling and characteristic analysis of underwater acoustic signal of the accelerating propeller. SCIENCE CHINA Information Sciences 55(2): 270-280 (2012)

Yongxian Song, Juanli Ma, Xianjin Zhang, Yuan Feng: Design of Wireless Sensor Network-Based Greenhouse Environment Monitoring and Automatic Control System. JNW 7(5): 838-844 (2012)

Yongxian Song, Ting Chen, Juanli Ma, Yuan Feng, Xianjin Zhang: Design and Analysis for Reliability of Wireless Sensor Network. JNW 7(12): 2003-2010 (2012)

Yuan Feng, Zimu Liu, Baochun Li: GestureFlow: QoE-Aware Streaming of Multi-TouchGestures in Interactive Multimedia Applications. IEEE Journal on Selected Areas in Communications 30(7): 1281-1294 (2012)

Yuan Feng, Runyao Duan, Mingsheng Ying: Bisimulation for Quantum Processes. ACM Trans. Program. Lang. Syst. 34(4): 17 (2012)

Yuan Feng, Theo S. H. Driessen: A Potential Approach to Efficient, Multiplicative and Symmetric Values for TU Games. CTW 2012: 130-133

Yuan Feng, Baochun Li, Bo Li: Postcard: Minimizing Costs on Inter-Datacenter Traffic with Store-and-Forward. ICDCS Workshops 2012: 43-50

Yuan Feng, Baochun Li, Bo Li: Airlift: Video conferencing as a cloud service using inter-datacenter networks. ICNP 2012: 1-11

Yuxin Deng, Yuan Feng: Open Bisimulation for Quantum Processes. IFIP TCS 2012: 119-133

Yuan Feng, Baochun Li, Bo Li: Bargaining towards maximized resource utilization in video streaming datacenters. INFOCOM 2012: 1134-1142

Zimu Liu, Yuan Feng, Baochun Li: Socialize spontaneously with mobile applications. INFOCOM 2012: 1942-1950

Zimu Liu, Yuan Feng, Baochun Li: MusicScore: mobile music composition for practice and fun. ACM Multimedia 2012: 109-118

Yuan Feng, Baochun Li, Bo Li: Jetway: minimizing costs on inter-datacenter video traffic. ACM Multimedia 2012: 259-268

Yuxin Deng, Yuan Feng: Open Bisimulation for Quantum Processes. CoRR abs/1201.0416 (2012)

Yuan Feng, Yuxin Deng, Mingsheng Ying: Symbolic bisimulation for quantum processes. CoRR abs/1202.3484 (2012)

Yuan Feng, Nengkun Yu, Mingsheng Ying: Model checking quantum Markov chains. CoRR abs/1205.2187 (2012)

Lvzhou Li, Yuan Feng: On hybrid models of quantum finite automata. CoRR abs/1206.2131 (2012)

Mingsheng Ying, Nengkun Yu, Yuan Feng: Defining Quantum Control Flow. CoRR abs/1209.4379 (2012)

Yongxian Song, Yuan Feng, Juanli Ma, Xianjin Zhang: Design of LED Display Control System Based on AT89C52 Single Chip Microcomputer. JCP 6(4): 718-724 (2011)

Yongxian Song, Chenglong Gong, Yuan Feng, Juanli Ma, Xianjin Zhang: Design of Greenhouse Control System Based on Wireless Sensor Networks and AVR Microcontroller. JNW 6(12): 1668-1674 (2011)

Qiang Miao, Liu Liu, Yuan Feng, Michael G. Pecht: Complex system maintainability verification with limited samples. Microelectronics Reliability 51(2): 294-299 (2011)

Yuan Feng, Runyao Duan, Mingsheng Ying: Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting. Quantum Information & Computation 9(11): 997-1012 (2011)

Mingsheng Ying, Yuan Feng: A Flowchart Language for Quantum Programming. IEEE Trans. Software Eng. 37(4): 466-485 (2011)

Jinliang Huang, Yuan Feng, Ling Huang, Qinqin Sun: A preliminary study on impervious surface area dynamics and water quality response at watershed scale. ICSDM 2011: 431-434

Yuan Feng, Zimu Liu, Baochun Li: GestureFlow: Streaming gestures to an audience. INFOCOM 2011: 748-756

Yuan Feng: Partner Selection for Design Chain Based on Osculating Value Method. ISCID (2) 2011: 141-143

Feng Hong, Chunlei Guo, Xiqing Zhang, Zhongwen Guo, Yuan Feng: PSD: One-to-Many Routing Protocol for Publish/Subscribe Applications in DTN. MOBILWARE 2011: 98-106

Zimu Liu, Yuan Feng, Baochun Li: When multi-touch meets streaming. MUM 2011: 23-32

Yuan Feng, Runyao Duan, Mingsheng Ying: Bisimulation for quantum processes. POPL 2011: 523-534

Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan: Verification of Quantum Programs. CoRR abs/1106.4063 (2011)

Mingsheng Ying, Yuan Feng: Quantum loop programs. Acta Inf. 47(4): 221-250 (2010)

Zhongwen Guo, Yuan Feng, Lu Hong, Ying Guo, Meng Yang: Efficient and adaptive transmission algorithms for underwater acoustic networks. Comput. Syst. Sci. Eng. 25(6) (2010)

Wei Liao, Huafu Chen, Yuan Feng, Dante Mantini, Claudio Gentili, Zhengyong Pan, Jurong Ding, Xujun Duan, Changjian Qiu, Su Lui, Qiyong Gong, Wei Zhang: Selective aberrant functional connectivity of resting state networks in social anxiety disorder. NeuroImage 52(4): 1549-1558 (2010)

Kebin Liu, Zheng Yang, Mo Li, Zhongwen Guo, Ying Guo, Feng Hong, Xiaohui Yang, Yuan He, Yuan Feng, Yunhao Liu: Oceansense: monitoring the sea with wireless sensor networks. Mobile Computing and Communications Review 14(2): 7-9 (2010)

Zhongwen Guo, Pengpeng Chen, Yuan Feng, Yongguo Jiang, Feng Hong: ISDP: Interactive Software Development Platform for Household Appliance Testing Industry. IEEE T. Instrumentation and Measurement 59(5): 1439-1452 (2010)

Zhongwen Guo, Ying Guo, Feng Hong, Zongke Jin, Yuan He, Yuan Feng, Yunhao Liu: Perpendicular Intersection: Locating Wireless Sensors With Mobile Beacon. IEEE T. Vehicular Technology 59(7): 3501-3509 (2010)

Yuan Feng, Baochun Li, Bo Li: Peer-assisted VoD prefetching in double auction markets. ICNP 2010: 275-284

Yuan Feng, Baochun Li, Bo Li: Peer-to-peer bargaining in container-based datacenters. IPTPS 2010: 3

Yuan Feng, Baochun Li: Peer-Assisted Media Streaming: A Holistic Review. Intelligent Multimedia Communication 2010: 317-340

Yuan Feng, Runyao Duan, Mingsheng Ying: Bisimulation for quantum processes. CoRR abs/1007.2584 (2010)

Mingsheng Ying, Yuan Feng: An Algebraic Language for Distributed Quantum Computing. IEEE Trans. Computers 58(6): 728-743 (2009)

Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying: Distinguishability of Quantum States by Separable Operations. IEEE Transactions on Information Theory 55(3): 1320-1330 (2009)

Yuan Feng, Yaoyun Shi: Characterizing locally indistinguishable orthogonal product states. IEEE Transactions on Information Theory 55(6): 2799-2806 (2009)

Mingsheng Ying, Yuan Feng, Runyao Duan, Zheng-Feng Ji: An algebra of quantum processes. ACM Trans. Comput. Log. 10(3) (2009)

Ying Guo, Feng Hong, Zhongwen Guo, Zongke Jin, Yuan Feng: EDA: Event-oriented data aggregation in sensor networks. IPCCC 2009: 25-32

Yong-hui Guo, Yuan Feng: System Optimization for Design Chain Based on Entropy Theory. PACCS 2009: 588-590

Yongguo Jiang, Zhongwen Guo, Yuan Feng: Introduction to the Teaching Reform of the Course "Computer Organization Principles". ScalCom-EmbeddedCom 2009: 476-479

Zhongwen Guo, Yongguo Jiang, Yuan Feng, Feng Hong, Jinfeng Dou: Improving Teaching Quality through the Conversion of Research Production. ScalCom-EmbeddedCom 2009: 503-507

Zheng-Feng Ji, Guoming Wang, Runyao Duan, Yuan Feng, Mingsheng Ying: Parameter Estimation of Quantum Channels. IEEE Transactions on Information Theory 54(11): 5172-5185 (2008)

Lou Shuai, Ding Zhenliang, Yuan Feng, Li Jing: Image Restoration Based on Wavelet-Domain Contextual Hidden Markov Tree Model. CSSE (6) 2008: 177-180

Xiaodong Liu, Yuan Feng, Zhongwen Guo: TC: The Transmission Control Strategy for Restricted Floating Sensor Network. ISCSCT (1) 2008: 508-511

Ming Zhang, Chenglong Gong, Yuan Feng, Chao Liu: Energy-Predicted Shortest Routing Tree Algorithm in Wireless Sensor Networks. ISICA 2008: 117-124

Zhongwen Guo, Xiaodong Liu, Yuan Feng: An Adaptive Transmission Control Mechanism for Underwater Acoustic Sensor Network. NPC Workshops 2008: 525-530

Yuan Feng, Lipeng Zhang, Peng Zhou: EBMD: Energy-Balanced Multi-path Data Propation Algorithm for Sensor Networks. NPC Workshops 2008: 531-540

Zhongwen Guo, Ying Guo, Feng Hong, Xiaohui Yang, Yuan He, Yuan Feng, Yunhao Liu: Perpendicular Intersection: Locating Wireless Sensors with Mobile Beacon. RTSS 2008: 93-102

Haibo Xu, Hui Tian, Yuan Feng, Youjun Gao, Ping Zhang: An Efficient Resource Management Scheme with Guaranteed QoS of Heterogeneous Services in MIMO-OFDM System. WCNC 2008: 1838-1843

Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Probabilistic bisimulations for quantum processes. Inf. Comput. 205(11): 1608-1639 (2007)

Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan: Commutativity of quantum weakest preconditions. Inf. Process. Lett. 104(4): 152-158 (2007)

Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Proof rules for the correctness of quantum programs. Theor. Comput. Sci. 386(1-2): 151-166 (2007)

Feng Hong, Yuan Feng, Minglu Li, Zhongwen Guo: Constructing Incentive Oriented Overlay on Mobile Peer-to-Peer Networks. ICPP Workshops 2007: 52

Yuan Feng, Weida Li, Mantian Li, Lining Sun: Structure optimization of the endoscopic robot ciliary leg based on dimensional analysis. ROBIO 2007: 109-114

Runyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying: Some Issues in Quantum Information Theory. J. Comput. Sci. Technol. 21(5): 776-789 (2006)

Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Probabilistic bisimilarities between quantum processes. CoRR abs/cs/0601014 (2006)

Yuan Feng, Runyao Duan, Mingsheng Ying: Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory 51(3): 1090-1101 (2005)

Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Proof rules for purely quantum programs. CoRR abs/cs/0507043 (2005)

Yuan Feng, Mingsheng Ying: Process Algebra Approach to Reasoning About Concurrent Actions. J. Comput. Sci. Technol. 19(3): 364-373 (2004)