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

536 Team Members
Filters -> Year: 2026
121
TITLE: A Pipeline for AI-Based Quantitative Studies of Science Enhanced by Crowdsourced Inferential Modelling
AUTHORS: António Correia ; Tommi Kärkkäinen; Shoaib Jameel; Daniel Schneider; Pedro Antunes; Benjamim Fonseca ; Andrea Grover;
PUBLISHED: 2025, SOURCE: Lecture notes in networks and systems, PAGES: 291-300
INDEXED IN: CrossRef: 1 Unpaywall
122
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 CrossRef
123
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
124
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
126
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
127
TITLE: A Roadmap for Responsible Robotics: Promoting Human Agency and Collaborative Efforts  Full Text
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
128
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
129
TITLE: A sleek lock-free hash map in an ERA of safe memory reclamation methods  Full Text
AUTHORS: Moreno, Pedro ; Miguel Areias ; Rocha, Ricardo ;
PUBLISHED: 2025, SOURCE: PARALLEL COMPUTING, VOLUME: 126, PAGES: 103162
INDEXED IN: Scopus WOS DBLP CrossRef
130
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
131
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
132
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
133
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
134
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
135
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
136
TITLE: A Systematic Review on Long-Tailed Learning  Full Text
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: 18
137
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
138
TITLE: Acceleration of C/C++ Kernels and ONNX Models on CGRAs with MLIR-Based Compilation
AUTHORS: Juan Gallego; José Pedro Ferreira; Luís Alves; Daniel Vázquez; João Bispo ; Alfonso Rodríguez; Nuno Paulino ; Andrés Otero;
PUBLISHED: 2025, SOURCE: 40th Conference on Design of Circuits and Integrated Systems, DCIS 2025 in DCIS, PAGES: 239-244
INDEXED IN: Scopus DBLP CrossRef
139
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: 2
140
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 7 of 536. Total results: 10703.