Complexity of Reachability Problems in Neural Networks. - Adrian Wurm (RP, 2023)

Robustness Verification in Neural Networks. - Adrian Wurm (CPAIOR (2), 2024)

Robustness Verifcation in Neural Networks. - Adrian Wurm (CoRR, 2024)

On Hybrid Gene Regulatory Networks. - Adrian Wurm; Honglu Sun (CoRR, 2024)

Some Structural Complexity Results for $ exists { mathbb {R}}$. - Klaus Meer; Adrian Wurm (CiE, 2025)

A Universal Uniform Approximation Theorem for Neural Networks. - Olivier Bournez; Johanne Cohen; Adrian Wurm (MFCS, 2025)

Some structural complexity results for ∃ℝ. - Klaus Meer; Adrian Wurm (CoRR, 2025)