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

AuthID: I-000-0K9


Publications Count: 4461

56 Team Members
Filters -> Year: 2025
161
TITLE: What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
AUTHORS: Francisco Oliveira; Alexandra Mendes ; Carolina Carreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.23696
162
TITLE: Zero-Shot and Hybrid Strategies for Tetun Ad-Hoc Text Retrieval
AUTHORS: Gabriel de Jesus; Siddharth K Singh; Sérgio Nunes ; Andrew Yates;
PUBLISHED: 2025, SOURCE: 15th International Conference on Innovative Concepts and Theories in Information Retrieval, ICTIR 2025 in Proceedings of the 2025 International ACM SIGIR Conference on Innovative Concepts and Theories in Information Retrieval (ICTIR), PAGES: 264-274
163
TITLE: 0-DMF: A Decision-Support Framework for Zero Defects Manufacturing
AUTHORS: Beatriz Coutinho; Eliseu Moura Pereira ; Gil Gonçalves ;
PUBLISHED: 2024, SOURCE: 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024 in Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics, ICINCO 2024, Porto, Portugal, November 18-20, 2024, Volume 1., VOLUME: 1, PAGES: 253-260
164
165
TITLE: 4Doodle: Two-handed Gestures for Immersive Sketching of Architectural Models
AUTHORS: Fernando Fonseca; Maurício Sousa; Daniel Mendes ; Alfredo Ferreira; Joaquim Jorge;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2405.18887
166
TITLE: 7th International Workshop on Software-intensive Business (IWSiB 2024): Software-intensive Business in the Era of Generative Artificial Intelligence
AUTHORS: Jorge Melegati ; Dimitri Petrik; Andrey Saltan;
PUBLISHED: 2024, SOURCE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 49, ISSUE: 4, PAGES: 22-25
167
TITLE: A C Subset for Ergonomic Source-to-Source Analyses and Transformations
AUTHORS: Matos, Joao N.; Bispo, Joao ; Sousa, Luis Miguel;
PUBLISHED: 2024, SOURCE: Rapido Workshop on Rapid Simulation and Performance Evaluation - Methods and Tools (Rapido) / HiPEAC Conference in PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024, PAGES: 1-8
168
TITLE: A case study on phishing detection with a machine learning net
AUTHORS: Bezerra, Ana; Pereira, Ivo; Rebelo, Miguel Angelo; Coelho, Duarte; de Oliveira, Daniel Alves; Costa, Joaquim F. Pinto ; Cruz, Ricardo P. M. ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: 20, ISSUE: 3, PAGES: 2001-2020
169
TITLE: A Community-Driven Data-to-Text Platform for Football Match Summaries
AUTHORS: Pedro Fernandes; Sérgio Nunes ; Luís Santos;
PUBLISHED: 2024, SOURCE: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy., PAGES: 164-173
170
TITLE: A DSL and MLIR Dialect for Streaming and Vectorisation
AUTHORS: da Silva, Manuel Cerqueira; Sousa, Luis ; Paulino, Nuno ; Bispo, Joao ;
PUBLISHED: 2024, SOURCE: 20th International Symposium on Applied Reconfigurable Computing (ARC) in APPLIED RECONFIGURABLE COMPUTING. ARCHITECTURES, TOOLS, AND APPLICATIONS, ARC 2024, VOLUME: 14553, PAGES: 181-190
171
TITLE: A Fast and Energy-Efficient Method for Online and Incremental Pareto-Front Update
AUTHORS: Paulo J S Ferreira; João Mendes Moreira ; João M P Cardoso ;
PUBLISHED: 2024, SOURCE: 10th IEEE World Forum on Internet of Things, WF-IoT 2024 in 10th IEEE World Forum on Internet of Things, WF-IoT 2024, Ottawa, ON, Canada, November 10-13, 2024, PAGES: 1-6
172
TITLE: A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP)
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLISHED: 2024, SOURCE: 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, PAGES: 178-182
173
TITLE: A Proposed Educational Framework for Professional Upskilling in Smart Manufacturing: On-Demand Microlearning Units
AUTHORS: Rui Pinto ; Adrian Lomba Perez; Gil Gonçalves ; Jesús F Lampón; Hugo Pérez Moure;
PUBLISHED: 2024, SOURCE: 6th International Conference on Industry 4.0 and Smart Manufacturing, ISM 2024 in Proceedings of the 6th International Conference on Industry 4.0 and Smart Manufacturing (ISM 2024), Prague, Czech Republic, 20-22 November 2024., VOLUME: 253, PAGES: 2039-2048
174
TITLE: A Zero-Shot Learning Approach for Task Allocation Optimization in Cyber-Physical Systems
AUTHORS: Pereira, Eliseu ; Reis, Joao; Rossetti, Rosaldo J. F. ; Gil Gonçalves ;
PUBLISHED: 2024, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL CYBER-PHYSICAL SYSTEMS, VOLUME: 2, PAGES: 90-97
175
TITLE: Across the Atlantic: Distinguishing Between European and Brazilian Portuguese Dialects
AUTHORS: David Preda; Tomás Freitas Osório; Henrique Lopes Cardoso ;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PAGES: 353-363
176
TITLE: Acting Emotions: a comprehensive dataset of elicited emotions
AUTHORS: Aly, Luis; Godinho, Leonor; Bota, Patricia; Bernardes, Gilberto ; da Silva, Hugo Placido;
PUBLISHED: 2024, SOURCE: SCIENTIFIC DATA, VOLUME: 11, ISSUE: 1
177
TITLE: Active Supervision: Human in the Loop
AUTHORS: Cruz, Ricardo P. M. ; Shihavuddin, A. S. M.; Maruf, Md. Hasan; Cardoso, Jaime S. ;
PUBLISHED: 2024, SOURCE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT I, VOLUME: 14469, PAGES: 540-551
178
179
TITLE: Agents and Artificial Intelligence - 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2024, SOURCE: ICAART (Revised Selected Paper), VOLUME: 14546
180
TITLE: AIMSM - A Mechanism to Optimize Systems with Multiple AI Models: A Case Study in Computer Vision for Autonomous Mobile Robots
AUTHORS: Bruno Georgevich Ferreira; Armando Jorge Miranda de Sousa ; Luís Paulo Reis ; António Augusto de Sousa ; Rui Rodrigues ; Rosaldo Rossetti ;
PUBLISHED: 2024, SOURCE: 23rd EPIA Conference on Artificial Intelligence, EPIA 2024 in Progress in Artificial Intelligence - 23rd EPIA Conference on Artificial Intelligence, EPIA 2024, Viana do Castelo, Portugal, September 3-6, 2024, Proceedings, Part III, VOLUME: 14969, PAGES: 53-64

Results per Page: 20.
Page 9 of 224. Total results: 4461.