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: 10637
536 Team MembersFilters -> Year: 2026
2781
TITLE: Fatigued Random Walks in Hypergraphs: A Neuronal Analogy to Improve Retrieval Performance
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05364
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05364
INDEXED IN: 
DBLP
DBLP2782
TITLE: FAWOS: Fairness-Aware Oversampling Algorithm Based on Distributions of Sensitive Attributes
AUTHORS: Salazar, T; Santos, MS ; Araujo, H; Abreu, PH ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9, PAGES: 81370-81379
AUTHORS: Salazar, T; Santos, MS ; Araujo, H; Abreu, PH ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9, PAGES: 81370-81379
2783
TITLE: FAWOS: Fairness-Aware Oversampling Algorithm Based on Distributions of Sensitive Attributes
AUTHORS: Teresa Salazar; Miriam Seoane Santos ; Helder Araújo; Pedro Henriques Abreu ;
PUBLISHED: 2021, SOURCE: IEEE Access, VOLUME: 9, PAGES: 81370-81379
AUTHORS: Teresa Salazar; Miriam Seoane Santos ; Helder Araújo; Pedro Henriques Abreu ;
PUBLISHED: 2021, SOURCE: IEEE Access, VOLUME: 9, PAGES: 81370-81379
INDEXED IN: DBLP
DBLP2784
TITLE: Featured Team Automata
AUTHORS: ter Beek, MH; Cledou, G ; Hennicker, R; Proenca, J ;
PUBLISHED: 2021, SOURCE: 24th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2021, VOLUME: 13047, PAGES: 483-502
AUTHORS: ter Beek, MH; Cledou, G ; Hennicker, R; Proenca, J ;
PUBLISHED: 2021, SOURCE: 24th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2021, VOLUME: 13047, PAGES: 483-502
2785
TITLE: FEEdBACk: An ICT-Based Platform to Increase Energy Efficiency through Buildings' Consumer Engagement Full Text
AUTHORS: Soares, F ; Madureira, A ; Pages, A; Barbosa, A; Coelho, A ; Cassola, F ; Ribeiro, F ; Viana, J ; Andrade, J ; Dorokhova, M; Morais, N; Wyrsch, N; Sorensen, T;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 6, PAGES: 1524
AUTHORS: Soares, F ; Madureira, A ; Pages, A; Barbosa, A; Coelho, A ; Cassola, F ; Ribeiro, F ; Viana, J ; Andrade, J ; Dorokhova, M; Morais, N; Wyrsch, N; Sorensen, T;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 6, PAGES: 1524
2786
TITLE: FGPE Gamification Service: A GraphQL Service to Gamify Online Education
AUTHORS: Paiva, JC ; Haraszczuk, A; Queirós, R ; Leal, JP ; Swacha, J; Kosta, S;
PUBLISHED: 2021, SOURCE: TRENDS AND APPLICATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, VOLUME: 1368, PAGES: 480-489
AUTHORS: Paiva, JC ; Haraszczuk, A; Queirós, R ; Leal, JP ; Swacha, J; Kosta, S;
PUBLISHED: 2021, SOURCE: TRENDS AND APPLICATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, VOLUME: 1368, PAGES: 480-489
2787
TITLE: FIRMS, TECHNOLOGY, TRAINING AND GOVERNMENT FISCAL POLICIES: AN EVOLUTIONARY APPROACH
AUTHORS: Accinelli, E; Martins, F ; Muniz, H; Oliveira, BMPM ; Pinto, AA ;
PUBLISHED: 2021, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, VOLUME: 26, ISSUE: 11, PAGES: 5723-5754
AUTHORS: Accinelli, E; Martins, F ; Muniz, H; Oliveira, BMPM ; Pinto, AA ;
PUBLISHED: 2021, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, VOLUME: 26, ISSUE: 11, PAGES: 5723-5754
2788
TITLE: Flexible parametric implantation of voicing in whispered speech under scarce training data
AUTHORS: Silva, J ; Oliveira, M; Ferreira, A ;
PUBLISHED: 2021, SOURCE: 28th European Signal Processing Conference (EUSIPCO) in 28TH EUROPEAN SIGNAL PROCESSING CONFERENCE (EUSIPCO 2020), VOLUME: 2021-January, PAGES: 416-420
AUTHORS: Silva, J ; Oliveira, M; Ferreira, A ;
PUBLISHED: 2021, SOURCE: 28th European Signal Processing Conference (EUSIPCO) in 28TH EUROPEAN SIGNAL PROCESSING CONFERENCE (EUSIPCO 2020), VOLUME: 2021-January, PAGES: 416-420
2789
TITLE: Flexigy Smart-grid Architecture
AUTHORS: Fonseca, Tiago; Ferreira, Luis Lino ; Klein, Lurian; Landeck, Jorge; Sousa, Paulo ;
PUBLISHED: 2021, SOURCE: 11th International Conference on Sensor Networks (SENSORNETS) in PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON SENSOR NETWORKS (SENSORNETS), PAGES: 176-183
AUTHORS: Fonseca, Tiago; Ferreira, Luis Lino ; Klein, Lurian; Landeck, Jorge; Sousa, Paulo ;
PUBLISHED: 2021, SOURCE: 11th International Conference on Sensor Networks (SENSORNETS) in PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON SENSOR NETWORKS (SENSORNETS), PAGES: 176-183
2790
TITLE: Flight Planning Optimization of Multiple UAVs for Internet of Things Full Text
AUTHORS: Rodrigues, L; Riker, A; Ribeiro, M ; Both, C; Sousa, F ; Moreira, W ; Cardoso, K; Oliveira Jr, Antonio; ;
PUBLISHED: 2021, SOURCE: SENSORS, VOLUME: 21, ISSUE: 22, PAGES: 7735
AUTHORS: Rodrigues, L; Riker, A; Ribeiro, M ; Both, C; Sousa, F ; Moreira, W ; Cardoso, K; Oliveira Jr, Antonio; ;
PUBLISHED: 2021, SOURCE: SENSORS, VOLUME: 21, ISSUE: 22, PAGES: 7735
2791
TITLE: Forecasting conditional extreme quantiles for wind energy Full Text
AUTHORS: Carla Goncalves ; Laura Cavalcante; Margarida Brito ; Ricardo J Bessa ; Joao Gama ;
PUBLISHED: 2021, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 190, PAGES: 106636
AUTHORS: Carla Goncalves ; Laura Cavalcante; Margarida Brito ; Ricardo J Bessa ; Joao Gama ;
PUBLISHED: 2021, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 190, PAGES: 106636
2792
TITLE: Forecasting emergency department admissions Full Text
AUTHORS: Rocha, Carlos Narciso; Rodrigues, Fatima ;
PUBLISHED: 2021, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 25, ISSUE: 6, PAGES: 1579-1601
AUTHORS: Rocha, Carlos Narciso; Rodrigues, Fatima ;
PUBLISHED: 2021, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 25, ISSUE: 6, PAGES: 1579-1601
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef2793
TITLE: Foreign Language Learning Gamification Using Virtual Reality-A Systematic Review of Empirical Research
AUTHORS: Pinto, RD ; Peixoto, B ; Melo, M ; Cabral, L; Bessa, M ;
PUBLISHED: 2021, SOURCE: EDUCATION SCIENCES, VOLUME: 11, ISSUE: 5, PAGES: 222
AUTHORS: Pinto, RD ; Peixoto, B ; Melo, M ; Cabral, L; Bessa, M ;
PUBLISHED: 2021, SOURCE: EDUCATION SCIENCES, VOLUME: 11, ISSUE: 5, PAGES: 222
2794
TITLE: Forensic Analysis of Tampered Digital Photos
AUTHORS: Sara Ferreira; Mário Antunes ; Manuel Eduardo Correia ;
PUBLISHED: 2021, SOURCE: CIARP, VOLUME: 12702 LNCS, PAGES: 461-470
AUTHORS: Sara Ferreira; Mário Antunes ; Manuel Eduardo Correia ;
PUBLISHED: 2021, SOURCE: CIARP, VOLUME: 12702 LNCS, PAGES: 461-470
2795
TITLE: Forest Management of Pinus pinaster Ait. in Unbalanced Forest Structures Arising from Disturbances-A Framework Proposal of Decision Support Systems (DSS) Full Text
AUTHORS: Costa, P; Cerveira, A ; Kaspar, J; Marusak, R; Fonseca, TF;
PUBLISHED: 2021, SOURCE: FORESTS, VOLUME: 12, ISSUE: 8, PAGES: 1031
AUTHORS: Costa, P; Cerveira, A ; Kaspar, J; Marusak, R; Fonseca, TF;
PUBLISHED: 2021, SOURCE: FORESTS, VOLUME: 12, ISSUE: 8, PAGES: 1031
2796
TITLE: Foreword VL/HCC 2021
AUTHORS: Kelleher, C; Cunha, J ; Oney, S;
PUBLISHED: 2021, SOURCE: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2021 in Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, VOLUME: 2010-October
AUTHORS: Kelleher, C; Cunha, J ; Oney, S;
PUBLISHED: 2021, SOURCE: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2021 in Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, VOLUME: 2010-October
INDEXED IN: 
Scopus
Scopus2797
TITLE: FOREWORD: SPECIAL ISSUE "EURO 2019: GAMES IN ECONOMICS, FINANCE AND BIOLOGY"
AUTHORS: Daniele, P; Fulga, C; Martn Herran, G; Mazalov, V; Petrosyan, L; Oliveira, BMPM ; Ramos, C; Weber, GW; Zenkevich, N;
PUBLISHED: 2021, SOURCE: JOURNAL OF DYNAMICS AND GAMES, VOLUME: 8, ISSUE: 2
AUTHORS: Daniele, P; Fulga, C; Martn Herran, G; Mazalov, V; Petrosyan, L; Oliveira, BMPM ; Ramos, C; Weber, GW; Zenkevich, N;
PUBLISHED: 2021, SOURCE: JOURNAL OF DYNAMICS AND GAMES, VOLUME: 8, ISSUE: 2
2798
TITLE: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS: João F Ferreira ; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
AUTHORS: João F Ferreira ; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
2799
TITLE: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: FMTea, VOLUME: 13122
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: FMTea, VOLUME: 13122
INDEXED IN: DBLP
DBLP2800
TITLE: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
