Fang Yu

	2009
42		Vaneet Aggarwal, Robert Caldebank, Vijay Gopalakrishnan, Rittwik Jana, K. K. Ramakrishnan, Fang Yu: The effectiveness of intelligent scheduling for multicast video-on-demand. ACM Multimedia 2009: 421-430
41		Qing Zhou, Fang Yu, Binqiang Wang: An Algorithm Evaluating System Stability to Process. ICA3PP 2009: 626-637
40		Fang Yu, Tevfik Bultan, Oscar H. Ibarra: Symbolic String Verification: Combining String Analysis and Size Analysis. TACAS 2009: 322-336
	2008
39		Qing Zhou, Fang Yu: Knowledge-Based Major Choosing Decision Making for Remote Students. CSSE (5) 2008: 474-478
38		John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang: A practical reconfigurable hardware accelerator for Boolean satisfiability solvers. DAC 2008: 780-785
37		Guifang Shao, Yuhua Wen, Fang Yu, Zushu Li: Target Localization for Autonomous Soccer Robot Based on Vision Perception. ISICA 2008: 831-840
36		John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang: Designing an Efficient Hardware Implication Accelerator for SAT Solving. SAT 2008: 48-62
35		Yinglian Xie, Fang Yu, Kannan Achan, Rina Panigrahy, Geoff Hulten, Ivan Osipkov: Spamming botnets: signatures and characteristics. SIGCOMM 2008: 171-182
34		Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan: Modular verification of web services using efficient symbolic encoding and summarization. SIGSOFT FSE 2008: 192-202
33		Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra: Symbolic String Verification: An Automata-Based Approach. SPIN 2008: 306-324
32		Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun: On spiking neural P systems and partially blind counter machines. Natural Computing 7(1): 3-19 (2008)
	2007
31		Dongling Chen, Daling Wang, Ge Yu, Fang Yu: A PLSA-Based Approach for Building User Profile and Implementing Personalized Recommendation. APWeb/WAIM 2007: 606-613
30		Fang Yu, Tevfik Bultan, Erik Peterson: Automated size analysis for OCL. ESEC/SIGSOFT FSE 2007: 331-340
29		Yinglian Xie, Fang Yu, Kannan Achan, Eliot Gillum, Moisés Goldszmidt, Ted Wobber: How dynamic are IP addresses? SIGCOMM 2007: 301-312
	2006
28		Fang Yu, Zhifeng Chen, Yanlei Diao, T. V. Lakshman, Randy H. Katz: Fast and memory-efficient regular expression matching for deep packet inspection. ANCS 2006: 93-102
27		Xuyao Luo, Fang Yu, Jun Zhang: Study of Parametric Relation in Ant Colony Optimization Approach to Traveling Salesman Problem. ICIC (3) 2006: 22-32
26		Sailesh Kumar, Sarang Dharmapurikar, Fang Yu, Patrick Crowley, Jonathan S. Turner: Algorithms to accelerate multiple regular expressions matching for deep packet inspection. SIGCOMM 2006: 339-350
25		Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun: On Spiking Neural P Systems and Partially Blind Counter Machines. UC 2006: 113-129
24		Fang Yu, T. V. Lakshman, Martin Austin Motoyama, Randy H. Katz: Efficient Multimatch Packet Classification for Network Security Applications. IEEE Journal on Selected Areas in Communications 24(10): 1805-1816 (2006)
23		Farn Wang, Geng-Dian Huang, Fang Yu: TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. IEEE Trans. Software Eng. 32(7): 510-526 (2006)
22		Fang Yu, Bow-Yaw Wang: Sat-based Model Checking for Region Automata. Int. J. Found. Comput. Sci. 17(4): 775-796 (2006)
	2005
21		Fang Yu, T. V. Lakshman, Martin Austin Motoyama, Randy H. Katz: SSA: a power and memory efficient scheme to multi-match packet classification. ANCS 2005: 105-113
20		Fang Yu, Chung-Hung Tsai, Yao-Wen Huang, D. T. Lee, Hung-Yau Lin, Sy-Yen Kuo: Efficient Exact Spare Allocation via Boolean Satisfiability. DFT 2005: 361-370
19		Fang Yu, Randy H. Katz, T. V. Lakshman: Efficient Multimatch Packet Classification and Lookup with TCAM. IEEE Micro 25(1): 50-59 (2005)
18		Farn Wang, Geng-Dian Huang, Fang Yu: Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. J. Embedded Computing 1(1): 39-56 (2005)
	2004
17		Fang Yu, Bow-Yaw Wang: Toward Unbounded Model Checking for Region Automata. ATVA 2004: 20-33
16		Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo: Verifying Web Applications Using Bounded Model Checking. DSN 2004: 199-208
15		Fang Yu, Bow-Yaw Wang, Yao-Wen Huang: Bounded Model Checking for Region Automata. FORMATS/FTRTFT 2004: 246-262
14		Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, Der-Tsai Lee, Sy-Yen Kuo: Securing web application code by static analysis and runtime protection. WWW 2004: 40-52
13		Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang: BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. IEEE Trans. Software Eng. 30(6): 403-417 (2004)
	2003
