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

530 Team Members
Filters -> Year: 2025
61
TÍTULO: Artificial Intelligence and Energy  Full Text
AUTORES: Silva, Catia; Pereira, Vania Sofia; Baptista, Jose ; Pinto, Tiago;
PUBLICAÇÃO: 2025, FONTE: ENERGIES, VOLUME: 18, NÚMERO: 18, PÁGINAS: 4823
INDEXADO EM: Scopus WOS CrossRef
62
TÍTULO: Artificial Intelligence in the Lot-Sizing Problem: An Overview and Future Paths
AUTORES: André Ribeiro; André S Santos; Leonilde R Varela ; Olena Hrybiuk; Miguel Bastos Gomes; José Machado;
PUBLICAÇÃO: 2025, FONTE: EAI/Springer Innovations in Communication and Computing - 9th EAI International Conference on Management of Manufacturing Systems, PÁGINAS: 127-137
INDEXADO EM: CrossRef
63
TÍTULO: Assessing the information security posture of online public services worldwide: Technical insights, trends, and policy implications☆
AUTORES: Ribeiro, Diogo ; Fonte, Vitor; Ramos, Luis Felipe; Silva, Marco ;
PUBLICAÇÃO: 2025, FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 42, NÚMERO: 2, PÁGINAS: 102031
INDEXADO EM: Scopus WOS DBLP CrossRef
64
TÍTULO: Atlas, a modular and efficient open-source BFT framework
AUTORES: Neto, Nuno; Martins, Rolando ; Veiga, Luis;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222, PÁGINAS: 112317
INDEXADO EM: Scopus WOS DBLP CrossRef
65
TÍTULO: Augmented Reality in Information Design
AUTORES: Fadel, Luciane Maria; Coelho, Antonio ;
PUBLICAÇÃO: 2025, FONTE: 8th International Conference on Design and Digital Communication in ADVANCES IN DESIGN AND DIGITAL COMMUNICATION V, DIGICOM 2024, VOLUME: 51, PÁGINAS: 30-41
INDEXADO EM: Scopus WOS CrossRef
66
TÍTULO: Automated optical system for quality inspection on reflective parts  Full Text
AUTORES: Nascimento, Rui ; Rocha, Claudia D. ; Gonzalez, Dibet Garcia; Silva, Tiago; Moreira, Rui; Silva, Manuel F. ; Filipe, Vitor ; Rocha, Luis F. ;
PUBLICAÇÃO: 2025, FONTE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 137, NÚMERO: 5-6, PÁGINAS: 2665-2680
INDEXADO EM: Scopus WOS CrossRef
67
TÍTULO: Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry
AUTORES: Melissa Silva; João Pascoal Faria ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025., PÁGINAS: 149-160
INDEXADO EM: DBLP
68
TÍTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: Faria, Joao Pascoal ; Trigo, Emanuel; Abreu, Rui ;
PUBLICAÇÃO: 2025, FONTE: 11th International Conference on Fundamentals of Software Engineering-FSEN in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025, VOLUME: 15593, PÁGINAS: 138-154
INDEXADO EM: Scopus WOS DBLP CrossRef
69
TÍTULO: Automating Data Extraction from PDF Sleep Reports Using Data Mining Techniques
AUTORES: Fábio Teixeira; João Costa; Pedro Amorim; Nuno Guimarães ; Daniela Ferreira Santos ;
PUBLICAÇÃO: 2025, FONTE: Studies in health technology and informatics, VOLUME: 327, PÁGINAS: 898-899
INDEXADO EM: Scopus CrossRef
70
TÍTULO: Barrett's paradox of cooperation in the case of quasi-linear utilities  Full Text
AUTORES: Accinelli, Elvio; Afsar, Atefeh; Martins, Filipe ; Martins, Jose ; Oliveira, Bruno M. P. M. ; Oviedo, Jorge; Pinto, Alberto A. ; Quintas, Luis;
PUBLICAÇÃO: 2025, FONTE: MATHEMATICAL METHODS IN THE APPLIED SCIENCES, VOLUME: 48, NÚMERO: 2, PÁGINAS: 2493-2516
INDEXADO EM: Scopus WOS CrossRef Unpaywall
71
TÍTULO: Bayesian Modelling of Time Series of Counts with Missing Data
AUTORES: SILVA, ISABEL ; Maria Eduarda Silva ; Isabel Pereira ;
PUBLICAÇÃO: 2025, FONTE: 26th Congress of the Portuguese Statistical Society, SPE 2023 in Springer Proceedings in Mathematics and Statistics, VOLUME: 469, PÁGINAS: 83-98
INDEXADO EM: Scopus CrossRef
72
TÍTULO: Beyond Physical Boundaries: Assessing Managers' Intentions to Adopt Virtual Reality Technology in Wine Tourism
AUTORES: Sousa, Nuno; Alen, Elisa; Losada, Nieves; Melo, Miguel ;
PUBLICAÇÃO: 2025, FONTE: TOURISM & MANAGEMENT STUDIES, VOLUME: 21, NÚMERO: 2, PÁGINAS: 53-66
INDEXADO EM: WOS CrossRef: 1
74
TÍTULO: Blockchain Hybrid-model Scheme for Scalable Cross-domain Authorisation
AUTORES: Munkenyi Mukhandi; Jorge Granjal; João P Vilela ;
PUBLICAÇÃO: 2025, FONTE: Blockchain: Research and Applications, PÁGINAS: 100293
INDEXADO EM: CrossRef
75
TÍTULO: Bridging resource theory and quantum key distribution: geometric analysis and statistical testing  Full Text
AUTORES: D'Urbano, Andrea; de Oliveira, Michael; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: QUANTUM INFORMATION PROCESSING, VOLUME: 24, NÚMERO: 9, PÁGINAS: 289
INDEXADO EM: Scopus WOS DBLP
76
TÍTULO: Bridging the gaps: an updated mapping of the uses of immersive learning environments  Full Text
AUTORES: Morgado, Leonel ; Beck, Dennis; O'Shea, Patrick;
PUBLICAÇÃO: 2025, FONTE: VIRTUAL REALITY, VOLUME: 29, NÚMERO: 3, PÁGINAS: 134
INDEXADO EM: Scopus WOS DBLP CrossRef
77
TÍTULO: Budget-Constrained Collaborative Renewable Energy Forecasting Market  Full Text
AUTORES: Goncalves, Carla ; Bessa, Ricardo J. ; Teixeira, Tiago; Vinagre, Joao ;
PUBLICAÇÃO: 2025, FONTE: IEEE TRANSACTIONS ON SUSTAINABLE ENERGY, VOLUME: 16, NÚMERO: 2, PÁGINAS: 1440-1452
INDEXADO EM: Scopus WOS CrossRef Unpaywall
78
TÍTULO: C'est Tres CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM
AUTORES: Arriaga, Afonso; Barbosa, Manuel ; Jarecki, Stanislaw; Skrobot, Marjan;
PUBLICAÇÃO: 2025, FONTE: 30th International Conference on the Theory and Application of Cryptology and Information Security in ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V, VOLUME: 15488, PÁGINAS: 3-33
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
79
TÍTULO: Can ChatGPT Suggest Patterns? An Exploratory Study About Answers Given by AI-Assisted Tools to Design Problems
AUTORES: Maranhao Junior, Joao Jose; Correia, Filipe F. ; Guerra, Eduardo Martins;
PUBLICAÇÃO: 2025, FONTE: 25th International Conference on Agile Software Development (XP) in AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING-WORKSHOPS, XP 2024 WORKSHOPS, VOLUME: 524, PÁGINAS: 130-138
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
80
TÍTULO: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTORES: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.22370
INDEXADO EM: DBLP

Results per Page: 20.
Página 4 de 451. Total de resultados: 9007.