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: 8106
531 Team MembersFilters -> Year: 2024
1441
TITLE: Forensic Analysis of Tampered Digital Photos
AUTHORS: Sara Ferreira; Mário Antunes ; Manuel E. Correia ;
PUBLISHED: 2021, SOURCE: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 25th Iberoamerican Congress, CIARP 2021, Porto, Portugal, May 10-13, 2021, Revised Selected Papers, VOLUME: 12702, PAGES: 461-470
AUTHORS: Sara Ferreira; Mário Antunes ; Manuel E. Correia ;
PUBLISHED: 2021, SOURCE: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 25th Iberoamerican Congress, CIARP 2021, Porto, Portugal, May 10-13, 2021, Revised Selected Papers, VOLUME: 12702, PAGES: 461-470
1442
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
1443
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
1444
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
1445
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
DBLP1446
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
1447
TITLE: Fostering Computational Thinking Skills: A Didactic Proposal for Elementary School Grades
AUTHORS: Silva, R; Fonseca, B ; Costa, Cecília ; Fernando M.L. Martins ;
PUBLISHED: 2021, SOURCE: EDUCATION SCIENCES, VOLUME: 11, ISSUE: 9, PAGES: 518
AUTHORS: Silva, R; Fonseca, B ; Costa, Cecília ; Fernando M.L. Martins ;
PUBLISHED: 2021, SOURCE: EDUCATION SCIENCES, VOLUME: 11, ISSUE: 9, PAGES: 518
1448
TITLE: FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example
AUTHORS: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 102-105
AUTHORS: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 102-105
1449
TITLE: Framework for designing Business Continuity - Multidisciplinary Evaluation of Organizational Maturity
AUTHORS: Russo, Nelson; Reis, Leonilde; Silveira, Clara; Mamede, Henrique Sao ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
AUTHORS: Russo, Nelson; Reis, Leonilde; Silveira, Clara; Mamede, Henrique Sao ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
1450
TITLE: From the smart grid to the local electricity market
AUTHORS: Lezama, F; Pinto, T ; Vale, Z; Santos, G; Widergren, S;
PUBLISHED: 2021, SOURCE: Local Electricity Markets, PAGES: 63-76
AUTHORS: Lezama, F; Pinto, T ; Vale, Z; Santos, G; Widergren, S;
PUBLISHED: 2021, SOURCE: Local Electricity Markets, PAGES: 63-76
1451
TITLE: Functional Scalability and Replicability Analysis for Smart Grid Functions: The InteGrid Project Approach Full Text
AUTHORS: Menci, SP; Bessa, RJ ; Herndler, B; Korner, C; Rao, BV; Leimgruber, F; Madureira, AA ; Rua, D ; Coelho, F ; Silva, JV; Andrade, JR ; Sampaio, G ; Teixeira, H ; Simoes, M ; Viana, J ; Oliveira, L; Castro, D; Krisper, U; Andre, R;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 18, PAGES: 5685
AUTHORS: Menci, SP; Bessa, RJ ; Herndler, B; Korner, C; Rao, BV; Leimgruber, F; Madureira, AA ; Rua, D ; Coelho, F ; Silva, JV; Andrade, JR ; Sampaio, G ; Teixeira, H ; Simoes, M ; Viana, J ; Oliveira, L; Castro, D; Krisper, U; Andre, R;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 18, PAGES: 5685
1452
TITLE: Fundamental privacy rights in a pandemic state Full Text
AUTHORS: Carvalho, T; Faria, P; Antunes, L ; Moniz, N ;
PUBLISHED: 2021, SOURCE: PLOS ONE, VOLUME: 16, ISSUE: 6
AUTHORS: Carvalho, T; Faria, P; Antunes, L ; Moniz, N ;
PUBLISHED: 2021, SOURCE: PLOS ONE, VOLUME: 16, ISSUE: 6
1453
TITLE: Fuzzy Automata as Coalgebras Full Text
AUTHORS: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1-21
AUTHORS: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1-21
1454
TITLE: Generalised Partial Association in Causal Rules Discovery
AUTHORS: Nogueira, Ana Rita ; Ferreira, Carlos ; Gama, Joao ; Pinto, Alberto ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 485-497
AUTHORS: Nogueira, Ana Rita ; Ferreira, Carlos ; Gama, Joao ; Pinto, Alberto ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 485-497
1455
TITLE: Generalised Quantum Tree Search
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2021, SOURCE: 2nd IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE) in 2021 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2021), PAGES: 39-40
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2021, SOURCE: 2nd IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE) in 2021 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2021), PAGES: 39-40
1456
TITLE: Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language
AUTHORS: Ana Catarina Gomes; Ana C R Paiva ; Alberto Rodrigues da Silva;
PUBLISHED: 2021, SOURCE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
AUTHORS: Ana Catarina Gomes; Ana C R Paiva ; Alberto Rodrigues da Silva;
PUBLISHED: 2021, SOURCE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
INDEXED IN: DBLP
DBLP1457
TITLE: GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data
AUTHORS: Cogo, V ; Paulo, J ; Bessani, A ;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 5, PAGES: 669-681
AUTHORS: Cogo, V ; Paulo, J ; Bessani, A ;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 5, PAGES: 669-681
1458
TITLE: GestOnHMD: Enabling Gesture-based Interaction on Low-cost VR Head-Mounted Display Full Text
AUTHORS: Monteiro, P; Goncalves, G; Coelho, H; Melo, M; Bessa, M ;
PUBLISHED: 2021, SOURCE: 28th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR) in IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOLUME: 27, ISSUE: 5, PAGES: 2702-2713
AUTHORS: Monteiro, P; Goncalves, G; Coelho, H; Melo, M; Bessa, M ;
PUBLISHED: 2021, SOURCE: 28th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR) in IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOLUME: 27, ISSUE: 5, PAGES: 2702-2713
INDEXED IN: 
WOS
WOS1459
TITLE: Glossary on atmospheric electricity and its effects on biology Full Text
AUTHORS: Fdez Arroyabe, P; Kourtidis, K; Haldoupis, C; Savoska, S; Matthews, J; Mir, LM; Kassomenos, P; Cifra, M; Barbosa, S ; Chen, XM; Dragovic, S; Consoulas, C; Hunting, ER; Robert, D; van der Velde, OA; Apollonio, F; Odzimek, A; Chilingarian, A; Roye, D; Mkrtchyan, H; ...More
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF BIOMETEOROLOGY, VOLUME: 65, ISSUE: 1, PAGES: 5-29
AUTHORS: Fdez Arroyabe, P; Kourtidis, K; Haldoupis, C; Savoska, S; Matthews, J; Mir, LM; Kassomenos, P; Cifra, M; Barbosa, S ; Chen, XM; Dragovic, S; Consoulas, C; Hunting, ER; Robert, D; van der Velde, OA; Apollonio, F; Odzimek, A; Chilingarian, A; Roye, D; Mkrtchyan, H; ...More
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF BIOMETEOROLOGY, VOLUME: 65, ISSUE: 1, PAGES: 5-29
1460
TITLE: Graceful Degradation for Real-time Visualization of Streaming Geospatial Data
AUTHORS: João Rafael; João Moreira; Daniel Mendes ; Mário Alves; Daniel Gonçalves;
PUBLISHED: 2021, SOURCE: 21st Eurographics Conference on Visualization, EuroVis 2019 - Short Papers, Porto, Portugal, June 14-18, 2021, PAGES: 73-77
AUTHORS: João Rafael; João Moreira; Daniel Mendes ; Mário Alves; Daniel Gonçalves;
PUBLISHED: 2021, SOURCE: 21st Eurographics Conference on Visualization, EuroVis 2019 - Short Papers, Porto, Portugal, June 14-18, 2021, PAGES: 73-77
INDEXED IN: DBLP
DBLP