E-mail senden E-Mail Adresse kopieren
© Tobias Ebelshäuser
Postdoc

Christopher Hahn

E-Mail

Adresse

Campus E1 1
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Christopher Hahn

Jahr 2022

Konferenz / Medium

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

Jahr 2021

Konferenz / Medium

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

Konferenz / Medium

IEEE VIS
IEEE Transactions on Visualization and Computer GraphicsIEEE VIS 2021

Konferenz / Medium

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

Konferenz / Medium

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

Jahr 2020

Konferenz / Medium

CAV
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Artikel

International Journal on Software Tools for Technology Transfer