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

531 Team Members
Filters -> Year: 2025
81
TÍTULO: Introduction to the Special Collection from FACS 2022
AUTORES: Silvia Lizeth Tapia Tarifa; José Proença; José N Oliveira ;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects Comput., VOLUME: 37, NÚMERO: 2, PÁGINAS: 10:1-10:2
INDEXADO EM: Scopus DBLP CrossRef
82
TÍTULO: KDBI special issue: Explainability feature selection framework application for LSTM multivariate time-series forecast self optimization  Full Text
AUTORES: Rodrigues, Eduardo M.; Baghoussi, Yassine; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2025, FONTE: EXPERT SYSTEMS, VOLUME: 42, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
83
TÍTULO: KDBI special issue: Time-series pattern verification in CNC turning-A comparative study of one-class and binary classification  Full Text
AUTORES: da Silva, Joao Pinto ; Nogueira, Ana Rita ; Pinto, Jose; Curral, Manuel; Alves, Antonio Correia; Sousa, Ricardo ;
PUBLICAÇÃO: 2025, FONTE: EXPERT SYSTEMS, VOLUME: 42, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
84
TÍTULO: Layer-based management of collaborative interior design in extended reality  Full Text
AUTORES: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLICAÇÃO: 2025, FONTE: BEHAVIOUR & INFORMATION TECHNOLOGY, PÁGINAS: 1-17
INDEXADO EM: Scopus WOS CrossRef
85
TÍTULO: Leakage-Free Probabilistic Jasmin Programs
AUTORES: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLICAÇÃO: 2025, FONTE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PÁGINAS: 3-16
INDEXADO EM: Scopus WOS DBLP CrossRef
86
TÍTULO: Let's Talk About It: Making Scientific Computational Reproducibility Easy
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.10134
INDEXADO EM: DBLP
87
TÍTULO: LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs
AUTORES: André Mesquita Rincon; Auri Marcelo Rizzo Vincenzi; João Pascoal Faria ;
PUBLICAÇÃO: 2025, FONTE: 18th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025 in IEEE International Conference on Software Testing, Verification and Validation, ICST 2025 - Workshops, Naples, Italy, March 31 - April 4, 2025, PÁGINAS: 21-28
INDEXADO EM: Scopus DBLP
88
TÍTULO: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTORES: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PÁGINAS: 101023
INDEXADO EM: Scopus WOS DBLP
89
TÍTULO: Machine Learning for Decision Support and Automation in Games: A Study on Vehicle Optimal Path  Full Text
AUTORES: Penelas, Goncalo; Barbosa, Luis ; Reis, Arsenio; Barroso, Joao ; Pinto, Tiago;
PUBLICAÇÃO: 2025, FONTE: ALGORITHMS, VOLUME: 18, NÚMERO: 2, PÁGINAS: 106
INDEXADO EM: Scopus WOS CrossRef
90
TÍTULO: Machine Learning Regression-Based Prediction for Improving Performance and Energy Consumption in HPC Platforms
AUTORES: Coelho, Micaella; Ocana, Kary; Pereira, Andre ; Porto, Alexandre; Cardoso, Douglas O.; Lorenzon, Arthur; Oliveira, Rui; Navaux, Philippe O. A.; Osthoff, Carla;
PUBLICAÇÃO: 2025, FONTE: 11th Latin American Conference on High Performance Computing in HIGH PERFORMANCE COMPUTING, CARLA 2024, VOLUME: 2270, PÁGINAS: 186-200
INDEXADO EM: Scopus WOS CrossRef
91
TÍTULO: MedLink: Retrieval and Ranking of Case Reports to Assist Clinical Decision Making
AUTORES: Luís Filipe Cunha; Nuno Guimarães ; Alexandra Mendes ; Ricardo Campos; Alípio Jorge;
PUBLICAÇÃO: 2025, FONTE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PÁGINAS: 72-77
INDEXADO EM: Scopus DBLP CrossRef
92
TÍTULO: METFORD - Mutation tEsTing Framework fOR anDroid  Full Text
AUTORES: Vincenzi, Auri M. R.; Kuroishi, Pedro H.; Bispo, Joao ; da Veiga, Ana R. C.; da Mata, David R. C.; Azevedo, Francisco B.; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PÁGINAS: 112332
INDEXADO EM: Scopus WOS DBLP CrossRef
93
TÍTULO: Method for Evaluation and Classification of Self and Co-regulation of Learning in Immersive Narratives
AUTORES: Bonfim, Cristiane Jorge; Morgado, Leonel ; Pedrosa, Daniela;
PUBLICAÇÃO: 2025, FONTE: 10th International Conference of the Immersive Learning Research Network in IMMERSIVE LEARNING RESEARCH NETWORK, ILRN 2024, PT I, VOLUME: 2271, PÁGINAS: 471-481
INDEXADO EM: Scopus WOS DBLP CrossRef
94
TÍTULO: Mind the Gap: The Missing Features of the Tools to Support User Studies in Software Engineering
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.08647
INDEXADO EM: DBLP
95
TÍTULO: Modeling Electricity Markets and Energy Systems: Challenges and Opportunities  Full Text
AUTORES: Aliabadi, Danial Esmaeili; Pinto, Tiago ;
PUBLICAÇÃO: 2025, FONTE: ENERGIES, VOLUME: 18, NÚMERO: 2, PÁGINAS: 245
INDEXADO EM: Scopus WOS CrossRef
96
TÍTULO: Modelling Concept Drift in Dynamic Data Streams for Recommender Systems
AUTORES: Luciano Caroprese; Francesco Sergio Pisani; Bruno Miguel Veloso ; Matthias König; Giuseppe Manco; Holger H Hoos; João Gama ;
PUBLICAÇÃO: 2025, FONTE: Trans. Recomm. Syst., VOLUME: 3, NÚMERO: 2, PÁGINAS: 24:1-24:28
INDEXADO EM: DBLP CrossRef Unpaywall
97
TÍTULO: Modelling sustainability in cyber-physical systems: A systematic mapping study  Full Text
AUTORES: Barisic, Ankica; Cunha, Jacome ; Ruchkin, Ivan; Moreira, Ana; Araujo, Joao; Challenger, Moharram; Savic, Dusan; Amaral, Vasco;
PUBLICAÇÃO: 2025, FONTE: SUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS, VOLUME: 45, PÁGINAS: 101051
INDEXADO EM: Scopus WOS DBLP CrossRef
98
TÍTULO: Multi-Partner Project: Green.Dat.AI: A Data Spaces Architecture for Enhancing Green AI Services
AUTORES: Ioannis Chrysakis; Evangelos Agorogiannis; Nikoleta Tsampanaki; Michalis Vourtzoumis; Eva Chondrodima; Yannis Theodoridis; Domen Mongus; Ben Capper; Martin Wagner; Aris Sotiropoulos; Fábio André Coelho; Cláudia Vanessa Brito ; Panos Protopapas; Despina Brasinika; Ioanna Fergadiotou; Christos Doulkeridis;
PUBLICAÇÃO: 2025, FONTE: Proceedings Design Automation and Test in Europe Date, PÁGINAS: 1-7
INDEXADO EM: Scopus CrossRef
99
TÍTULO: Multilanguage Detection of Design Pattern Instances  Full Text
AUTORES: Andrade, Hugo; Bispo, Joao ; Correia, Filipe F. ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 37, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef Unpaywall
100
TÍTULO: Multilayer horizontal visibility graphs for multivariate time series analysis  Full Text
AUTORES: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLICAÇÃO: 2025, FONTE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 39, NÚMERO: 3, PÁGINAS: 17
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall

Results per Page: 20.
Página 5 de 438. Total de resultados: 8755.