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

AuthID: I-000-0K9


Publications Count: 4481

56 Team Members
Filters -> Year: 2025
61
TITLE: ConflictSync: Bandwidth Efficient Synchronization of Divergent State
AUTHORS: Pedro Silva Gomes; Miguel Boaventura Rodrigues; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2505.01144
62
TITLE: Contract Usage and Evolution in Android Mobile Applications
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira; Carolina Carreira;
PUBLISHED: 2025, SOURCE: 39th European Conference on Object-Oriented Programming, ECOOP 2025 in 39th European Conference on Object-Oriented Programming, ECOOP 2025, June 30 to July 2, 2025, Bergen, Norway, VOLUME: 333, PAGES: 11:1-11:30
63
TITLE: Contributions for the Development of Personae: Method for Creating Persona Templates (MCPT)
AUTHORS: Couto, Fábio ; Malta, Mariana Curado ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Human-Computer Interaction, HCII in HCI INTERNATIONAL 2024-LATE BREAKING PAPERS, PT I, VOLUME: 15374, PAGES: 3-22
64
TITLE: CRDT-Based Game State Synchronization in Peer-to-Peer VR
AUTHORS: Dantas, Abel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: 12th Workshop on Principles and Practice of Consistency for Distributed Data-PaPoC in PROCEEDINGS OF THE 12TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2025, VOLUME: abs/2503.17826, PAGES: 45-55
65
TITLE: Cross-genre argument mining: Can language models automatically fill in missing discourse markers?
AUTHORS: Rocha, Gil; Cardoso, Henrique Lopes ; Belouadi, Jonas; Eger, Steffen;
PUBLISHED: 2025, SOURCE: ARGUMENT & COMPUTATION, VOLUME: 16, ISSUE: 1, PAGES: 3-35
66
TITLE: Cross-Lingual Entity Linking Using GPT Models in Radiology Abstracts
AUTHORS: Dias, Mariana ; Lopes, Carla Teixeira ;
PUBLISHED: 2025, SOURCE: 19th International Conference on Research Challenges in Information Science-RCIS-Annual in RESEARCH CHALLENGES IN INFORMATION SCIENCE, RCIS 2025, PT II, VOLUME: 548, PAGES: 20-37
67
TITLE: Cross-Lingual Information Retrieval in Tetun for Ad-Hoc Search
AUTHORS: Altedio Araújo; Gabriel de Jesus; Sérgio Nunes ;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Progress in Artificial Intelligence, PAGES: 262-275
68
TITLE: CSCN: an efficient snapshot ensemble learning based sparse transformer model for long-range spatial-temporal traffic flow prediction
AUTHORS: Kumar, Rahul; Moreira, Joao Mendes ; Chandra, Joydeep;
PUBLISHED: 2025, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 39, ISSUE: 4
69
TITLE: Current Challenges and Future Perspectives in Testing IoT Systems: A Comprehensive Review
AUTHORS: Bruno Lima ; Rui Pinto;
PUBLISHED: 2025, SOURCE: IEEE Sensors Reviews, PAGES: 1-27
70
71
TITLE: Defining quality in peer review reports: a scoping review
AUTHORS: Sizo, Amanda; Lino, Adriano; Rocha, Alvaro; Reis, Luis Paulo ;
PUBLISHED: 2025, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 67, ISSUE: 8, PAGES: 6413-6460
72
TITLE: Designing a Decision Support System for Accelerating Offshore Blue Energy Installations
AUTHORS: Paulino, Dennis ; Carvalho, Alexandre; Cassola, Fernando ; Paredes, Hugo ; Lopes, Joao; Oliveira, Marco ;
PUBLISHED: 2025, SOURCE: 28th International Conference on Computer Supported Cooperative Work in Design-CSCWD-Annual in 2025 28TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, CSCWD, ISSUE: 2025, PAGES: 1973-1980
73
TITLE: Designing a skilled soccer team for RoboCup: exploring skill-set-primitives through reinforcement learning
AUTHORS: Miguel Abreu; Luís Paulo Reis ; Nuno Lau;
PUBLISHED: 2025, SOURCE: Neural Comput. Appl., VOLUME: 37, ISSUE: 18, PAGES: 12699-12734
74
TITLE: Designing Mutation Operators for Android Device Components: A View Through Bluetooth and Location API's
AUTHORS: Pedro Henrique Kuroishi; Ana C R Paiva ; José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi;
PUBLISHED: 2025, SOURCE: Proceedings of the 39th Brazilian Symposium on Software Engineering, SBES 2025, Recife, Brazil, September 22-26, 2025, PAGES: 149-159
75
TITLE: Detecting Resource Leaks on Android with Alpakka
AUTHORS: Santos, Gustavo; Bispo, Joao ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 199-211
76
TITLE: Discovering user groups of active modes of transport in urban centers using clustering methods
AUTHORS: Felicio, Soraia; Hora, Joana ; Ferreira, Marta Campos ; Sobral, Thiago; Camacho, Rui ; Galvao, Teresa;
PUBLISHED: 2025, SOURCE: JOURNAL OF TRANSPORT & HEALTH, VOLUME: 44, PAGES: 102125
77
TITLE: Distributed Generalized Linear Models: A Privacy-Preserving Approach
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: abs/2503.15287
78
TITLE: Do We Need 3D to See? Impact of Dimensionality of the Virtual Environment on Attention
AUTHORS: Matos, Teresa; Mendes, Daniel ; Jacob, Joao; de Sousa, A. Augusto; Rodrigues, Rui ;
PUBLISHED: 2025, SOURCE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PAGES: 1216-1217
79
TITLE: Does Every Computer Scientist Need to Know Formal Methods?
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
80
TITLE: Emotion Odyssey: Promoting Emotion Regulation Skills in Families Through a Serious Game
AUTHORS: Eliana Silva; João Pedro Silva; Luís Paulo Reis ; Sara Araújo Silva;
PUBLISHED: 2025, SOURCE: 2025 IEEE Conference on Games, CoG 2025 in IEEE Conference on Games, CoG 2025, Lisbon, Portugal, August 26-29, 2025, PAGES: 1-4

Results per Page: 20.
Page 4 of 225. Total results: 4481.