• Sign in
  • Sign up
conf.researchr.org / Alexander Knapp
  • ETAPS 2019 profile
  • ICSE 2023 profile
  • SPLASH 2023 profile
  • STAF 2024 profile
No Photo

Registered user since Mon 15 Apr 2019

Name:Alexander Knapp

Contributions

2024

WADT

  • Committee Member in Programme Committee
  • Committee Member in Steering Committee

2023

FormaliSE

  • Committee Member in Program Committee within the FormaliSE 2023-track

FTSCS

  • Committee Member in Program Committee within the FTSCS 2023-track

2019

FASE

  • Author of A Hybrid Dynamic Logic for Event/Data-based Systems within the FASE 2019-track
Share
xSat 24 May 15:23
using conf.researchr.org (v1.69.0)
Support page
Sign Up