Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 17990

1699 Team Members
Filters -> Year: 2024
241
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
INDEXED IN: Scopus WOS DBLP CrossRef
242
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
INDEXED IN: CrossRef Unpaywall
243
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
244
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
INDEXED IN: Scopus WOS DBLP CrossRef
245
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
INDEXED IN: Scopus WOS CrossRef
246
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
INDEXED IN: Scopus WOS CrossRef Unpaywall
247
TITLE: Exposing and explaining fake news on-the-fly
AUTHORS: Francisco de Arriba Pérez; Silvia García Méndez; Fátima Leal; Benedita Malheiro ; Juan Carlos Burguillo;
PUBLISHED: 2024, SOURCE: Mach. Learn., VOLUME: 113, ISSUE: 7, PAGES: 4615-4637
INDEXED IN: DBLP
248
TITLE: Extreme Weather Events and the Energy Sector in 2021
AUTHORS: Juan A Añel; Celia Pérez Souto; Susana Bayo Besteiro ; Luis Prieto Godino; Hannah Bloomfield; Alberto Troccoli; LAURA DE LA Torre;
PUBLISHED: 2024, SOURCE: Weather, Climate, and Society, VOLUME: 16, ISSUE: 3, PAGES: 353-368
INDEXED IN: Scopus CrossRef Unpaywall
249
TITLE: Factors Affecting Cloud Computing Adoption in the Education Context-Systematic Literature Review
AUTHORS: Santos, Antonio; Martins, Jose; Pestana, Pedro Duarte; Goncalves, Ramiro; Mamede, Henrique Sao ; Branco, Frederico ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 71641-71674
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
250
TITLE: Feature Extraction from EEG signals for detection of Parkinsons Disease
AUTHORS: Caroline Souza; Giovanni Viana; Bruno Coelho ; Ana Beatriz Massaranduba; Rodrigo Ramos;
PUBLISHED: 2024, SOURCE: Anais do XVI Congresso Brasileiro de Inteligência Computacional
INDEXED IN: CrossRef
251
TITLE: Federated Learning in Medical Image Analysis: A Systematic Survey  Full Text
AUTHORS: da Silva, Fabiana Rodrigues; Camacho, Rui ; João Manuel R. S. Tavares;
PUBLISHED: 2024, SOURCE: ELECTRONICS, VOLUME: 13, ISSUE: 1, PAGES: 47
INDEXED IN: Scopus WOS CrossRef Unpaywall
252
TITLE: Flexibility extension in hydropower for the provision of frequency control services within the European energy transition  Full Text
AUTHORS: Vasconcelos, M. H. ; Castro, M. V. ; Nicolet, C.; Moreira, C. L. ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 156, PAGES: 109689
INDEXED IN: Scopus WOS CrossRef Unpaywall
253
TITLE: FLIGBY for graduates' employability enhancement in Computer Engineering  Full Text
AUTHORS: Almeida, Fernando ; Buzady, Zoltan;
PUBLISHED: 2024, SOURCE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION
INDEXED IN: Scopus WOS CrossRef
254
TITLE: Forecasting financial market structure from network features using machine learning PDF
AUTHORS: Castilho, Douglas; Souza, Tharsis T. P.; Kang, Soong Moon; Gama, Joao ; de Carvalho, Andre C. P. L. F.;
PUBLISHED: 2024, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: abs/2110.11751
INDEXED IN: Scopus WOS DBLP arXiv
255
TITLE: Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTHORS: José Bacelar Almeida; Santiago Arranz Olmos; Manuel Barbosa; Gilles Barthe; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Cameron Low; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference, CRYPTO 2024 in Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part II, VOLUME: 14921, PAGES: 384-421
INDEXED IN: Scopus DBLP
256
TITLE: Foundations for a Rust-Like Borrow Checker for C
AUTHORS: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PAGES: 155-165
INDEXED IN: Scopus WOS DBLP CrossRef
257
TITLE: Fourier (Common-Tone) Phase Spaces are in Tune with Variational Autoencoders' Latent Space
AUTHORS: Carvalho, Nadia; Bernardes, Gilberto ;
PUBLISHED: 2024, SOURCE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PAGES: 305-316
INDEXED IN: Scopus WOS CrossRef Unpaywall
258
TITLE: Fourier Qualia Wavescapes: Hierarchical Analyses of Set Class Quality and Ambiguity
AUTHORS: Pereira, Samuel; Affatato, Giovanni; Bernardes, Gilberto ; Moss, Fabian C.;
PUBLISHED: 2024, SOURCE: 9th International Conference on Mathematics and Computation in Music (MCM) in MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024, VOLUME: 14639, PAGES: 317-329
INDEXED IN: Scopus WOS CrossRef Unpaywall
259
TITLE: Framework for adaptive serious games  Full Text
AUTHORS: Pistono, Alvaro Marcos Antonio de Araujo; dos Santos, Arnaldo Manuel Pinto; Baptista, Ricardo Jose Vieira; Mamede, Henrique Sao ;
PUBLISHED: 2024, SOURCE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, VOLUME: 32, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
260
TITLE: From fault detection to anomaly explanation: A case study on predictive maintenance
AUTHORS: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLISHED: 2024, SOURCE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PAGES: 100821
INDEXED IN: Scopus WOS CrossRef Unpaywall

Results per Page: 20.
Page 13 of 900. Total results: 17990.