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

536 Team Members
Filters -> Year: 2026
161
TITLE: A quantitative approach to global state composition
AUTHORS: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLISHED: 2025, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 35
INDEXED IN: Scopus WOS DBLP CrossRef
162
TITLE: A Recommendation System Based on a Microservice Architecture to Avoid Workplace Stress  Full Text
AUTHORS: Rodrigues, Fatima ; Pinelas, Francisco; Ferreira, Simao; Rodrigues, Matilde; Nuno Rocha;
PUBLISHED: 2025, SOURCE: ELECTRONICS, VOLUME: 14, ISSUE: 7, PAGES: 1446
INDEXED IN: Scopus WOS CrossRef
163
TITLE: A Reinforcement Learning Based Recommender System Framework for Web Apps: Radio and Game Aggregators Scenarios
AUTHORS: Batista, Andre; Jose M Torres ; Sobral, Pedro ; Moreira, Rui S. ; Christophe Soares ; Pereira, Ivo ;
PUBLISHED: 2025, SOURCE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT I, VOLUME: 14967, PAGES: 421-434
INDEXED IN: Scopus WOS DBLP CrossRef
165
TITLE: A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources  Full Text
AUTHORS: Freitas, Tadeu; Novo, Carlos; Dutra, Ines ; Soares, Joao ; Correia, Manuel E. ; Shariati, Benham; Martins, Rolando ;
PUBLISHED: 2025, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 55, ISSUE: 12, PAGES: 1915-1930
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
166
TITLE: A Roadmap for Responsible Robotics: Promoting Human Agency and Collaborative Efforts
AUTHORS: Araiza Illan, Dejanira; Baum, Kevin; Beebee, Helen; Chatila, Raja; Moth Lund Christensen, Sarah; Coghlan, Simon; Collins, Emily; Conroy, S. Kate; Cunha, Alcino ; Dobrosovestnova, Anna; Duijf, Hein; Evers, Vanessa; Fisher, Michael; Hochgeschwender, Nico; Kokciyan, Nadin; Lemaignan, Severin; Rodriguez Lera, Francisco; Ljungblad, Sara; Magnusson, Martin; Mansouri, Masoumeh; Milford, Michael; Moon, Ajung; Powers, Thomas M.; Salvini, Pericle; Scantamburlo, Teresa; Schuster, Nick; Slavkovik, Marija; Topcu, Ufuk; Vanegas, Daniel; Wasowski, Andrzej; Yang, Yi; ...More
PUBLISHED: 2025, SOURCE: IEEE ROBOTICS & AUTOMATION MAGAZINE, VOLUME: 32, ISSUE: 4, PAGES: 12-24
INDEXED IN: Scopus WOS DBLP CrossRef
167
TITLE: A robust methodology for long-term sustainability evaluation of Machine Learning models
AUTHORS: Jorge Paz Ruza; João Gama ; Amparo Alonso Betanzos; Bertha Guijarro Berdiñas;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.08120
INDEXED IN: DBLP
168
TITLE: A sleek lock-free hash map in an ERA of safe memory reclamation methods
AUTHORS: Moreno, Pedro ; Miguel Areias ; Rocha, Ricardo ;
PUBLISHED: 2025, SOURCE: PARALLEL COMPUTING, VOLUME: 126, PAGES: 103162
INDEXED IN: Scopus WOS DBLP CrossRef
169
TITLE: A Smart Tool to Unlock Hidden Insights in Industrial Data by Leveraging EDA, LLM, Conformal Prediction, and AutoML
AUTHORS: Vasco Costa ; Diogo Costa; Eugénio Rocha;
PUBLISHED: 2025, SOURCE: 6th International Conference on Industry 4.0 and Smart Manufacturing, ISM 2024 in Procedia Computer Science, VOLUME: 253, PAGES: 2615-2624
INDEXED IN: Scopus CrossRef: 1
170
TITLE: A Statistical Duality for Random Matching of Agents  Full Text
AUTHORS: Yannacopoulos, Athanasios; Oliveira, Bruno ; Ferreira, Miguel; Martins, Jose ; Pinto, Alberto ;
PUBLISHED: 2025, SOURCE: MATHEMATICAL METHODS IN THE APPLIED SCIENCES, VOLUME: 48, ISSUE: 12, PAGES: 12421-12426
INDEXED IN: Scopus WOS CrossRef Unpaywall
171
TITLE: A Survey on the State of the Art of Causally Consistent Cloud Systems  Full Text
AUTHORS: Freitas, Diana; Degrandis, Paul; Sousa, Tiago Boldt ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 9
INDEXED IN: Scopus WOS CrossRef
172
TITLE: A Systematic Literature Review on Multi-label Data Stream Classification
AUTHORS: Freire F Oliveira; Elaine Ribeiro de Faria; João Gama ; Latifur Khan; Ricardo Cerri;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2508.17455
INDEXED IN: DBLP
173
TITLE: A Systematic Review and Comparison of Calibration Techniques for UWB Localization Anchors
AUTHORS: Simoes, Sancho Amaral; Araujo, Helder; Abreu, Pedro Henriques ;
PUBLISHED: 2025, SOURCE: 9th 8th International Young Engineers Forum on Electrical and Computer Engineering-YEF-ECE in 2025 9TH INTERNATIONAL YOUNG ENGINEERS FORUM ON ELECTRICAL AND COMPUTER ENGINEERING, YEF-ECE, PAGES: 192-199
INDEXED IN: Scopus WOS CrossRef
174
TITLE: A Systematic Review of Cyber Threat Intelligence: The Effectiveness of Technologies, Strategies, and Collaborations in Combating Modern Threats  Full Text
AUTHORS: Santos, Pedro; Abreu, Rafael; Reis, Manuel J. C. S.; C. Serôdio; Branco, Frederico ;
PUBLISHED: 2025, SOURCE: SENSORS, VOLUME: 25, ISSUE: 14, PAGES: 4272
INDEXED IN: Scopus WOS CrossRef
175
TITLE: A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
AUTHORS: Carolina Carreira; Alexandra Mendes ; João F Ferreira; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02109
INDEXED IN: DBLP
176
TITLE: A Systematic Review on Long-Tailed Learning
AUTHORS: Zhang, Chongsheng; Almpanidis, George; Fan, Gaojuan; Deng, Binquan; Zhang, Yanbo; Liu, Ji; Kamel, Aouaidjia; Soda, Paolo; Gama, Joao ;
PUBLISHED: 2025, SOURCE: IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, VOLUME: 36, ISSUE: 8, PAGES: 13670-13690
INDEXED IN: Scopus WOS DBLP CrossRef: 27
177
TITLE: A Tight Security Proof for SPHINCS+, Formally Verified
AUTHORS: Barbosa, Manuel ; Dupressoir, Francois; Hulsing, Andreas; Meijers, Matthias; Strub, Pierre Yves;
PUBLISHED: 2025, SOURCE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT IV, VOLUME: 15487, PAGES: 35-67
INDEXED IN: Scopus WOS DBLP CrossRef
178
TITLE: Acceleration of C/C plus plus Kernels and ONNX Models on CGRAs with MLIR-Based Compilation
AUTHORS: Gallego, Juan; Ferreira, Jose; Alves, Luis; Vazquez, Daniel; Bispo, Joao ; Rodriguez, Alfonso; Paulino, Nuno ; Otero, Andres;
PUBLISHED: 2025, SOURCE: 40th Conference Design of Circuits and Integrated Systems-DCIS in 2025 40TH CONFERENCE ON DESIGN OF CIRCUITS AND INTEGRATED SYSTEMS, DCIS, PAGES: 239-244
INDEXED IN: Scopus WOS DBLP CrossRef
179
TITLE: Acceptance Test Generation with Large Language Models: An Industrial Case Study
AUTHORS: Ferreira, Margarida; Viegas, Luis; Faria, Joao Pascoal ; Lima, Bruno ;
PUBLISHED: 2025, SOURCE: 6th International Conference on Automation of Software Test-AST-Annual in 2025 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST, PAGES: 1-11
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Unpaywall
180
TITLE: Active Attribute Inference Against Well-Generalized Models In Federated Learning
AUTHORS: Gomes, Catarina; Mendes, Ricardo; Vilela, Joao P. ;
PUBLISHED: 2025, SOURCE: 10th European Symposium on Security and Privacy-EUROSANDP-Annual in 2025 IEEE 10TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P, PAGES: 17-37
INDEXED IN: Scopus WOS CrossRef: 1

Results per Page: 20.
Page 9 of 533. Total results: 10646.