E-mail senden E-Mail Adresse kopieren
Doktorand:in

Norine Coenen

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Norine Coenen

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

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

CAV
Proceedings, Part I33rd International Conference, CAV 2021

Konferenz / Medium

CAV
Computer Aided Verification - 33nd International ConferenceCAV 2021

Jahr 2020

Jahr 2019

Konferenz / Medium

LICS
IEEE Symposium on Logic in Computer Science, LICS

Konferenz / Medium

CAV
Computer Aided Verification - 31th International Conference, CAV

Jahr 2015

Konferenz / Medium

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