Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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: 25167
1718 Team MembersFilters -> Year: 2026
6781
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: AppFM@FM, VOLUME: 349, PAGES: 77-84
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2021, SOURCE: AppFM@FM, VOLUME: 349, PAGES: 77-84
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP6782
TITLE: Exposing Manipulated Photos and Videos in Digital Forensics Analysis
AUTHORS: Ferreira, S; Antunes, M ; Correia, ME ;
PUBLISHED: 2021, SOURCE: JOURNAL OF IMAGING, VOLUME: 7, ISSUE: 7, PAGES: 102
AUTHORS: Ferreira, S; Antunes, M ; Correia, ME ;
PUBLISHED: 2021, SOURCE: JOURNAL OF IMAGING, VOLUME: 7, ISSUE: 7, PAGES: 102
6783
TITLE: Extending a Trust model for Energy Trading with Cyber-Attack Detection Full Text
AUTHORS: Andrade, R; Wannous, S; Pinto, T ; Praca, I ;
PUBLISHED: 2021, SOURCE: ELECTRONICS, VOLUME: 10, ISSUE: 16, PAGES: 1975
AUTHORS: Andrade, R; Wannous, S; Pinto, T ; Praca, I ;
PUBLISHED: 2021, SOURCE: ELECTRONICS, VOLUME: 10, ISSUE: 16, PAGES: 1975
6784
TITLE: Extending General Sentiment Lexicon to Specific Domains in (Semi-)Automatic Manner
AUTHORS: Pavel Brazdil ; Purificação Silvano ; Fátima Silva; Shamsuddeen Muhammad; Fátima Oliveira; João Cordeiro; António Leal ;
PUBLISHED: 2021, SOURCE: CEUR Workshop Proceedings, VOLUME: 3064
AUTHORS: Pavel Brazdil ; Purificação Silvano ; Fátima Silva; Shamsuddeen Muhammad; Fátima Oliveira; João Cordeiro; António Leal ;
PUBLISHED: 2021, SOURCE: CEUR Workshop Proceedings, VOLUME: 3064
INDEXED IN: Scopus
Scopus6785
TITLE: Extracting neuronal activity signals from microscopy recordings of contractile tissue using B-spline Explicit Active Surfaces (BEAS) cell tracking Full Text
AUTHORS: Kazwiny, Y; Pedrosa, J ; Zhang, ZQ; Boesmans, W; D'hooge, J; Vanden Berghe, P;
PUBLISHED: 2021, SOURCE: SCIENTIFIC REPORTS, VOLUME: 11, ISSUE: 1
AUTHORS: Kazwiny, Y; Pedrosa, J ; Zhang, ZQ; Boesmans, W; D'hooge, J; Vanden Berghe, P;
PUBLISHED: 2021, SOURCE: SCIENTIFIC REPORTS, VOLUME: 11, ISSUE: 1
6786
TITLE: Extrinsic Sensor Calibration Methods for Mobile Robots: A Short Review
AUTHORS: Sousa, RB ; Marcelo R. Petry ; Moreira, AP ;
PUBLISHED: 2021, SOURCE: 14th APCA International Conference on Automatic Control and Soft Computing, CONTROLO 2020 in CONTROLO 2020, VOLUME: 695, PAGES: 559-569
AUTHORS: Sousa, RB ; Marcelo R. Petry ; Moreira, AP ;
PUBLISHED: 2021, SOURCE: 14th APCA International Conference on Automatic Control and Soft Computing, CONTROLO 2020 in CONTROLO 2020, VOLUME: 695, PAGES: 559-569
6787
TITLE: Factors influencing the success of the implementation of CzRM systems-a literature review [Fatores influenciadores do sucesso da implementação de sistemas CzRM-uma revisão de literatura]
AUTHORS: Duque, JMP; Filipe, VMJ ; Moreira, JJM;
PUBLISHED: 2021, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 2021, ISSUE: E45, PAGES: 268-284
AUTHORS: Duque, JMP; Filipe, VMJ ; Moreira, JJM;
PUBLISHED: 2021, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 2021, ISSUE: E45, PAGES: 268-284
INDEXED IN: Scopus
Scopus6788
TITLE: Fairness models for multi-agent kidney exchange programmes *
AUTHORS: Klimentova, X ; Viana, A ; Pedroso, JP ; Santos, N ;
PUBLISHED: 2021, SOURCE: OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, VOLUME: 102, PAGES: 102333
AUTHORS: Klimentova, X ; Viana, A ; Pedroso, JP ; Santos, N ;
PUBLISHED: 2021, SOURCE: OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, VOLUME: 102, PAGES: 102333
6789
TITLE: Fast Real-Time Control Allocation Applied to Over-Actuated Quadrotor Tilt-Rotor
AUTHORS: Santos, MF; Honório, LM; Moreira, APGM ; Silva, MF; Vidal, VF;
PUBLISHED: 2021, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 102, ISSUE: 3, PAGES: 65
AUTHORS: Santos, MF; Honório, LM; Moreira, APGM ; Silva, MF; Vidal, VF;
PUBLISHED: 2021, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 102, ISSUE: 3, PAGES: 65
6790
TITLE: Fatigued PageRank PDF
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 
arXiv
DBLP arXiv6791
TITLE: Fatigued Random Walks in Hypergraphs: A Neuronal Analogy to Improve Retrieval Performance PDF
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 arXiv
DBLP arXiv6792
TITLE: Fault-Ride-Through Approach for Grid-Tied Smart Transformers without Local Energy Storage Full Text
AUTHORS: Rodrigues, J ; Moreira, C ; Lopes, JP ;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 18, PAGES: 5622
AUTHORS: Rodrigues, J ; Moreira, C ; Lopes, JP ;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 18, PAGES: 5622
6793
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
6794
TITLE: Feasibility of Total White Blood Cells Counts by Visible-Near Infrared Spectroscopy
AUTHORS: Teresa Guerra Barroso ; Lénio Ribeiro ; Hugo Gregório; Filipe Santos ; Rui Costa Martins ;
PUBLISHED: 2021, SOURCE: Chemistry Proceedings, VOLUME: 5, ISSUE: 1, PAGES: 77
AUTHORS: Teresa Guerra Barroso ; Lénio Ribeiro ; Hugo Gregório; Filipe Santos ; Rui Costa Martins ;
PUBLISHED: 2021, SOURCE: Chemistry Proceedings, VOLUME: 5, ISSUE: 1, PAGES: 77
6795
TITLE: Feasibility of Utilizing Photovoltaics for Irrigation Purposes in Moamba, Mozambique Full Text
AUTHORS: Mindu, AJ; Capece, JA; Araujo, RE ; Oliveira, AC ;
PUBLISHED: 2021, SOURCE: SUSTAINABILITY, VOLUME: 13, ISSUE: 19, PAGES: 10998
AUTHORS: Mindu, AJ; Capece, JA; Araujo, RE ; Oliveira, AC ;
PUBLISHED: 2021, SOURCE: SUSTAINABILITY, VOLUME: 13, ISSUE: 19, PAGES: 10998
6796
TITLE: Feature-based Underwater Localization using Imaging Sonar in Confined Environments
AUTHORS: António J. Oliveira ; Bruno M Ferreira ; Nuno A Cruz ;
PUBLISHED: 2021, SOURCE: OCEANS 2021: San Diego – Porto
AUTHORS: António J. Oliveira ; Bruno M Ferreira ; Nuno A Cruz ;
PUBLISHED: 2021, SOURCE: OCEANS 2021: San Diego – Porto
6797
TITLE: Featured Team Automata
AUTHORS: ter Beek, MH; Cledou, G ; Hennicker, R; Proença, 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; Proença, J ;
PUBLISHED: 2021, SOURCE: 24th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2021, VOLUME: 13047, PAGES: 483-502
6798
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
6799
TITLE: Femtosecond laser micromachining of an optofluidics-based monolithic whispering-gallery mode resonator coupled to a suspended waveguide Full Text
AUTHORS: Maia, JM ; Amorim, VA ; Viveiros, D ; Marques, PVS ;
PUBLISHED: 2021, SOURCE: SCIENTIFIC REPORTS, VOLUME: 11, ISSUE: 1
AUTHORS: Maia, JM ; Amorim, VA ; Viveiros, D ; Marques, PVS ;
PUBLISHED: 2021, SOURCE: SCIENTIFIC REPORTS, VOLUME: 11, ISSUE: 1
6800
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
