Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering

AuthID: I-000-0K9


Publications Count: 4653

60 Team Members
Filters -> Year: 2026
21
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
22
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
23
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
24
TÍTULO: Software Testing Education and Industry Needs - Report from the ENACTEST EU Project
AUTORES: Mehrdad Saadatmand; Abbas Khan; Beatriz Marín; Ana R Paiva ; Nele Van Asch; Graham Moran; Felix Cammaerts; Monique Snoeck; Alexandra Mendes ;
PUBLICAÇÃO: 2026, FONTE: 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025 in Lecture Notes in Computer Science, VOLUME: 16362 LNCS, PÁGINAS: 53-68
25
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
26
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
27
TÍTULO: Unsupervised contrastive analysis for anomaly detection in brain MRIs via conditional diffusion models
AUTORES: Patricio, Cristiano ; Barbano, Carlo Alberto; Fiandrotti, Attilio; Renzulli, Riccardo; Grangetto, Marco; Teixeira, Luis F. ; Neves, Joao C.;
PUBLICAÇÃO: 2026, FONTE: PATTERN RECOGNITION LETTERS, VOLUME: 199, PÁGINAS: 82-89
28
TÍTULO: User Behavior in Sports Search: Entity-Centric Query and Click Log Analysis
AUTORES: João Damas; Sérgio Nunes ;
PUBLICAÇÃO: 2026, FONTE: 24th EPIA Conference on Artificial Intelligence, EPIA 2025, in Lecture Notes in Computer Science, VOLUME: 16122 LNAI, PÁGINAS: 276-288
29
TÍTULO: A Human-Centric Agent Architecture for Hybrid Industrial Collaboration in Industry 5.0
AUTORES: José Sousa; Filipe Oliveira; Davide Carneiro; António Soares ; Bruno Silva;
PUBLICAÇÃO: 2025, FONTE: IFIP Advances in Information and Communication Technology - Hybrid Human-AI Collaborative Networks, PÁGINAS: 69-84
30
TÍTULO: A New Proposal of Layer Insertion in Stacked Autoencoder Neural Networks
AUTORES: Francisco dos Santos Viana; Bianca Valéria L Pereira; Moisés Santos; Carlos Soares ; Areolino de Almeida Neto;
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: 464-476
31
TÍTULO: A Pattern Language for Engineering Software for the Cloud
AUTORES: Tiago Boldt Sousa; Hugo Sereno Ferreira; Filipe Figueiredo Correia ;
PUBLICAÇÃO: 2025, FONTE: Transactions on Pattern Languages of Programming V, VOLUME: 5, PÁGINAS: 1-66
32
33
TÍTULO: A survey on cell nuclei instance segmentation and classification: Leveraging context and attention
AUTORES: Nunes, Joao D. ; Montezuma, Diana; Oliveira, Domingos; Pereira, Tania ; Cardoso, Jaime S. ;
PUBLICAÇÃO: 2025, FONTE: MEDICAL IMAGE ANALYSIS, VOLUME: 99, PÁGINAS: 103360
34
TÍTULO: A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
AUTORES: Carolina Carreira; Alexandra Mendes ; João F Ferreira; Nicolas Christin;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.02109
35
TÍTULO: A Systematic Review on the IEEE 1451 Standards: Current Status, Challenges, and Opportunities
AUTORES: Spencer, Geoffrey; Torres, Pedro; Gil Gonçalves ;
PUBLICAÇÃO: 2025, FONTE: IEEE SENSORS JOURNAL, VOLUME: 25, NÚMERO: 19, PÁGINAS: 35735-35756
36
TÍTULO: A Tripartite Framework for Immersive Music Production: Concepts and Methodologies
AUTORES: José Ricardo Barboza; Gilberto Bernardes ; Eduardo Magalhães;
PUBLICAÇÃO: 2025, FONTE: 2025 Immersive and 3D Audio: from Architecture to Automotive, I3DA 2025 in 2025 Immersive and 3D Audio: from Architecture to Automotive (I3DA), PÁGINAS: 1-7
37
TÍTULO: A Two-Stage U-Net Framework for Interactive Segmentation of Lung Nodules in CT Scans
AUTORES: Fernandes, Luis ; Pereira, Tania ; Oliveira, Helder P. ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 77599-77610
38
TÍTULO: A two-step concept-based approach for enhanced interpretability and trust in skin lesion diagnosis
AUTORES: Patricio, Cristiano ; Teixeira, Luis F. ; Neves, Joao C.;
PUBLICAÇÃO: 2025, FONTE: COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, VOLUME: 28, PÁGINAS: 71-79
39
TÍTULO: Acceptance Test Generation with Large Language Models: An Industrial Case Study
AUTORES: Ferreira, Margarida; Viegas, Luis; Faria, Joao Pascoal ; Lima, Bruno ;
PUBLICAÇÃO: 2025, FONTE: 6th International Conference on Automation of Software Test-AST-Annual in 2025 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST, PÁGINAS: 1-11
40
TÍTULO: Addressing imperfect symmetry: A novel symmetry-learning actor-critic extension
AUTORES: Abreu, Miguel; Reis, Luis Paulo ; Lau, Nuno;
PUBLICAÇÃO: 2025, FONTE: NEUROCOMPUTING, VOLUME: 614, PÁGINAS: 128771

Results per Page: 20.
Página 2 de 233. Total de resultados: 4653.