Publications

Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, and Marcel Steinmetz. TraceVis: Towards Visualization for Deep Statistical Model Checking. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, 27–46, Springer-Verlag, Berlin, Heidelberg, 2020. [PUMA: Networks Visualization Model Statistical Checking Neural] URL

David Nam, Julius Chapiro, Valerie Paradis, Tobias Paul Seraphin, and Jakob Nikolas Kather. Artificial intelligence in liver diseases: Improving diagnostics, prognostics and response prediction. JHEP Rep., (4)4:100443, Elsevier BV, April 2022. [PUMA: a disease; HCC, or intelligence; liver multivariable non-alcoholic multimodal ML, artificial WSIs, images; prediction support integration TACE, DICOM, AI, network; deep neural Digital Diagnosis; MVI, transarterial fatty topic_lifescience microvascular convolutional in learning; imaging; Communications invasion; NAFLD, chemoembolisation; hepatocellular Reporting steatohepatitis; Transparent Individual slide machine Prognosis Artificial data for NASH, whole Medicine; TRIPOD, of CNN, and Imaging carcinoma; diagnostic system; model]