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

536 Team Members
Filters -> Year: 2026
61
TÍTULO: On Quantitative Solution Iteration in QAlloy
AUTORES: Silva, Pedro; Macedo, Nuno ; Oliveira, Jose N. ;
PUBLICAÇÃO: 2026, FONTE: 11th International Conference on Rigorous State Based Methods-ABZ-Annual in RIGOROUS STATE-BASED METHODS, ABZ 2025, VOLUME: 15728, PÁGINAS: 88-105
INDEXADO EM: Scopus WOS CrossRef
62
TÍTULO: Optimizing Medical Image Captioning with Conditional Prompt Encoding
AUTORES: Fernandes, Rendson F.; Oliveira, Hugo S. ; Ribeiro, Pedro P. ; Oliveira, Helder P. ;
PUBLICAÇÃO: 2026, FONTE: 12th Iberian Conference on Pattern Recognition and Image Analysis-IbPRIA in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2025, PT II, VOLUME: 15938, PÁGINAS: 196-207
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
63
TÍTULO: Overview of the CLEF 2025 JOKER Lab: Humour in Machine
AUTORES: Ermakova, Liana; Campos, Ricardo ; Bosser, Anne Gwenn; Miller, Tristan;
PUBLICAÇÃO: 2026, FONTE: 16th International Conference of the CLEF Association-CLEF in EXPERIMENTAL IR MEETS MULTILINGUALITY, MULTIMODALITY, AND INTERACTION, CLEF 2025, VOLUME: 16089, PÁGINAS: 315-337
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
64
TÍTULO: Paraconsistent Reactive Graphs
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLICAÇÃO: 2026, FONTE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551, PÁGINAS: 105-111
INDEXADO EM: Scopus WOS DBLP
65
TÍTULO: PathSAGE: Identifying Influential Spreaders in Temporal Networks With GraphSAGE
AUTORES: Sadhu, Srestha; Mallick, Deepanwita; Namtirtha, Amrita; Malta, Mariana Curado ; Dutta, Animesh;
PUBLICAÇÃO: 2026, FONTE: IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE, PÁGINAS: 1-17
INDEXADO EM: Scopus WOS CrossRef
66
TÍTULO: Personalized Counterfactual Explanations via Cluster-Based Fine-Tuning of GANs
AUTORES: Ahmed A Fares ; João Cezar Mendes Moreira ;
PUBLICAÇÃO: 2026, FONTE: 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025 in Lecture Notes in Computer Science, VOLUME: 16239 LNCS, PÁGINAS: 343-348
INDEXADO EM: Scopus CrossRef Unpaywall
67
TÍTULO: Preface
AUTORES: Rita Ribeiro ; Nathalie Japkowicz; Alípio Mário Jorge; Carlos Soares; Pedro Henriques Abreu; Bernhard Pfahringer; João P Gama; Pedro Larrañaga; Castro Dutra; Mykola Pechenizkiy; Sepideh Pashami; Paulo Cortez ;
PUBLICAÇÃO: 2026, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2025 in Lecture Notes in Computer Science, VOLUME: 16014 LNCS
INDEXADO EM: Scopus
68
TÍTULO: Preface
AUTORES: José Proença ; Raul Fervari; Manuel António Martins ; Reinhard Kahle; Graham Pluck;
PUBLICAÇÃO: 2026, FONTE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, Collocated Workshops, International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, ReacTS 2024 and 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2024 in Lecture Notes in Computer Science, VOLUME: 15551 LNCS
INDEXADO EM: Scopus
69
TÍTULO: Proposal for a Cybersecurity Framework for the Digital Transformation of Small and Medium-Sized Enterprises in Mozambique: Position Paper
AUTORES: Micaela Roberto Amade; Henrique São Mamede ; Leonilde Reis; Ramiro Moreira Gonçalves; José Luís Bandeira Martins; Frederico Augusto Branco;
PUBLICAÇÃO: 2026, FONTE: 19th Iberian Conference on Information Systems and Technologies, CISTI 2024 in Lecture Notes in Networks and Systems, VOLUME: 1747 LNNS, NÚMERO: 2, PÁGINAS: 456-462
INDEXADO EM: Scopus CrossRef Unpaywall
70
TÍTULO: Reconfiguring Staggered Quantum Walks with ZX
AUTORES: Jardim, Bruno; Santos, Jaime; Barbosa, Luis S. ;
PUBLICAÇÃO: 2026, FONTE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS, VOLUME: 15551, PÁGINAS: 112-119
INDEXADO EM: WOS DBLP CrossRef Unpaywall
71
TÍTULO: Renewable Energy Into Sustainability Metrics: A Multicriteria Decision
AUTORES: Rodrigues, Helena Sofia ; Garcia, Jorge Esparteiro ; Ângela Silva ;
PUBLICAÇÃO: 2026, FONTE: 5th International Conference on Optimization Learning Algorithms and Applications-OL2A-Annual in OPTIMIZATION, LEARNING ALGORITHMS AND APPLICATIONS, OL2A 2025, PT II, VOLUME: 2618, PÁGINAS: 35-48
INDEXADO EM: Scopus WOS CrossRef
72
TÍTULO: Resilience Under Attack: Benchmarking Optimizers Against Poisoning in Federated Learning for Image Classification Using CNN
AUTORES: Biadgligne, Yohannes ; Baghoussi, Yassine ; Li, Kai; Jorge, Alipio ;
PUBLICAÇÃO: 2026, FONTE: 18th International Work-Conference on Advances in Computational Intelligence-IWANN in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2025, PT I, VOLUME: 16008, PÁGINAS: 27-40
INDEXADO EM: Scopus WOS DBLP CrossRef
73
TÍTULO: SegNSP: Revisiting Next Sentence Prediction for Linear Text Segmentation
AUTORES: José Isidro; Luís Filipe Cunha; Purificação Silvano; Alípio Jorge; Nuno Guimarães; Sérgio Nunes ; Ricardo Campos;
PUBLICAÇÃO: 2026, FONTE: CoRR, VOLUME: abs/2601.03474
INDEXADO EM: DBLP
75
TÍTULO: Stable coalition formation through bargaining for the preservation of public goods
AUTORES: Accinelli, Elvio; Afsar, Atefeh; Martins, Filipe ; Martins, Jose; Oliveira, Bruno M. P. M.; Pinto, Alberto A.; Quintas, Luis;
PUBLICAÇÃO: 2026, FONTE: ECONOMIC MODELLING, VOLUME: 158, PÁGINAS: 107525
INDEXADO EM: Scopus WOS CrossRef Unpaywall
76
TÍTULO: STARK: Enhancing Traffic Prediction Through Spatiotemporal Adaptive Refinement With Knowledge Distillation
AUTORES: Pandey, Shobhit; Sharma, Saurabh; Kumar, Rahul; Moreira, Joao Mendes ; Chandra, Joydeep;
PUBLICAÇÃO: 2026, FONTE: IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, PÁGINAS: 1-13
INDEXADO EM: Scopus WOS CrossRef
77
TÍTULO: Stochastic dynamic inventory-routing: A comprehensive review
AUTORES: Maia, Francisco ; Figueira, Goncalo; Neves Moreira, Fabio ;
PUBLICAÇÃO: 2026, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 189, PÁGINAS: 107383
INDEXADO EM: Scopus WOS DBLP CrossRef
78
TÍTULO: Synthetic Time Series Generation via Complex Networks PDF
AUTORES: Jaime Vale; Vanessa Freitas Silva ; Maria Eduarda Silva ; Fernando Silva ;
PUBLICAÇÃO: 2026
INDEXADO EM: arXiv DataCite
79
TÍTULO: Synthetic-Digital Twin Assisted Federated Graph Learning for Edge-Based Anomaly Detection in Autonomous IoT Systems  Full Text
AUTORES: Reis, Manuel J. C. S.; C. Serôdio; Branco, Frederico ;
PUBLICAÇÃO: 2026, FONTE: ELECTRONICS, VOLUME: 15, NÚMERO: 2, PÁGINAS: 364
INDEXADO EM: Scopus WOS CrossRef
80
TÍTULO: Teachers' Perspective on Software Testing Education
AUTORES: Fasolino, Anna Rita; Marin, Beatriz; Vos, Tanja E. J.; Mendes, Alexandra ; Paiva, Ana C. R. ; Cammaerts, Felix; Snoeck, Monique; Saadatmand, Mehrdad; Tramontana, Porfirio;
PUBLICAÇÃO: 2026, FONTE: ACM TRANSACTIONS ON COMPUTING EDUCATION, VOLUME: 26, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 4 de 534. Total de resultados: 10668.