Hyper-parameter Optimization for Latent Spaces. - Bruno Veloso; Luciano Caroprese; Matthias König 005; Sónia Teixeira; Giuseppe Manco 001; Holger H. Hoos; João Gama 001 (ECML/PKDD (3), 2021)

Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio. - Matthias König 005; Holger H. Hoos; Jan N. van Rijn (Mach. Learn., 2022)

Critically Assessing the State of the Art in CPU-based Local Robustness Verification. - Matthias König 005; Annelot W. Bosman; Holger H. Hoos; Jan N. van Rijn (SafeAI@AAAI, 2023)

Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing. - Matthias König 005; Holger H. Hoos; Jan N. van Rijn (AAAI, 2024)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks. - Matthias König 005; Xiyue Zhang 001; Holger H. Hoos; Marta Kwiatkowska; Jan N. van Rijn (ECML/PKDD (7), 2024)

Critically Assessing the State of the Art in Neural Network Verification. - Matthias König 005; Annelot W. Bosman; Holger H. Hoos; Jan N. van Rijn (J. Mach. Learn. Res., 2024)

Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification. - Konstantin Kaulen; Matthias König 005; Holger H. Hoos (AAAI, 2025)

Modelling Concept Drift in Dynamic Data Streams for Recommender Systems. - Luciano Caroprese; Francesco Sergio Pisani; Bruno Miguel Veloso; Matthias König 005; Giuseppe Manco 001; Holger H. Hoos; João Gama 001 (Trans. Recomm. Syst., 2025)