Norine Coenen

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

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

CAV
Proceedings, Part I33rd International Conference, CAV 2021

CAV
Computer Aided Verification - 33nd International ConferenceCAV 2021

LICS
IEEE Symposium on Logic in Computer Science, LICS

CAV
Computer Aided Verification - 31th International Conference, CAV

Mensch und Computer 2015 - Proceedings, Stuttgart, Germany, September 6-9, 2015

Proceedings of the 4th International Symposium on Pervasive Displays, PerDis 2015, Saarbrücken, Germany, June 10-12, 2015