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

531 Team Members
Filters -> Year: 2025
81
TITLE: A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP)
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
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: 178-182
INDEXED IN: Scopus WOS DBLP CrossRef
82
TITLE: A Framework for Consistency Models in Distributed Systems
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.16355
INDEXED IN: DBLP
83
TITLE: A Gamification-Based Tool to Promote Accessible Design
AUTHORS: Mohammad Gulam Lorgat ; Hugo Paredes ; Tânia Rocha ;
PUBLISHED: 2024, SOURCE: World Conference on Smart Trends in Systems, Security and Sustainability, WS4 2023 in Lecture Notes in Networks and Systems, VOLUME: 812, PAGES: 373-390
INDEXED IN: Scopus CrossRef Unpaywall
84
TITLE: A genetic algorithm for the Resource-Constrained Project Scheduling Problem with Alternative Subgraphs using a boolean satisfiability solver  Full Text
AUTHORS: Servranckx, Tom; Coelho, Jose ; Vanhoucke, Mario;
PUBLISHED: 2024, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 316, ISSUE: 3, PAGES: 815-827
INDEXED IN: Scopus WOS CrossRef Unpaywall
85
TITLE: A Language for Explaining Counterexamples
AUTHORS: Ezequiel José Veloso Ferreira Moreira; José Creissac Campos ;
PUBLISHED: 2024, SOURCE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024 in 13th Symposium on Languages, Applications and Technologies, SLATE 2024, July 4-5, 2024, Águeda, Portugal, VOLUME: 120, PAGES: 11:1-11:14
INDEXED IN: Scopus DBLP
86
TITLE: A large-scale empirical study on mobile performance: energy, run-time and memory
AUTHORS: Rua, Rui; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 29, ISSUE: 1, PAGES: 31
INDEXED IN: Scopus WOS DBLP CrossRef
87
TITLE: A Legal Framework for Natural Language Processing Model Training in Portugal
AUTHORS: Rúben Almeida; Evelin Amorim ;
PUBLISHED: 2024, SOURCE: 2024 Workshop on Legal and Ethical Issues in Human Language Technologies, LEGAL 2024 in Legal and Ethical Issues in Human Language Technologies 2024, LEGAL 2024 at LREC-COLING 2024 - Workshop Proceedings, PAGES: 6-12
INDEXED IN: Scopus
88
TITLE: A Lightweight Ontology for Enterprise Architecture Mining of API Gateway Logs
AUTHORS: Pinheiro, Carlos Roberto; Guerreiro, Sergio Luis Proenca Duarte; Mamede, Henrique S. ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 128585-128601
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
89
TITLE: A Machine Learning as a Service (MLaaS) Approach to Improve Marketing Success
AUTHORS: Pereira, Ivo ; Ana Maria Madureira ; Bettencourt, Nuno ; Coelho, Duarte; Rebelo, Miguel Angelo; Araujo, Carolina; de Oliveira, Daniel Alves;
PUBLISHED: 2024, SOURCE: INFORMATICS-BASEL, VOLUME: 11, ISSUE: 2, PAGES: 19
INDEXED IN: Scopus WOS DBLP CrossRef
90
TITLE: A matheuristic for the resource-constrained project scheduling problem  Full Text
AUTHORS: Vanhoucke, Mario; Coelho, Jose ;
PUBLISHED: 2024, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 319, ISSUE: 3, PAGES: 711-725
INDEXED IN: Scopus WOS CrossRef Unpaywall
91
TITLE: A Neuro-Symbolic Explainer for Rare Events: A Case Study on Predictive Maintenance
AUTHORS: João Gama ; Rita P Ribeiro ; Saulo Martiello Mastelini; Narjes Davari; Bruno Veloso ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2404.14455
INDEXED IN: DBLP
92
TITLE: A Privacy-Aware Remapping Mechanism for Location Data
AUTHORS: Duarte, Guilherme; Cunha, Mariana ; Vilela, Joao P. ;
PUBLISHED: 2024, SOURCE: 39th Annual ACM Symposium on Applied Computing (SAC) in 39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, PAGES: 1433-1440
INDEXED IN: Scopus WOS CrossRef: 1
93
TITLE: A Reinforcement Learning Based Recommender System Framework for Web Apps: Radio and Game Aggregators Scenarios
AUTHORS: André Batista; Jose M Torres ; Pedro Miguel Sobral; Rui S Moreira ; Christophe Soares; Ivo Pereira;
PUBLISHED: 2024, SOURCE: 23rd EPIA Conference on Artificial Intelligence, EPIA 2024 in Progress in Artificial Intelligence - 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part I, VOLUME: 14967, PAGES: 421-434
INDEXED IN: Scopus DBLP CrossRef
94
TITLE: A review on the decarbonization of high-performance computing centers
AUTHORS: Silva, C. A. ; Vilaca, R. ; Pereira, A. ; Bessa, R. J. ;
PUBLISHED: 2024, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 189, PAGES: 114019
INDEXED IN: Scopus WOS CrossRef
95
TITLE: A Scoping Review of the Use of Blockchain and Machine Learning in Medical Imaging Applications
AUTHORS: Pavao, Joao ; BASTARDO, Rute ; Rocha, Nelson Pacheco;
PUBLISHED: 2024, SOURCE: 12th World Conference on Information Systems and Technologies (WorldCIST) in GOOD PRACTICES AND NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, WORLDCIST 2024, VOLUME: 986, PAGES: 107-117
INDEXED IN: Scopus WOS DBLP CrossRef
96
TITLE: A Systematic Review of Computer Vision Techniques for Quality Control in End-of-Line Visual Inspection of Antenna Parts
AUTHORS: Ullah, Zia; Qi, Lin; Pires, E. J. Solteiro ; Reis, Arsenio; Nunes, Ricardo Rodrigues;
PUBLISHED: 2024, SOURCE: CMC-COMPUTERS MATERIALS & CONTINUA, VOLUME: 80, ISSUE: 2, PAGES: 2387-2421
INDEXED IN: Scopus WOS
97
TITLE: A systematic review of the use of FHIR to support clinical research, public health and medical education
AUTHORS: Pavao, Joao; BASTARDO, Rute ; Rocha, Nelson Pacheco;
PUBLISHED: 2024, SOURCE: DATA TECHNOLOGIES AND APPLICATIONS
INDEXED IN: Scopus WOS
98
TITLE: A Systematic Review on Long-Tailed Learning
AUTHORS: Chongsheng Zhang; George Almpanidis; Gaojuan Fan; Binquan Deng; Yanbo Zhang; Ji Liu; Aouaidjia Kamel; Paolo Soda; João Gama ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2408.00483
INDEXED IN: Scopus DBLP
99
TITLE: A Systematic Review on Responsible Multimodal Sentiment Analysis in Marketing Applications
AUTHORS: Cesar, Ines; Pereira, Ivo ; Rodrigues, Fatima; Migueis, Vera L. ; Nicola, Susana; Ana Maria Madureira ; Reis, Jose Luis; Marques dos Santos, José Paulo ; De Oliveira, Daniel Alves;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 111943-111961
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
100
TITLE: A Tight Security Proof for SPHINCS+, Formally Verified
AUTHORS: Manuel Barbosa ; François Dupressoir; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLISHED: 2024, SOURCE: Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part IV, VOLUME: 15487, PAGES: 35-67
INDEXED IN: DBLP

Results per Page: 20.
Page 5 of 435. Total results: 8690.