Siamese Basis Function Networks for Defect Classification. - Tobias Schlagenhauf; Faruk Yildirim; Benedikt Brückner; Jürgen Fleischer (CoRR, 2020)

Siamese Basis Function Networks for Data-Efficient Defect Classification in Technical Domains. - Tobias Schlagenhauf; Faruk Yildirim; Benedikt Brückner (SEFM Workshops, 2022)

A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification. - Jianglin Lan; Benedikt Brückner; Alessio Lomuscio (AAAI, 2023)

SHAPE: A Framework for Evaluating the Ethicality of Influence. - Elfia Bezou-Vrakatseli; Benedikt Brückner; Luke Thorburn (EUMAS, 2023)

Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels. - Benedikt Brückner; Alessio Lomuscio (AAAI, 2025)

Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification. - Panagiotis Kouvaros; Benedikt Brückner; Patrick Henriksen; Alessio Lomuscio (AAAI, 2025)