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

535 Team Members
Filters -> Year: 2026
521
TÍTULO: Simulating Biases for Interpretable Fairness in Offline and Online Classifiers
AUTORES: Ricardo Inácio ; Zafeiris Kokkinogenis; Vítor Cerqueira; Carlos Soares ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.10154
INDEXADO EM: DBLP DataCite
522
TÍTULO: Simulating Ocean Futures: A Digital Twin Pilot for Environmental Scenarios
AUTORES: Antonio, Vasilijevic; Bronner, Ute; Nepstad, Raymond; Oliveira, Marco Amaro ;
PUBLICAÇÃO: 2025, FONTE: 2025 OCEANS-Annual in OCEANS 2025 BREST, PÁGINAS: 1-6
INDEXADO EM: Scopus WOS CrossRef Unpaywall
523
TÍTULO: Social Compliance With NPIs, Mobility Patterns, and Reproduction Number: Lessons From COVID-19 in Europe
AUTORES: Baccega, Daniele; Aguilar, Jose; Baquero, Carlos ; Fernandez Anta, Antonio; Marcos Ramirez, Juan;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 134357-134375
INDEXADO EM: Scopus WOS DBLP CrossRef
524
TÍTULO: Somatic Indicators on the Visceral, Behavioral and Reflective Dimensions of Emotional Design
AUTORES: Alves, Tiago; Giesteira, Bruno ;
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: 512-525
INDEXADO EM: Scopus WOS CrossRef
525
TÍTULO: Sonar-Based Deep Learning in Underwater Robotics: Overview, Robustness, and Challenges PDF  Full Text
AUTORES: Aubard, Martin; Madureira, Ana ; Teixeira, Luis ; Pinto, Jose;
PUBLICAÇÃO: 2025, FONTE: IEEE JOURNAL OF OCEANIC ENGINEERING, VOLUME: 50, NÚMERO: 3, PÁGINAS: 1866-1884
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef DataCite Unpaywall
526
TÍTULO: SPATA: Systematic Pattern Analysis for Detailed and Transparent Data Cards
AUTORES: João Vitorino; Eva Maia; Isabel Praça; Carlos Soares ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2509.26640
INDEXADO EM: DBLP
527
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: 19 Unpaywall
528
TÍTULO: Specification of paraconsistent transition systems, revisited  Full Text
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 CrossRef
529
TÍTULO: Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
AUTORES: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.03659, PÁGINAS: 261-278
INDEXADO EM: Scopus DBLP CrossRef: 1
530
TÍTULO: Specifying Distributed Hash Tables with Allen Temporal Logic
AUTORES: Policarpo, Nuno; Santos, Jose Fragoso; Cunha, Alcino ; Leitao, Joao; Costa, Pedro Akos;
PUBLICAÇÃO: 2025, FONTE: 13th International Conference on Formal Methods in Software Engineering-FORMALISE in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, PÁGINAS: 63-73
INDEXADO EM: Scopus WOS DBLP CrossRef
531
TÍTULO: Spectral Manifold Harmonization for Graph Imbalanced Regression
AUTORES: Brenda Nogueira; Gabe Gomes; Meng Jiang; Nitesh V Chawla; Nuno Moniz ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.01132
INDEXADO EM: DBLP
532
TÍTULO: STEERING INTO THE FUTURE: PUBLIC PERCEPTIONS AND ACCEPTANCE OF AUTONOMOUS BUSES
AUTORES: Ejdys, Joanna; Gulc, Aleksandra; Budna, Klaudia; Esparteiro Garcia, Jorge ;
PUBLICAÇÃO: 2025, FONTE: ECONOMICS AND ENVIRONMENT, VOLUME: 92, NÚMERO: 1, PÁGINAS: 1140
INDEXADO EM: Scopus WOS CrossRef: 1
533
TÍTULO: Strategies and Tools to Support Place-Belongingness in Smart Cities
AUTORES: Hesam Mohseni; António Correia ; Johanna Silvennoinen; Tuomo Kujala; Tommi Kärkkäinen;
PUBLICAÇÃO: 2025, FONTE: Computer-Human Interaction Research and Applications, PÁGINAS: 425-434
INDEXADO EM: CrossRef Unpaywall
534
TÍTULO: Stress-Testing of Multimodal Models in Medical Image-Based Report Generation
AUTORES: Carvalhido, Flavia; Cardoso, Henrique Lopes ; Cerqueira, Vitor ;
PUBLICAÇÃO: 2025, FONTE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 28, VOLUME: 39, NÚMERO: 28, PÁGINAS: 29251-29252
INDEXADO EM: Scopus WOS DBLP CrossRef
535
TÍTULO: Striking a balance: navigating the trade-offs between predictive accuracy and interpretability in machine learning models
AUTORES: Arantes, Miguel; Gonzalez Manteiga, Wenceslao; Torres, Javier; Pinto, Alberto ;
PUBLICAÇÃO: 2025, FONTE: ELECTRONIC RESEARCH ARCHIVE, VOLUME: 33, NÚMERO: 4, PÁGINAS: 2092-2117
INDEXADO EM: Scopus WOS CrossRef Unpaywall
536
TÍTULO: Stuck! Stalling in Computer Games
AUTORES: Pedro Cardoso; Miguel Carvalhais ;
PUBLICAÇÃO: 2025, FONTE: Springer Series in Design and Innovation, VOLUME: 50, PÁGINAS: 359-370
INDEXADO EM: Scopus CrossRef
537
TÍTULO: Study the Capacity of Deep Learning Techniques Information Generalization Using Capsule Endoscopic Images
AUTORES: Macedo, Ema; Araujo, Helder; Abreu, Pedro Henriques ;
PUBLICAÇÃO: 2025, FONTE: 27th International Conference on Pattern Recognition-ICPR-Annual in PATTERN RECOGNITION: ICPR 2024 INTERNATIONAL WORKSHOPS AND CHALLENGES, PT V, VOLUME: 15618, PÁGINAS: 380-394
INDEXADO EM: Scopus WOS DBLP CrossRef
538
TÍTULO: Studying and Improving Graph Neural Network-based Motif Estimation
AUTORES: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.15709
INDEXADO EM: DBLP
539
TÍTULO: Subgroup Discovery Using Model Uncertainty: A Feasibility Study
AUTORES: Ana Cravidão Pereira; Duarte Folgado; Marília Barandas; Carlos Soares ; André V Carreiro;
PUBLICAÇÃO: 2025, FONTE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PÁGINAS: 505-517
INDEXADO EM: Scopus DBLP CrossRef
540
TÍTULO: Supporting Soft Real-Time Tasks in Zephyr With Constant Bandwidth Servers
AUTORES: Alexander Paschoaletto; Paulo Sousa; Luís Miguel Pinho ; Tiago Carvalho;
PUBLICAÇÃO: 2025, FONTE: 28th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2025 in 2025 28th International Symposium on Real-Time Distributed Computing (ISORC), PÁGINAS: 31-39
INDEXADO EM: Scopus CrossRef

Results per Page: 20.
Página 27 de 534. Total de resultados: 10663.