Systematic API Testing Through Model Checking and Executable Contracts.

Ana Ribeiro

Ana Ribeiro Margarida Mamede Carla Ferreira 0001 Systematic API Testing Through Model Checking and Executable Contracts. 2026 April abs/2604.08633 CoRR https://doi.org/10.48550/arXiv.2604.08633 db/journals/corr/corr2604.html#abs-2604-08633 streams/journals/corr

Antonio Candito Alina Dragan Richard Holbrey Ana Ribeiro Ricardo Donners Christina Messiou Nina Tunariu Dow-Mu Koh Matthew D. Blackledge A weakly-supervised deep learning model for fast localisation and delineation of the skeleton, internal organs, and spinal canal on whole-body diffusion-weighted MRI (WB-DWI). 109043 2025 272 Comput. Methods Programs Biomed. https://doi.org/10.1016/j.cmpb.2025.109043 db/journals/cmpb/cmpb272.html#CanditoDHRDMTKB25 streams/journals/cmpb

Ana Ribeiro Bruno Oliveira 0001 Óscar Oliveira Business Process Modeling Techniques for Data Integration Conceptual Modeling. 158-169 2025 ICEIS (1) https://doi.org/10.5220/0013497800003929 conf/iceis/2025-1 db/conf/iceis/iceis2025-1.html#Ribeiro0O25

Antonio Candito Alina Dragan Richard Holbrey Ana Ribeiro Ricardo Donners Christina Messiou Nina Tunariu Dow-Mu Koh Matthew D. Blackledge A weakly-supervised deep learning model for fast localisation and delineation of the skeleton, internal organs, and spinal canal on Whole-Body Diffusion-Weighted MRI (WB-DWI). 2025 March abs/2503.20722 CoRR https://doi.org/10.48550/arXiv.2503.20722 db/journals/corr/corr2503.html#abs-2503-20722 streams/journals/corr

Antonio Candito Matthew D. Blackledge Richard Holbrey Nuria Porta Ana Ribeiro Fabio Zugni Luca D'Erme Francesca Castagnoli Alina Dragan Ricardo Donners Christina Messiou Nina Tunariu Dow-Mu Koh Signal-based AI-driven software solution for automated quantification of metastatic bone disease and treatment response assessment using Whole-Body Diffusion-Weighted MRI (WB-DWI) biomarkers in Advanced Prostate Cancer. 2025 May abs/2505.09011 CoRR https://doi.org/10.48550/arXiv.2505.09011 db/journals/corr/corr2505.html#abs-2505-09011 streams/journals/corr

Antonio Candito Richard Holbrey Ana Ribeiro Alina Dragan Christina Messiou Nina Tunariu Matthew D. Blackledge Dow-Mu Koh Deep learning assisted atlas-based delineation of the skeleton from Whole-Body Diffusion Weighted MRI in patients with malignant bone disease. 106099 2024 92 Biomed. Signal Process. Control. https://doi.org/10.1016/j.bspc.2024.106099 db/journals/bspc/bspc92.html#CanditoHRDMTBK24

Hugo Costa Senhorinha Teixeira Ana Ribeiro Rui Fonseca-Pinto Intralogistics Automation in Textile & Clothing Companies. 488-495 2024 CENTERIS/ProjMAN/HCist https://doi.org/10.1016/j.procs.2025.02.144 conf/centeris/2024 db/conf/centeris/centeris2024.html#CostaTRF24 Ana Ribeiro Joana Oliveira Ricardo Rodrigues Nunes João Barroso 0001 Tânia Rocha Motorcycle Displays Features and Smartphone Mobile Applications for Improving UI/UX Design: A Systematic Literature Review. 236-246 2024 DCAI (2) https://doi.org/10.1007/978-3-031-76459-2_22 conf/dcai/2024-2 db/conf/dcai/dcai2024-2.html#RibeiroONBR24 Francisca Santos Ana Ribeiro Carina Pimentel Digitalization of Restrictions for Assigning Workstations. 299-312 2024 ICCSA (Workshops 2) https://doi.org/10.1007/978-3-031-65223-3_20 conf/iccsa/2024-w2 db/conf/iccsa/iccsa2024-w2.html#SantosRP24 streams/conf/iccsa

Tânia Rocha Ana Ribeiro Joana Oliveira Ricardo Rodrigues Nunes Diana Carvalho Hugo Paredes Paulo Martins 0001 3D Modelling to Address Pandemic Challenges: A Project-Based Learning Methodology. 2024 abs/2411.08730 CoRR https://doi.org/10.48550/arXiv.2411.08730 db/journals/corr/corr2411.html#abs-2411-08730 streams/journals/corr

Guilherme Pereira Ana Ribeiro Senhorinha Teixeira Challenges in the digital transaction of an order picking system of an after-sale auto repair shop. 1856-1862 2023 CENTERIS/ProjMAN/HCist https://doi.org/10.1016/j.procs.2024.06.367 conf/centeris/2023 db/conf/centeris/centeris2023.html#PereiraRT23

Sara Simões Ana Ribeiro Carla Ferreira 0001 Nuno M. Preguiça JepREST: Functional tests for distributed REST applications. 2023 abs/2303.14104 CoRR https://doi.org/10.48550/arXiv.2303.14104 db/journals/corr/corr2303.html#abs-2303-14104

Ana Ribeiro João F. Ferreira 0001 Alexandra Mendes EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications. 62-69 2021 QRS https://doi.org/10.1109/QRS54544.2021.00017 conf/qrs/2021 db/conf/qrs/qrs2021.html#RibeiroFM21

Ana Ribeiro Filipe Portela Manuel Santos 0001 António Abelha José Machado 0001 Fernando Rua Patients' Admissions in Intensive Care Units: A Clustering Overview. 23 2017 8 Inf. 1 https://doi.org/10.3390/info8010023 db/journals/information/information8.html#RibeiroPSAMR17

Ana Ribeiro Filipe Portela Manuel Filipe Santos José Machado 0001 António Abelha Fernando Rua Patients' Admissions in Intensive Care Units: A Clustering Overview. 38-44 2016 CBI (2) https://doi.org/10.1109/CBI.2016.48 https://doi.ieeecomputersociety.org/10.1109/CBI.2016.48 conf/wecwis/2016-2 db/conf/wecwis/cbi2016-2.html#RibeiroPS0AR16 António Abelha João Barroso 0001 Matthew D. Blackledge Antonio Candito Diana Carvalho Francesca Castagnoli Hugo Costa Luca D'Erme Ricardo Donners Alina Dragan Carla Ferreira 0001 João F. Ferreira 0001 Rui Fonseca-Pinto Richard Holbrey Dow-Mu Koh José Machado 0001 Margarida Mamede Paulo Martins 0001 Alexandra Mendes Christina Messiou Ricardo Rodrigues Nunes Bruno Oliveira 0001 Joana Oliveira Óscar Oliveira Hugo Paredes Guilherme Pereira Carina Pimentel Nuria Porta Filipe Portela Nuno M. Preguiça Tânia Rocha Fernando Rua Francisca Santos Manuel Filipe SantosManuel Santos 0001 Sara Simões Senhorinha Teixeira Nina Tunariu Fabio Zugni