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

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

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

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

Estudo da população microbiana e da liberação de amônia da cama de frangos tratada com gesso agrícola by Sampaio M.A.P.M., Schocken-Iturrino R.P., Sampaio A.A.M., Berchielli S.C.P., Biondi A.

Get full text

The Effect of Upper Eyelid Blepharoplasty on Corneal Tomography and Epithelial Profile by Carreira P, Loureiro T, Carreira AR, Gouveia-Moraes F, Cardoso A, Sampaio A, Campos P, Rodrigues-Barros S, Machado I, Campos N

Get full text

Estimating the global conservation status of more than 15,000 Amazonian tree species. by 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