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

AuthID: I-000-0K9


Publications Count: 4510

56 Team Members
Filters -> Year: 2026
441
TITLE: Validating multiple variants of an automotive light system with Alloy 6
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 3, PAGES: 365-377
442
TITLE: Validating Pattern Languages: A systematic literature review
AUTHORS: Francisca Almeida; Daniel Pinho; Ademar Aguiar ;
PUBLISHED: 2024, SOURCE: 29th European Conference on Pattern Languages of Programs, People, and Practices, EuroPLoP 2024 in Proceedings of the 29th European Conference on Pattern Languages of Programs, People, and Practices, EuroPLoP 2024, Irsee, Germany, July 3-7, 2024, PAGES: 34:1-34:8
443
TITLE: Verification and Validation of Quantum Software
AUTHORS: Daniel Fortunato; Luis Jiménez Navajas; José Campos ; Rui Abreu;
PUBLISHED: 2024, SOURCE: Quantum Software: Aspects of Theory and System Design, PAGES: 93-123
444
TITLE: VEST: automatic feature engineering for forecasting
AUTHORS: Cerqueira, V ; Moniz, N ; Soares, C ;
PUBLISHED: 2024, SOURCE: MACHINE LEARNING, VOLUME: 113, ISSUE: 7, PAGES: 4523-4545
445
TITLE: WASMICO: Micro-containers in microcontrollers with WebAssembly
AUTHORS: Ribeiro, Eduardo; André Restivo ; Ferreira, Hugo Sereno ; Dias, Joao Pedro ;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 214, PAGES: 112081
446
TITLE: Weather and Meteorological Optical Range Classification for Autonomous Driving
AUTHORS: Celso Pereira; Ricardo P M Cruz ; João N D Fernandes ; João Ribeiro Pinto ; Jaime S Cardoso ;
PUBLISHED: 2024, SOURCE: IEEE Trans. Intell. Veh., VOLUME: 9, ISSUE: 10, PAGES: 6637-6647
447
TITLE: Weaving Agility in Safety-Critical Software Development for Aerospace: From Concerns to Opportunities
AUTHORS: Eduardo Ferreira Ribeiro, J.; Silva, Joao Gabriel; Aguiar, Ademar ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 52778-52802
448
TITLE: Where DoWe Go From Here? Location Prediction from Time-Evolving Markov Models
AUTHORS: Andrade, Thiago ; Gama, Joao ;
PUBLISHED: 2024, SOURCE: 39th Annual ACM Symposium on Applied Computing (SAC) in 39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, PAGES: 365-367
449
TITLE: Wireless Localization System Applied to a Kitting Pick-to-light System
AUTHORS: Marco Costa; Vítor Pinto ; Gil Gonçalves ;
PUBLISHED: 2024, SOURCE: 3rd International Conference on Innovation in Engineering, ICIE 2024 in Lecture Notes in Mechanical Engineering, PAGES: 252-263
450
TITLE: Work-from-home impacts on software project: A global study on software development practices and stakeholder perceptions
AUTHORS: Anh Nguyen Duc; Dron Khanna; Giang Huong Le; Des Greer; Xiaofeng Wang; Luciana Martinez Zaina; Gerardo Matturro; Jorge Melegati ; Eduardo Guerra; Petri Kettunen; Sami Hyrynsalmi; Henry Edison; Afonso Sales; Rafael Chanin; Didzis Rutitis; Kai Kristian Kemell; Abdullah Aldaeej; Tommi Mikkonen; Juan Garbajosa; Pekka Abrahamsson;
PUBLISHED: 2024, SOURCE: Softw. Pract. Exp., VOLUME: 54, ISSUE: 5, PAGES: 896-926
451
TITLE: YOLOMM - You Only Look Once for Multi-modal Multi-tasking
AUTHORS: Campos, Filipe; Cerqueira, Francisco Goncalves; Cruz, Ricardo P. M. ; 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: 564-574
452
453
TITLE: A coalition formation framework of smallholder farmers in an agricultural cooperative
AUTHORS: Sarkar, Samriddhi; Biswas, Tuhin; Malta, Mariana Curado ; Meira, Deolinda; Dutta, Animesh;
PUBLISHED: 2023, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 221, PAGES: 119781
454
TITLE: A Comparison of Point Set Registration Algorithms for Quantification of Change in Spatiotemporal Data
AUTHORS: Miguel Gomes; Alexandre Valle De Carvalho ; Marco Amaro Oliveira ; Edgar Carneiro;
PUBLISHED: 2023, SOURCE: Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2023-June
455
TITLE: A CPU-FPGA Holistic Source-To-Source Compilation Approach for Partitioning and Optimizing C/C plus plus Applications
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLISHED: 2023, SOURCE: 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT) in 2023 32ND INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PACT, PAGES: 320-322
456
TITLE: A Deep Learning approach to infer morphological characteristics of the heart from cardiac sound analysis
AUTHORS: Andrade, Luis; Camacho, Rui ; Oliveira, Jorge;
PUBLISHED: 2023, SOURCE: 13th International Conference on Bioscience, Biochemistry and Bioinformatics (ICBBB) in 2023 13TH INTERNATIONAL CONFERENCE ON BIOSCIENCE, BIOCHEMISTRY AND BIOINFORMATICS, ICBBB 2023, PAGES: 63-67
457
458
TITLE: A DSL-based runtime adaptivity framework for Java
AUTHORS: Carvalho, Tiago ; Bispo, Joao ; Pinto, Pedro; Cardoso, Joao M. P. ;
PUBLISHED: 2023, SOURCE: SOFTWAREX, VOLUME: 23, PAGES: 101496
459
TITLE: A Human-Computer Interaction Perspective on Clinical Decision Support Systems: A Systematic Review of Usability, Barriers, and Recommendations for Improvement
AUTHORS: Ferreira, Goncalo; Oliveira, Eva; Stamper, John; Coelho, Antonio ; Paredes, Hugo ; Rodrigues, Nuno F. ;
PUBLISHED: 2023, SOURCE: IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) in 2023 IEEE 11TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH, PAGES: 1-8
460
TITLE: A methodology for refactoring ORM-based monolithic web applications into microservices
AUTHORS: Freitas, Francisco; Ferreira, Andre; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 75, PAGES: 101205

Results per Page: 20.
Page 23 of 226. Total results: 4510.