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

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

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

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