1
TÍTULO: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTORES: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLICAÇÃO: 2024, FONTE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921
INDEXADO EM: Scopus WOS DBLP
2
TÍTULO: Connecting metrics for shape-texture knowledge in computer vision
AUTORES: Tiago Oliveira; Tiago Marques; Arlindo L Oliveira;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2301.10608
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: Designing XAI-based Computer-aided Diagnostic Systems: Operationalising User Research Methods 25-36 PDF
AUTORES: Elsa Oliveira; Cristiana Braga; Ana Sampaio; Tiago Oliveira; Filipe Soares; Luís Rosado;
PUBLICAÇÃO: 2023, FONTE: Joint Proceedings of the IUI 2023 Workshops: HAI-GEN, ITAH, MILC, SHAI, SketchRec, SOCIALIZE co-located with the ACM International Conference on Intelligent User Interfaces (IUI 2023), Sydney, Australia, March 27-31, 2023., VOLUME: 3359
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: Schnorr protocol in Jasmin
AUTORES: Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: Drivers and Outcomes of Sustainable Technologies: a mixed-Methods Study of 4 EU Countries
AUTORES: Catarina Neves; Tiago Oliveira;
PUBLICAÇÃO: 2023, FONTE: 31st European Conference on Information Systems - Co-creating Sustainable Digital Futures, ECIS 2023, Kristiansan, Norway, June 11-16, 2023
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: Adoption and use of digital financial services: A meta analysis of barriers and facilitators
AUTORES: Catarina Neves; Tiago Oliveira; Fernando Santini; Luis Gutman;
PUBLICAÇÃO: 2023, FONTE: Int. J. Inf. Manag. Data Insights, VOLUME: 3, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: Automated Adequacy Assessment of Cervical Cytology Samples Using Deep Learning
AUTORES: Mosiichuk, Vladyslav; Viana, Paula ; Oliveira, Tiago; Rosado, Luis;
PUBLICAÇÃO: 2022, FONTE: 10th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2022), VOLUME: 13256
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
8
TÍTULO: Impact of Generative Modeling for Fundus Image Augmentation With Improved and Degraded Quality in the Classification of Glaucoma
AUTORES: Ricardo Leonardo; João Gonçalves; André V Carreiro; Beatriz Simões; Tiago Oliveira; Filipe Soares;
PUBLICAÇÃO: 2022, FONTE: IEEE Access, VOLUME: 10
INDEXADO EM: DBLP
NO MEU: DBLP
9
TÍTULO: What are the main drivers of Blockchain Adoption within Supply Chain? - an exploratory research
AUTORES: Leonor Jardim; Samuel Pranto; Pedro Ruivo; Tiago Oliveira;
PUBLICAÇÃO: 2020, FONTE: CENTERIS 2020 - International Conference on ENTERprise Information Systems / ProjMAN 2020 - International Conference on Project MANagement / HCist 2020 - International Conference on Health and Social Care Information Systems and Technologies 2020, Vilamoura, Portugal, VOLUME: 181
INDEXADO EM: DBLP
NO MEU: DBLP
10
TÍTULO: Desenvolvimento da Habilidade de Escrita de Relatórios Técnicos Utilizando Avaliações Colaborativas e Rubricas
AUTORES: Tiago Oliveira; Denise Stringhini; José Jailson Santos Craibas; Deborah Godoy Martins Corrêa;
PUBLICAÇÃO: 2020, FONTE: Revista Brasileira de Informática na Educ., VOLUME: 28
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 de 2. Total de resultados: 15.