Thi Viet Nga Nguyen

	2005
6		Thi Viet Nga Nguyen, François Irigoin: Efficient and effective array bound checking. ACM Trans. Program. Lang. Syst. 27(3): 527-570 (2005)
	2003
5		Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho: Automatic Detection of Uninitialized Variables. CC 2003: 217-231
4		Thi Viet Nga Nguyen, François Irigoin: Advanced Program Analyses and Verifications. RIVF 2003: 77-82
3		Thi Viet Nga Nguyen, François Irigoin: Alias Verification for Fortran Code Optimization. J. UCS 9(3): 270- (2003)
	2002
2		Thi Viet Nga Nguyen, François Irigoin: Alias verification for Fortran code optimization. Electr. Notes Theor. Comput. Sci. 65(2): (2002)
	2001
1		Corinne Ancourt, Thi Viet Nga Nguyen: Array resizing for scientific code debugging, maintenance and reuse. PASTE 2001: 32-37

Coauthor Index

1	Corinne Ancourt	[1] [5]
2	Fabien Coelho	[5]
3	François Irigoin	[2] [3] [4] [5] [6]