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

536 Team Members
Filters -> Year: 2026
3261
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: INDOCRYPT, VOLUME: 12578 LNCS, PAGES: 107-127
INDEXED IN: Scopus DBLP CrossRef: 2
3262
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: 5 Handle
3263
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
3264
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: 1 Handle
3265
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: 30
3266
TITLE: Clinical Decision Support Systems for Pressure Ulcer Management: Systematic Review
AUTHORS: Araujo, SM; Sousa, P ; Dutra, I ;
PUBLISHED: 2020, SOURCE: JMIR MEDICAL INFORMATICS, VOLUME: 8, ISSUE: 10
INDEXED IN: Scopus WOS CrossRef: 22 Handle
3267
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
3268
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
3269
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: 15
3271
TITLE: Combined burden and functional impact tests for cancer driver discovery using DriverPower
AUTHORS: Shuai, S; Abascal, F; Amin, SB; Bader, GD; Bandopadhayay, P; Barenboim, J; Beroukhim, R; Bertl, J; Boroevich, KA; Brunak, S; Campbell, PJ; Carlevaro Fita, J; Chakravarty, D; Chan, CWY; Chen, K; Choi, JK; Deu Pons, J; Dhingra, P; Diamanti, K; Feuerbach, L; Fink, JL; Fonseca, NA ; Frigola, J; Gambacorti Passerini, C; Garsed, DW; Gerstein, M; Getz, G; Guo, Q; Gut, IG; Haan, D; Hamilton, MP; Haradhvala, NJ; Harmanci, AO; Helmy, M; Herrmann, C; Hess, JM; Hobolth, A; Hodzic, E; Hong, C; Hornshøj, H; Isaev, K; Izarzugaza, JMG; Johnson, R; Johnson, TA; Juul, M; Juul, RI; Kahles, A; Kahraman, A; Kellis, M; Khurana, E; Kim, J; Kim, JK; Kim, Y; Komorowski, J; Korbel, JO; Kumar, S; Lanzós, A; Larsson, E; Lawrence, MS; Lee, D; Lehmann, KV; Li, S; Li, X; Lin, Z; Liu, EM; Lochovsky, L; Lou, S; Madsen, T; Marchal, K; Martincorena, I; Martinez Fundichely, A; Maruvka, YE; McGillivray, PD; Meyerson, W; Muiños, F; Mularoni, L; Nakagawa, H; Nielsen, MM; Paczkowska, M; Park, K; Park, K; Pedersen, JS; Pons, T; Pulido Tamayo, S; Raphael, BJ; Reimand, J; Reyes Salazar, I; Reyna, MA; Rheinbay, E; Rubin, MA; Rubio Perez, C; Sahinalp, SC; Saksena, G; Salichos, L; Sander, C; Schumacher, SE; Shackleton, M; Shapira, O; Shen, C; Shrestha, R; Shuai, S; Sidiropoulos, N; Sieverling, L; Sinnott Armstrong, N; Stein, LD; Stuart, JM; Tamborero, D; Tiao, G; Tsunoda, T; Umer, HM; Uusküla Reimand, L; Valencia, A; Vazquez, M; Verbeke, LPC; Wadelius, C; Wadi, L; Wang, J; Warrell, J; Waszak, SM; Weischenfeldt, J; Wheeler, DA; Wu, G; Yu, J; Zhang, J; Zhang, X; Zhang, Y; Zhao, Z; Zou, L; von Mering, C; Gallinger, S; Stein, L; ...More
PUBLISHED: 2020, SOURCE: Nature Communications, VOLUME: 11, ISSUE: 1
INDEXED IN: Scopus CrossRef: 49
3272
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
3273
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: 3
3274
TITLE: Comparison of Portuguese and Turkish older adults' nutritional status assessed by MNA-FF
AUTHORS: Oliveira, BMPM ; Ozturk, ME; Rui Poínhos ; Afonso, C ; Ayhan, NY; de Almeida, MDV ;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE NUTRITION SOCIETY, VOLUME: 79, ISSUE: OCE2
INDEXED IN: WOS CrossRef Handle
3275
TITLE: Compilation of MATLAB computations to CPU/GPU via C/OpenCL generation
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: 4
3276
TITLE: Complete Genome Sequences of Walnut-Associated Xanthomonas euroxanthea Strains CPBF 367 and CPBF 426 Obtained by Illumina/Nanopore Hybrid Assembly
AUTHORS: Teixeira, M; Martins, L; Fernandes, C; Chaves, C; Pinto, J; Tavares, F ; Fonseca, NA ;
PUBLISHED: 2020, SOURCE: MICROBIOLOGY RESOURCE ANNOUNCEMENTS, VOLUME: 9, ISSUE: 45
INDEXED IN: Scopus WOS CrossRef: 5
3277
TITLE: Computer Programming Education in Portuguese Universities
AUTHORS: Ricardo Queirós ; Mário Pinto; Teresa Terroso ;
PUBLISHED: 2020, SOURCE: ICPEC, VOLUME: 81, PAGES: 21:1-21:11
INDEXED IN: Scopus DBLP
3278
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
3279
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
3280
TITLE: Container Hardening Through Automated Seccomp Profiling
AUTHORS: Lopes, N; Martins, R ; Correia, ME ; 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: 11

Results per Page: 20.
Page 164 of 533. Total results: 10645.