Publications

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;]

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

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