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

531 Team Members
Filters -> Year: 2025
101
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
102
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
103
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
104
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
105
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
106
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
107
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
108
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
109
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
110
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
111
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
112
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
113
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
114
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
115
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, PAGES: 1-21
INDEXED IN: Scopus DBLP CrossRef: 1
116
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
117
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
118
TITLE: A worldwide overview on the information security posture of online public services  Full Text
AUTHORS: João Marco Silva ; Diogo Ribeiro ; Luis Felipe M Ramos; Victor Fonte ;
PUBLISHED: 2024, SOURCE: 57th Hawaii International Conference on System Sciences (HICSS) in PROCEEDINGS OF THE 57TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, PAGES: 1881-1890
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
119
TITLE: ACE-2005-PT: Corpus for Event Extraction in Portuguese
AUTHORS: Cunha, Luis Filipe; Silvano, Purificacao; Campos, Ricardo ; Jorge, Alipio ;
PUBLISHED: 2024, SOURCE: 47th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR) in PROCEEDINGS OF THE 47TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL, SIGIR 2024, PAGES: 661-666
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
120
TITLE: Adaptation and Validation of the Simulator Sickness Questionnaire to Portuguese (SSQp) Based on Immersive Virtual Reality Exposure
AUTHORS: Goncalves, Guilherme ; Melo, Miguel; C. Serôdio; Silva, Rui; Bessa, Maximino ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 92708-92717
INDEXED IN: WOS DBLP CrossRef

Results per Page: 20.
Page 6 of 436. Total results: 8704.