Matthias König

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 3

Top Topics

Top Venues

Otto-von-Guericke University Magdeburg, Germany (PHD)

Education History

Otto-von-Guericke University Magdeburg, Germany

PHD

Publications

Matthias König, Annelot Bosman, Holger H. Hoos, Jan N. van Rijn
Critically Assessing the State of the Art in CPU-based Local Robustness Verification. SafeAI@AAAI (2023)
Matthias König, Holger H. Hoos, Jan N. van Rijn
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio. Mach. Learn. 111 (12) (2022)
Bruno Veloso, Luciano Caroprese, Matthias König, Sónia Teixeira, Giuseppe Manco, Holger H. Hoos, João Gama
Hyper-parameter Optimization for Latent Spaces. ECML/PKDD (3) (2021)
Matthias König, Volker Padur
Visualisierung der Rekonstruktion synthetische Hologramme mittels Graphikhardware. SimVis (2000)
Carmen Theek, Matthias König
Automatisches Auffinden von potentiell irreversiblen Infarktregionen im menschlichen Gehirn anhand von kombinierten Perfusions-CT-Bildern. Bildverarbeitung für die Medizin (2000)
Matthias König, Joachim Böttger
Visualisierung von Flächenelementen in der synthetischen Holographie. SimVis (1999)
Matthias König, Joachim Böttger, Oliver Deussen, Thomas Strothotte
A Volumetric Approach to Visualize Holographic Reconstructions. IV (1999)
Oliver Deussen, Matthias König, Alf Ritter, Thomas Strothotte
Schnelle computergraphische Hologrammberechnung für Displayzwecke. GI Jahrestagung (1998)
Matthias König, Christian Lenz, Gitta Domik
Visualization of Meteorological Data using an Interactive Flight. Computer Graphics International (1998)