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: 4670
62 Team MembersFilters -> Year: 2026
1141
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
1142
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
1143
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
1145
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: ISD
AUTHORS: Ana Catarina Gomes; Ana C R Paiva ; Alberto Rodrigues da Silva;
PUBLISHED: 2021, SOURCE: ISD
INDEXED IN: 
DBLP
DBLP1146
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: EuroVis (Short Papers), PAGES: 73-77
AUTHORS: João Rafael; João Moreira; Daniel Mendes ; Mário Alves; Daniel Gonçalves;
PUBLISHED: 2021, SOURCE: EuroVis (Short Papers), PAGES: 73-77
INDEXED IN: DBLP
DBLP1147
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
DBLP1148
TITLE: Guest Editorial: IEEE TC Special Section on Compiler Optimizations for FPGA-Based Systems
AUTHORS: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 12, PAGES: 2013-2014
AUTHORS: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 12, PAGES: 2013-2014
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP1149
TITLE: Handling Privacy Preservation in a Software Ecosystem for the Querying and Processing of Deep Sequencing Data
AUTHORS: Rocha, A ; Costa, A; Oliveira, MA ; Aguiar, A ;
PUBLISHED: 2021, SOURCE: ERCIM NEWS, VOLUME: 2021, ISSUE: 126, PAGES: 18-19
AUTHORS: Rocha, A ; Costa, A; Oliveira, MA ; Aguiar, A ;
PUBLISHED: 2021, SOURCE: ERCIM NEWS, VOLUME: 2021, ISSUE: 126, PAGES: 18-19
INDEXED IN: WOS DBLP
WOS DBLP1150
TITLE: How Can an Archive Be Characterized?
AUTHORS: Marta Faria Araújo; Carla Teixeira Lopes ;
PUBLISHED: 2021, SOURCE: TPDL, VOLUME: 12866 LNCS, PAGES: 118-122
AUTHORS: Marta Faria Araújo; Carla Teixeira Lopes ;
PUBLISHED: 2021, SOURCE: TPDL, VOLUME: 12866 LNCS, PAGES: 118-122
1151
TITLE: Hypergraph-of-Entity: A General Model for Entity-Oriented Search
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.00450
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.00450
INDEXED IN: DBLP
DBLP1152
TITLE: Identification of microservices from monolithic applications through topic modelling Full Text
AUTHORS: Miguel A Brito; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2021, SOURCE: SAC, PAGES: 1409-1418
AUTHORS: Miguel A Brito; Jácome Cunha ; João Saraiva ;
PUBLISHED: 2021, SOURCE: SAC, PAGES: 1409-1418
1153
TITLE: Identifying and ranking super spreaders in real world complex networks without influence overlap Full Text
AUTHORS: Maji, G; Dutta, A; Malta, MC ; Sen, S;
PUBLISHED: 2021, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 179, PAGES: 115061
AUTHORS: Maji, G; Dutta, A; Malta, MC ; Sen, S;
PUBLISHED: 2021, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 179, PAGES: 115061
1154
TITLE: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2021, St Louis, MO, USA, October 10-13, 2021
AUTHORS: Kyle J Harms; Jácome Cunha ; Steve Oney; Caitlin Kelleher;
PUBLISHED: 2021, SOURCE: VL/HCC
AUTHORS: Kyle J Harms; Jácome Cunha ; Steve Oney; Caitlin Kelleher;
PUBLISHED: 2021, SOURCE: VL/HCC
INDEXED IN: DBLP
DBLP1155
TITLE: Immersive Adventure Games Development using 360-degree video
AUTHORS: Francisco Pinho; Rui Nóbrega; Rui Rodrigues ;
PUBLISHED: 2021, SOURCE: ICGI, PAGES: 1-8
AUTHORS: Francisco Pinho; Rui Nóbrega; Rui Rodrigues ;
PUBLISHED: 2021, SOURCE: ICGI, PAGES: 1-8
1156
TITLE: Immersive Authoring of Virtual Reality Training
AUTHORS: Cassola, F ; Pinto, M; Mendes, D ; Morgado, L ; Coelho, A ; Paredes, H ;
PUBLISHED: 2021, SOURCE: 28th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR) in 2021 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS (VRW 2021), PAGES: 633-634
AUTHORS: Cassola, F ; Pinto, M; Mendes, D ; Morgado, L ; Coelho, A ; Paredes, H ;
PUBLISHED: 2021, SOURCE: 28th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR) in 2021 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS (VRW 2021), PAGES: 633-634
1157
TITLE: Immersive Multimodal and Procedurally-Assisted Creation of VR Environments
AUTHORS: Ferreira, J; Mendes, D ; Nóbrega, R; Rodrigues, R ;
PUBLISHED: 2021, SOURCE: 28th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR) in 2021 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS (VRW 2021), PAGES: 30-37
AUTHORS: Ferreira, J; Mendes, D ; Nóbrega, R; Rodrigues, R ;
PUBLISHED: 2021, SOURCE: 28th IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR) in 2021 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS (VRW 2021), PAGES: 30-37
1158
TITLE: Immersive Systems in Human-Centered Manufacturing: The Informational Dimension
AUTHORS: Ramalho, FR ; Soares, AL ; Almeida, AH ;
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: 297-307
AUTHORS: Ramalho, FR ; Soares, AL ; Almeida, AH ;
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: 297-307
1159
TITLE: Improving Automatic Quality Inspection in the Automotive Industry by Combining Simulated and Real Data
AUTHORS: Pinho, P; Rio Torto, I ; Teixeira, LF ;
PUBLISHED: 2021, SOURCE: 16th International Symposium on Visual Computing (ISVC) in ADVANCES IN VISUAL COMPUTING (ISVC 2021), PT I, VOLUME: 13017, PAGES: 278-290
AUTHORS: Pinho, P; Rio Torto, I ; Teixeira, LF ;
PUBLISHED: 2021, SOURCE: 16th International Symposium on Visual Computing (ISVC) in ADVANCES IN VISUAL COMPUTING (ISVC 2021), PT I, VOLUME: 13017, PAGES: 278-290
1160
TITLE: Improving Transfer Learning in Unsupervised Language Adaptation
AUTHORS: Gil Rocha ; Cardoso, HL ;
PUBLISHED: 2021, SOURCE: 30th International Conference on Artificial Neural Networks (ICANN) in ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING, ICANN 2021, PT V, VOLUME: 12895, PAGES: 588-599
AUTHORS: Gil Rocha ; Cardoso, HL ;
PUBLISHED: 2021, SOURCE: 30th International Conference on Artificial Neural Networks (ICANN) in ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING, ICANN 2021, PT V, VOLUME: 12895, PAGES: 588-599
