Tiago Filipe Azevedo Oliveira
AuthID: R-00G-VYW
1
TÃTULO: Fabric Defect Detection and Localization
AUTORES: Oliveira, Filipe; Carneiro, Davide ; Ferreira, Hugo ; Guimaraes, Miguel;
PUBLICAÇÃO: 2024, FONTE: 1st European Symposium on Artificial Intelligence in Manufacturing (ESAIM) in ADVANCES IN ARTIFICIAL INTELLIGENCE IN MANUFACTURING, ESAIM 2023
AUTORES: Oliveira, Filipe; Carneiro, Davide ; Ferreira, Hugo ; Guimaraes, Miguel;
PUBLICAÇÃO: 2024, FONTE: 1st European Symposium on Artificial Intelligence in Manufacturing (ESAIM) in ADVANCES IN ARTIFICIAL INTELLIGENCE IN MANUFACTURING, ESAIM 2023
2
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
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
Scopus WOS DBLP NO MEU: 
ORCID
ORCID3
TÃTULO: Formally Verifying Kyber. Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTORES: José Bacelar Almeida; Santiago Arranz Olmos; Manuel Barbosa; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Jean-Christophe Léchenet; Cameron Low; Tiago Oliveira; Hugo Pacheco; Miguel Quaresma; Peter Schwabe; Pierre-Yves Strub;
PUBLICAÇÃO: 2024, FONTE: Lecture Notes in Computer Science - Advances in Cryptology – CRYPTO 2024
AUTORES: José Bacelar Almeida; Santiago Arranz Olmos; Manuel Barbosa; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Jean-Christophe Léchenet; Cameron Low; Tiago Oliveira; Hugo Pacheco; Miguel Quaresma; Peter Schwabe; Pierre-Yves Strub;
PUBLICAÇÃO: 2024, FONTE: Lecture Notes in Computer Science - Advances in Cryptology – CRYPTO 2024
4
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
AUTORES: Tiago Oliveira; Tiago Marques; Arlindo L Oliveira;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2301.10608
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLICAÇÃO: 2023, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, NÚMERO: 3
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLICAÇÃO: 2023, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, NÚMERO: 3
6
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
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
DBLP NO MEU: DBLP
DBLP7
TÃTULO: Schnorr protocol in Jasmin
AUTORES: Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
AUTORES: Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP8
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
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
DBLP NO MEU: DBLP
DBLP9
TÃTULO: Leakage-Free Probabilistic Jasmin Programs
AUTORES: José Bacelar Almeida ; Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
AUTORES: José Bacelar Almeida ; Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
10
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
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
DBLP NO MEU: DBLP
DBLP