Fang Yu

2008
32	EE	John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang: Designing an Efficient Hardware Implication Accelerator for SAT Solving. SAT 2008: 48-62
31	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
30	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
29	EE	Fang Yu, Tevfik Bultan, Erik Peterson: Automated size analysis for OCL. ESEC/SIGSOFT FSE 2007: 331-340
28	EE	Yinglian Xie, Fang Yu, Kannan Achan, Eliot Gillum, Moisés Goldszmidt, Ted Wobber: How dynamic are IP addresses? SIGCOMM 2007: 301-312
2006
27	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
26	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
25	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
24	EE	Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun: On Spiking Neural P Systems and Partially Blind Counter Machines. UC 2006: 113-129
23	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)
22	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)
21	EE	Fang Yu, Bow-Yaw Wang: Sat-based Model Checking for Region Automata. Int. J. Found. Comput. Sci. 17(4): 775-796 (2006)
2005
20	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
19	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
18	EE	Fang Yu, Randy H. Katz, T. V. Lakshman: Efficient Multimatch Packet Classification and Lookup with TCAM. IEEE Micro 25(1): 50-59 (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	[28]
2	Tevfik Bultan	[29]
3	Dongling Chen	[30]
4	Zhifeng Chen	[27]
5	Patrick Crowley	[25]
6	John D. Davis	[32]
7	Sarang Dharmapurikar	[25]
8	Yanlei Diao	[27]
9	Deborah Estrin	[4] [5]
10	Ye Fan	[1]
11	Eliot Gillum	[28]
12	Moisés Goldszmidt	[28]
13	Ramesh Govindan	[4] [5]
14	Christian Hang	[14] [16]
15	Jiangtao Hu	[1]
16	Yunfa Hu	[1]
17	Geng-Dian Huang	[9] [13] [22]
18	Yao-Wen Huang	[14] [15] [16] [19]
19	Geng-Dian Hwang	[7] [8] [11] [12]
20	Oscar H. Ibarra	[24] [31]
21	Wen Jin	[2]
22	Brad Karp	[4] [5]
23	Randy H. Katz	[18] [20] [23] [27]
24	Sailesh Kumar	[25]
25	Sy-Yen Kuo	[14] [16] [19]
26	T. V. Lakshman	[18] [20] [23] [27]
27	D. T. Lee	[16] [19]
28	Der-Tsai Lee	[14]
29	Hung-Yau Lin	[19]
30	Xuyao Luo	[26]
31	Martin Austin Motoyama	[20] [23]
32	Andrei Paun	[24] [31]
33	Erik Peterson	[29]
34	Sylvia Ratnasamy	[4] [5]
35	Scott Shenker	[4] [5]
36	Zhangxi Tan	[32]
37	Chung-Hung Tsai	[14] [16] [19]
38	Jonathan S. Turner	[25]
39	Bow-Yaw Wang	[13] [15] [17] [21]
40	Daling Wang	[30]
41	Farn Wang	[7] [8] [9] [10] [11] [12] [13] [22]
42	Ted Wobber	[28]
43	Karsten Wolf (Karsten Schmidt)	[13]
44	Sara Woodworth	[24] [31]
45	Yinglian Xie	[28]
46	Li Yin	[4] [5]
47	Ge Yu	[30]
48	Jun Zhang	[26]
49	Lintao Zhang	[32]
50	Qian Zhang	[3] [6]
51	Ya-Qin Zhang	[3] [6]
52	Shuigeng Zhou	[1]
53	Wenwu Zhu	[3] [6]

Colors in the list of coauthors