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: 2645
43 Team MembersFilters -> Year: 2025
461
TITLE: EasyPQC: Verifying Post-Quantum Cryptography Full Text
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2564-2586
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2564-2586
462
TITLE: Efficient Privacy Preserving Distributed K-Means for Non-IID Data
AUTHORS: Brandao, A; Mendes, R; Vilela, JP ;
PUBLISHED: 2021, SOURCE: 19th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XIX, IDA 2021, VOLUME: 12695, PAGES: 439-451
AUTHORS: Brandao, A; Mendes, R; Vilela, JP ;
PUBLISHED: 2021, SOURCE: 19th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XIX, IDA 2021, VOLUME: 12695, PAGES: 439-451
463
TITLE: EGFR Assessment in Lung Cancer CT Images: Analysis of Local and Holistic Regions of Interest Using Deep Unsupervised Transfer Learning
AUTHORS: Silva, F ; Pereira, T ; Morgado, J ; Frade, J; Mendes, J; Freitas, C; Negrao, E; De Lima, BF; Da Silva, MC; Madureira, AJ; Ramos, I; Hespanhol, V; Costa, JL; Cunha, A ; Oliveira, HP ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9, PAGES: 58667-58676
AUTHORS: Silva, F ; Pereira, T ; Morgado, J ; Frade, J; Mendes, J; Freitas, C; Negrao, E; De Lima, BF; Da Silva, MC; Madureira, AJ; Ramos, I; Hespanhol, V; Costa, JL; Cunha, A ; Oliveira, HP ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9, PAGES: 58667-58676
464
TITLE: Embedding Anatomical Characteristics in 3D Models of Lower-limb Sockets through Statistical Shape Modelling
AUTHORS: Costa, A; Rodrigues, D; Castro, M; Assis, S; Oliveira, HP ;
PUBLISHED: 2021, SOURCE: 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP) / 16th International Conference on Computer Vision Theory and Applications (VISAPP) in VISAPP: PROCEEDINGS OF THE 16TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS - VOL. 4: VISAPP, VOLUME: 4, PAGES: 528-535
AUTHORS: Costa, A; Rodrigues, D; Castro, M; Assis, S; Oliveira, HP ;
PUBLISHED: 2021, SOURCE: 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP) / 16th International Conference on Computer Vision Theory and Applications (VISAPP) in VISAPP: PROCEEDINGS OF THE 16TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS - VOL. 4: VISAPP, VOLUME: 4, PAGES: 528-535
465
TITLE: End-Stage Renal Disease Self-management: mobile app development
AUTHORS: João Pedro Barros; Pedro Brandão ;
PUBLISHED: 2021, SOURCE: 26th IEEE Symposium on Computers and Communications, ISCC 2021 in IEEE Symposium on Computers and Communications, ISCC 2021, Athens, Greece, September 5-8, 2021, VOLUME: 2021-September, PAGES: 1-4
AUTHORS: João Pedro Barros; Pedro Brandão ;
PUBLISHED: 2021, SOURCE: 26th IEEE Symposium on Computers and Communications, ISCC 2021 in IEEE Symposium on Computers and Communications, ISCC 2021, Athens, Greece, September 5-8, 2021, VOLUME: 2021-September, PAGES: 1-4
466
TITLE: Energy-aware adaptive offloading of soft real-time jobs in mobile edge clouds
AUTHORS: Silva, J ; Marques, ERB ; Lopes, LMB ; Silva, F ;
PUBLISHED: 2021, SOURCE: JOURNAL OF CLOUD COMPUTING-ADVANCES SYSTEMS AND APPLICATIONS, VOLUME: 10, ISSUE: 1, PAGES: 38
AUTHORS: Silva, J ; Marques, ERB ; Lopes, LMB ; Silva, F ;
PUBLISHED: 2021, SOURCE: JOURNAL OF CLOUD COMPUTING-ADVANCES SYSTEMS AND APPLICATIONS, VOLUME: 10, ISSUE: 1, PAGES: 38
467
TITLE: Ensemble Strategies for EGFR Mutation Status Prediction in Lung Cancer Full Text
AUTHORS: Malafaia, Mafalda ; Pereira, Tania ; Silva, Francisco ; Morgado, Joana ; Cunha, Antonio ; Oliveira, Helder P. ;
PUBLISHED: 2021, SOURCE: 43rd Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (IEEE EMBC) in 2021 43RD ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY (EMBC), PAGES: 3285-3288
AUTHORS: Malafaia, Mafalda ; Pereira, Tania ; Silva, Francisco ; Morgado, Joana ; Cunha, Antonio ; Oliveira, Helder P. ;
PUBLISHED: 2021, SOURCE: 43rd Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (IEEE EMBC) in 2021 43RD ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY (EMBC), PAGES: 3285-3288
468
TITLE: Enumeration of the Degree Distribution Space for Finite Block Length LDPC Codes
AUTHORS: Giddens, S; Gomes, MAC; Vilela, JP ; Santos, JL; Harrison, WK;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Communications (ICC) in IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2021)
AUTHORS: Giddens, S; Gomes, MAC; Vilela, JP ; Santos, JL; Harrison, WK;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Communications (ICC) in IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2021)
469
TITLE: Evaluation Procedures for Forecasting with Spatiotemporal Data Full Text
AUTHORS: Oliveira, M ; Torgo, L ; Costa, VS ;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 6, PAGES: 691
AUTHORS: Oliveira, M ; Torgo, L ; Costa, VS ;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 6, PAGES: 691
470
TITLE: EVL: a typed functional language for event processing
AUTHORS: Sandra Alves ; Maribel Fernández; Miguel Ramos ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.08960
AUTHORS: Sandra Alves ; Maribel Fernández; Miguel Ramos ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.08960
INDEXED IN: 
DBLP
DBLP471
TITLE: Exposing Manipulated Photos and Videos in Digital Forensics Analysis
AUTHORS: Ferreira, S; Antunes, M ; Manuel E. Correia ;
PUBLISHED: 2021, SOURCE: JOURNAL OF IMAGING, VOLUME: 7, ISSUE: 7, PAGES: 102
AUTHORS: Ferreira, S; Antunes, M ; Manuel E. Correia ;
PUBLISHED: 2021, SOURCE: JOURNAL OF IMAGING, VOLUME: 7, ISSUE: 7, PAGES: 102
472
TITLE: Fairness models for multi-agent kidney exchange programmes *
AUTHORS: Klimentova, X ; Viana, A ; Pedroso, JP ; Santos, N ;
PUBLISHED: 2021, SOURCE: OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, VOLUME: 102, PAGES: 102333
AUTHORS: Klimentova, X ; Viana, A ; Pedroso, JP ; Santos, N ;
PUBLISHED: 2021, SOURCE: OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, VOLUME: 102, PAGES: 102333
473
TITLE: Featured Team Automata
AUTHORS: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLISHED: 2021, SOURCE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047, PAGES: 483-502
AUTHORS: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLISHED: 2021, SOURCE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047, PAGES: 483-502
474
TITLE: FGPE Gamification Service: A GraphQL Service to Gamify Online Education
AUTHORS: Paiva, JC ; Haraszczuk, A; Queirós, R ; Leal, JP ; Swacha, J; Kosta, S;
PUBLISHED: 2021, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2021 in TRENDS AND APPLICATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, VOLUME: 1368, PAGES: 480-489
AUTHORS: Paiva, JC ; Haraszczuk, A; Queirós, R ; Leal, JP ; Swacha, J; Kosta, S;
PUBLISHED: 2021, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2021 in TRENDS AND APPLICATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, VOLUME: 1368, PAGES: 480-489
475
TITLE: Forensic Analysis of Tampered Digital Photos
AUTHORS: Sara Ferreira; Mário Antunes ; Manuel E. Correia ;
PUBLISHED: 2021, SOURCE: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 25th Iberoamerican Congress, CIARP 2021, Porto, Portugal, May 10-13, 2021, Revised Selected Papers, VOLUME: 12702, PAGES: 461-470
AUTHORS: Sara Ferreira; Mário Antunes ; Manuel E. Correia ;
PUBLISHED: 2021, SOURCE: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 25th Iberoamerican Congress, CIARP 2021, Porto, Portugal, May 10-13, 2021, Revised Selected Papers, VOLUME: 12702, PAGES: 461-470
476
TITLE: Fundamental privacy rights in a pandemic state Full Text
AUTHORS: Carvalho, T; Faria, P; Antunes, L ; Moniz, N ;
PUBLISHED: 2021, SOURCE: PLOS ONE, VOLUME: 16, ISSUE: 6
AUTHORS: Carvalho, T; Faria, P; Antunes, L ; Moniz, N ;
PUBLISHED: 2021, SOURCE: PLOS ONE, VOLUME: 16, ISSUE: 6
477
TITLE: Gamification. Improving Patient Adherence in mHealth for Diabetes Management
AUTHORS: Diogo Machado; Rui Carvalho; Pedro Brandão ;
PUBLISHED: 2021, SOURCE: Handbook of Research on Solving Modern Healthcare Challenges With Gamification, PAGES: 293-319
AUTHORS: Diogo Machado; Rui Carvalho; Pedro Brandão ;
PUBLISHED: 2021, SOURCE: Handbook of Research on Solving Modern Healthcare Challenges With Gamification, PAGES: 293-319
INDEXED IN: 
CrossRef 
Unpaywall
CrossRef Unpaywall478
TITLE: Hardening cryptographic operations through the use of secure enclaves Full Text
AUTHORS: Brandao, A; Resende, JS ; Rolando Martins ;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 108, PAGES: 102327
AUTHORS: Brandao, A; Resende, JS ; Rolando Martins ;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 108, PAGES: 102327
479
TITLE: Hot Current Topics of Descriptional Complexity
AUTHORS: Martin Kutrib; Nelma Moreira ; Giovanni Pighizzini; Rogério Reis ;
PUBLISHED: 2021, SOURCE: Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups, VOLUME: 600, PAGES: 3-28
AUTHORS: Martin Kutrib; Nelma Moreira ; Giovanni Pighizzini; Rogério Reis ;
PUBLISHED: 2021, SOURCE: Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups, VOLUME: 600, PAGES: 3-28
480
TITLE: Hubs for VirtuosoNext: Online verification of real-time coordinators Full Text
AUTHORS: Cledou, G ; Proenca, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203, PAGES: 102566
AUTHORS: Cledou, G ; Proenca, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203, PAGES: 102566
