Publications

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K Murali, and Christoph Weidenbach. 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

Marianne Maktabi, Hannes Köhler, Magarita Ivanova, Thomas Neumuth, Nada Rayes, Lena Seidemann, Robert Sucher, Boris Jansen-Winkeln, Ines Gockel, Manuel Barberio, and Claire Chalopin. 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]

Katja Hoffmann, Katja Cazemier, Christoph Baldow, Silvio Schuster, Yuri Kheifetz, Sibylle Schirm, Matthias Horn, Thomas Ernst, Constanze Volgmann, Christian Thiede, Andreas Hochhaus, Martin Bornhäuser, Meinolf Suttorp, Markus Scholz, Ingmar Glauche, Markus Loeffler, and Ingo Roeder. 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;]