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

AuthID: I-000-0K9


Publications Count: 3964

49 Team Members
Filters -> Year: 2025
161
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
162
TITLE: Vehicle-to-Vehicle Charging: Model, Complexity, and Heuristics
AUTHORS: Cláudio Gomes; João Paulo Fernandes ; Gabriel Falcão; Soummya Kar; Sridhar Tayur;
PUBLISHED: 2024, SOURCE: 2024 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2024 in IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2024, Oslo, Norway, September 17-20, 2024, PAGES: 238-244
163
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
164
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
165
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
166
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
167
168
TITLE: A Backend Platform for Supporting the Reproducibility of Computational Experiments
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.00703
169
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
170
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
171
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
172
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
173
174
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
175
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
176
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
177
TITLE: A Platform for the Study of Drug Interactions and Adverse Effects Prediction
AUTHORS: Mendes, Diogo; Camacho, Rui ;
PUBLISHED: 2023, SOURCE: 10th International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO) in BIOINFORMATICS AND BIOMEDICAL ENGINEERING, IWBBIO 2023, PT I, VOLUME: 13919, PAGES: 404-418
178
TITLE: A Social Media Tool for Domain-Specific Information Retrieval - A Case Study in Human Trafficking
AUTHORS: Grine, Tito; Lopes, Carla Teixeira ;
PUBLISHED: 2023, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT I, VOLUME: 1752, PAGES: 23-38
179
TITLE: A Speculative Computing Approach to Accelerate the Task Execution in Cyber-Physical Systems
AUTHORS: Pereira, Eliseu; Gil Gonçalves ;
PUBLISHED: 2023, SOURCE: 9th IEEE World Forum on the Internet of Things (WF-IoT) - The Blue Planet - A Marriage of Sea and Space in 2023 IEEE 9TH WORLD FORUM ON INTERNET OF THINGS, WF-IOT, PAGES: 1-6
180
TITLE: A Study on Hyperparameters Configurations for an Efficient Human Activity Recognition System
AUTHORS: Ferreira, Paulo J. S.; Mendes Moreira, Joao ; Cardoso, Joao M. P. ;
PUBLISHED: 2023, SOURCE: 8th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence (IWOAR) in PROCEEDINGS OF THE 8TH INTERNATIONAL WORKSHOP ON SENSOR-BASED ACTIVITY RECOGNITION AND ARTIFICIAL INTELLIGENCE, IWOAR 2023, PAGES: 11:1-11:6

Results per Page: 20.
Page 9 of 199. Total results: 3964.