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

AuthID: I-000-0K9


Publications Count: 4662

61 Team Members
Filters -> Year: 2026
261
262
TÍTULO: What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
AUTORES: Francisco Oliveira; Alexandra Mendes ; Carolina Carreira;
PUBLICAÇÃO: 2025, FONTE: 36th IEEE International Symposium on Software Reliability Engineering, ISSRE 2025 in ISSRE, PÁGINAS: 203-214
263
TÍTULO: Zero-Shot and Hybrid Strategies for Tetun Ad-Hoc Text Retrieval
AUTORES: de Jesus, Gabriel ; Singh, Siddharth A. K.; Nunes, Sergio ; Yates, Andrew;
PUBLICAÇÃO: 2025, FONTE: 2025 International Conference on Innovative Concepts and Theories in Information Retrieval-ICTIR in PROCEEDINGS OF THE 2025 INTERNATIONAL ACM SIGIR CONFERENCE ON INNOVATIVE CONCEPTS AND THEORIES IN INFORMATION RETRIEVAL, ICTIR 2025, PÁGINAS: 264-274
264
TÍTULO: 0-DMF: A Decision-Support Framework for Zero Defects Manufacturing
AUTORES: Beatriz Coutinho; Eliseu Moura Pereira ; Gil Gonçalves ;
PUBLICAÇÃO: 2024, FONTE: ICINCO (1), VOLUME: 1, PÁGINAS: 253-260
265
266
TÍTULO: 4Doodle: Two-handed Gestures for Immersive Sketching of Architectural Models
AUTORES: Fernando Fonseca; Maurício Sousa; Daniel Mendes ; Alfredo Ferreira; Joaquim Jorge;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.18887
267
TÍTULO: 7th International Workshop on Software-intensive Business (IWSiB 2024): Software-intensive Business in the Era of Generative Artificial Intelligence
AUTORES: Jorge Melegati ; Dimitri Petrik; Andrey Saltan;
PUBLICAÇÃO: 2024, FONTE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 49, NÚMERO: 4, PÁGINAS: 22-25
268
TÍTULO: <bold>GAMFLEW</bold>: serious game to teach white-box testing
AUTORES: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLICAÇÃO: 2024, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1, PÁGINAS: 5
269
TÍTULO: <i>DifFuzzAR</i>: automatic repair of timing side-channel vulnerabilities via refactoring
AUTORES: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ; Carreira, Carolina;
PUBLICAÇÃO: 2024, FONTE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, NÚMERO: 1, PÁGINAS: 1
270
TÍTULO: <i>GamEmotion</i>: A Serious Game for Emotion Regulation in Young Adolescents
AUTORES: Silva, Eliana ; Franca, Pedro; Reis, Luis Paulo ;
PUBLICAÇÃO: 2024, FONTE: 6th Annual IEEE Conference on Games (CoG) in 2024 IEEE CONFERENCE ON GAMES, COG 2024, PÁGINAS: 1-4
271
TÍTULO: A C Subset for Ergonomic Source-to-Source Analyses and Transformations
AUTORES: Matos, Joao N.; Bispo, Joao ; Sousa, Luis Miguel;
PUBLICAÇÃO: 2024, FONTE: Rapido Workshop on Rapid Simulation and Performance Evaluation - Methods and Tools (Rapido) / HiPEAC Conference in PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024, PÁGINAS: 1-8
272
TÍTULO: A case study on phishing detection with a machine learning net
AUTORES: Bezerra, Ana; Pereira, Ivo; Rebelo, Miguel Angelo; Coelho, Duarte; de Oliveira, Daniel Alves; Costa, Joaquim F. Pinto ; Cruz, Ricardo P. M. ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: 20, NÚMERO: 3, PÁGINAS: 2001-2020
273
TÍTULO: A Community-Driven Data-to-Text Platform for Football Match Summaries
AUTORES: Pedro Fernandes; Sérgio Nunes ; Luís Santos;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy., PÁGINAS: 164-173
274
TÍTULO: A DSL and MLIR Dialect for Streaming and Vectorisation
AUTORES: da Silva, Manuel Cerqueira; Sousa, Luis ; Paulino, Nuno ; Bispo, Joao ;
PUBLICAÇÃO: 2024, FONTE: 20th International Symposium on Applied Reconfigurable Computing (ARC) in APPLIED RECONFIGURABLE COMPUTING. ARCHITECTURES, TOOLS, AND APPLICATIONS, ARC 2024, VOLUME: 14553, PÁGINAS: 181-190
275
TÍTULO: A Fast and Energy-Efficient Method for Online and Incremental Pareto-Front Update
AUTORES: Paulo J S Ferreira; João Mendes Moreira ; João M P Cardoso ;
PUBLICAÇÃO: 2024, FONTE: WF-IoT, PÁGINAS: 1-6
276
TÍTULO: A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP)
AUTORES: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLICAÇÃO: 2024, FONTE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PÁGINAS: 178-182
277
TÍTULO: A Proposed Educational Framework for Professional Upskilling in Smart Manufacturing: On-Demand Microlearning Units
AUTORES: Rui Pinto ; Adrian Lomba Perez; Gil Gonçalves ; Jesús F Lampón; Hugo Pérez Moure;
PUBLICAÇÃO: 2024, FONTE: ISM, VOLUME: 253, PÁGINAS: 2039-2048
278
TÍTULO: A review of machine learning methods for cancer characterization from microbiome data
AUTORES: Teixeira, Marco; Silva, Francisco ; Ferreira, Rui M.; Pereira, Tania ; Figueiredo, Ceu ; Oliveira, Helder P. ;
PUBLICAÇÃO: 2024, FONTE: NPJ PRECISION ONCOLOGY, VOLUME: 8, NÚMERO: 1
279
TÍTULO: A Zero-Shot Learning Approach for Task Allocation Optimization in Cyber-Physical Systems
AUTORES: Pereira, Eliseu ; Reis, Joao; Rossetti, Rosaldo J. F. ; Gil Gonçalves ;
PUBLICAÇÃO: 2024, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL CYBER-PHYSICAL SYSTEMS, VOLUME: 2, PÁGINAS: 90-97
280
TÍTULO: Across the Atlantic: Distinguishing Between European and Brazilian Portuguese Dialects
AUTORES: David Preda; Tomás Freitas Osório; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PÁGINAS: 353-363

Results per Page: 20.
Página 14 de 234. Total de resultados: 4662.