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

536 Team Members
Filters -> Year: 2026
121
TITLE: A Personalized Digital Solution to Assist Task Organization and Time Management for People with Attention Deficit/Hyperactivity Disorder (ADHD)
AUTHORS: Joana Oliveira; Tânia Rocha; João Barroso ;
PUBLISHED: 2025, SOURCE: Technology for Inclusion and Participation for All: Recent Achievements and Future Directions, PAGES: 372-377
INDEXED IN: CrossRef
122
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
123
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
124
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
125
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
127
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
128
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
129
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
130
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
131
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
132
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
133
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
134
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
135
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
136
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
137
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
138
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
139
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
140
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

Results per Page: 20.
Page 7 of 536. Total results: 10704.