Concepedia

Patrick Henriksen

PH

2

Publications

69

Citations

2

H-Index

2021

Active since

Affiliations

Imperial College London(Current)

Patrick Henriksen is an author at Imperial College London specializing in computer engineering, engineering, and computer science.

Top concepts

EngineeringData ScienceDeep LearningComputer ScienceMachine LearningComputer EngineeringArtificial IntelligenceVerificationSocial SciencesKnowledge Discovery

Publications per year

2021–2022

2

Publications

2

DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis

Patrick Henriksen, Alessio Lomuscio · 2021 · 50 citations · Full text

Artificial Intelligence, Convolutional Neural Network, Efficient Splitting Method +21

Repairing misclassifications in neural networks using limited data

Patrick Henriksen, Francesco Leofante, Alessio Lomuscio · Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing · 2022 · 19 citations

Artificial Intelligence, Engineering, Machine Learning +15

Rows per page

1–2 of 2