DepthK: A k-induction verifier based on invariant inference for C programs by Rocha, W, Rocha, H, Ismail, H, Cordeiro, L, Fischer, B

Effects of selective logging on tropical forest tree growth by Figueira, A, Miller, S, de Sousa, C, Menton, M, Maia, A, da Rocha, H, Goulden, M

Seasonality of water and heat fluxes over a tropical forest in eastern Amazonia by da Rocha, H, Goulden, M, Miller, S, Menton, M, Pinto, L, de Freitas, H, Figueira, A

Diel and seasonal patterns of tropical forest CO2 exchange by Goulden, M, Miller, S, da Rocha, H, Menton, M, de Freitas, H, Figueira, A, de Sousa, C

Carbon in Amazon forests: unexpected seasonal fluxes and disturbance-induced losses. by Saleska, SR, Miller, S, Matross, D, Goulden, M, Wofsy, S, da Rocha, H, de Camargo, P, Crill, P, Daube, B, de Freitas, H, Hutyra, L, Keller, M, Kirchhoff, V, Menton, M, Munger, J, Pyle, E, Rice, A, Silva, H