Patrick Henriksen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification. | Panagiotis Kouvaros, Benedikt Brckner, Patrick Henriksen, Alessio Lomuscio |
| 2023 | AAAI | Robust Training of Neural Networks against Bias Field Perturbations. | Patrick Henriksen, Alessio Lomuscio |
| 2023 | IJCNN | Verification-friendly Networks: the Case for Parametric ReLUs. | Francesco Leofante, Patrick Henriksen, Alessio Lomuscio |
| 2022 | SAC | Repairing misclassifications in neural networks using limited data. | Patrick Henriksen, Francesco Leofante, Alessio Lomuscio |
| 2021 | BMVC | Bias Field Robustness Verification of Large Neural Image Classifiers. | Patrick Henriksen, Kerstin Hammernik, Daniel Rueckert, Alessio Lomuscio |
| 2021 | IJCAI | DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. | Patrick Henriksen, Alessio Lomuscio |
| 2020 | ECAI | Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search. | Patrick Henriksen, Alessio R. Lomuscio |