Publications

Nishant Kumar, Lukas Krause, Thomas Wondrak, Sven Eckert, Kerstin Eckert, and Stefan Gumhold. Robust Reconstruction of the Void Fraction from Noisy Magnetic Flux Density Using Invertible Neural Networks. Sensors, (24)42024. [PUMA: Networks Noisy Density Invertible Magnetic Reconstruction Flux Fraction Void topic_visualcomputing Neural] URL

Julia Scheel, Matti Hoch, Markus Wolfien, and Shailendra Gupta. NaviCenta - The disease map for placental research. Placenta, (143):12--15, Elsevier BV, November 2023. [PUMA: Networks biology Molecular integration; Omics topic_lifescience analysis; Systems interaction map;]

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