12		Farn Wang, Geng-Dian Hwang, Fang Yu: TCTL Inevitability Analysis of Dense-Time Systems. CIAA 2003: 176-187
11		Farn Wang, Geng-Dian Hwang, Fang Yu: Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. FORTE 2003: 160-176
10		Farn Wang, Fang Yu: OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. RTCSA 2003: 254-278
9		Farn Wang, Geng-Dian Huang, Fang Yu: Symbolic Simulation of Real-Time Concurrent Systems. RTCSA 2003: 595-617
8		Farn Wang, Geng-Dian Hwang, Fang Yu: TCTL Inevitability Analysis of Dense-time Systems CoRR cs.SC/0304003: (2003)
7		Farn Wang, Geng-Dian Hwang, Fang Yu: Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems CoRR cs.SE/0303027: (2003)
6		Fang Yu, Qian Zhang, Wenwu Zhu, Ya-Qin Zhang: QoS-adaptive proxy caching for multimedia streaming over the Internet. IEEE Trans. Circuits Syst. Video Techn. 13(3): 257-269 (2003)
5		Sylvia Ratnasamy, Brad Karp, Scott Shenker, Deborah Estrin, Ramesh Govindan, Li Yin, Fang Yu: Data-Centric Storage in Sensornets with GHT, a Geographic Hash Table. MONET 8(4): 427-442 (2003)
	2002
4		Sylvia Ratnasamy, Brad Karp, Li Yin, Fang Yu, Deborah Estrin, Ramesh Govindan, Scott Shenker: GHT: a geographic hash table for data-centric storage. WSNA 2002: 78-87
	2001
3		Fang Yu, Qian Zhang, Wenwu Zhu, Ya-Qin Zhang: Network-Adaptive Cache Management Schemes for Mixed Media. IEEE Pacific Rim Conference on Multimedia 2001: 685-692
	2000
2		Fang Yu, Wen Jin: An Effective Approach to Mining Exeption Class Association Rules. Web-Age Information Management 2000: 145-150
1		Shuigeng Zhou, Ye Fan, Jiangtao Hu, Fang Yu, Yunfa Hu: Hierachically Classifying Chinese Web Documents without Dictionary Support and Segmentation Procedure. Web-Age Information Management 2000: 215-226

Coauthor Index

1	Kannan Achan	[29] [35]
2	Vaneet Aggarwal	[42]
3	Tevfik Bultan	[30] [33] [34] [40]
4	Robert Caldebank	[42]
5	Dongling Chen	[31]
6	Zhifeng Chen	[28]
7	Marco Cova	[33]
8	Patrick Crowley	[26]
9	John D. Davis	[36] [38]
10	Sarang Dharmapurikar	[26]
11	Yanlei Diao	[28]
12	Deborah Estrin	[4] [5]
13	Ye Fan	[1]
14	Eliot Gillum	[29]
15	Moisés Goldszmidt	[29]
16	Vijay Gopalakrishnan	[42]
17	Ramesh Govindan	[4] [5]
18	Aarti Gupta	[34]
19	Christian Hang	[14] [16]
20	Jiangtao Hu	[1]
21	Yunfa Hu	[1]
22	Geng-Dian Huang	[9] [13] [18] [23]
23	Yao-Wen Huang	[14] [15] [16] [20]
24	Geoff Hulten	[35]
25	Geng-Dian Hwang	[7] [8] [11] [12]
26	Oscar H. Ibarra	[25] [32] [33] [40]
27	Rittwik Jana	[42]
28	Wen Jin	[2]
29	Brad Karp	[4] [5]
30	Randy H. Katz	[19] [21] [24] [28]
31	Sailesh Kumar	[26]
32	Sy-Yen Kuo	[14] [16] [20]
33	T. V. Lakshman	[19] [21] [24] [28]
34	D. T. Lee (Der-Tsai Lee)	[14] [16] [20]
35	Zushu Li	[37]
36	Hung-Yau Lin	[20]
37	Xuyao Luo	[27]
38	Martin Austin Motoyama	[21] [24]
39	Ivan Osipkov	[35]
40	Rina Panigrahy	[35]
41	Andrei Paun	[25] [32]
42	Erik Peterson	[30]
43	K. K. Ramakrishnan (Kadangode K. Ramakrishnan)	[42]
44	Sylvia Ratnasamy	[4] [5]
45	Guifang Shao	[37]
46	Scott Shenker	[4] [5]
47	Zhangxi Tan	[36] [38]
48	Chung-Hung Tsai	[14] [16] [20]
49	Jonathan S. Turner	[26]
50	Binqiang Wang	[41]
51	Bow-Yaw Wang	[13] [15] [17] [22]
52	Chao Wang	[34]
53	Daling Wang	[31]
54	Farn Wang	[7] [8] [9] [10] [11] [12] [13] [18] [23]
55	Yuhua Wen	[37]
56	Ted Wobber	[29]
57	Karsten Wolf (Karsten Schmidt)	[13]
58	Sara Woodworth	[25] [32]
59	Yinglian Xie	[29] [35]
60	Li Yin	[4] [5]
61	Ge Yu	[31]
62	Jun Zhang	[27]
63	Lintao Zhang	[36] [38]
64	Qian Zhang	[3] [6]
65	Ya-Qin Zhang	[3] [6]
66	Qing Zhou	[39] [41]
67	Shuigeng Zhou	[1]
68	Wenwu Zhu	[3] [6]

Colors in the list of coauthors