Automatic Accurate Time-Bound Analysis for High-Level Languages. - Yanhong A. Liu; Gustavo Gomez (LCTES, 1998)

Automatic Accurate Cost-Bound Analysis for High-Level Languages. - Yanhong A. Liu; Gustavo Gomez (IEEE Trans. Computers, 2001)

Automatic time-bound analysis for a higher-order language. - Gustavo Gomez; Yanhong A. Liu (PEPM, 2002)

Normalized algorithm for mapping and dating forest disturbances and regrowth for the United States. - Liming He; Jing M. Chen; Shaoliang Zhang; Gustavo Gomez; Yude Pan; Kevin McCullough; Richard Birdsey; Jeffrey G. Masek (Int. J. Appl. Earth Obs. Geoinformation, 2011)