Send email Copy Email Address
PhD Student

Norine Coenen

Email

Phone

Address

Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Publications by Norine Coenen

Year 2022

Conference / Medium

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

Year 2021

Conference / Medium

IEEE VIS
IEEE Transactions on Visualization and Computer GraphicsIEEE VIS 2021

Conference / Medium

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

Conference / Medium

CAV
Proceedings, Part I33rd International Conference, CAV 2021

Conference / Medium

CAV
Computer Aided Verification - 33nd International ConferenceCAV 2021

Year 2020

Year 2019

Conference / Medium

LICS
IEEE Symposium on Logic in Computer Science, LICS

Conference / Medium

CAV
Computer Aided Verification - 31th International Conference, CAV

Year 2015

Conference / Medium

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

Conference / Medium

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