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: 2698

43 Team Members
Filters -> Year: 2025
221
TÍTULO: Execution Time Program Verification with Tight Bounds
AUTORES: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880, PÁGINAS: 56-72
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
222
TÍTULO: Explainable Predictive Maintenance
AUTORES: Sepideh Pashami; Slawomir Nowaczyk; Yuantao Fan; Jakub Jakubowski; Nuno Paiva; Narjes Davari; Szymon Bobek; Samaneh Jamshidi; Hamid Sarmadi; Abdallah Alabdallah; Rita P Ribeiro ; Bruno Veloso ; Moamar Sayed Mouchaweh; Lala H Rajaoarisoa; Grzegorz J Nalepa; João Gama ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2306.05120
INDEXADO EM: DBLP
223
TÍTULO: Fault Detection in Wastewater Treatment Plants: Application of Autoencoders Models with Streaming Data
AUTORES: Salles, Rodrigo; Mendes, Jerome; Ribeiro, Rita P. ; Gama, Joao ;
PUBLICAÇÃO: 2023, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT I, VOLUME: 1752, PÁGINAS: 55-70
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
224
TÍTULO: Fault Forecasting Using Data-Driven Modeling: A Case Study for Metro do Porto Data Set
AUTORES: Davari, Narjes; Veloso, Bruno ; Ribeiro, Rita P. ; Gama, Joao ;
PUBLICAÇÃO: 2023, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT II, VOLUME: 1753, PÁGINAS: 400-409
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
225
TÍTULO: Fifth International Workshop on Learning with Imbalanced Domains: Theory and Applications, 18 September 2023, LIDTA@ECML-PKDD, Turin, Italy
AUTORES: Nuno Moniz; Paula Branco; Luís Torgo ; Nathalie Japkowicz; Michal Wozniak; Shuo Wang;
PUBLICAÇÃO: 2023, FONTE: LIDTA, VOLUME: 241
INDEXADO EM: DBLP
226
TÍTULO: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLICAÇÃO: 2023, FONTE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PÁGINAS: 358-389
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
227
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, PÁGINAS: 164-193
INDEXADO EM: Scopus DBLP CrossRef: 5
228
TÍTULO: Fractal Bilinear Deep Neural Network Models for Gastric Intestinal Metaplasia Detection
AUTORES: Pedroso, Maria; Martins, Miguel L. ; Libanio, Diogo ; Dinis Ribeiro, Mario ; Coimbra, Miguel ; Renna, Francesco ;
PUBLICAÇÃO: 2023, FONTE: IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) in 2023 IEEE EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS, BHI, PÁGINAS: 1-5
INDEXADO EM: Scopus WOS DBLP CrossRef
229
TÍTULO: From random-walks to graph-sprints: a low-latency node embedding framework on continuous-time dynamic graphs
AUTORES: Eddin, Ahmad Naser; Bono, Jacopo; Aparicio, David; Ferreira, Hugo; Ascensao, Joao; Ribeiro, Pedro ; Bizarro, Pedro;
PUBLICAÇÃO: 2023, FONTE: 4th ACM International Conference on AI in Finance (ICAIF) in PROCEEDINGS OF THE 4TH ACM INTERNATIONAL CONFERENCE ON AI IN FINANCE, ICAIF 2023, PÁGINAS: 176-184
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
230
TÍTULO: Gastric cancer detection based on Colorectal Cancer transfer learning
AUTORES: Nobrega, Sara; Neto, Alexandre ; Coimbra, Miguel ; Cunha, Antonio ;
PUBLICAÇÃO: 2023, FONTE: IEEE 7th Portuguese Meeting on Bioengineering (ENBENG) in 2023 IEEE 7TH PORTUGUESE MEETING ON BIOENGINEERING, ENBENG, PÁGINAS: 72-75
INDEXADO EM: Scopus WOS CrossRef: 1
231
TÍTULO: General-Purpose Secure Conflict-free Replicated Data Types
AUTORES: Portela, Bernardo ; Pacheco, Hugo ; Jorge, Pedro; Pontes, Rogerio ;
PUBLICAÇÃO: 2023, FONTE: IEEE 36th Computer Security Foundations Symposium (CSF) in 2023 IEEE 36TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF, VOLUME: 2023-July, PÁGINAS: 521-536
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
232
TÍTULO: Geovisualisation Tools for Reporting and Monitoring Transthyretin-Associated Familial Amyloid Polyneuropathy Disease
AUTORES: Lopo, Ruben X. ; Jorge, Alipio M. ; Pedroto, Maria ;
PUBLICAÇÃO: 2023, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT I, VOLUME: 1752, PÁGINAS: 103-118
INDEXADO EM: Scopus WOS CrossRef
233
TÍTULO: GPT Struct Me: Probing GPT Models on Narrative Entity Extraction
AUTORES: Sousa, Hugo; Guimaraes, Nuno ; Jorge, Alipio ; Campos, Ricardo ;
PUBLICAÇÃO: 2023, FONTE: 22nd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) in 2023 IEEE INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY, WI-IAT, PÁGINAS: 383-387
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Unpaywall
234
TÍTULO: Gradual Guarantee for FJ with lambda-Expressions
AUTORES: Angelo, Pedro; Bono, Viviana; Dezani Ciancaglini, Mariangiola; Florido, Mario ;
PUBLICAÇÃO: 2023, FONTE: 25th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP) in PROCEEDINGS OF THE 25TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2023, PÁGINAS: 32-38
INDEXADO EM: Scopus WOS DBLP CrossRef
235
TÍTULO: Haskelite: A Step-By-Step Interpreter for Teaching Functional Programming
AUTORES: Pedro Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: OpenAccess Series in Informatics, VOLUME: 112
INDEXADO EM: Scopus
236
TÍTULO: Heart murmur detection from phonocardiogram recordings: The George B. Moody PhysioNet Challenge 2022
AUTORES: Matthew Reyna; Yashar Kiarashi; Andoni Elola; Jorge Oliveira ; Francesco Renna ; Annie Gu; Erick Perez Alday; Nadi Sadr; Ashish Sharma; Jacques Kpodonu; Sandra Mattos; Miguel Coimbra ; Reza Sameni; Ali Bahrami Rad; Gari Clifford;
PUBLICAÇÃO: 2023, FONTE: PLOS Digital Health, VOLUME: 2, NÚMERO: 9 September
INDEXADO EM: Scopus CrossRef: 33
237
TÍTULO: Improving the Characterization and Comparison of Football Players with Spatial Flow Motifs
AUTORES: Barbosa, Alberto ; Ribeiro, Pedro ; Dutra, Ines ;
PUBLICAÇÃO: 2023, FONTE: 11th International Conference on Complex Networks and their Applications (COMPLEX NETWORKS) in COMPLEX NETWORKS AND THEIR APPLICATIONS XI, COMPLEX NETWORKS 2022, VOL 2, VOLUME: 1078, PÁGINAS: 579-591
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
238
TÍTULO: Jay: A software framework for prototyping and evaluating offloading applications in hybrid edge clouds  Full Text
AUTORES: Silva, Joaquim ; Marques, Eduardo R. B. ; Lopes, Luis M. B. ; Silva, Fernando M. A. ;
PUBLICAÇÃO: 2023, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 53, NÚMERO: 10, PÁGINAS: 2007-2025
INDEXADO EM: Scopus WOS DBLP CrossRef
239
TÍTULO: Kyber terminates
AUTORES: Manuel Barbosa ; Peter Schwabe;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PÁGINAS: 708
INDEXADO EM: DBLP
240
TÍTULO: Learning Models for Bone Marrow Edema Detection in Magnetic Resonance Imaging
AUTORES: Ribeiro, Goncalo; Pereira, Tania ; Silva, Francisco ; Sousa, Joana ; Carvalho, Diogo Costa; Dias, Silvia Costa; Oliveira, Helder P. ;
PUBLICAÇÃO: 2023, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 13, NÚMERO: 2, PÁGINAS: 1024
INDEXADO EM: Scopus WOS CrossRef: 1

Results per Page: 20.
Página 12 de 135. Total de resultados: 2698.