Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
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: 3741
49 Team MembersFilters -> Year: 2024
521
TITLE: Estimating the COVID-19 Prevalence in Spain With Indirect Reporting via Open Surveys
AUTHORS: Garcia Agundez, A; Ojo, O; Hernandez Roig, HA; Baquero, C ; Frey, D; Georgiou, C; Goessens, M; Lillo, RE; Menezes, R ; Nicolaou, N; Ortega, A; Stavrakis, E; Anta, AF;
PUBLISHED: 2021, SOURCE: FRONTIERS IN PUBLIC HEALTH, VOLUME: 9
AUTHORS: Garcia Agundez, A; Ojo, O; Hernandez Roig, HA; Baquero, C ; Frey, D; Georgiou, C; Goessens, M; Lillo, RE; Menezes, R ; Nicolaou, N; Ortega, A; Stavrakis, E; Anta, AF;
PUBLISHED: 2021, SOURCE: FRONTIERS IN PUBLIC HEALTH, VOLUME: 9
522
TITLE: Evaluating Transitions for Streaming Big Data
AUTHORS: Filipa Castanheira; João Moreira; Daniel Mendes ; Daniel Gonçalves;
PUBLISHED: 2021, SOURCE: International Conference on Graphics and Interaction, ICGI 2021, Porto, Portugal, November 4-5, 2021, PAGES: 1-8
AUTHORS: Filipa Castanheira; João Moreira; Daniel Mendes ; Daniel Gonçalves;
PUBLISHED: 2021, SOURCE: International Conference on Graphics and Interaction, ICGI 2021, Porto, Portugal, November 4-5, 2021, PAGES: 1-8
523
TITLE: EVOSUITE at the SBST 2021 Tool Competition
AUTHORS: Vogl, Sebastian; Schweikl, Sebastian; Fraser, Gordon; Arcuri, Andrea; Campos, Jose ; Panichella, Annibale;
PUBLISHED: 2021, SOURCE: 14th IEEE/ACM International Workshop on Search-Based Software Testing (SBST) in 2021 IEEE/ACM 14TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2021), PAGES: 28-29
AUTHORS: Vogl, Sebastian; Schweikl, Sebastian; Fraser, Gordon; Arcuri, Andrea; Campos, Jose ; Panichella, Annibale;
PUBLISHED: 2021, SOURCE: 14th IEEE/ACM International Workshop on Search-Based Software Testing (SBST) in 2021 IEEE/ACM 14TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2021), PAGES: 28-29
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef524
TITLE: Experiences on teaching alloy with an automated assessment platform Full Text
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211, PAGES: 102690
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211, PAGES: 102690
525
TITLE: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2021, SOURCE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349, PAGES: 77-84
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2021, SOURCE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349, PAGES: 77-84
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP526
TITLE: Fatigued PageRank
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05369
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05369
INDEXED IN: DBLP
DBLP527
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
DBLP528
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
529
TITLE: Fixing vulnerabilities potentially hinders maintainability
AUTHORS: Reis, S; Abreu, R ; Cruz, L;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 6
AUTHORS: Reis, S; Abreu, R ; Cruz, L;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 6
INDEXED IN: Scopus WOS
Scopus WOS530
TITLE: Foreword
AUTHORS: Fernandes, JP ;
PUBLISHED: 2021, SOURCE: 25th Brazilian Symposium on Programming Languages, SBLP 2021, held in conjunction with the Brazilian Conference on Software: Theory and Practice, CBSoft 2021 in ACM International Conference Proceeding Series
AUTHORS: Fernandes, JP ;
PUBLISHED: 2021, SOURCE: 25th Brazilian Symposium on Programming Languages, SBLP 2021, held in conjunction with the Brazilian Conference on Software: Theory and Practice, CBSoft 2021 in ACM International Conference Proceeding Series
INDEXED IN: Scopus
Scopus531
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
532
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
DBLP533
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
534
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
535
TITLE: From Digital Platforms to Ecosystems: A Review of Horizon 2020 Platform Projects
AUTHORS: Silva, HD ; Soares, AL ;
PUBLISHED: 2021, SOURCE: 21st IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in BOOSTING COLLABORATIVE NETWORKS 4.0: 21ST IFIP WG 5.5 WORKING CONFERENCE ON VIRTUAL ENTERPRISES, PRO-VE 2020, VOLUME: 598, PAGES: 111-120
AUTHORS: Silva, HD ; Soares, AL ;
PUBLISHED: 2021, SOURCE: 21st IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in BOOSTING COLLABORATIVE NETWORKS 4.0: 21ST IFIP WG 5.5 WORKING CONFERENCE ON VIRTUAL ENTERPRISES, PRO-VE 2020, VOLUME: 598, PAGES: 111-120
537
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
DBLP538
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
DBLP539
TITLE: Green Software Lab: Towards an Engineering Discipline for Green Software
AUTHORS: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03028
AUTHORS: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03028
INDEXED IN: DBLP
DBLP540
TITLE: GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices Full Text
AUTHORS: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 3, PAGES: 38
AUTHORS: Pereira, R ; Matalonga, H; Couto, M ; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM ; Fernandes, JP ;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 3, PAGES: 38
