A Modeling Approach to KBS Verification. - Jan Vanthienen; Ann Aerts; Christophe Mues; Geert Wets (EUROVAV, 1995)

An Illustration of Verification and Validation in the Modelling Phase of KBS Development. - Jan Vanthienen; Christophe Mues; Ann Aerts (Data Knowl. Eng., 1998)

Leveraging data and AI to deliver on the promise of digital health. - Ann Aerts; Doreen Bogdan-Martin (Int. J. Medical Informatics, 2021)