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: 19029
1704 Team MembersFilters -> Year: 2025
541
TITLE: Explainable Deep Learning Methods in Medical Image Classification: A Survey
AUTHORS: Cristiano Patrício ; João Neves; Luis F. Teixeira ;
PUBLISHED: 2024, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 56, ISSUE: 4, PAGES: 85:1-85:41
AUTHORS: Cristiano Patrício ; João Neves; Luis F. Teixeira ;
PUBLISHED: 2024, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 56, ISSUE: 4, PAGES: 85:1-85:41
542
TITLE: Explainable Multimodal Deep Learning for Heart Sounds and Electrocardiogram Classification
AUTHORS: Bruno Oliveira; André Lobo; Cátia Isabel Andrade Botelho Costa; Ricardo Fontes Carvalho; Miguel T Coimbra ; Francesco Renna ;
PUBLISHED: 2024, SOURCE: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2024, Orlando, FL, USA, July 15-19, 2024, PAGES: 1-4
AUTHORS: Bruno Oliveira; André Lobo; Cátia Isabel Andrade Botelho Costa; Ricardo Fontes Carvalho; Miguel T Coimbra ; Francesco Renna ;
PUBLISHED: 2024, SOURCE: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2024, Orlando, FL, USA, July 15-19, 2024, PAGES: 1-4
543
TITLE: Explaining Bounding Boxes in Deep Object Detectors Using Post Hoc Methods for Autonomous Driving Systems Full Text
AUTHORS: Nogueira, Caio; Fernandes, Luis ; Fernandes, Joao N. D. ; Cardoso, Jaime S. ;
PUBLISHED: 2024, SOURCE: SENSORS, VOLUME: 24, ISSUE: 2, PAGES: 516
AUTHORS: Nogueira, Caio; Fernandes, Luis ; Fernandes, Joao N. D. ; Cardoso, Jaime S. ;
PUBLISHED: 2024, SOURCE: SENSORS, VOLUME: 24, ISSUE: 2, PAGES: 516
544
TITLE: Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
AUTHORS: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLISHED: 2024, SOURCE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517, PAGES: 179-197
AUTHORS: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLISHED: 2024, SOURCE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517, PAGES: 179-197
545
TITLE: Exploiting the determinant factors on the available flexibility area of ADN's at TSO-DSO interface
AUTHORS: Rabiee, Abbas; Bessa, Ricardo J. ; Sumaili, Jean; Keane, Andrew; Soroudi, Alireza;
PUBLISHED: 2024, SOURCE: IET RENEWABLE POWER GENERATION, VOLUME: 18, ISSUE: 14, PAGES: 2455-2467
AUTHORS: Rabiee, Abbas; Bessa, Ricardo J. ; Sumaili, Jean; Keane, Andrew; Soroudi, Alireza;
PUBLISHED: 2024, SOURCE: IET RENEWABLE POWER GENERATION, VOLUME: 18, ISSUE: 14, PAGES: 2455-2467
546
TITLE: Exploring Clustering to Improve Interpretability in Complex Energy Forecasting Models
AUTHORS: Teixeira, Brigida; Valina, Luis; Pinto, Tiago ; Reis, Arsenio; Barroso, Joao; Vales, Zita;
PUBLISHED: 2024, SOURCE: International Conference on Smart Energy Systems and Technologies (SEST) - Driving the Advances for Future Electrification in 2024 INTERNATIONAL CONFERENCE ON SMART ENERGY SYSTEMS AND TECHNOLOGIES, SEST 2024
AUTHORS: Teixeira, Brigida; Valina, Luis; Pinto, Tiago ; Reis, Arsenio; Barroso, Joao; Vales, Zita;
PUBLISHED: 2024, SOURCE: International Conference on Smart Energy Systems and Technologies (SEST) - Driving the Advances for Future Electrification in 2024 INTERNATIONAL CONFERENCE ON SMART ENERGY SYSTEMS AND TECHNOLOGIES, SEST 2024
INDEXED IN:
Scopus
WOS


547
TITLE: Exploring Frama-C Resources by Verifying Space Software
AUTHORS: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2024, SOURCE: Computer Science Foundations and Applied Logic, PAGES: 583-615
AUTHORS: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2024, SOURCE: Computer Science Foundations and Applied Logic, PAGES: 583-615
INDEXED IN:
CrossRef
Unpaywall


