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

531 Team Members
Filters -> Year: 2025
21
TÍTULO: Estimating Completeness of Consensus Models: Geometrical and Distributional Approaches
AUTORES: Pedro Strecht ; João Mendes-Moreira ; Carlos Soares ;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Machine Learning, Optimization, and Data Science, PÁGINAS: 464-478
INDEXADO EM: CrossRef
23
TÍTULO: Evaluating the Therapeutic Potential of Exercise in Hypoxia and Low-Carbohydrate, High-Fat Diet in Managing Hypertension in Elderly Type 2 Diabetes Patients: A Novel Intervention Approach  Full Text
AUTORES: Kindlovits, Raquel; Sousa, Ana Catarina; Viana, Joao Luis; Milheiro, Jaime; Oliveira, Bruno M. P. M. ; Marques, Franklim; Santos, Alejandro; Teixeira, Vitor Hugo;
PUBLICAÇÃO: 2025, FONTE: NUTRIENTS, VOLUME: 17, NÚMERO: 3, PÁGINAS: 522
INDEXADO EM: Scopus WOS CrossRef
24
TÍTULO: Extending the Quantitative Pattern-Matching Paradigm
AUTORES: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLICAÇÃO: 2025, FONTE: 22nd Asian Symposium on Programming Languages and Systems in PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, VOLUME: 15194, PÁGINAS: 84-105
INDEXADO EM: Scopus WOS DBLP CrossRef
25
TÍTULO: GAMFLEW: serious game to teach white-box testing
AUTORES: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1, PÁGINAS: 5
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
26
TÍTULO: GANs in the Panorama of Synthetic Data Generation Methods. Application and Evaluation: Enhancing Fake News Detection with GAN-Generated Synthetic Data  Full Text
AUTORES: Vaz, Bruno; Figueira, Alvaro ;
PUBLICAÇÃO: 2025, FONTE: ACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS, VOLUME: 21, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef Unpaywall
27
TÍTULO: Generative Narrative-Driven Game Mechanics for Procedural Driving Simulators
AUTORES: Nelson Rodrigues ; António Coelho; Rosaldo Rossetti;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, PÁGINAS: 339-346
INDEXADO EM: CrossRef Unpaywall
28
TÍTULO: Histopathological Imaging Dataset for Oral Cancer Analysis: A Study with a Data Leakage Warning
AUTORES: Marcelo Nogueira; Elsa Gomes ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 18th International Joint Conference on Biomedical Engineering Systems and Technologies, PÁGINAS: 811-818
INDEXADO EM: CrossRef Unpaywall
29
TÍTULO: Histopoly: A serious game for teaching histology to 1st year veterinary students  Full Text
AUTORES: Marcos, Ricardo; Gomes, Andre; Santos, Marta; Coelho, Antonio ;
PUBLICAÇÃO: 2025, FONTE: ANATOMICAL SCIENCES EDUCATION
INDEXADO EM: Scopus WOS CrossRef Unpaywall
30
TÍTULO: IC-SNI: measuring nodes' influential capability in complex networks through structural and neighboring information  Full Text
AUTORES: Nandi, Suman; Malta, Mariana Curado ; Maji, Giridhar; Dutta, Animesh;
PUBLICAÇÃO: 2025, FONTE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 67, NÚMERO: 2, PÁGINAS: 1309-1350
INDEXADO EM: Scopus WOS CrossRef: 1 Unpaywall
31
TÍTULO: Incremental Repair Feedback on Automated Assessment of Programming Assignments  Full Text
AUTORES: Paiva, Jose Carlos; Leal, Jose Paulo; Figueira, Alvaro ;
PUBLICAÇÃO: 2025, FONTE: ELECTRONICS, VOLUME: 14, NÚMERO: 4, PÁGINAS: 819
INDEXADO EM: Scopus WOS CrossRef
32
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
33
TÍTULO: Leakage-Free Probabilistic Jasmin Programs
AUTORES: José Bacelar Almeida ; Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLICAÇÃO: 2025, FONTE: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, co-located with POPL 2025 in Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025, PÁGINAS: 3-16
INDEXADO EM: Scopus DBLP CrossRef
34
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
35
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
36
TÍTULO: METFORD - Mutation tEsTing Framework fOR anDroid
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
37
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
38
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
39
TÍTULO: Multilayer horizontal visibility graphs for multivariate time series analysis
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
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
40
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

Results per Page: 20.
Página 2 de 434. Total de resultados: 8671.