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

43 Team Members
Filters -> Year: 2024
681
TÍTULO: Universally Composable Relaxed Password Authenticated Key Exchange
AUTORES: Michel Abdalla; Manuel Barbosa ; Tatiana Bradley; Stanislaw Jarecki; Jonathan Katz; Jiayu Xu;
PUBLICAÇÃO: 2020, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2020, PÁGINAS: 320
INDEXADO EM: DBLP
682
TÍTULO: Universally Composable Relaxed Password Authenticated Key Exchange
AUTORES: Michel Abdalla; Manuel Barbosa ; Tatiana Bradley; Stanislaw Jarecki; Jonathan Katz; Jiayu Y Xu;
PUBLICAÇÃO: 2020, FONTE: 40th Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2020, PT I, VOLUME: 12170, PÁGINAS: 278-307
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
683
TÍTULO: Using Property-Based Testing to Generate Feedback for C Programming Exercises
AUTORES: Pedro B Vasconcelos ; Rita P Ribeiro ;
PUBLICAÇÃO: 2020, FONTE: 1st International Computer Programming Education Conference, ICPEC 2020 in First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)., VOLUME: 81, PÁGINAS: 28:1-28:10
INDEXADO EM: Scopus DBLP
684
TÍTULO: Video-assisted Overtaking System Enabled by C-V2X Mode 4 Communications
AUTORES: Magalhaes, P ; D'Orey, PM ; Andrade, MT ; Castro, F;
PUBLICAÇÃO: 2020, FONTE: 16th International Conference on Wireless and Mobile Computing, Networking and Communications (IEEE WiMob) in 2020 16TH INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2020-October, PÁGINAS: 382-387
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
685
TÍTULO: Visual interpretation of regression error  Full Text
AUTORES: Areosa, I; Torgo, L ;
PUBLICAÇÃO: 2020, FONTE: EXPERT SYSTEMS, VOLUME: 37, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
686
TÍTULO: Visualization of path patterns in semantic graphs  Full Text
AUTORES: Leal, JP ;
PUBLICAÇÃO: 2020, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 17, NÚMERO: 1, PÁGINAS: 229-252
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
687
TÍTULO: Weakly-Supervised Classification of HER2 Expression in Breast Cancer Haematoxylin and Eosin Stained Slides
AUTORES: Oliveira, SP ; Pinto, JR ; Goncalves, T ; Canas Marques, R; Cardoso, MJ; Oliveira, HP ; Cardoso, JS ;
PUBLICAÇÃO: 2020, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 10, NÚMERO: 14, PÁGINAS: 4728
INDEXADO EM: Scopus WOS CrossRef: 14 Handle
688
TÍTULO: Wise Sliding Window Segmentation: A Classification-Aided Approach for Trajectory Segmentation
AUTORES: Mohammad Etemad; Zahra Etemad; Amílcar Soares; Vania Bogorny; Stan Matwin; Luís Torgo ;
PUBLICAÇÃO: 2020, FONTE: 33rd Canadian Conference on Artificial Intelligence, Canadian AI 2020 in Advances in Artificial Intelligence - 33rd Canadian Conference on Artificial Intelligence, Canadian AI 2020, Ottawa, ON, Canada, May 13-15, 2020, Proceedings, VOLUME: 12109, PÁGINAS: 208-219
INDEXADO EM: Scopus DBLP CrossRef: 10
689
TÍTULO: Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems  Full Text
AUTORES: Nandi, GS; Pereira, D; Proenca, J ; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December, PÁGINAS: 395-398
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
690
TÍTULO: YAKE! Keyword extraction from single documents using multiple local features  Full Text
AUTORES: Ricardo Campos ; Vitor Mangaravite; Arian Pasquali; Alipio Jorge ; Celia Nunes ; Adam Jatowt;
PUBLICAÇÃO: 2020, FONTE: INFORMATION SCIENCES, VOLUME: 509, PÁGINAS: 257-289
INDEXADO EM: Scopus WOS DBLP CrossRef: 329
691
TÍTULO: Yet Another Programming Exercises Interoperability Language (Short Paper)
AUTORES: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ; Jakub Swacha;
PUBLICAÇÃO: 2020, FONTE: 9th Symposium on Languages, Applications and Technologies, SLATE 2020 in 9th Symposium on Languages, Applications and Technologies, SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)., VOLUME: 83, PÁGINAS: 14:1-14:8
INDEXADO EM: Scopus DBLP
692
TÍTULO: 2nd Workshop on Online Recommender Systems and User Modeling, ORSUM@RecSys 2019, 19 September 2019, Copenhagen, Denmark
AUTORES: João Vinagre ; Alípio Mário Jorge ; Albert Bifet; Marie Al Ghossein;
PUBLICAÇÃO: 2019, FONTE: ORSUM@RecSys, VOLUME: 109
INDEXADO EM: DBLP
693
TÍTULO: A Brief Overview on the Strategies to Fight Back the Spread of False Information
AUTORES: Alvaro Figueira ; Nuno Guirnaraes ; Luis Torgo ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF WEB ENGINEERING, VOLUME: 18, NÚMERO: 4-6, PÁGINAS: 319-352
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
694
TÍTULO: A Deep Learning Design for Improving Topology Coherence in Blood Vessel Segmentation
AUTORES: Ricardo J Araujo ; Jaime S Cardoso ; Helder P Oliveira ;
PUBLICAÇÃO: 2019, FONTE: 10th International Workshop on Machine Learning in Medical Imaging (MLMI) / 22nd International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI) in MEDICAL IMAGE COMPUTING AND COMPUTER ASSISTED INTERVENTION - MICCAI 2019, PT I, VOLUME: 11764, PÁGINAS: 93-101
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
695
TÍTULO: A Lock-Free Coalescing-Capable Mechanism for Memory Management
AUTORES: Ricardo Leite ; Ricardo Rocha ;
PUBLICAÇÃO: 2019, FONTE: 18th ACM SIGPLAN International Symposium on Memory Management (ISMM) in PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT (ISMM '19), PÁGINAS: 79-88
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
696
TÍTULO: A Machine-Checked Proof of Security for AWS Key Management Service  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PÁGINAS: 63-78
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
697
TÍTULO: A mesh of automata
AUTORES: Sabine Broda ; Markus Holzer; Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2019, FONTE: INFORMATION AND COMPUTATION, VOLUME: 265, PÁGINAS: 94-111
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
698
TÍTULO: A Quantitative Understanding of Pattern Matching
AUTORES: Sandra Alves ; Delia Kesner; Daniel Ventura;
PUBLICAÇÃO: 2019, FONTE: 25th International Conference on Types for Proofs and Programs, TYPES 2019 in 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway., VOLUME: 175, PÁGINAS: 3:1-3:36
INDEXADO EM: Scopus DBLP
699
TÍTULO: A review on web content popularity prediction: Issues and open challenges
AUTORES: Nuno Moniz ; Luís Torgo ;
PUBLICAÇÃO: 2019, FONTE: Online Social Networks and Media, VOLUME: 12, PÁGINAS: 1-20
INDEXADO EM: Scopus DBLP CrossRef: 17
700
TÍTULO: A Single-Resolution Fully Convolutional Network for Retinal Vessel Segmentation in Raw Fundus Images
AUTORES: Ricardo J Araujo ; Jaime S Cardoso ; Helder P Oliveira ;
PUBLICAÇÃO: 2019, FONTE: 20th International Conference on Image Analysis and Processing (ICIAP) in IMAGE ANALYSIS AND PROCESSING - ICIAP 2019, PT II, VOLUME: 11752, PÁGINAS: 59-69
INDEXADO EM: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Página 35 de 132. Total de resultados: 2637.