A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. arXiv, 2022. [PUMA: (cs.LO), Computer FOS: Logic Science and in information sciences sciences,] URL
Classification of hyperspectral endocrine tissue images using support vector machines. Int. J. Med. Robot., (16)5:1--10, Wiley, October 2020. [PUMA: and assisted computer guided head imaged imaging; intraoperative neck; surgery; thyroidectomy]
Integration of mathematical model predictions into routine workflows to support clinical decision making in haematology. BMC Med. Inform. Decis. Mak., (20)1:28, February 2020. [PUMA: Clinical Computer Data Haematology; Individual Mathematical Model-based Routine Support decision-making; management; modelling; optimization; planning; simulation; system therapy treatment workflow;]