CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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
TÍTULO: Alloy Repair Hint Generation Based on Historical Data
AUTORES: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PÁGINAS: 104-121
INDEXADO EM: Scopus WOS DBLP CrossRef
2
TÍTULO: Approaches to Conflict-free Replicated Data Types
AUTORES: Almeida, Paulo sergio ;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2, PÁGINAS: 1-36
INDEXADO EM: Scopus WOS DBLP CrossRef
3
TÍTULO: Forest Fire Risk Prediction Using Machine Learning
AUTORES: Vilaças D Nogueira; Solteiro J Pires; Arsénio Reis; de Moura Oliveira, PB ; António Pereira; João Barroso;
PUBLICAÇÃO: 2025, FONTE: 19th International Conference on Soft Computing Models in Industrial and Environmental Applications, SOCO 2024 in Lecture Notes in Networks and Systems, VOLUME: 889 LNNS, PÁGINAS: 221-230
INDEXADO EM: Scopus CrossRef Unpaywall
4
TÍTULO: Optimizing job shop scheduling with speed-adjustable machines and peak power constraints: A mathematical model and heuristic solutions
AUTORES: Homayouni, S. Mahdi; Fontes, Dalila B. M. M. ;
PUBLICAÇÃO: 2025, FONTE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 32, NÚMERO: 1, PÁGINAS: 194-220
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5
TÍTULO: Spatio-Temporal Predictive Modeling Techniques for Different Domains: a Survey
AUTORES: Kumar, Rahul; Bhanu, Manish; Mendes moreira, Joao ; Chandra, Joydeep;
PUBLICAÇÃO: 2025, FONTE: ACM COMPUTING SURVEYS, VOLUME: 57, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef Unpaywall
6
TÍTULO: Specification of paraconsistent transition systems, revisited
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PÁGINAS: 103196
INDEXADO EM: Scopus WOS DBLP
7
TÍTULO: Testing infrastructures to support mobile application testing: A systematic mapping study
AUTORES: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; Vincenzi, Auri Marcelo Rizzo;
PUBLICAÇÃO: 2025, FONTE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177, PÁGINAS: 107573
INDEXADO EM: Scopus WOS DBLP
8
TÍTULO: "Viewing puzzles as two-faced: theoretical and practical implications for Puzzle-based Learning"
AUTORES: Fontes, Mario Madureira; Morgado, Leonel Caseiro ; Pestana, Pedro; Pedrosa, Daniela; Cravino, Jose Paulo;
PUBLICAÇÃO: 2024, FONTE: THINKING SKILLS AND CREATIVITY, VOLUME: 52, PÁGINAS: 101470
INDEXADO EM: Scopus WOS CrossRef: 1 Unpaywall Handle
10
TÍTULO: 4Doodle: Two-handed Gestures for Immersive Sketching of Architectural Models
AUTORES: Fernando Fonseca; Maurício Sousa; Daniel Mendes ; Alfredo Ferreira; Joaquim A Jorge;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.18887
INDEXADO EM: DBLP
11
TÍTULO: 50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey
AUTORES: Campos, Jose Creissac ; Luyten, Kris; Nigay, Laurence; Palanque, Philippe; Paterno, Fabio; Spano, Lucio Davide; Vanderdonckt, Jean;
PUBLICAÇÃO: 2024, FONTE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in COMPANION OF THE 2024 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, EICS 2024, PÁGINAS: 92-96
INDEXADO EM: Scopus WOS DBLP CrossRef
12
TÍTULO: <i>Physio</i>: An LLM-Based Physiotherapy Advisor
AUTORES: Almeida, Ruben; Sousa, Hugo ; Cunha, Luis F. ; Guimaraes, Nuno ; Campos, Ricardo ; Jorge, Alipio ;
PUBLICAÇÃO: 2024, FONTE: 46th European Conference on Information Retrieval (ECIR) in ADVANCES IN INFORMATION RETRIEVAL, ECIR 2024, PT V, VOLUME: 14612, PÁGINAS: 189-193
INDEXADO EM: Scopus WOS DBLP CrossRef
13
TÍTULO: A blockchain architecture with smart contracts for an additive symbiotic network - a case study
AUTORES: Ferreira, Ines A.; Palazzo, Guido; Pinto, Antonio ; Pinto, Pedro; Sousa, Pedro; Godina, Radu; Carvalho, Helena;
PUBLICAÇÃO: 2024, FONTE: OPERATIONS MANAGEMENT RESEARCH
INDEXADO EM: Scopus WOS CrossRef
14
TÍTULO: A C Subset for Ergonomic Source-to-Source Analyses and Transformations
AUTORES: Matos, Joao N.; Bispo, Joao ; Sousa, Luis Miguel;
PUBLICAÇÃO: 2024, FONTE: Rapido Workshop on Rapid Simulation and Performance Evaluation - Methods and Tools (Rapido) / HiPEAC Conference in PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024, PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
15
TÍTULO: A Community-Driven Data-to-Text Platform for Football Match Summaries
AUTORES: Pedro Fernandes; Sérgio Nunes ; Luís Santos;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy., PÁGINAS: 164-173
INDEXADO EM: Scopus DBLP
17
TÍTULO: A DSL and MLIR Dialect for Streaming and Vectorisation
AUTORES: da Silva, Manuel Cerqueira; Sousa, Luis ; Paulino, Nuno ; Bispo, Joao ;
PUBLICAÇÃO: 2024, FONTE: 20th International Symposium on Applied Reconfigurable Computing (ARC) in APPLIED RECONFIGURABLE COMPUTING. ARCHITECTURES, TOOLS, AND APPLICATIONS, ARC 2024, VOLUME: 14553, PÁGINAS: 181-190
INDEXADO EM: Scopus WOS DBLP CrossRef
18
TÍTULO: A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP)
AUTORES: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 178-182
INDEXADO EM: Scopus WOS DBLP CrossRef
19
TÍTULO: A Gamification-Based Tool to Promote Accessible Design
AUTORES: Mohammad Gulam Lorgat ; Hugo Paredes ; Tânia Rocha ;
PUBLICAÇÃO: 2024, FONTE: World Conference on Smart Trends in Systems, Security and Sustainability, WS4 2023 in Lecture Notes in Networks and Systems, VOLUME: 812, PÁGINAS: 373-390
INDEXADO EM: Scopus CrossRef Unpaywall
20
TÍTULO: A genetic algorithm for the Resource-Constrained Project Scheduling Problem with Alternative Subgraphs using a boolean satisfiability solver
AUTORES: Servranckx, Tom; Coelho, Jose ; Vanhoucke, Mario;
PUBLICAÇÃO: 2024, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 316, NÚMERO: 3, PÁGINAS: 815-827
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 1 de 422. Total de resultados: 8434.