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

530 Team Members
Filters -> Year: 2025
241
TITLE: Optimizing job shop scheduling with speed-adjustable machines and peak power constraints: A mathematical model and heuristic solutions
AUTHORS: Homayouni, S. Mahdi; Fontes, Dalila B. M. M. ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 32, ISSUE: 1, PAGES: 194-220
INDEXED IN: Scopus WOS DBLP CrossRef: 4
242
TITLE: Optimizing Renewable Microgrid Performance Through Hydrogen Storage Integration  Full Text
AUTHORS: Bruno Ribeiro; José Baptista ; Adelaide Cerveira;
PUBLISHED: 2025, SOURCE: Algorithms, VOLUME: 18, ISSUE: 10, PAGES: 656
INDEXED IN: CrossRef
243
TITLE: Osiris: A Multi-Language Transpiler for Educational Purposes
AUTHORS: Breno Marrão; José Paulo Leal ; Ricardo Queirós;
PUBLISHED: 2025, SOURCE: 6th International Computer Programming Education Conference, ICPEC 2025, July 10-11, 2025, PORTIC, Polytechnic of Porto, Portugal, VOLUME: 133, PAGES: 17:1-17:14
INDEXED IN: DBLP
244
TITLE: PAP900: A dataset of semantic relationships between affective words in Portuguese
AUTHORS: dos Santos, Andre Fernandes; Leal, Jose Paulo ; Alves, Rui Alexandre; Jacques, Teresa;
PUBLISHED: 2025, SOURCE: DATA IN BRIEF, VOLUME: 61, PAGES: 111726
INDEXED IN: Scopus WOS CrossRef
245
TITLE: Paraconsistency for the Working Software Engineer (Extended Abstract)
AUTHORS: Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2024, VOLUME: 15280, PAGES: 22-30
INDEXED IN: Scopus WOS DBLP CrossRef
246
TITLE: Paraconsistent Relations as a Variant of Kleene Algebras  Full Text
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLISHED: 2025, SOURCE: 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2506.05840, ISSUE: 421, PAGES: 130-147
INDEXED IN: Scopus WOS DBLP
247
TITLE: Parametric models for distributional data  Full Text
AUTHORS: Brito, Paula ; Silva, A. Pedro Duarte ;
PUBLISHED: 2025, SOURCE: ADVANCES IN DATA ANALYSIS AND CLASSIFICATION
INDEXED IN: Scopus WOS CrossRef
248
TITLE: Performance Analysis and Evaluation of Cloud Vision Emotion APIs
AUTHORS: Salik Ram Khanal; Prabin Sharma; Kisan Thapa; Hugo Fernandes; João Manuel Pereira Barroso ; Manuel De Jesus Filipe ;
PUBLISHED: 2025, SOURCE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, PAGES: 215-221
INDEXED IN: Scopus CrossRef: 1
249
TITLE: Ph.D. Project: Holistic Partitioning and Optimization of CPU-FPGA Applications Through Source-to-Source Compilation
AUTHORS: Santos, Tiago; Bispo, Joao; Cardoso, Joao M. P. ;
PUBLISHED: 2025, SOURCE: 33rd International Symposium on Field Programmable Custom Computing Machines-FCCM-Annual in 2025 IEEE 33RD ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, FCCM, PAGES: 308-309
INDEXED IN: Scopus WOS DBLP CrossRef
250
TITLE: PolyNarrative: A Multilingual, Multilabel, Multi-domain Dataset for Narrative Extraction from News Articles
AUTHORS: Nikolaos Nikolaidis; Nicolas Stefanovitch; Purificação Silvano; Dimitar Iliyanov Dimitrov; Roman Yangarber; Nuno Guimarães ; Elisa Sartori; Ion Androutsopoulos; Preslav Nakov; Giovanni Da San Martino; Jakub Piskorski;
PUBLISHED: 2025, SOURCE: Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2025, Vienna, Austria, July 27 - August 1, 2025, PAGES: 31323-31345
INDEXED IN: DBLP
251
TITLE: Post, Predict, and Rank: Exploring the Relationship Between Social Media Strategy and Higher Education Institution Rankings
AUTHORS: Rocha, Bruna; Figueira, Alvaro ;
PUBLISHED: 2025, SOURCE: INFORMATICS-BASEL, VOLUME: 12, ISSUE: 1, PAGES: 6
INDEXED IN: Scopus WOS CrossRef Unpaywall
252
TITLE: Preface
AUTHORS: Henrique Mamede ; Arnaldo Santos;
PUBLISHED: 2025, SOURCE: AI and Learning Analytics in Distance Learning
INDEXED IN: Scopus
253
TITLE: Preface
AUTHORS: Ricardo Campos; Alípio Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak;
PUBLISHED: 2025, SOURCE: 8th International Workshop on Narrative Extraction From Texts, Text2Story 2025 in CEUR Workshop Proceedings, VOLUME: 3964
INDEXED IN: Scopus
254
TITLE: Prioritisation of Studies In Sustainable Urban Mobility Via Fuzzy-Topsis: A Methodological Approach For Systematic Reviews  Full Text
AUTHORS: Arianna Teixeira Pereira; Janielle Da Silva Lago; Yvelyne Bianca Iunes Santos; Bruno Miguel Delindro Veloso ; Norma Ely Santos Beltrão;
PUBLISHED: 2025, SOURCE: Revista de Gestão Social e Ambiental, VOLUME: 19, ISSUE: 3
INDEXED IN: CrossRef: 2 Unpaywall
255
TITLE: Privacy and Security of FIDO2 Revisited
AUTHORS: Manuel Barbosa ; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLISHED: 2025, SOURCE: Proc. Priv. Enhancing Technol., VOLUME: 2025, ISSUE: 3, PAGES: 304-332
INDEXED IN: DBLP
256
TITLE: Private Computation of Boolean Functions Using Single Qubits
AUTHORS: Rahmani, Zeinab; Pinto, Armando N. ; Barbosa, Luis S. ;
PUBLISHED: 2025, SOURCE: 15th International Conference on Parallel Processing and Applied Mathematics-PPAM-Biennial in PARALLEL PROCESSING AND APPLIED MATHEMATICS, PPAM 2024, PT II, VOLUME: 15580, PAGES: 301-312
INDEXED IN: Scopus WOS DBLP CrossRef
257
TITLE: Professional Training for Effective Adoption of Generative AI in the Corporate World: Bridging the Gap
AUTHORS: Fernando Guedes; Vítor Rocio; Paulo Martins ;
PUBLISHED: 2025, SOURCE: Communications in Computer and Information Science - Technology and Innovation in Learning, Teaching and Education, PAGES: 198-213
INDEXED IN: CrossRef
258
TITLE: Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus
AUTHORS: Filipe Marinho Rocha; Inês Dutra ; Vítor Santos Costa ;
PUBLISHED: 2025, SOURCE: 3rd International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning, HYDRA 2024 in INTELLIGENZA ARTIFICIALE, VOLUME: abs/2405.06399, PAGES: 52-68
INDEXED IN: Scopus WOS DBLP CrossRef
259
TITLE: Promoting sustainable and personalized travel behaviors while preserving data privacy
AUTHORS: Cláudia Brito ; Noela Pina; Tânia Esteves ; Ricardo Vitorino; Inês Cunha; João Paulo ;
PUBLISHED: 2025, SOURCE: Transportation Engineering, VOLUME: 19, PAGES: 100237
INDEXED IN: Scopus CrossRef Unpaywall
260
TITLE: Property-based Testing of Attribute Grammars
AUTHORS: Macedo, Jose Nuno ; Viera, Marcos; Saraiva, Joao ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 16-29
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Page 13 of 451. Total results: 9004.