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

Jana Hofmann

E-Mail

Adresse

Campus E1 1
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Jana Hofmann

Jahr 2022

Konferenz / Medium

LICS
37th Annual ACM/IEEE Symposium on Logic in Computer Science37th Annual ACM/IEEE Symposium on Logic in Computer Science

Jahr 2021

Konferenz / Medium

FST&TCS
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

Konferenz / Medium

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

Jahr 2020

Konferenz / Medium

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

Jahr 2019

Konferenz / Medium

LICS
IEEE Symposium on Logic in Computer Science, LICS