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: 10697
536 Team MembersFilters -> Year: 2026
3421
TITLE: eXtended new reality
AUTHORS: Fausto d Carvalho; Leonel Morgado ; Ricardo Machado;
PUBLISHED: 2020, SOURCE: InnovAction, VOLUME: 2020, ISSUE: 5
AUTHORS: Fausto d Carvalho; Leonel Morgado ; Ricardo Machado;
PUBLISHED: 2020, SOURCE: InnovAction, VOLUME: 2020, ISSUE: 5
INDEXED IN:
Handle
Handle3422
TITLE: Factors that Influence the Use of Educational Software in Mathematics Teaching Full Text
AUTHORS: Nunes, PS ; Maria M. Nascimento ; Catarino, P ; Martins, P ;
PUBLISHED: 2020, SOURCE: REICE-REVISTA IBEROAMERICANA SOBRE CALIDAD EFICACIA Y CAMBIO EN EDUCACION, VOLUME: 18, ISSUE: 3, PAGES: 113-129
AUTHORS: Nunes, PS ; Maria M. Nascimento ; Catarino, P ; Martins, P ;
PUBLISHED: 2020, SOURCE: REICE-REVISTA IBEROAMERICANA SOBRE CALIDAD EFICACIA Y CAMBIO EN EDUCACION, VOLUME: 18, ISSUE: 3, PAGES: 113-129
3423
TITLE: Factual Question Generation for the Portuguese Language
AUTHORS: Bernardo Leite; Henrique Lopes Cardoso ; Luís Paulo Reis ; Carlos Soares ;
PUBLISHED: 2020, SOURCE: INISTA, PAGES: 1-7
AUTHORS: Bernardo Leite; Henrique Lopes Cardoso ; Luís Paulo Reis ; Carlos Soares ;
PUBLISHED: 2020, SOURCE: INISTA, PAGES: 1-7
3424
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
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
3425
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
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
3426
TITLE: FGPE AuthorKit - A Tool for Authoring Gamified Programming Educational Content Full Text
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ; Jakub Swacha;
PUBLISHED: 2020, SOURCE: ITiCSE, PAGES: 564
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ; Jakub Swacha;
PUBLISHED: 2020, SOURCE: ITiCSE, PAGES: 564
3427
TITLE: FILLET - Platform for Intelligent Nutrition Full Text
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
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
3428
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
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
3429
TITLE: First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)
AUTHORS: Ricardo Queirós ; Filipe, Portela ; Mário Pinto; Alberto Simões;
PUBLISHED: 2020, SOURCE: ICPEC, VOLUME: 81
AUTHORS: Ricardo Queirós ; Filipe, Portela ; Mário Pinto; Alberto Simões;
PUBLISHED: 2020, SOURCE: ICPEC, VOLUME: 81
INDEXED IN:
DBLP
3430
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
AUTHORS: Carlos Novo; Ricardo Morla ;
PUBLISHED: 2020, SOURCE: AISec@CCS, PAGES: 83-91
3431
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
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
3432
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
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
3433
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
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
3434
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
AUTHORS: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 11, PAGES: 498
3435
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
AUTHORS: Torres, MF ; Flores, N ; Torres, RT;
PUBLISHED: 2020, SOURCE: Journal of Innovation Management, VOLUME: 8, ISSUE: 1, PAGES: 20-38
3436
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
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
3437
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)
AUTHORS: João Costa; Inês Lopes; André V Carreiro; David Ribeiro; Carlos Soares ;
PUBLISHED: 2020, SOURCE: CLEF (Working Notes)
INDEXED IN:
DBLP
3438
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
AUTHORS: Andrade, T ; Cancela, B ; Gama, J ;
PUBLISHED: 2020, SOURCE: EXPERT SYSTEMS, VOLUME: 37, ISSUE: 6
3439
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
AUTHORS: Filipe Marinho Rocha; Vítor Santos Costa ; Luís Paulo Reis ;
PUBLISHED: 2020, SOURCE: WorldCIST (2), VOLUME: 1160 AISC, PAGES: 401-413
3440
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
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