dblp.uni-trier.dewww.uni-trier.de

Thi Viet Nga Nguyen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)