Fang Yu

2009
40	EE	Fang Yu, Tevfik Bultan, Oscar H. Ibarra: Symbolic String Verification: Combining String Analysis and Size Analysis. TACAS 2009: 322-336
2008
39	EE	Qing Zhou, Fang Yu: Knowledge-Based Major Choosing Decision Making for Remote Students. CSSE (5) 2008: 474-478
38	EE	John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang: A practical reconfigurable hardware accelerator for Boolean satisfiability solvers. DAC 2008: 780-785
37	EE	Guifang Shao, Yuhua Wen, Fang Yu, Zushu Li: Target Localization for Autonomous Soccer Robot Based on Vision Perception. ISICA 2008: 831-840
36	EE	John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang: Designing an Efficient Hardware Implication Accelerator for SAT Solving. SAT 2008: 48-62
35	EE	Yinglian Xie, Fang Yu, Kannan Achan, Rina Panigrahy, Geoff Hulten, Ivan Osipkov: Spamming botnets: signatures and characteristics. SIGCOMM 2008: 171-182
34	EE	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	EE	Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra: Symbolic String Verification: An Automata-Based Approach. SPIN 2008: 306-324
32	EE	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	EE	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	EE	Fang Yu, Tevfik Bultan, Erik Peterson: Automated size analysis for OCL. ESEC/SIGSOFT FSE 2007: 331-340
29	EE	Yinglian Xie, Fang Yu, Kannan Achan, Eliot Gillum, Moisés Goldszmidt, Ted Wobber: How dynamic are IP addresses? SIGCOMM 2007: 301-312
2006
28	EE	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	EE	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	EE	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	EE	Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun: On Spiking Neural P Systems and Partially Blind Counter Machines. UC 2006: 113-129
24	EE	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	EE	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	EE	Fang Yu, Bow-Yaw Wang: Sat-based Model Checking for Region Automata. Int. J. Found. Comput. Sci. 17(4): 775-796 (2006)
2005
21	EE	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	EE	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	EE	Fang Yu, Randy H. Katz, T. V. Lakshman: Efficient Multimatch Packet Classification and Lookup with TCAM. IEEE Micro 25(1): 50-59 (2005)
18	EE	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	EE	Fang Yu, Bow-Yaw Wang: Toward Unbounded Model Checking for Region Automata. ATVA 2004: 20-33
16	EE	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	EE	Fang Yu, Bow-Yaw Wang, Yao-Wen Huang: Bounded Model Checking for Region Automata. FORMATS/FTRTFT 2004: 246-262
14	EE	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	EE	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	EE	Farn Wang, Geng-Dian Hwang, Fang Yu: TCTL Inevitability Analysis of Dense-Time Systems. CIAA 2003: 176-187
11	EE	Farn Wang, Geng-Dian Hwang, Fang Yu: Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. FORTE 2003: 160-176
10	EE	Farn Wang, Fang Yu: OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. RTCSA 2003: 254-278
9	EE	Farn Wang, Geng-Dian Huang, Fang Yu: Symbolic Simulation of Real-Time Concurrent Systems. RTCSA 2003: 595-617
8	EE	Farn Wang, Geng-Dian Hwang, Fang Yu: TCTL Inevitability Analysis of Dense-time Systems CoRR cs.SC/0304003: (2003)
7	EE	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	EE	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	EE	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	EE	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	EE	Fang Yu, Wen Jin: An Effective Approach to Mining Exeption Class Association Rules. Web-Age Information Management 2000: 145-150
1	EE	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	Tevfik Bultan	[30] [33] [34] [40]
3	Dongling Chen	[31]
4	Zhifeng Chen	[28]
5	Marco Cova	[33]
6	Patrick Crowley	[26]
7	John D. Davis	[36] [38]
8	Sarang Dharmapurikar	[26]
9	Yanlei Diao	[28]
10	Deborah Estrin	[4] [5]
11	Ye Fan	[1]
12	Eliot Gillum	[29]
13	Moisés Goldszmidt	[29]
14	Ramesh Govindan	[4] [5]
15	Aarti Gupta	[34]
16	Christian Hang	[14] [16]
17	Jiangtao Hu	[1]
18	Yunfa Hu	[1]
19	Geng-Dian Huang	[9] [13] [18] [23]
20	Yao-Wen Huang	[14] [15] [16] [20]
21	Geoff Hulten	[35]
22	Geng-Dian Hwang	[7] [8] [11] [12]
23	Oscar H. Ibarra	[25] [32] [33] [40]
24	Wen Jin	[2]
25	Brad Karp	[4] [5]
26	Randy H. Katz	[19] [21] [24] [28]
27	Sailesh Kumar	[26]
28	Sy-Yen Kuo	[14] [16] [20]
29	T. V. Lakshman	[19] [21] [24] [28]
30	D. T. Lee	[16] [20]
31	Der-Tsai Lee	[14]
32	Zushu Li	[37]
33	Hung-Yau Lin	[20]
34	Xuyao Luo	[27]
35	Martin Austin Motoyama	[21] [24]
36	Ivan Osipkov	[35]
37	Rina Panigrahy	[35]
38	Andrei Paun	[25] [32]
39	Erik Peterson	[30]
40	Sylvia Ratnasamy	[4] [5]
41	Guifang Shao	[37]
42	Scott Shenker	[4] [5]
43	Zhangxi Tan	[36] [38]
44	Chung-Hung Tsai	[14] [16] [20]
45	Jonathan S. Turner	[26]
46	Bow-Yaw Wang	[13] [15] [17] [22]
47	Chao Wang	[34]
48	Daling Wang	[31]
49	Farn Wang	[7] [8] [9] [10] [11] [12] [13] [18] [23]
50	Yuhua Wen	[37]
51	Ted Wobber	[29]
52	Karsten Wolf (Karsten Schmidt)	[13]
53	Sara Woodworth	[25] [32]
54	Yinglian Xie	[29] [35]
55	Li Yin	[4] [5]
56	Ge Yu	[31]
57	Jun Zhang	[27]
58	Lintao Zhang	[36] [38]
59	Qian Zhang	[3] [6]
60	Ya-Qin Zhang	[3] [6]
61	Qing Zhou	[39]
62	Shuigeng Zhou	[1]
63	Wenwu Zhu	[3] [6]

Colors in the list of coauthors