41
TÍTULO: Learning to generate Reliable Broadcast Algorithms
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2208.00525
INDEXADO EM: DBLP
NO MEU: DBLP
42
TÍTULO: Assessing the use of pre-trained transformers to classify customer reviews
AUTORES: Alves, MD; Lobo, AG; Reis, AM;
PUBLICAÇÃO: 2022, FONTE: 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
INDEXADO EM: Scopus
43
TÍTULO: Priapism Secondary to Low-Molecular-Weight Heparins: A Case Report  Full Text
AUTORES: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLICAÇÃO: 2022, FONTE: ACTA MEDICA PORTUGUESA
INDEXADO EM: WOS
44
TÍTULO: Omega: A Secure Event Ordering Service for the Edge
AUTORES: Cláudio Correia; Miguel Correia; Luís Rodrigues;
PUBLICAÇÃO: 2022, FONTE: IEEE Trans. Dependable Secur. Comput., VOLUME: 19, NÚMERO: 5
INDEXADO EM: DBLP
NO MEU: DBLP
45
TÍTULO: Valsalva Retinopathy after a Vomiting Episode  Full Text
AUTORES: Leite, Joao; Meireles, Angelina; Correia, Nuno Alves;
PUBLICAÇÃO: 2022, FONTE: CASE REPORTS IN OPHTHALMOLOGY, VOLUME: 13, NÚMERO: 3
INDEXADO EM: Scopus WOS
46
TÍTULO: Bulky Mitral Annulus Caseous Calcification in an Atypical Location
AUTORES: Correia, Joana Laranjeira; Correia, Miguel;
PUBLICAÇÃO: 2022, FONTE: ARQUIVOS BRASILEIROS DE CARDIOLOGIA, VOLUME: 119, NÚMERO: 6
INDEXADO EM: WOS
47
TÍTULO: ComSEC: Secure Communications for Baggage Handling Systems
AUTORES: Filipe Apolinário; João Guiomar; Éric Hervé; Sven Hrastnik; Nelson Escravana; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2022, FONTE: 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
INDEXADO EM: DBLP
NO MEU: DBLP
48
TÍTULO: FingerCI: Generating Specifications for Critical Infrastructures
AUTORES: Apolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2022, FONTE: 37th Annual ACM Symposium on Applied Computing in 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING
INDEXADO EM: WOS
Página 5 de 9. Total de resultados: 83.