![]() | ![]() |
| 2012 | ||
|---|---|---|
| 50 | Yuan Feng, Baochun Li, Bo Li: Bargaining towards maximized resource utilization in video streaming datacenters. INFOCOM 2012: 1134-1142 | |
| 49 | Zimu Liu, Yuan Feng, Baochun Li: Socialize spontaneously with mobile applications. INFOCOM 2012: 1942-1950 | |
| 48 | Yuxin Deng, Yuan Feng: Open Bisimulation for Quantum Processes CoRR abs/1201.0416: (2012) | |
| 47 | Yuan Feng, Yuxin Deng, Mingsheng Ying: Symbolic bisimulation for quantum processes CoRR abs/1202.3484: (2012) | |
| 46 | 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) | |
| 45 | 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) | |
| 2011 | ||
| 44 | 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 | |
| 43 | Yuan Feng, Zimu Liu, Baochun Li: GestureFlow: Streaming gestures to an audience. INFOCOM 2011: 748-756 | |
| 42 | Yuan Feng: Partner Selection for Design Chain Based on Osculating Value Method. ISCID (2) 2011: 141-143 | |
| 41 | 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 | |
| 40 | Zimu Liu, Yuan Feng, Baochun Li: When multi-touch meets streaming. MUM 2011: 23-32 | |
| 39 | Yuan Feng, Runyao Duan, Mingsheng Ying: Bisimulation for quantum processes. POPL 2011: 523-534 | |
| 38 | Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan: Verification of Quantum Programs CoRR abs/1106.4063: (2011) | |
| 37 | Mingsheng Ying, Yuan Feng: A Flowchart Language for Quantum Programming. IEEE Trans. Software Eng. 37(4): 466-485 (2011) | |
| 36 | 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) | |
| 35 | 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) | |
| 34 | Qiang Miao, Liu Liu, Yuan Feng, Michael Pecht: Complex system maintainability verification with limited samples. Microelectronics Reliability 51(2): 294-299 (2011) | |
| 33 | 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) | |
| 2010 | ||
| 32 | Yuan Feng, Baochun Li, Bo Li: Peer-assisted VoD prefetching in double auction markets. ICNP 2010: 275-284 | |
| 31 | Yuan Feng, Baochun Li, Bo Li: Peer-to-peer bargaining in container-based datacenters. IPTPS 2010: 3 | |
| 30 | Yuan Feng, Baochun Li: Peer-Assisted Media Streaming: A Holistic Review. Intelligent Multimedia Communication 2010: 317-340 | |
| 29 | Mingsheng Ying, Yuan Feng: Quantum loop programs. Acta Inf. 47(4): 221-250 (2010) | |
| 28 | Yuan Feng, Runyao Duan, Mingsheng Ying: Bisimulation for quantum processes CoRR abs/1007.2584: (2010) | |
| 27 | 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) | |
| 26 | 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) | |
| 2009 | ||
| 25 | Ying Guo, Feng Hong, Zhongwen Guo, Zongke Jin, Yuan Feng: EDA: Event-oriented data aggregation in sensor networks. IPCCC 2009: 25-32 | |
| 24 | Yong-hui Guo, Yuan Feng: System Optimization for Design Chain Based on Entropy Theory. PACCS 2009: 588-590 | |
| 23 | Yongguo Jiang, Zhongwen Guo, Yuan Feng: Introduction to the Teaching Reform of the Course "Computer Organization Principles". ScalCom-EmbeddedCom 2009: 476-479 | |
| 22 | Zhongwen Guo, Yongguo Jiang, Yuan Feng, Feng Hong, Jinfeng Dou: Improving Teaching Quality through the Conversion of Research Production. ScalCom-EmbeddedCom 2009: 503-507 | |
| 21 | Mingsheng Ying, Yuan Feng, Runyao Duan, Zheng-Feng Ji: An algebra of quantum processes. ACM Trans. Comput. Log. 10(3): (2009) | |
| 20 | Mingsheng Ying, Yuan Feng: An Algebraic Language for Distributed Quantum Computing. IEEE Trans. Computers 58(6): 728-743 (2009) | |
| 19 | 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) | |
| 18 | Yuan Feng, Yaoyun Shi: Characterizing locally indistinguishable orthogonal product states. IEEE Transactions on Information Theory 55(6): 2799-2806 (2009) | |
| 2008 | ||
| 17 | Lou Shuai, Ding Zhenliang, Yuan Feng, Li Jing: Image Restoration Based on Wavelet-Domain Contextual Hidden Markov Tree Model. CSSE (6) 2008: 177-180 | |
| 16 | Zhongwen Guo, Ying Guo, Feng Hong, Xiaohui Yang, Yuan He, Yuan Feng, Yunhao Liu: Perpendicular Intersection: Locating Wireless Sensors with Mobile Beacon. IEEE Real-Time Systems Symposium 2008: 93-102 | |
| 15 | Xiaodong Liu, Yuan Feng, Zhongwen Guo: TC: The Transmission Control Strategy for Restricted Floating Sensor Network. ISCSCT (1) 2008: 508-511 | |
| 14 | Ming Zhang, Chenglong Gong, Yuan Feng, Chao Liu: Energy-Predicted Shortest Routing Tree Algorithm in Wireless Sensor Networks. ISICA 2008: 117-124 | |
| 13 | Zhongwen Guo, Xiaodong Liu, Yuan Feng: An Adaptive Transmission Control Mechanism for Underwater Acoustic Sensor Network. NPC Workshops 2008: 525-530 | |
| 12 | Yuan Feng, Lipeng Zhang, Peng Zhou: EBMD: Energy-Balanced Multi-path Data Propation Algorithm for Sensor Networks. NPC Workshops 2008: 531-540 | |
| 11 | 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 | |
| 10 | 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) | |
| 2007 | ||
| 9 | Feng Hong, Yuan Feng, Minglu Li, Zhongwen Guo: Constructing Incentive Oriented Overlay on Mobile Peer-to-Peer Networks. ICPP Workshops 2007: 52 | |
| 8 | Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Probabilistic bisimulations for quantum processes. Inf. Comput. 205(11): 1608-1639 (2007) | |
| 7 | Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan: Commutativity of quantum weakest preconditions. Inf. Process. Lett. 104(4): 152-158 (2007) | |
| 6 | 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) | |
| 2006 | ||
| 5 | Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Probabilistic bisimilarities between quantum processes CoRR abs/cs/0601014: (2006) | |
| 4 | Runyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying: Some Issues in Quantum Information Theory. J. Comput. Sci. Technol. 21(5): 776-789 (2006) | |
| 2005 | ||
| 3 | Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying: Proof rules for purely quantum programs CoRR abs/cs/0507043: (2005) | |
| 2 | Yuan Feng, Runyao Duan, Mingsheng Ying: Catalyst-assisted probabilistic entanglement transformation. IEEE Transactions on Information Theory 51(3): 1090-1101 (2005) | |
| 2004 | ||
| 1 | Yuan Feng, Mingsheng Ying: Process Algebra Approach to Reasoning About Concurrent Actions. J. Comput. Sci. Technol. 19(3): 364-373 (2004) | |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page