548
TITLE: Exploring HEIs Students' Perceptions of Artificial Intelligence on their Learning Process
AUTHORS: Lurdes Babo; Jorge P Mendonca; Ricardo Queiros ; Carla A Pinto; Mario Cruz; Daniela Mascarenhas;
PUBLISHED: 2024, SOURCE: 5th International Conference in Electronic Engineering, Information Technology and Education, EEITE 2024 in EEITE 2024 - Proceedings of 2024 5th International Conference in Electronic Engineering, Information Technology and Education, PAGES: 1-5
AUTHORS: Lurdes Babo; Jorge P Mendonca; Ricardo Queiros ; Carla A Pinto; Mario Cruz; Daniela Mascarenhas;
PUBLISHED: 2024, SOURCE: 5th International Conference in Electronic Engineering, Information Technology and Education, EEITE 2024 in EEITE 2024 - Proceedings of 2024 5th International Conference in Electronic Engineering, Information Technology and Education, PAGES: 1-5
INDEXED IN:
Scopus
CrossRef


549
TITLE: Exploring local chlorine generation through seawater electrolysis to Extend optical sensor lifespan in marine environments Full Text
AUTHORS: Matos, T.; Pinto, V. C.; Sousa, P. J.; Martins, M. S. ; Fernandez, E.; Goncalves, L. M.;
PUBLISHED: 2024, SOURCE: CHEMICAL ENGINEERING JOURNAL, VOLUME: 500, PAGES: 156836
AUTHORS: Matos, T.; Pinto, V. C.; Sousa, P. J.; Martins, M. S. ; Fernandez, E.; Goncalves, L. M.;
PUBLISHED: 2024, SOURCE: CHEMICAL ENGINEERING JOURNAL, VOLUME: 500, PAGES: 156836
550
TITLE: Exploring Mode Identification in Irish Folk Music with Unsupervised Machine Learning and Template-Based Techniques
AUTHORS: Navarro Caceres, Juan Jose; Carvalho, Nadia ; Bernardes, Gilberto ; Jimenez Bravo, Diego M.; Navarro Caceres, Maria;
PUBLISHED: 2024, SOURCE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PAGES: 412-420
AUTHORS: Navarro Caceres, Juan Jose; Carvalho, Nadia ; Bernardes, Gilberto ; Jimenez Bravo, Diego M.; Navarro Caceres, Maria;
PUBLISHED: 2024, SOURCE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PAGES: 412-420
551
TITLE: Exploring new phenomena in analogue physical simulations through an optical feedback loop in paraxial light fluids
AUTHORS: Ferreira, Tiago D. ; Guerreiro, Ariel ; Silva, Nuno A. ;
PUBLISHED: 2024, SOURCE: Conference on Nonlinear Optics and its Applications in NONLINEAR OPTICS AND ITS APPLICATIONS 2024, VOLUME: 13004
AUTHORS: Ferreira, Tiago D. ; Guerreiro, Ariel ; Silva, Nuno A. ;
PUBLISHED: 2024, SOURCE: Conference on Nonlinear Optics and its Applications in NONLINEAR OPTICS AND ITS APPLICATIONS 2024, VOLUME: 13004
552
TITLE: Exploring students' opinion on software testing courses
AUTHORS: Cammaerts, Felix; Tramontana, Porfirio; Paiva, Ana C. R. ; Flores, Nuno ; Ricos, Fernando Pastor; Snoeck, Monique;
PUBLISHED: 2024, SOURCE: 28th International Conference on Evaluation and Assessment in Software Engineering (EASE) in PROCEEDINGS OF 2024 28TH INTERNATION CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2024, PAGES: 570-579
AUTHORS: Cammaerts, Felix; Tramontana, Porfirio; Paiva, Ana C. R. ; Flores, Nuno ; Ricos, Fernando Pastor; Snoeck, Monique;
PUBLISHED: 2024, SOURCE: 28th International Conference on Evaluation and Assessment in Software Engineering (EASE) in PROCEEDINGS OF 2024 28TH INTERNATION CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2024, PAGES: 570-579
553
TITLE: Exploring the Differences and Similarities between Smart Cities and Sustainable Cities through an Integrative Review Full Text
AUTHORS: Almeida, Fernando ; Guimaraes, Cristina Machado; Amorim, Vasco ;
PUBLISHED: 2024, SOURCE: SUSTAINABILITY, VOLUME: 16, ISSUE: 20, PAGES: 8890
AUTHORS: Almeida, Fernando ; Guimaraes, Cristina Machado; Amorim, Vasco ;
PUBLISHED: 2024, SOURCE: SUSTAINABILITY, VOLUME: 16, ISSUE: 20, PAGES: 8890
554
TITLE: Exploring the differences between Multi-task and Single-task with the use of hxplainable AI for lung nodule classification
AUTHORS: Fernandes, Luis ; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2024, SOURCE: 37th International Symposium on Computer-Based Medical Systems (CBMS) in 2024 IEEE 37TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, CBMS 2024, PAGES: 418-423
AUTHORS: Fernandes, Luis ; Pereira, Tania ; Oliveira, Helder P. ;
PUBLISHED: 2024, SOURCE: 37th International Symposium on Computer-Based Medical Systems (CBMS) in 2024 IEEE 37TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, CBMS 2024, PAGES: 418-423
555
TITLE: Exploring the dynamics of the Kelvin-Helmholtz instability in paraxial fluids of light
AUTHORS: Ferreira, Tiago D. ; Garwola, Jakub; Silva, Nuno A. ;
PUBLISHED: 2024, SOURCE: PHYSICAL REVIEW A, VOLUME: 109, ISSUE: 4
AUTHORS: Ferreira, Tiago D. ; Garwola, Jakub; Silva, Nuno A. ;
PUBLISHED: 2024, SOURCE: PHYSICAL REVIEW A, VOLUME: 109, ISSUE: 4
556
TITLE: Exploring Virtual Reality in Omnichannel Marketing: A Systematic Review
AUTHORS: Rogério Silva; Ivo Pereira; Susana Nicola; Ana Maria Madureira ;
PUBLISHED: 2024, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 386, PAGES: 865-880
AUTHORS: Rogério Silva; Ivo Pereira; Susana Nicola; Ana Maria Madureira ;
PUBLISHED: 2024, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 386, PAGES: 865-880
557
TITLE: Exposing and explaining fake news on-the-fly Full Text
AUTHORS: de Arriba Perez, Francisco; Garcia Mendez, Silvia; Leal, Fatima; Malheiro, Benedita ; Burguillo, Juan Carlos;
PUBLISHED: 2024, SOURCE: MACHINE LEARNING, VOLUME: 113, ISSUE: 7, PAGES: 4615-4637
AUTHORS: de Arriba Perez, Francisco; Garcia Mendez, Silvia; Leal, Fatima; Malheiro, Benedita ; Burguillo, Juan Carlos;
PUBLISHED: 2024, SOURCE: MACHINE LEARNING, VOLUME: 113, ISSUE: 7, PAGES: 4615-4637
558
TITLE: Extending AC Security Constrained Optimal Power Flow for Low Inertia Systems with Artificial Neural Network-based Frequency Stability Constraints
AUTHORS: Mohammad Iman Alizadeh; Florin Capitanescu; Pedro P. Barbeiro; José Gouveia; Carlos L. Moreira ; Filipe Soares;
PUBLISHED: 2024, SOURCE: 2024 IEEE PES Innovative Smart Grid Technologies Europe (ISGT EUROPE), PAGES: 1-5
AUTHORS: Mohammad Iman Alizadeh; Florin Capitanescu; Pedro P. Barbeiro; José Gouveia; Carlos L. Moreira ; Filipe Soares;
PUBLISHED: 2024, SOURCE: 2024 IEEE PES Innovative Smart Grid Technologies Europe (ISGT EUROPE), PAGES: 1-5
INDEXED IN:
CrossRef
Unpaywall


