Diogo Sousa
Diogo Sousa
Email confirmado em campus.fct.unl.pt - Página inicial
Título
Citado por
Citado por
Ano
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
802005
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
502008
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
142010
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
132017
Detecting concurrency anomalies in transactional memory programs
J Lourenço, D Sousa, B Teixeira, R Dias
Computer Science and Information Systems, 533-548, 2011
122011
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
92011
Preventing atomicity violations with contracts
DG Sousa, RJ Dias, C Ferreira, JM Lourenço
arXiv preprint arXiv:1505.02951, 2015
72015
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
72012
A Static Approach for Detecting Concurrency Anomalies in Transactional Memory
B Teixeira, J Lourenço, D Sousa
Inforum, 2010
42010
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
12021
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
12019
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
12016
Prevenção de Violações de Atomicidade usando Contratos
DG Sousa, C Ferreira, JM Lourenço
INForum, 2013
12013
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
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20