Benedikt Brckner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels. | Benedikt Brckner, Alessio Lomuscio |
| 2025 | AAAI | Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification. | Panagiotis Kouvaros, Benedikt Brckner, Patrick Henriksen, Alessio Lomuscio |
| 2023 | AAAI | A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification. | Jianglin Lan, Benedikt Brckner, Alessio Lomuscio |
| 2023 | EUMAS | SHAPE: A Framework for Evaluating the Ethicality of Influence. | Elfia Bezou-Vrakatseli, Benedikt Brckner, Luke Thorburn |
| 2022 | SEFM | Siamese Basis Function Networks for Data-Efficient Defect Classification in Technical Domains. | Tobias Schlagenhauf, Faruk Yildirim, Benedikt Brckner |