CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
1841
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
INDEXED IN: Scopus DBLP CrossRef: 1
1842
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
INDEXED IN: Scopus WOS DBLP CrossRef Handle
1843
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1844
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
INDEXED IN: Scopus WOS CrossRef Handle
1845
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
INDEXED IN: Scopus WOS DBLP CrossRef: 11
1846
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
INDEXED IN: Scopus WOS DBLP CrossRef Handle
1847
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
INDEXED IN: Scopus WOS CrossRef: 1
1848
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
INDEXED IN: Scopus DBLP CrossRef
1850
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1851
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
INDEXED IN: Scopus DBLP CrossRef: 1
1852
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
INDEXED IN: WOS CrossRef Handle
1853
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1854
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
INDEXED IN: Scopus DBLP
1855
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
INDEXED IN: Scopus WOS CrossRef
1856
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
INDEXED IN: Scopus WOS CrossRef: 6
1857
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
INDEXED IN: Scopus WOS DBLP CrossRef: 8
1858
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
INDEXED IN: Scopus DBLP CrossRef
1859
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
INDEXED IN: DBLP
1860
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
INDEXED IN: Scopus DBLP CrossRef

Results per Page: 20.
Page 93 of 410. Total results: 8181.