Alberto José Gonçalves Carvalho Proença
AuthID: R-000-009
1
TITLE: <p>Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017) Preface</p> Full Text
AUTHORS: Proenca, Jose; Lumpe, Markus;
PUBLISHED: 2022, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 218
AUTHORS: Proenca, Jose; Lumpe, Markus;
PUBLISHED: 2022, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 218
INDEXED IN: 
WOS
WOS2
TITLE: IgG4-related hepatic inflammatory pseudotumour: could MRI suggest the correct diagnosis?
AUTHORS: Primitivo, A; Oliveira, MH; Goncalves, A;
PUBLISHED: 2021, SOURCE: BMJ CASE REPORTS, VOLUME: 14, ISSUE: 8
AUTHORS: Primitivo, A; Oliveira, MH; Goncalves, A;
PUBLISHED: 2021, SOURCE: BMJ CASE REPORTS, VOLUME: 14, ISSUE: 8
INDEXED IN: 
Scopus WOS
Scopus WOS3
TITLE: PRNG-Broker: A High-Performance Broker to Supply Parallel Streams of Pseudorandom Numbers for Large-Scale Simulations
AUTHORS: Andre Pereira ; Alberto Proenca;
PUBLISHED: 2021, SOURCE: Advances in Parallel & Distributed Processing, and Applications - Transactions on Computational Science and Computational Intelligence
AUTHORS: Andre Pereira ; Alberto Proenca;
PUBLISHED: 2021, SOURCE: Advances in Parallel & Distributed Processing, and Applications - Transactions on Computational Science and Computational Intelligence
4
TITLE: Availability of critical industrial equipment based on a FMEA-AHP analysis
AUTHORS: Carvalho, A; Sobral, J;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Carvalho, A; Sobral, J;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus
Scopus5
TITLE: SOFHIA: A CAD Environment to Design Digital Control Systems
AUTHORS: Ricardo J Machado; João M Fernandes; Alberto J Proença;
PUBLISHED: 1997, SOURCE: Hardware Description Languages and their Applications
AUTHORS: Ricardo J Machado; João M Fernandes; Alberto J Proença;
PUBLISHED: 1997, SOURCE: Hardware Description Languages and their Applications
