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

University of Porto (UP) :: Faculty of Sciences (FCUP)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 2847

46 Team Members
Filters -> Year: 2026
981
TITLE: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2019, SOURCE: 10th International Symposium on High-Level Parallel Programming and Applications (HLPP) in CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 31, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 2
982
TITLE: On Average Behaviour of Regular Expressions in Strong Star Normal Form
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 30, ISSUE: 6-7, PAGES: 899-920
INDEXED IN: Scopus WOS DBLP CrossRef: 9
983
TITLE: On Feature Selection and Evaluation of Transportation Mode Prediction Strategies
AUTHORS: Mohammad Etemad; Amílcar Soares Júnior; Stan Matwin; Luís Torgo ;
PUBLISHED: 2019, SOURCE: EDBT/ICDT Workshops, VOLUME: 2322
INDEXED IN: Scopus DBLP
984
TITLE: On the Development of a Model to Prevent Failures, Built from Interactions with Moodle
AUTHORS: Bruno Cabral; Alvaro Figueira ;
PUBLISHED: 2019, SOURCE: 18th Annual International Conference on Web-Based Learning (ICWL) in ADVANCES IN WEB-BASED LEARNING - ICWL 2019, VOLUME: 11841, PAGES: 352-356
INDEXED IN: Scopus WOS DBLP CrossRef: 1
985
TITLE: OpenEHR and General Data Protection Regulation: Evaluation of Principles and Requirements
AUTHORS: Goncalves Ferreira, D; Sousa, M; Bacelar Silva, G ; Frade, S ; Antunes, L ; Beale, T; Cruz Correia, R ;
PUBLISHED: 2019, SOURCE: JMIR MEDICAL INFORMATICS, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 19
986
TITLE: ORSUM 2019 2nd Workshop on Online Recommender Systems and User Modeling
AUTHORS: Vinagre, J ; Jorge, AM ; Bifet, A; Al Ghossein, M;
PUBLISHED: 2019, SOURCE: 13th ACM Conference on Recommender Systems (RECSYS) in RECSYS 2019: 13TH ACM CONFERENCE ON RECOMMENDER SYSTEMS, PAGES: 562-563
INDEXED IN: Scopus WOS DBLP CrossRef: 3
987
TITLE: Paper-Based Biosensors for Analysis of Water
AUTHORS: Patrícia S. Peixoto; Ana Machado; Hélder P. Oliveira ; Adriano A. Bordalo; Marcela A. Segundo ;
PUBLISHED: 2019, SOURCE: Environmental Biosensors [Working Title]
INDEXED IN: CrossRef: 6
988
TITLE: Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; João Pires; Rogério Reis ;
PUBLISHED: 2019, SOURCE: CIAA, VOLUME: 11601 LNCS, PAGES: 184-196
INDEXED IN: Scopus DBLP CrossRef: 1
989
TITLE: Perfect Forward Security of SPAKE2
AUTHORS: Michel Abdalla; Manuel Barbosa ;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1194
INDEXED IN: DBLP
990
TITLE: Polar Coding for Physical-layer Security without Knowledge of the Eavesdropper's Channel
AUTHORS: Thyago Monteiro; Marco Gomes; Joao P Vilela ; Willie K Harrison;
PUBLISHED: 2019, SOURCE: 89th IEEE Vehicular Technology Conference (VTC Spring) in 2019 IEEE 89TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2019-SPRING)
INDEXED IN: WOS
991
TITLE: Polar coding for physical-layer security without knowledge of the eavesdropper's channel  Full Text
AUTHORS: Pinto, T; Gomes, M; Vilela, JP ; Harrison, WK;
PUBLISHED: 2019, SOURCE: 89th IEEE Vehicular Technology Conference, VTC Spring 2019 in IEEE Vehicular Technology Conference, VOLUME: 2019-April
INDEXED IN: Scopus CrossRef: 1
992
TITLE: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 25-45
INDEXED IN: Scopus WOS DBLP CrossRef
993
TITLE: Pre-processing approaches for imbalanced distributions in regression
AUTHORS: Branco, P ; Torgo, L ; Ribeiro, RP ;
PUBLISHED: 2019, SOURCE: NEUROCOMPUTING, VOLUME: 343, PAGES: 76-99
INDEXED IN: Scopus WOS DBLP CrossRef: 113
994
TITLE: Preface  Full Text
AUTHORS: Monahan, R; Prevosto, V; Proença, J ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 310
INDEXED IN: Scopus CrossRef
995
TITLE: Preface
AUTHORS: Jorge, AM ; Campos, R ; Jatowt, A; Bhatia, S;
PUBLISHED: 2019, SOURCE: 2nd International Workshop on Narrative Extraction From Texts, Text2Story 2019 in CEUR Workshop Proceedings, VOLUME: 2342
INDEXED IN: Scopus
996
TITLE: Preface
AUTHORS: Sandra Alves ; Michele Pagani;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 293, PAGES: 1-6
INDEXED IN: Scopus
997
TITLE: Preference rules for label ranking: Mining patterns in multi-target relations
AUTHORS: Cláudio Rebelo de Sá; Paulo J Azevedo ; Carlos Soares ; Alípio Mário Jorge ; Arno J Knobbe;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1903.08504
INDEXED IN: DBLP
998
TITLE: Preventing Failures by Predicting Students' Grades through an Analysis of Logged Data of Online Interactions
AUTHORS: Cabral, B; Figueira, A ;
PUBLISHED: 2019, SOURCE: 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2019 in KDIR: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL 1: KDIR, VOLUME: 1, PAGES: 491-499
INDEXED IN: Scopus WOS DBLP CrossRef: 1
999
TITLE: Privacy Preservation and Mandate Representation In Identity Management Systems
AUTHORS: Abubakar Sadiq Shehu ; Antonio Pinto ; Manuel E Correia ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
INDEXED IN: Scopus WOS CrossRef: 6
1000
TITLE: Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019 PDF
AUTHORS: Rosemary Monahan; Virgile Prevosto; José Proença ;
PUBLISHED: 2019, SOURCE: F-IDE@FM, VOLUME: 310
INDEXED IN: DBLP arXiv

Results per Page: 20.
Page 50 of 143. Total results: 2847.