From Algebra to Operational Semantics Tekijä Hoare, C, He, J, Sampaio, A

Normal Form Approach to Compiler Design Tekijä Hoare, C, He, J, Sampaio, A

Algebraic derivation of an operational semantics Tekijä Hoare, C, He, J, Sampaio, A

Rigorous development of component-based systems using component metadata and patterns Tekijä Oliveira, M, Antonino, P, Ramos, R, Sampaio, A, Mota, A, Roscoe, A

Estimating the global conservation status of more than 15,000 Amazonian tree species. Tekijä Ter Steege, H, Pitman, N, Killeen, T, Laurance, W, Peres, C, Guevara, J, Salomão, R, Castilho, C, Amaral, I, de Almeida Matos, F, de Souza Coelho, L, Magnusson, W, Phillips, O, de Andrade Lima Filho, D, de Jesus Veiga Carim, M, Irume, M, Martins, M, Molino, J, Sabatier, D, Wittmann, F, López, D, da Silva Guimarães, J, Mendoza, A, Vargas, P, Manzatto, A, Reis, N, Terborgh, J, Casula, K, Montero, J, Feldpausch, T, Honorio Coronado, E, Montoya, A, Zartman, C, Mostacedo, B, Vasquez, R, Assis, R, Medeiros, M, Simon, M, Andrade, A, Camargo, J, Laurance, S, Nascimento, H, Marimon, B, Marimon, B, Costa, F, Targhetta, N, Vieira, I, Brienen, R, Castellanos, H, Duivenvoorden, J, Mogollón, H, Piedade, M, Aymard C, G, Comiskey, J, Damasco, G, Dávila, N, García-Villacorta, R, Diaz, P, Vincentini, A, Emilio, T, Levis, C, Schietti, J, Souza, P, Alonso, A, Dallmeier, F, Ferreira, L, Neill, D, Araujo-Murakami, A, Arroyo, L, Carvalho, F, Souza, F, do Amaral, D, Gribel, R, Luize, B, Pansonato, M, Venticinque, E, Fine, P, Toledo, M, Baraloto, C, Cerón, C, Engel, J, Henkel, T, Jimenez, E, Maas, P, Mora, M, Petronelli, P, Revilla, J, Silveira, M, Stropp, J, Thomas-Caesar, R, Baker, T, Daly, D, Paredes, M, da Silva, N, Fuentes, A, Jørgensen, P, Schöngart, J, Silman, M, Arboleda, N, Cintra, B, Valverde, F, Di Fiore, A, Phillips, J, van Andel, T, von Hildebrand, P, Barbosa, E, de Matos Bonates, L, de Castro, D, de Sousa Farias, E, Gonzales, T, Guillaumet, J, Hoffman, B, Malhi, Y, de Andrade Miranda, I, Prieto, A, Rudas, A, Ruschell, A, Silva, N, Vela, C, Vos, V, Zent, E, Zent, S, Cano, A, Nascimento, M, Oliveira, A, Ramirez-Angulo, H, Ramos, J, Sierra, R, Tirado, M, Medina, M, van der Heijden, G, Torre, E, Vriesendorp, C, Wang, O, Young, K, Baider, C, Balslev, H, de Castro, N, Farfan-Rios, W, Ferreira, C, Mendoza, C, Mesones, I, Torres-Lezama, A, Giraldo, L, Villarroel, D, Zagt, R, Alexiades, M, Garcia-Cabrera, K, Hernandez, L, Huamantupa-Chuquimaco, I, Milliken, W, Cuenca, W, Pansini, S, Pauletto, D, Arevalo, F, Sampaio, A, Valderrama Sandoval, E, Gamarra, L