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

531 Team Members
Filters -> Year: 2024
1
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
2
TITLE: Specification of paraconsistent transition systems, revisited
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103196
INDEXED IN: Scopus WOS DBLP
3
TITLE: "Viewing puzzles as two-faced: theoretical and practical implications for Puzzle-based Learning"
AUTHORS: Fontes, Mario Madureira; Morgado, Leonel Caseiro ; Pestana, Pedro; Pedrosa, Daniela; Cravino, Jose Paulo;
PUBLISHED: 2024, SOURCE: THINKING SKILLS AND CREATIVITY, VOLUME: 52, PAGES: 101470
INDEXED IN: Scopus WOS CrossRef: 1 Unpaywall Handle
5
TITLE: 4Doodle: Two-handed Gestures for Immersive Sketching of Architectural Models
AUTHORS: Fernando Fonseca; Maurício Sousa; Daniel Mendes ; Alfredo Ferreira; Joaquim A Jorge;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2405.18887
INDEXED IN: DBLP
6
TITLE: 50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey
AUTHORS: Campos, Jose Creissac ; Luyten, Kris; Nigay, Laurence; Palanque, Philippe; Paterno, Fabio; Spano, Lucio Davide; Vanderdonckt, Jean;
PUBLISHED: 2024, SOURCE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in COMPANION OF THE 2024 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, EICS 2024, PAGES: 92-96
INDEXED IN: Scopus WOS DBLP CrossRef
7
TITLE: <i>Physio</i>: An LLM-Based Physiotherapy Advisor
AUTHORS: Almeida, Ruben; Sousa, Hugo ; Cunha, Luis F. ; Guimaraes, Nuno ; Campos, Ricardo ; Jorge, Alipio ;
PUBLISHED: 2024, SOURCE: 46th European Conference on Information Retrieval (ECIR) in ADVANCES IN INFORMATION RETRIEVAL, ECIR 2024, PT V, VOLUME: 14612, PAGES: 189-193
INDEXED IN: Scopus WOS DBLP CrossRef
8
TITLE: A blockchain architecture with smart contracts for an additive symbiotic network - a case study
AUTHORS: Ferreira, Ines A.; Palazzo, Guido; Pinto, Antonio ; Pinto, Pedro; Sousa, Pedro; Godina, Radu; Carvalho, Helena;
PUBLISHED: 2024, SOURCE: OPERATIONS MANAGEMENT RESEARCH
INDEXED IN: Scopus WOS CrossRef
9
TITLE: A C Subset for Ergonomic Source-to-Source Analyses and Transformations
AUTHORS: Matos, Joao N.; Bispo, Joao ; Sousa, Luis Miguel;
PUBLISHED: 2024, SOURCE: Rapido Workshop on Rapid Simulation and Performance Evaluation - Methods and Tools (Rapido) / HiPEAC Conference in PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024, PAGES: 1-8
INDEXED IN: Scopus WOS DBLP CrossRef: 1
10
TITLE: A Community-Driven Data-to-Text Platform for Football Match Summaries
AUTHORS: Pedro Fernandes; Sérgio Nunes ; Luís Santos;
PUBLISHED: 2024, SOURCE: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy., PAGES: 164-173
INDEXED IN: Scopus DBLP
12
TITLE: A DSL and MLIR Dialect for Streaming and Vectorisation
AUTHORS: da Silva, Manuel Cerqueira; Sousa, Luis ; Paulino, Nuno ; Bispo, Joao ;
PUBLISHED: 2024, SOURCE: 20th International Symposium on Applied Reconfigurable Computing (ARC) in APPLIED RECONFIGURABLE COMPUTING. ARCHITECTURES, TOOLS, AND APPLICATIONS, ARC 2024, VOLUME: 14553, PAGES: 181-190
INDEXED IN: Scopus WOS DBLP CrossRef
13
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
14
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
15
TITLE: A genetic algorithm for the Resource-Constrained Project Scheduling Problem with Alternative Subgraphs using a boolean satisfiability solver
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
16
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
17
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
18
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
19
TITLE: A Machine Learning as a Service (MLaaS) Approach to Improve Marketing Success
AUTHORS: Pereira, Ivo ; Madureira, Ana; 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 CrossRef: 1
20
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

Results per Page: 20.
Page 1 of 414. Total results: 8273.