Publications

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

Timo P. Gros, David Groß, Stefan Gumhold, Jörg Hoffmann, Michaela Klauck, und 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: Checking Model Networks Neural Statistical Visualization] URL