Yi Fang

Courant Institute of Mathematical Sciences, New York University

other persons with the same name:

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

2008
15	EE	Lin Huo, Yi Fang, Heping Hu: Dynamic Service Replica on Distributed Data Mining Grid. CSSE (3) 2008: 390-393
14	EE	Yi Fang, ChunYuan Zhang: Improving the Quality of Graduate Education by Association Rules Analysis. FSKD (4) 2008: 570-573
13	EE	Yi Fang, Marc Friedman, Giri Nair, Michael Rys, Ana-Elisa Schmid: Spatial indexing in microsoft SQL server 2008. SIGMOD Conference 2008: 1207-1216
12	EE	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	EE	Yi Fang, Lenore D. Zuck: Improved Invariant Generation for Tvoc. Electr. Notes Theor. Comput. Sci. 176(3): 21-35 (2007)
2006
10	EE	Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck: Liveness by Invisible Invariants. FORTE 2006: 356-371
9	EE	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	EE	Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck: Liveness with invisible ranking. STTT 8(3): 261-279 (2006)
2005
7	EE	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	EE	Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck: IIV: An Invisible Invariant Verifier. CAV 2005: 408-412
5	EE	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	EE	Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck: Liveness with Incomprehensible Ranking. TACAS 2004: 482-496
3	EE	Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck: Liveness with Invisible Ranking. VMCAI 2004: 223-238
2002
2	EE	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	EE	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	Kenneth L. McMillan	[10]
12	Giri Nair	[13]
13	Nir Piterman	[3] [4] [8]
14	Amir Pnueli	[1] [2] [3] [4] [5] [6] [7] [8] [10]
15	David T. Potere	[9]
16	Michael Rys	[13]
17	Ana-Elisa Schmid	[13]
18	Luo Si	[12]
19	Nagendra Singh	[9]
20	Veeraraghavan Vijayaraj	[9]
21	Danni Yu	[12]
22	ChunYuan Zhang	[14]
23	Lenore D. Zuck	[1] [2] [3] [4] [5] [6] [7] [8] [10] [11]

Colors in the list of coauthors