Departamento de Ciências dos Computadores (DCC)
Department of Computer Science

Universidade do Porto (UP) :: Faculdade de Ciências (FCUP)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 2662

43 Team Members
Filters -> Year: 2025
61
TÍTULO: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. 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, PÁGINAS: 384-421
INDEXADO EM: Scopus WOS DBLP CrossRef
62
TÍTULO: Foundational Models for Pathology and Endoscopy Images: Application for Gastric Inflammation  Full Text
AUTORES: Kerdegari, Hamideh; Higgins, Kyle; Veselkov, Dennis; Laponogov, Ivan; Polaka, Inese; Coimbra, Miguel ; Pescino, Junior Andrea; Leja, Marcis; Dinis Ribeiro, Mario; Fleitas Kanonnikoff, Tania; Veselkov, Kirill;
PUBLICAÇÃO: 2024, FONTE: DIAGNOSTICS, VOLUME: 14, NÚMERO: 17, PÁGINAS: 1912
INDEXADO EM: Scopus WOS DBLP CrossRef
63
TÍTULO: From fault detection to anomaly explanation: A case study on predictive maintenance  Full Text
AUTORES: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PÁGINAS: 100821
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
64
TÍTULO: HAL 9000: a Risk Manager for ITSs
AUTORES: Tadeu Freitas ; Carlos Novo; João Soares; Inês Dutra ; Manuel E. Correia ; Behnam Shariati; Rolando Martins ;
PUBLICAÇÃO: 2024, FONTE: 5th IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications, TPS-ISA 2023, Atlanta, GA, USA, November 1-4, 2023, PÁGINAS: 322-331
INDEXADO EM: DBLP
65
TÍTULO: Hardware Security for Internet of Things Identity Assurance  Full Text
AUTORES: Cirne, Andre ; Sousa, Patricia R.; Resende, Joao S. ; Antunes, Luis ;
PUBLICAÇÃO: 2024, FONTE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 26, NÚMERO: 2, PÁGINAS: 1041-1079
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Unpaywall
66
TÍTULO: Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
AUTORES: Vasconcelos, Pedro ; Marques, Rodrigo;
PUBLICAÇÃO: 2024, FONTE: 17th International Symposium on Haskell (Haskell) in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON HASKELL, HASKELL 2024, VOLUME: 6, PÁGINAS: 1-13
INDEXADO EM: Scopus WOS CrossRef
67
TÍTULO: Heterogeneity in families with ATTRV30M amyloidosis: a historical and longitudinal Portuguese case study impact for genetic counselling  Full Text
AUTORES: Pedroto, Maria ; Coelho, Teresa; Fernandes, Joana; Oliveira, Alexandra; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2024, FONTE: AMYLOID-JOURNAL OF PROTEIN FOLDING DISORDERS, VOLUME: 31, NÚMERO: 3, PÁGINAS: 168-178
INDEXADO EM: Scopus WOS CrossRef Unpaywall
68
TÍTULO: Improving Endoscopy Lesion Classification Using Self-Supervised Deep Learning
AUTORES: Inês Lopes; Maria Vakalopoulou; Enzo Ferrante; Diogo Libânio; Mário Dinis Ribeiro; Miguel Tavares Coimbra ; Francesco Renna ;
PUBLICAÇÃO: 2024, FONTE: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2024, Orlando, FL, USA, July 15-19, 2024, PÁGINAS: 1-4
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
69
TÍTULO: Indexing Portuguese NLP Resources with PT-Pump-Up
AUTORES: Rúben Almeida; Ricardo Campos ; Alípio Jorge ; Sérgio Nunes ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2401.15400
INDEXADO EM: DBLP
70
TÍTULO: Instance-based meta-learning for conditionally dependent univariate multi-step forecasting  Full Text
AUTORES: Vitor Cerqueira; Luis Torgo ; Gianluca Bontempi;
PUBLICAÇÃO: 2024, FONTE: International Journal of Forecasting, VOLUME: 40, NÚMERO: 4, PÁGINAS: 1507-1520
INDEXADO EM: CrossRef: 2
71
TÍTULO: Instance-wise Uncertainty for Class Imbalance in Semantic Segmentation
AUTORES: Luís Almeida; Inês Dutra ; Francesco Renna;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2407.12609
INDEXADO EM: DBLP
72
TÍTULO: Integration of multi-modal datasets to estimate human aging  Full Text
AUTORES: Ribeiro, Rogerio; Moraes, Athos; Moreno, Marta; Ferreira, Pedro G. ;
PUBLICAÇÃO: 2024, FONTE: MACHINE LEARNING, VOLUME: 113, NÚMERO: 10, PÁGINAS: 7293-7317
INDEXADO EM: Scopus WOS CrossRef Unpaywall
73
TÍTULO: Keywords attention for fake news detection using few positive labels  Full Text
AUTORES: de Souza, Mariana Caravanti; Golo, Marcos Paulo Silva; Jorge, Alipio Mario Guedes ; de Amorim, Evelin Carvalho Freire ; Campos, Ricardo Nuno Taborda ; Marcacini, Ricardo Marcondes; Rezende, Solange Oliveira;
PUBLICAÇÃO: 2024, FONTE: INFORMATION SCIENCES, VOLUME: 663, PÁGINAS: 120300
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
74
TÍTULO: Kumon-Inspired Approach to Teaching Programming Fundamentals
AUTORES: Ivone Amorim; Pedro B Vasconcelos ; João Pedro Pedroso ;
PUBLICAÇÃO: 2024, FONTE: 5th International Computer Programming Education Conference, ICPEC 2024 in 5th International Computer Programming Education Conference, ICPEC 2024, June 27-28, 2024, Lisbon, Portugal, VOLUME: 122, PÁGINAS: 5:1-5:13
INDEXADO EM: Scopus DBLP
75
TÍTULO: Lightweight 3D CNN for the Segmentation of Coronary Calcifications and Calcium Scoring
AUTORES: Santos, Rui; Baeza, Ruben; Filipe, Vitor Manuel; Renna, Francesco ; Paredes, Hugo ; Pedrosa, Joao ;
PUBLICAÇÃO: 2024, FONTE: IEEE 22nd Mediterranean Electrotechnical Conference (MELECON) in 2024 IEEE 22ND MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, MELECON 2024, PÁGINAS: 346-351
INDEXADO EM: Scopus WOS CrossRef Unpaywall
76
TÍTULO: MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems
AUTORES: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar;
PUBLICAÇÃO: 2024, FONTE: 22nd IEEE International Conference on Industrial Informatics, INDIN 2024 in 22nd IEEE International Conference on Industrial Informatics, INDIN 2024, Beijing, China, August 18-20, 2024, PÁGINAS: 1-8
INDEXADO EM: Scopus DBLP
77
TÍTULO: Message from the VERDI Workshop Chairs; DSN-W 2024
AUTORES: David Pereira; José Proença ; Behrooz Sangchoolie;
PUBLICAÇÃO: 2024, FONTE: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024 - Workshops, Brisbane, Australia, June 24-27, 2024
INDEXADO EM: DBLP
78
TÍTULO: More (Enough) Is Better: Towards Few-Shot Illegal Landfill Waste Segmentation
AUTORES: Matías Molina; Bruno Veloso ; Carlos Abreu Ferreira ; Rita P Ribeiro ; João Gama ;
PUBLICAÇÃO: 2024, FONTE: 27th European Conference on Artificial Intelligence, ECAI 2024 in ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024), VOLUME: 392, PÁGINAS: 4547-4554
INDEXADO EM: Scopus DBLP CrossRef
79
TÍTULO: Multilayer quantile graph for multivariate time series analysis and dimensionality reduction
AUTORES: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: abs/2311.11849
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
80
TÍTULO: On the difference set of two transductions  Full Text
AUTORES: Konstantinidis, Stavros; Moreira, Nelma ; Reis, Rogerio ; Sebej, Juraj;
PUBLICAÇÃO: 2024, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1016, PÁGINAS: 114780
INDEXADO EM: WOS DBLP

Results per Page: 20.
Página 4 de 134. Total de resultados: 2662.