Yi Fang

Courant Institute of Mathematical Sciences, New York University

other persons with the same name:

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

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	[5] [7]
3	Neal Feierabend	[9]
4	Auroop R. Ganguly	[9]
5	Benjamin Goldberg	[1] [2] [5] [7]
6	Ying Hu	[1] [5] [7]
7	Kenneth L. McMillan	[10]
8	Nir Piterman	[3] [4] [8]
9	Amir Pnueli	[1] [2] [3] [4] [5] [6] [7] [8] [10]
10	David T. Potere	[9]
11	Nagendra Singh	[9]
12	Veeraraghavan Vijayaraj	[9]
13	Lenore D. Zuck	[1] [2] [3] [4] [5] [6] [7] [8] [10] [11]

Colors in the list of coauthors