Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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
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!
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!
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!
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: 2851
46 Team MembersFilters -> Year: 2026
981
TITLE: Machine-Checked Proofs for Cryptographic Standards
AUTHORS: José Bacelar Almeida ; Cécile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1155
AUTHORS: José Bacelar Almeida ; Cécile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1155
INDEXED IN: 
DBLP
DBLP982
TITLE: Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3. Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3
AUTHORS: Almeida, JB ; Baritel Ruet, C; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Oliveira, T ; Stoughton, A; Strub, PY;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 1607-1622
AUTHORS: Almeida, JB ; Baritel Ruet, C; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Oliveira, T ; Stoughton, A; Strub, PY;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 1607-1622
983
TITLE: Memory Reclamation Methods for Lock-Free Hash Tries Full Text
AUTHORS: Moreno, P ; Miguel Areias ; Rocha, R ;
PUBLISHED: 2019, SOURCE: 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) in 2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), VOLUME: 2019-October, PAGES: 188-195
AUTHORS: Moreno, P ; Miguel Areias ; Rocha, R ;
PUBLISHED: 2019, SOURCE: 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) in 2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), VOLUME: 2019-October, PAGES: 188-195
984
TITLE: Mitral Valve Leaflets Segmentation in Echocardiography using Convolutional Neural Networks
AUTHORS: Eva Costa; Nelson Martins; Malik Saad Sultan; Diana Veiga; Manuel Ferreira; Sandra Mattos; Miguel Coimbra ;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering (ENBENG) in 2019 6TH IEEE PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
AUTHORS: Eva Costa; Nelson Martins; Malik Saad Sultan; Diana Veiga; Manuel Ferreira; Sandra Mattos; Miguel Coimbra ;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering (ENBENG) in 2019 6TH IEEE PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
985
TITLE: MNAR Imputation with Distributed Healthcare Data
AUTHORS: Pereira, RC ; Santos, MS ; Rodrigues, PP ; Abreu, PH ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805, PAGES: 184-195
AUTHORS: Pereira, RC ; Santos, MS ; Rodrigues, PP ; Abreu, PH ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805, PAGES: 184-195
986
TITLE: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog Full Text
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
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
987
TITLE: On Average Behaviour of Regular Expressions in Strong Star Normal Form Full Text
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
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
988
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
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
Scopus DBLP989
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
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
990
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
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
991
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
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
992
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]
AUTHORS: Patrícia S. Peixoto; Ana Machado; Hélder P. Oliveira ; Adriano A. Bordalo; Marcela A. Segundo ;
PUBLISHED: 2019, SOURCE: Environmental Biosensors [Working Title]
993
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
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; João Pires; Rogério Reis ;
PUBLISHED: 2019, SOURCE: CIAA, VOLUME: 11601 LNCS, PAGES: 184-196
994
TITLE: Perfect Forward Security of SPAKE2
AUTHORS: Michel Abdalla; Manuel Barbosa ;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1194
AUTHORS: Michel Abdalla; Manuel Barbosa ;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1194
INDEXED IN: DBLP
DBLP995
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)
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
WOS996
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
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
997
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
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
998
TITLE: Pre-processing approaches for imbalanced distributions in regression Full Text
AUTHORS: Branco, P ; Torgo, L ; Ribeiro, RP ;
PUBLISHED: 2019, SOURCE: NEUROCOMPUTING, VOLUME: 343, PAGES: 76-99
AUTHORS: Branco, P ; Torgo, L ; Ribeiro, RP ;
PUBLISHED: 2019, SOURCE: NEUROCOMPUTING, VOLUME: 343, PAGES: 76-99
1000
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
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
Scopus CrossRef