SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs von Lahiri, Shuvendu K., Hawblitzel, Chris, Kawaguchi, Ming, Rebêlo, Henrique

Volltext

Towards Modularly Comparing Programs Using Automated Theorem Provers von Hawblitzel, Chris, Kawaguchi, Ming, Lahiri, Shuvendu K., Rebêlo, Henrique

Volltext

A conspiracy of silence: Subsistence hunting rights in the Brazilian Amazon von Antunes, André Pinassi, Rebêlo, George Henrique, Pezzuti, Juarez Carlos Brito, Vieira, Marina Albuquerque Regina de Mattos, Constantino, Pedro de Araujo Lima, Campos-Silva, João Vitor, Fonseca, Rogério, Durigan, Carlos César, Ramos, Rossano Marchetti, Amaral, João Valsecchi do, Camps Pimenta, Natalia, Ranzi, Tiago Juruá Damo, Lima, Natália Aparecida Souza, Shepard, Glenn Harvey

Volltext

Temporal and Spatial Stability on the Population Structure of Consumed and Illegally Traded Big-Headed Amazon River Turtle in the Negro River Basin, Central Amazon, Brazil von Pezzuti, Juarez C. B., Oliveira, Tamires, Pantoja-Lima, Jackson, Rebêlo, George Henrique, Félix-Silva, Daniely

Volltext

Da pandemia à antidemocracia. Poder público, povos indígenas e perspectiva: um relato sobre negligência estatal von Belota, Juliana Mitoso, Jatobá, Maria do Socorro da Silva, Rebêlo, George Henrique

Volltext

Assessing Idioms for a Flexible Feature Binding Time von Andrade, Rodrigo, Ribeiro, Márcio, Rebêlo, Henrique, Borba, Paulo, Gasiunas, Vaidas, Satabin, Lucas

Volltext

Traditional Knowledge of the Fishermen of the Lower Juruá River: Understanding the Reproductive Patterns of the Region’s Fish Species von Braga, Tony Marcos Porto, Rebêlo, George Henrique

Volltext

Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study von Rebêlo, Henrique, Lima, Ricardo, Leavens, Gary T., Cornélio, Márcio, Mota, Alexandre, Oliveira, César

Volltext

Assessing Idioms for Implementing Features with Flexible Binding Times von Andrade, R, Ribeiro, Márcio, Gasiunas, V, Satabin, L, Rebêlo, Henrique, Borba, P

Volltext

A critical assessment of INPA’s scientific cooperation based on publications from 2004 to 2014 von HENRIQUES, Luiza Magalli Pinto, UNGAR, Mark, REBELO, George Henrique

Volltext

ÉWARE TCHONI: CARACTERIZAÇÃO DOS DESEMBARQUES PESQUEIROS NO MUNICÍPIO DE SÃO PAULO DE OLIVENÇA, AMAZONAS, BRASIL/ ÉWARE TCHONI: CHARACTERIZATION OF FISHING LANDINGS IN THE MUNICIPA... von Rebêlo, George Henrique, Martins, Marinete Barroso, Braga, Tony Marcos Porto

Volltext

Distribution and abundance of four caiman species (Crocodylia: Alligatoridae) in Jaú National Park, Amazonas, Brazil von Rebêlo, G H, Lugli, L

Volltext

Distribution and abundance of four caiman species (Crocodylia: Alligatoridae) in Jaú National Park, Amazonas, Brazil von Rebêlo, George Henrique, Lugli, Luciana

Volltext

Plano de manejo comunitário de jacarés na várzea do baixo rio Amazonas,Santarém – PA, Brasil von Pezzuti, Juarez Carlos Brito, Barboza, Roberta Sá Leitão, Barboza, Rafael Sá Leitão, Rebêlo, George Henrique

Volltext

Poblaciones de babillas (caiman crocodilus) y caimán negro (melanosuchus niger) en la reserva biológica del abufari, amazonas, Brasil von PANTOJA-LIMA, JACKSON, REBÊLO, GEORGE, HENRIQUE, PEZZUTI, CARLOS BRITO

Volltext

Análise comparativa da sustentabilidade de agroecossistemas familiares em transição agroecológica e convencionais (Canutama/Amazonas) von Nunes dos Santos, Jéssica Cristian, Da Costa, Francimara Souza, Rebêlo, George Henrique

Volltext

CONHECIMENTO TRADICIONAL DOS PESCADORES DO BAIXO RIO JURUÁ: ASPECTOS RELACIONADOS AOS HÁBITOS ALIMENTARES DOS PEIXES DA REGIÃO von Braga, Tony Marcos Porto, Rebêlo, George Henrique

Volltext

Tikuna Perceptions of Extreme Weather Events: A Case Study on an Indigenous Lands in the Upper Solimões River, Brazil von Lago, Maiana Costa do, Rebelo, George Henrique, Bruno, Ana Carla, Henriques, Luiza Magalli Pinto

Volltext

Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets von Maia, Pedro, Mendes, Jorge, Cunha, Jácome, Rebêlo, Henrique, Saraiva, João

Volltext bestellen

Plano de manejo comunitário de jacarés na várzea do baixo rio Amazonas,Santarém – PA, Brasil von BARBOZA, RAFAEL SÁ LEITÃO, REBÊLO, GEORGE HENRIQUE, Pezzuti, Juarez Carlos Brito, Barboza, Roberta Sá Leitão

Volltext