CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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: 8103

531 Team Members
Filters -> Year: 2024
81
TITLE: Educational Practices and Strategies With Immersive Learning Environments: Mapping of Reviews for Using the Metaverse
AUTHORS: Beck, Dennis; Morgado, Leonel ; O'Shea, Patrick;
PUBLISHED: 2024, SOURCE: IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, VOLUME: 17, PAGES: 319-341
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall Handle
82
TITLE: Effects of Work-Family Conflict and Facilitation Profiles on Work Engagement
AUTHORS: Carvalho, Carla; Monico, Lisete; Pinto, Ana; Soraia Oliveira ; Leite, Eduardo;
PUBLISHED: 2024, SOURCE: SOCIETIES, VOLUME: 14, ISSUE: 7, PAGES: 110
INDEXED IN: Scopus WOS CrossRef
83
TITLE: Eight Weeks of Intermittent Exercise in Hypoxia, with or without a Low-Carbohydrate Diet, Improves Bone Mass and Functional and Physiological Capacity in Older Adults with Type 2 Diabetes  Full Text
AUTHORS: Kindlovits, Raquel; Sousa, Ana Catarina; Viana, Joao Luis; Milheiro, Jaime; Oliveira, Bruno M. P. M. ; Marques, Franklim; Santos, Alejandro ; Teixeira, Vitor Hugo ;
PUBLISHED: 2024, SOURCE: NUTRIENTS, VOLUME: 16, ISSUE: 11, PAGES: 1624
INDEXED IN: Scopus WOS CrossRef
84
TITLE: Embracing modern C++ features: An empirical assessment on the KDE community
AUTHORS: Walter Lucas; Fausto Carvalho; Rafael Campos Nunes; Rodrigo Bonifácio; João Saraiva ; Paola R G Accioly;
PUBLISHED: 2024, SOURCE: J. Softw. Evol. Process., VOLUME: 36, ISSUE: 5
INDEXED IN: DBLP
85
TITLE: Energy-efficient job shop scheduling problem with transport resources considering speed adjustable resources  Full Text
AUTHORS: Fontes, Dalila B. M. M. ; Homayouni, Seyed Mahdi ; Fernandes, Joao Chaves ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 62, ISSUE: 3, PAGES: 867-890
INDEXED IN: Scopus WOS DBLP CrossRef: 9 Unpaywall
86
TITLE: Enhancing Object Detection in Maritime Environments Using Metadata
AUTHORS: Fernandes, Diogo Samuel; Bispo, Joao ; Bento, Luis Conde; Figueiredo, Monica;
PUBLISHED: 2024, SOURCE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT II, VOLUME: 14470, PAGES: 76-89
INDEXED IN: Scopus WOS DBLP CrossRef
87
TITLE: Enhancing Underwater Inspection Capabilities: A Learning-Based Approach for Automated Pipeline Visibility Assessment
AUTHORS: Mina, Joao; Leite, Pedro Nuno ; Carvalho, Joao; Pinho, Lourenco; Goncalves, Eduardo P.; Pinto, Andry Maykol;
PUBLISHED: 2024, SOURCE: 6th Iberian Robotics Conference (Robot) in ROBOT 2023: SIXTH IBERIAN ROBOTICS CONFERENCE, VOL 2, VOLUME: 978, PAGES: 162-173
INDEXED IN: Scopus WOS CrossRef Unpaywall
88
TITLE: Enhancing Weather Forecasting Integrating LSTM and GA
AUTHORS: Teixeira, Rita; Cerveira, Adelaide ; Pires, Eduardo J. Solteiro; Baptista, Jose ;
PUBLISHED: 2024, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 14, ISSUE: 13, PAGES: 5769
INDEXED IN: Scopus WOS CrossRef
89
TITLE: ESG in Advertising Narratives: Case Analysis of Golden Lion Winning Campaigns at Cannes 2022
AUTHORS: de Araujo, Daniel Ladeira; Garcia, Jorge Esparteiro ; Serra da Fonseca, Manuel Jose ; Andrade, Jose Gabriel;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, VOLUME: 802, PAGES: 43-50
INDEXED IN: Scopus WOS DBLP CrossRef
91
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
92
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
93
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
94
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
95
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
96
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
97
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
98
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
99
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
100
TITLE: From Random to Informed Data Selection: A Diversity-Based Approach to Optimize Human Annotation and Few-Shot Learning
AUTHORS: Alexandre Alcoforado; Lucas Hideki Okamura; Israel Campos Fama; Bárbara Fernandes Dias Bueno; Arnold Moya Lavado; Thomas Palmeira Ferraz; Bruno Veloso ; Anna Helena Reali Costa;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PAGES: 492-502
INDEXED IN: DBLP

Results per Page: 20.
Page 5 of 406. Total results: 8103.