Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
41
TITLE: Learning to generate Reliable Broadcast Algorithms
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2208.00525
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2208.00525
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP42
TITLE: Assessing the use of pre-trained transformers to classify customer reviews
AUTHORS: Alves, MD; Lobo, AG; Reis, AM;
PUBLISHED: 2022, SOURCE: 5th International Conference on Quality Engineering and Management: A Better World with Quality! Quality in the Digital Transformation, ICQEM 2022 in International Conference on Quality Engineering and Management
AUTHORS: Alves, MD; Lobo, AG; Reis, AM;
PUBLISHED: 2022, SOURCE: 5th International Conference on Quality Engineering and Management: A Better World with Quality! Quality in the Digital Transformation, ICQEM 2022 in International Conference on Quality Engineering and Management
INDEXED IN: 
Scopus
Scopus43
TITLE: Priapism Secondary to Low-Molecular-Weight Heparins: A Case Report Full Text
AUTHORS: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLISHED: 2022, SOURCE: ACTA MEDICA PORTUGUESA
AUTHORS: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLISHED: 2022, SOURCE: ACTA MEDICA PORTUGUESA
INDEXED IN: 
WOS
WOS44
TITLE: Omega: A Secure Event Ordering Service for the Edge
AUTHORS: Cláudio Correia; Miguel Correia; Luís Rodrigues;
PUBLISHED: 2022, SOURCE: IEEE Trans. Dependable Secur. Comput., VOLUME: 19, ISSUE: 5
AUTHORS: Cláudio Correia; Miguel Correia; Luís Rodrigues;
PUBLISHED: 2022, SOURCE: IEEE Trans. Dependable Secur. Comput., VOLUME: 19, ISSUE: 5
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP45
TITLE: Valsalva Retinopathy after a Vomiting Episode Full Text
AUTHORS: Leite, Joao; Meireles, Angelina; Correia, Nuno Alves;
PUBLISHED: 2022, SOURCE: CASE REPORTS IN OPHTHALMOLOGY, VOLUME: 13, ISSUE: 3
AUTHORS: Leite, Joao; Meireles, Angelina; Correia, Nuno Alves;
PUBLISHED: 2022, SOURCE: CASE REPORTS IN OPHTHALMOLOGY, VOLUME: 13, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS46
TITLE: Bulky Mitral Annulus Caseous Calcification in an Atypical Location
AUTHORS: Correia, Joana Laranjeira; Correia, Miguel;
PUBLISHED: 2022, SOURCE: ARQUIVOS BRASILEIROS DE CARDIOLOGIA, VOLUME: 119, ISSUE: 6
AUTHORS: Correia, Joana Laranjeira; Correia, Miguel;
PUBLISHED: 2022, SOURCE: ARQUIVOS BRASILEIROS DE CARDIOLOGIA, VOLUME: 119, ISSUE: 6
INDEXED IN: WOS
WOS47
TITLE: ComSEC: Secure Communications for Baggage Handling Systems
AUTHORS: Filipe Apolinário; João Guiomar; Éric Hervé; Sven Hrastnik; Nelson Escravana; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2022, SOURCE: Computer Security. ESORICS 2022 International Workshops - CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers, VOLUME: 13785
AUTHORS: Filipe Apolinário; João Guiomar; Éric Hervé; Sven Hrastnik; Nelson Escravana; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2022, SOURCE: Computer Security. ESORICS 2022 International Workshops - CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers, VOLUME: 13785
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP48
TITLE: FingerCI: Generating Specifications for Critical Infrastructures
AUTHORS: Apolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2022, SOURCE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING
AUTHORS: Apolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2022, SOURCE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING
INDEXED IN: WOS
WOS49
TITLE: Combined in silico and in vitro studies to identify novel antidiabetic flavonoids targeting glycogen phosphorylase Full Text
AUTHORS: Bras, NF ; Neves, Rui P. P. ; Lopes, FAA; Correia, MAS; Palma, AS; Sérgio F. Sousa ; Ramos, MJ ;
PUBLISHED: 2021, SOURCE: BIOORGANIC CHEMISTRY, VOLUME: 108
AUTHORS: Bras, NF ; Neves, Rui P. P. ; Lopes, FAA; Correia, MAS; Palma, AS; Sérgio F. Sousa ; Ramos, MJ ;
PUBLISHED: 2021, SOURCE: BIOORGANIC CHEMISTRY, VOLUME: 108
50
TITLE: Matrix Metalloproteinase-9 Levels are Associated with Brain Lesion and Persistent Venous Occlusion in Patients with Cerebral Venous Thrombosis
AUTHORS: de Sousa, DA; Pereira Santos, MC; Serra Caetano, A; Neto, LL; Sousa, AL; Gabriel, D; Correia, M; Gil Gouveia, R; Oliveira, R; Penas, S; Dias, MC; Correia, MA; Carvalho, M ; Sousa, AE ; Canhao, P; Ferro, JM;
PUBLISHED: 2021, SOURCE: THROMBOSIS AND HAEMOSTASIS, VOLUME: 121, ISSUE: 11
AUTHORS: de Sousa, DA; Pereira Santos, MC; Serra Caetano, A; Neto, LL; Sousa, AL; Gabriel, D; Correia, M; Gil Gouveia, R; Oliveira, R; Penas, S; Dias, MC; Correia, MA; Carvalho, M ; Sousa, AE ; Canhao, P; Ferro, JM;
PUBLISHED: 2021, SOURCE: THROMBOSIS AND HAEMOSTASIS, VOLUME: 121, ISSUE: 11
