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

536 Team Members
Filters -> Year: 2026
3361
TITLE: Failure Detection of an Air Production Unit in Operational Context
AUTHORS: Mariana Barros; Bruno Veloso ; Pedro Mota Pereira; Rita P Ribeiro ; João Gama ;
PUBLISHED: 2020, SOURCE: IoT Streams/ITEM@PKDD/ECML, VOLUME: 1325, PAGES: 61-74
INDEXED IN: Scopus DBLP CrossRef: 6
3362
TITLE: Fammeal: A Gamified Mobile Application for Parents and Children to Help Healthcare Centers Treat Childhood Obesity
AUTHORS: Afonso, L; Rodrigues, R ; Reis, E; Miller, K; Castro, J; Parente, N; Teixeira, C; Fraga, A; Torres, S;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, ISSUE: 4, PAGES: 351-360
INDEXED IN: WOS DBLP CrossRef: 11
3363
TITLE: FGPE AuthorKit - A Tool for Authoring Gamified Programming Educational Content
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ; Jakub Swacha;
PUBLISHED: 2020, SOURCE: ITiCSE, PAGES: 564
INDEXED IN: Scopus DBLP CrossRef: 2
3364
TITLE: FILLET - Platform for Intelligent Nutrition
AUTHORS: David Ribeiro; João Costa; Inês Lopes; Telmo Barbosa; Carlos Soares ; Filipe Sousa ; Jorge Ribeiro; Duarte Rocha; Marlos Silva;
PUBLISHED: 2020, SOURCE: AICCSA, VOLUME: 2020-November, PAGES: 1-8
INDEXED IN: Scopus DBLP CrossRef: 1
3365
TITLE: Finding the Gaps about Uses of Immersive Learning Environments: A Survey of Surveys
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
3367
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
3368
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
3369
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
3370
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
3371
TITLE: Fostering Programming Practice through Games
AUTHORS: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 11, PAGES: 498
INDEXED IN: Scopus WOS DBLP CrossRef: 14
3372
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
3373
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
3374
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
3375
TITLE: From mobility data to habits and common pathways
AUTHORS: Andrade, T ; Cancela, B ; Gama, J ;
PUBLISHED: 2020, SOURCE: EXPERT SYSTEMS, VOLUME: 37, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 10
3376
TITLE: From Reinforcement Learning Towards Artificial General Intelligence
AUTHORS: Filipe Marinho Rocha; Vítor Santos Costa ; Luís Paulo Reis ;
PUBLISHED: 2020, SOURCE: WorldCIST (2), VOLUME: 1160 AISC, PAGES: 401-413
INDEXED IN: Scopus DBLP CrossRef: 4
3377
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
3378
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
3379
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
3380
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

Results per Page: 20.
Page 169 of 532. Total results: 10637.