Metal−Insulator Transition Induced by Ce Doping in CaMnO3 ME Melo Jorge, MR Nunes, R Silva Maria, D Sousa Chemistry of materials 17 (8), 2069-2075, 2005 | 80 | 2005 |
Ca-site substitution induced a metal–insulator transition in manganite CaMnO3 D Sousa, MR Nunes, C Silveira, I Matos, AB Lopes, MEM Jorge Materials Chemistry and Physics 109 (2-3), 311-319, 2008 | 50 | 2008 |
Detection of transactional memory anomalies using static analysis B Teixeira, J Lourenço, E Farchi, R Dias, D Sousa Proceedings of the 8th workshop on parallel and distributed systems: Testing …, 2010 | 14 | 2010 |
Verifying concurrent programs using contracts RJ Dias, C Ferreira, J Fiedor, JM Lourenço, A Smrcka, DG Sousa, ... 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 13 | 2017 |
Detecting concurrency anomalies in transactional memory programs J Lourenço, D Sousa, B Teixeira, R Dias Computer Science and Information Systems, 533-548, 2011 | 12 | 2011 |
Practical verification of high-level dataraces in transactional memory programs V Pessanha, RJ Dias, JM Lourenço, E Farchi, D Sousa Proceedings of the Workshop on Parallel and Distributed Systems: Testing …, 2011 | 9 | 2011 |
Preventing atomicity violations with contracts DG Sousa, RJ Dias, C Ferreira, JM Lourenço arXiv preprint arXiv:1505.02951, 2015 | 7 | 2015 |
Using program closures to make an application programming interface (API) implementation thread safe E Farchi, I Segall, JM Lourenço, D Sousa Proceedings of the 2012 Workshop on Parallel and Distributed Systems …, 2012 | 7 | 2012 |
A Static Approach for Detecting Concurrency Anomalies in Transactional Memory B Teixeira, J Lourenço, D Sousa Inforum, 2010 | 4 | 2010 |
Study of the Potential of Water Treatment Sludges in the Removal of Emerging Pollutants R Dias, D Sousa, M Bernardo, I Matos, I Fonseca, VV Cardoso, ... Molecules 26 (4), 1010, 2021 | 1 | 2021 |
Influência da forma de processamento na qualidade final do café Conilon FT Alixandre, RS Dias, CA Krohling, DG Sousa, MJ Fornazier, PP Teófilo Embrapa Café, 2019 | 1 | 2019 |
Vaccine and antibody therapy against Thomsen–Friedenreich Tumor-Associated Carbohydrate Antigens PA Videira, S Julien, LR Loureiro, DP Sousa, MA Carrascal, P Delannoy Recent Advances in Biotechnology 3, 3-38, 2016 | 1 | 2016 |
Prevenção de Violações de Atomicidade usando Contratos DG Sousa, C Ferreira, JM Lourenço INForum, 2013 | 1 | 2013 |
Differences in protein expression associated with ivermectin resistance in Caenorhabditis elegans DM Sousa, NMF Cunha, DR Silva, PTTD Aragão, MVA Aguiar, MDP Lobo, ... Revista Brasileira de Parasitologia Veterinária 28 (1), 105-112, 2019 | | 2019 |
Interação de tipos de poda x ambientes para café arábica CA Krohling, FM Sobreira, FT Alixandre, DG Souza, WA Rocha, ... Embrapa Café, 2019 | | 2019 |
Tipos de poda em café arábica semi-adensado na região das montanhas capixabas, Brasil CA Krohling, F Moreira, FT Alixandre, DG Souza, WA Rocha, ... Embrapa Café, 2019 | | 2019 |
Fertilidade do solo e estado nutricional do café arábica após podas, município de Brejetuba-ES CA Krohling, FM Sobreira, FT Alixandre, DG Souza, WA Rocha, ... Embrapa Café, 2019 | | 2019 |
Influencia do tratamento enzimatico na desmucilagem de cafe arabica visando melhoria da qualidade e rendimento. RS Dias, DG SOUZA, RG GUARÇONI, U AMORIM, LD PIMENTA, ... In: CONGRESSO BRASILEIRO DE PESQUISAS CAFEEIRAS, 43., 2017, Poços de Caldas …, 2018 | | 2018 |
The relevance of accurate monitoring parameters in the context of EDPSC’s BPO contracts D Sousa | | 2018 |
Forecasting house prices using dynamic model averaging D Sousa | | 2018 |