From Algebra to Operational Semantics حسب Hoare, C, He, J, Sampaio, A

Normal Form Approach to Compiler Design حسب Hoare, C, He, J, Sampaio, A

Algebraic derivation of an operational semantics حسب Hoare, C, He, J, Sampaio, A

Rigorous development of component-based systems using component metadata and patterns حسب 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. حسب 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