Yi Fang

Courant Institute of Mathematical Sciences, New York University

other persons with the same name:

• Yi Fang
• Yi Fang - Xi'an Jiaotong University

	2009
17		Yu-Shen Liu, Yi Fang, Karthik Ramani: IDSS: deformation invariant signatures for molecular shape comparison. BMC Bioinformatics 10: (2009)
16		Yu-Shen Liu, Yi Fang, Karthik Ramani: Using least median of squares for structural superposition of flexible proteins. BMC Bioinformatics 10: (2009)
	2008
15		Lin Huo, Yi Fang, Heping Hu: Dynamic Service Replica on Distributed Data Mining Grid. CSSE (3) 2008: 390-393
14		Yi Fang, ChunYuan Zhang: Improving the Quality of Graduate Education by Association Rules Analysis. FSKD (4) 2008: 570-573
13		Yi Fang, Marc Friedman, Giri Nair, Michael Rys, Ana-Elisa Schmid: Spatial indexing in microsoft SQL server 2008. SIGMOD Conference 2008: 1207-1216
12		Luo Si, Danni Yu, Daisuke Kihara, Yi Fang: Combining gene sequence similarity and textual information for gene function annotation in the literature. Inf. Retr. 11(5): 389-404 (2008)
	2007
11		Yi Fang, Lenore D. Zuck: Improved Invariant Generation for Tvoc. Electr. Notes Theor. Comput. Sci. 176(3): 21-35 (2007)
	2006
10		Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck: Liveness by Invisible Invariants. FORTE 2006: 356-371
9		Yi Fang, Auroop R. Ganguly, Nagendra Singh, Veeraraghavan Vijayaraj, Neal Feierabend, David T. Potere: Online change detection: Monitoring land cover from remotely sensed data. ICDM Workshops 2006: 626-631
8		Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck: Liveness with invisible ranking. STTT 8(3): 261-279 (2006)
	2005
7		Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck: TVOC: A Translation Validator for Optimizing Compilers. CAV 2005: 291-295
6		Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck: IIV: An Invisible Invariant Verifier. CAV 2005: 408-412
5		Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu: Translation and Run-Time Validation of Loop Transformations. Formal Methods in System Design 27(3): 335-360 (2005)
	2004
4		Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck: Liveness with Incomprehensible Ranking. TACAS 2004: 482-496
3		Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck: Liveness with Invisible Ranking. VMCAI 2004: 223-238
	2002
2		Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg: VOC: A Translation Validator for Optimizing Compilers. Electr. Notes Theor. Comput. Sci. 65(2): (2002)
1		Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu: Translation and Run-Time Validation of Optimized Code. Electr. Notes Theor. Comput. Sci. 70(4): (2002)

Coauthor Index

1	Ittai Balaban	[6]
2	Clark W. Barrett (Clark Barrett)	[5] [7]
3	Neal Feierabend	[9]
4	Marc Friedman	[13]
5	Auroop R. Ganguly	[9]
6	Benjamin Goldberg	[1] [2] [5] [7]
7	Heping Hu	[15]
8	Ying Hu	[1] [5] [7]
9	Lin Huo	[15]
10	Daisuke Kihara	[12]
11	Yu-Shen Liu	[16] [17]
12	Kenneth L. McMillan	[10]
13	Giri Nair	[13]
14	Nir Piterman	[3] [4] [8]
15	Amir Pnueli	[1] [2] [3] [4] [5] [6] [7] [8] [10]
16	David T. Potere	[9]
17	Karthik Ramani	[16] [17]
18	Michael Rys	[13]
19	Ana-Elisa Schmid	[13]
20	Luo Si	[12]
21	Nagendra Singh	[9]
22	Veeraraghavan Vijayaraj	[9]
23	Danni Yu	[12]
24	ChunYuan Zhang	[14]
25	Lenore D. Zuck	[1] [2] [3] [4] [5] [6] [7] [8] [10] [11]

Colors in the list of coauthors