Alberto José Gonçalves Carvalho Proença
AuthID: R-000-009
1
TÃTULO: <p>Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017) Preface</p> Full Text
AUTORES: Proenca, Jose; Lumpe, Markus;
PUBLICAÇÃO: 2022, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 218
AUTORES: Proenca, Jose; Lumpe, Markus;
PUBLICAÇÃO: 2022, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 218
INDEXADO EM: WOS
2
TÃTULO: IgG4-related hepatic inflammatory pseudotumour: could MRI suggest the correct diagnosis?
AUTORES: Primitivo, A; Oliveira, MH; Goncalves, A;
PUBLICAÇÃO: 2021, FONTE: BMJ CASE REPORTS, VOLUME: 14, NÚMERO: 8
AUTORES: Primitivo, A; Oliveira, MH; Goncalves, A;
PUBLICAÇÃO: 2021, FONTE: BMJ CASE REPORTS, VOLUME: 14, NÚMERO: 8
INDEXADO EM: Scopus WOS
3
TÃTULO: PRNG-Broker: A High-Performance Broker to Supply Parallel Streams of Pseudorandom Numbers for Large-Scale Simulations
AUTORES: Andre Pereira ; Alberto Proenca;
PUBLICAÇÃO: 2021, FONTE: Advances in Parallel & Distributed Processing, and Applications - Transactions on Computational Science and Computational Intelligence
AUTORES: Andre Pereira ; Alberto Proenca;
PUBLICAÇÃO: 2021, FONTE: Advances in Parallel & Distributed Processing, and Applications - Transactions on Computational Science and Computational Intelligence
4
TÃTULO: Availability of critical industrial equipment based on a FMEA-AHP analysis
AUTORES: Carvalho, A; Sobral, J;
PUBLICAÇÃO: 2020, FONTE: 30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020 in 30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020
AUTORES: Carvalho, A; Sobral, J;
PUBLICAÇÃO: 2020, FONTE: 30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020 in 30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM 2020
INDEXADO EM: Scopus
5
TÃTULO: Paralelização de algoritmos de enumeração para o problema do vector mais curto em sistemas de memória partilhada e distribuída
AUTORES: Fábio J G Correia; Artur M M Mariano; Alberto J Proença;
PUBLICAÇÃO: 2014
AUTORES: Fábio J G Correia; Artur M M Mariano; Alberto J Proença;
PUBLICAÇÃO: 2014
INDEXADO EM: Handle
6
TÃTULO: A (ir)regularity-aware task scheduler for heterogeneous platforms
AUTORES: Artur M M Mariano; Ricardo Alves; João Barbosa; Luís P Santos; Alberto J Proença;
PUBLICAÇÃO: 2012
AUTORES: Artur M M Mariano; Ricardo Alves; João Barbosa; Luís P Santos; Alberto J Proença;
PUBLICAÇÃO: 2012
INDEXADO EM: Handle
7
TÃTULO: Cross-Fire: a grid platform to integrate geo-referenced web services for real-time risk management
AUTORES: António M S Pina; B. Oliveira; Luís M Ribeiro; Joel Puga; António Esteves; Alberto J Proença; Domingos X Viegas;
PUBLICAÇÃO: 2010
AUTORES: António M S Pina; B. Oliveira; Luís M Ribeiro; Joel Puga; António Esteves; Alberto J Proença; Domingos X Viegas;
PUBLICAÇÃO: 2010
INDEXADO EM: Handle
8
TÃTULO: Bridging the gap between applications geospatial data and the Grid
AUTORES: António M S Pina; B. Oliveira; Joel Puga; António Esteves; Alberto J Proença;
PUBLICAÇÃO: 2010
AUTORES: António M S Pina; B. Oliveira; Joel Puga; António Esteves; Alberto J Proença;
PUBLICAÇÃO: 2010
INDEXADO EM: Handle
9
TÃTULO: CROSS-Fire : a risk management decision support system on the Grid
AUTORES: António M S Pina; B. Oliveira; Joel Puga; António Esteves; Alberto J Proença;
PUBLICAÇÃO: 2009
AUTORES: António M S Pina; B. Oliveira; Joel Puga; António Esteves; Alberto J Proença;
PUBLICAÇÃO: 2009
INDEXADO EM: Handle
10
TÃTULO: FireStation on the grid: aAfurther on the adoption of OGC/SDI standards
AUTORES: António M S Pina; B. Oliveira; Joel Puga; António Esteves; Alberto J Proença;
PUBLICAÇÃO: 2009
AUTORES: António M S Pina; B. Oliveira; Joel Puga; António Esteves; Alberto J Proença;
PUBLICAÇÃO: 2009
INDEXADO EM: Handle