559
TITLE: Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware
AUTHORS: Barradas, Diogo; Novo, Carlos; Portela, Bernardo ; Romeiro, Sofia; Santos, Nuno;
PUBLISHED: 2024, SOURCE: 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID) in PROCEEDINGS OF 27TH INTERNATIONAL SYMPOSIUM ON RESEARCH IN ATTACKS, INTRUSIONS AND DEFENSES, RAID 2024, PAGES: 181-196
AUTHORS: Barradas, Diogo; Novo, Carlos; Portela, Bernardo ; Romeiro, Sofia; Santos, Nuno;
PUBLISHED: 2024, SOURCE: 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID) in PROCEEDINGS OF 27TH INTERNATIONAL SYMPOSIUM ON RESEARCH IN ATTACKS, INTRUSIONS AND DEFENSES, RAID 2024, PAGES: 181-196
560
TITLE: Extending the Quantitative Pattern-Matching Paradigm
AUTHORS: Sandra Alves ; Delia Kesner; Miguel Ramos ;
PUBLISHED: 2024, SOURCE: 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024 in Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings, VOLUME: 15194, PAGES: 84-105
AUTHORS: Sandra Alves ; Delia Kesner; Miguel Ramos ;
PUBLISHED: 2024, SOURCE: 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024 in Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings, VOLUME: 15194, PAGES: 84-105