CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 8274
531 Team MembersFilters -> Year: 2024
1921
TITLE: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLISHED: 2020, SOURCE: 21st International Conference on Cryptology in India, INDOCRYPT 2020 in Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings, VOLUME: 12578, PAGES: 107-127
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLISHED: 2020, SOURCE: 21st International Conference on Cryptology in India, INDOCRYPT 2020 in Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings, VOLUME: 12578, PAGES: 107-127
1922
TITLE: Challenges Implementing the SimProgramming Approach in Online Software Engineering Education for Promoting Self and Co-regulation of Learning
AUTHORS: Pedrosa, D; Morgado, L ; Cravino, J; Fontes, MM; Castelhano, M; Machado, C; Curado, E;
PUBLISHED: 2020, SOURCE: 6th International Conference of the Immersive-Learning-Research-Network (iLRN) in PROCEEDINGS OF 2020 6TH INTERNATIONAL CONFERENCE OF THE IMMERSIVE LEARNING RESEARCH NETWORK (ILRN 2020), PAGES: 236-241
AUTHORS: Pedrosa, D; Morgado, L ; Cravino, J; Fontes, MM; Castelhano, M; Machado, C; Curado, E;
PUBLISHED: 2020, SOURCE: 6th International Conference of the Immersive-Learning-Research-Network (iLRN) in PROCEEDINGS OF 2020 6TH INTERNATIONAL CONFERENCE OF THE IMMERSIVE LEARNING RESEARCH NETWORK (ILRN 2020), PAGES: 236-241
1923
TITLE: Characterizing the hypergraph-of-entity and the structural impact of its extensions
AUTHORS: Devezas, J; Nunes, S ;
PUBLISHED: 2020, SOURCE: APPLIED NETWORK SCIENCE, VOLUME: 5, ISSUE: 1, PAGES: 79
AUTHORS: Devezas, J; Nunes, S ;
PUBLISHED: 2020, SOURCE: APPLIED NETWORK SCIENCE, VOLUME: 5, ISSUE: 1, PAGES: 79
1924
TITLE: Classification of HRV using Long Short-Term Memory Networks
AUTHORS: Leite, A ; Silva, ME ; Rocha, AP ;
PUBLISHED: 2020, SOURCE: 11th Conference of the European-Study-Group-on-Cardiovascular-Oscillations (ESGCO) - Computation and Modelling in Physiology New Challenges and Opportunities in 2020 11TH CONFERENCE OF THE EUROPEAN STUDY GROUP ON CARDIOVASCULAR OSCILLATIONS (ESGCO): COMPUTATION AND MODELLING IN PHYSIOLOGY NEW CHALLENGES AND OPPORTUNITIES
AUTHORS: Leite, A ; Silva, ME ; Rocha, AP ;
PUBLISHED: 2020, SOURCE: 11th Conference of the European-Study-Group-on-Cardiovascular-Oscillations (ESGCO) - Computation and Modelling in Physiology New Challenges and Opportunities in 2020 11TH CONFERENCE OF THE EUROPEAN STUDY GROUP ON CARDIOVASCULAR OSCILLATIONS (ESGCO): COMPUTATION AND MODELLING IN PHYSIOLOGY NEW CHALLENGES AND OPPORTUNITIES
1925
TITLE: Clava: C/C plus plus source-to-source compilation using LARA
AUTHORS: Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: SOFTWAREX, VOLUME: 12, PAGES: 100565
AUTHORS: Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: SOFTWAREX, VOLUME: 12, PAGES: 100565
1926
TITLE: Clustering genomic words in human DNA using peaks and trends of distributions
AUTHORS: Tavares, AH; Raymaekers, J; Rousseeuw, PJ; Brito, P ; Afreixo, V;
PUBLISHED: 2020, SOURCE: ADVANCES IN DATA ANALYSIS AND CLASSIFICATION, VOLUME: 14, ISSUE: 1, PAGES: 57-76
AUTHORS: Tavares, AH; Raymaekers, J; Rousseeuw, PJ; Brito, P ; Afreixo, V;
PUBLISHED: 2020, SOURCE: ADVANCES IN DATA ANALYSIS AND CLASSIFICATION, VOLUME: 14, ISSUE: 1, PAGES: 57-76
1927
TITLE: Collaborative immersive authoring tool for real-time creation of multisensory VR experiences (vol 78, pg 19473, 2020) Full Text
AUTHORS: Coelho, H ; Melo, M ; Martins, J ; Bessa, M ;
PUBLISHED: 2020, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 79, ISSUE: 19-20, PAGES: 14315-14316
AUTHORS: Coelho, H ; Melo, M ; Martins, J ; Bessa, M ;
PUBLISHED: 2020, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 79, ISSUE: 19-20, PAGES: 14315-14316
1928
TITLE: Collaborative Tabletops for Blind People: The Effect of Auditory Design on Workspace Awareness. The Effect of Auditory Design on Workspace Awareness
AUTHORS: Daniel Mendes ; Sofia Reis; João Guerreiro; Hugo Nicolau;
PUBLISHED: 2020, SOURCE: Proc. ACM Hum. Comput. Interact., VOLUME: 4, ISSUE: ISS, PAGES: 197:1-197:19
AUTHORS: Daniel Mendes ; Sofia Reis; João Guerreiro; Hugo Nicolau;
PUBLISHED: 2020, SOURCE: Proc. ACM Hum. Comput. Interact., VOLUME: 4, ISSUE: ISS, PAGES: 197:1-197:19
1929
TITLE: Combined Aerobic and Resistance Exercise in Walking Performance of Patients With Intermittent Claudication: Systematic Review Full Text
AUTHORS: Isabel Machado; Nelson Sousa ; Hugo Paredes ; Joana Ferreira; Catarina Abrantes;
PUBLISHED: 2020, SOURCE: FRONTIERS IN PHYSIOLOGY, VOLUME: 10
AUTHORS: Isabel Machado; Nelson Sousa ; Hugo Paredes ; Joana Ferreira; Catarina Abrantes;
PUBLISHED: 2020, SOURCE: FRONTIERS IN PHYSIOLOGY, VOLUME: 10
1930
TITLE: Communication Protocol for Unmanned Vehicles An Architectural Approach
AUTHORS: Ramos, J; Ribeiro, R; Safadinho, D; Barroso, J ; Pereira, A;
PUBLISHED: 2020, SOURCE: 4th IEEE Global Internet of Things Summit (GIoTS) in 2020 GLOBAL INTERNET OF THINGS SUMMIT (GIOTS), PAGES: 1-7
AUTHORS: Ramos, J; Ribeiro, R; Safadinho, D; Barroso, J ; Pereira, A;
PUBLISHED: 2020, SOURCE: 4th IEEE Global Internet of Things Summit (GIoTS) in 2020 GLOBAL INTERNET OF THINGS SUMMIT (GIOTS), PAGES: 1-7
1931
TITLE: Comparing State-of-the-Art Neural Network Ensemble Methods in Soccer Predictions
AUTHORS: Tiago Mendes Neves ; João Mendes Moreira ;
PUBLISHED: 2020, SOURCE: 25th International Symposium on Methodologies for Intelligent Systems, ISMIS 2020 in Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Graz, Austria, September 23-25, 2020, Proceedings, VOLUME: 12117, PAGES: 139-149
AUTHORS: Tiago Mendes Neves ; João Mendes Moreira ;
PUBLISHED: 2020, SOURCE: 25th International Symposium on Methodologies for Intelligent Systems, ISMIS 2020 in Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Graz, Austria, September 23-25, 2020, Proceedings, VOLUME: 12117, PAGES: 139-149
1932
TITLE: Comparison of Portuguese and Turkish older adults' nutritional status assessed by MNA-FF
AUTHORS: Oliveira, BMPM ; Ozturk, ME; Poinhos, R ; Afonso, C ; Ayhan, NY; de Almeida, MDV ;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE NUTRITION SOCIETY, VOLUME: 79, ISSUE: OCE2
AUTHORS: Oliveira, BMPM ; Ozturk, ME; Poinhos, R ; Afonso, C ; Ayhan, NY; de Almeida, MDV ;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE NUTRITION SOCIETY, VOLUME: 79, ISSUE: OCE2
1933
TITLE: Compilation of MATLAB computations to CPU/GPU via C/OpenCL generation Full Text
AUTHORS: Reis, L; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 32, ISSUE: 22
AUTHORS: Reis, L; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 32, ISSUE: 22
1934
TITLE: Computer Programming Education in Portuguese Universities
AUTHORS: Ricardo Queirós ; Mário Pinto; Teresa Terroso ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 21:1-21:11
AUTHORS: Ricardo Queirós ; Mário Pinto; Teresa Terroso ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 21:1-21:11
INDEXED IN: Scopus DBLP
1935
TITLE: Condensed Graphs: A Generic Framework for Accelerating Subgraph Census Computation
AUTHORS: Martins, M; Ribeiro, P ;
PUBLISHED: 2020, SOURCE: 11th International Conference on Complex Networks (CompleNet) in COMPLEX NETWORKS XI, PAGES: 3-15
AUTHORS: Martins, M; Ribeiro, P ;
PUBLISHED: 2020, SOURCE: 11th International Conference on Complex Networks (CompleNet) in COMPLEX NETWORKS XI, PAGES: 3-15
1936
TITLE: Constrained Generation Bids in Local Electricity Markets: A Semantic Approach Full Text
AUTHORS: Santos, G; Faria, P; Vale, Z; Pinto, T ; Corchado, JM;
PUBLISHED: 2020, SOURCE: ENERGIES, VOLUME: 13, ISSUE: 15, PAGES: 3990
AUTHORS: Santos, G; Faria, P; Vale, Z; Pinto, T ; Corchado, JM;
PUBLISHED: 2020, SOURCE: ENERGIES, VOLUME: 13, ISSUE: 15, PAGES: 3990
1937
TITLE: Container Hardening Through Automated Seccomp Profiling
AUTHORS: Lopes, N; Rolando Martins ; Manuel E. Correia ; Serrano, S; Nunes, F;
PUBLISHED: 2020, SOURCE: 6th International Workshop on Container Technologies and Container Clouds (WOC) in PROCEEDINGS OF THE 2020 6TH INTERNATIONAL WORKSHOP ON CONTAINER TECHNOLOGIES AND CONTAINER CLOUDS (WOC '20), PAGES: 31-36
AUTHORS: Lopes, N; Rolando Martins ; Manuel E. Correia ; Serrano, S; Nunes, F;
PUBLISHED: 2020, SOURCE: 6th International Workshop on Container Technologies and Container Clouds (WOC) in PROCEEDINGS OF THE 2020 6TH INTERNATIONAL WORKSHOP ON CONTAINER TECHNOLOGIES AND CONTAINER CLOUDS (WOC '20), PAGES: 31-36
1938
TITLE: Context-Aware Mobile Applications in Fog Infrastructure: A Literature Review
AUTHORS: Celestino Barros; Vítor Rocio ; André Sousa; Hugo Paredes ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PAGES: 318-328
AUTHORS: Celestino Barros; Vítor Rocio ; André Sousa; Hugo Paredes ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PAGES: 318-328
1939
TITLE: Contextual Q-Learning
AUTHORS: Tiago Pinto ; Zita A Vale;
PUBLISHED: 2020, SOURCE: ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), VOLUME: 325, PAGES: 2927-2928
AUTHORS: Tiago Pinto ; Zita A Vale;
PUBLISHED: 2020, SOURCE: ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), VOLUME: 325, PAGES: 2927-2928
INDEXED IN: DBLP
1940
TITLE: Contribution of Social Tagging to Clustering Effectiveness Using as Interpretant the User's Community
AUTHORS: Elisabete Cunha; Álvaro Figueira ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 1, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1159, PAGES: 180-190
AUTHORS: Elisabete Cunha; Álvaro Figueira ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 1, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1159, PAGES: 180-190