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

531 Team Members
Filters -> Year: 2024
1
TITLE: Alloy Repair Hint Generation Based on Historical Data
AUTHORS: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PAGES: 104-121
INDEXED IN: Scopus WOS DBLP CrossRef
2
TITLE: Approaches to Conflict-free Replicated Data Types
AUTHORS: Almeida, Paulo sergio ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 1-36
INDEXED IN: Scopus WOS DBLP CrossRef
3
TITLE: Forest Fire Risk Prediction Using Machine Learning
AUTHORS: Vilaças D Nogueira; Solteiro J Pires; Arsénio Reis; de Moura Oliveira, PB ; António Pereira; João Barroso;
PUBLISHED: 2025, SOURCE: 19th International Conference on Soft Computing Models in Industrial and Environmental Applications, SOCO 2024 in Lecture Notes in Networks and Systems, VOLUME: 889 LNNS, PAGES: 221-230
INDEXED IN: Scopus CrossRef Unpaywall
4
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: 1
5
TITLE: Spatio-Temporal Predictive Modeling Techniques for Different Domains: a Survey
AUTHORS: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef Unpaywall
6
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
7
TITLE: Testing infrastructures to support mobile application testing: A systematic mapping study
AUTHORS: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; Vincenzi, Auri Marcelo Rizzo;
PUBLISHED: 2025, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PAGES: 107573
INDEXED IN: Scopus WOS DBLP
8
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
10
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
11
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
12
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
13
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
14
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
15
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
17
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
18
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
19
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
20
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

Results per Page: 20.
Page 1 of 422. Total results: 8434.