Christopher Hahn

CAV
Lecture Notes in Computer Science (LNCS, volume 13965)35th International Conference on Computer Aided Verification (CAV 2023)

ICLR
International Conference on Learning RepresentationsEleventh International Conference on Learning Representations

ATVA
ATVAATVA 2022

CAV
34th International Conference on Computer Aided Verification, Proceedings (to appear)34th International Conference on Computer Aided Verification (CAV 22)

NeurIPS
Advances in Neural Information Processing Systems 34 (NeurIPS 2021)Thirty-fifth Conference on Neural Information Processing Systems

IEEE VIS
IEEE Transactions on Visualization and Computer GraphicsIEEE VIS 2021

ATVA
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, ProceedingsATVA 2021

ICLR
International Conference on Learning RepresentationsThe Ninth International Conference on Learning Representations