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

536 Team Members
Filters -> Year: 2026
3441
TITLE: Finding the Gaps about Uses of Immersive Learning Environments: A Survey of Surveys  Full Text
AUTHORS: Beck, D; Morgado, L ; O'Shea, P;
PUBLISHED: 2020, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 26, ISSUE: 8, PAGES: 1043-1073
INDEXED IN: Scopus WOS DBLP
3443
TITLE: Flow-based Detection and Proxy-based Evasion of Encrypted Malware C2 Traffic
AUTHORS: Carlos Novo; Ricardo Morla ;
PUBLISHED: 2020, SOURCE: AISec@CCS, PAGES: 83-91
INDEXED IN: Scopus DBLP CrossRef: 24
3444
TITLE: FOCAS: Penalising friendly citations to improve author ranking. penalising friendly citations to improve author ranking
AUTHORS: Silva, J ; Aparicio, D ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 1852-1860
INDEXED IN: Scopus WOS DBLP CrossRef: 3
3445
TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (1), VOLUME: 12232
INDEXED IN: DBLP CrossRef: 1
3446
TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (2), VOLUME: 12233
INDEXED IN: DBLP CrossRef: 2
3447
TITLE: Fostering Programming Practice through Games  Full Text
AUTHORS: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 11, PAGES: 498
INDEXED IN: Scopus WOS DBLP CrossRef: 14
3448
TITLE: Fostering soft and hard skills for innovation among informatics engineering students – An emancipatory approach
AUTHORS: Torres, MF ; Flores, N ; Torres, RT;
PUBLISHED: 2020, SOURCE: Journal of Innovation Management, VOLUME: 8, ISSUE: 1, PAGES: 20-38
INDEXED IN: Scopus CrossRef: 8
3449
TITLE: Fraud Detection using Heavy Hitters: a Case Study. a case study
AUTHORS: Veloso, B ; Martins, C; Espanha, R; Azevedo, R; Gama, J ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 482-489
INDEXED IN: Scopus WOS DBLP CrossRef: 3
3450
TITLE: Fraunhofer AICOS at CLEF eHealth 2020 Task 1: Clinical Code Extraction From Textual Data Using Fine-Tuned BERT Models
AUTHORS: João Costa; Inês Lopes; André V Carreiro; David Ribeiro; Carlos Soares ;
PUBLISHED: 2020, SOURCE: CLEF (Working Notes)
INDEXED IN: DBLP
3451
TITLE: From mobility data to habits and common pathways  Full Text
AUTHORS: Andrade, T ; Cancela, B ; Gama, J ;
PUBLISHED: 2020, SOURCE: EXPERT SYSTEMS, VOLUME: 37, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 10
3452
TITLE: From Reinforcement Learning Towards Artificial General Intelligence
AUTHORS: Rocha, FM; Costa, VS ; Reis, LP ;
PUBLISHED: 2020, SOURCE: TRENDS AND INNOVATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 1160, PAGES: 401-413
INDEXED IN: Scopus WOS DBLP CrossRef: 5
3453
TITLE: From Requirements to Automated Acceptance Tests with the RSL Language
AUTHORS: Paiva, ACR ; Maciel, D; Da Silva, AR ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 39-57
INDEXED IN: Scopus WOS DBLP CrossRef: 9
3454
TITLE: Fundão, Portugal: Using STEM Education to Help Build a New ICT Technopolis
AUTHORS: Aguiar, A ; Pereira, S ;
PUBLISHED: 2020, SOURCE: STEM in the Technopolis: The Power of STEM Education in Regional Technology Policy, PAGES: 189-202
INDEXED IN: Scopus CrossRef
3455
TITLE: Gait Pattern Analysis with Accelerometer Data From a Smartphone in PAD Patients
AUTHORS: Renner, K; Filipe, V ; Pereira, LT; Silva, I ; Abrantes, C; Paredes, H ;
PUBLISHED: 2020, SOURCE: 8th International Conference on E-Health and Bioengineering (EHB) in 2020 INTERNATIONAL CONFERENCE ON E-HEALTH AND BIOENGINEERING (EHB)
INDEXED IN: Scopus WOS CrossRef: 1
3456
TITLE: Game-Based Coding Challenges to Foster Programming Practice
AUTHORS: José Carlos Paiva ; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: ICPEC, VOLUME: 81, PAGES: 18:1-18:11
INDEXED IN: Scopus DBLP
3457
TITLE: Gamifying the Museological Experience PDF
AUTHORS: António Coelho ; Maria van Zeller; Pedro Cardoso; Liliana Santos; Roberto Vaz ; José Raimundo;
PUBLISHED: 2020, SOURCE: 2020 XChange Reality!, XCR 2020 in XCR, VOLUME: 2618, PAGES: 5-8
INDEXED IN: Scopus DBLP
3459
TITLE: GEdIL-Gamified Education Interoperability Language  Full Text
AUTHORS: Swacha, J; Paiva, JC ; Leal, JP ; Queiros, R ; Montella, R; Kosta, S;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 6, PAGES: 287
INDEXED IN: Scopus WOS DBLP CrossRef: 10
3460
TITLE: Gender Differential Transcriptome in Gastric and Thyroid Cancers  Full Text
AUTHORS: Abel Sousa; Marta Ferreira; Carla Oliveira; Pedro G Ferreira ;
PUBLISHED: 2020, SOURCE: FRONTIERS IN GENETICS, VOLUME: 11
INDEXED IN: Scopus WOS CrossRef: 10

Results per Page: 20.
Page 173 of 533. Total results: 10655.